Здравствуйте !
Какой дистрибутив AltLinux использовать для максимальной производительности однопоточной задачи,
арифметические операции с плавающей точкой не используются, только целочисленная арифметика с использованием многих гиабайтов оперативной памяти. Задачи - консольные. Т.е. нужно максимально использовать такты работы процессора для решения этой задачи, чем меньше тактов процессора будет потрачено на нужды ОС, тем лучше. Задачи - логические пруверы для автоматического доказательства теорем в логике первого порядка.
http://www.cs.miami.edu/~tptp/CASC/J8/Entrants.html ALT Linux 4.1 Skif подходит для этих целей ?
Мат плата X7DCA-L 2 проц Xeon x5460 RAM 24 ггб
http://www.supermicro.com/products/motherboard/Xeon1333/5100/X7DCA-L.cfm