Под управлением какой операционной системы работают большинство суперкомпьютеров?