25 сентября, 2012 года

Пресс-служба журнала "Вечерний Функциональный Петух", встретилась с Andrew Adams-Moran, ведущим специалистом компании Galois Inc. Andrew с заразительным энтузиазмом рассказал нам о самом амбициозном на сегодняшний день проекте компании.

- Andrew, расскажите о вашем текущем проекте.

- Внутреннее имя проекта — Альфа. Мы использовали все наши гранты на покупку нескольких суперкомпьютеров и решили поставить мировой рекорд в вычислении факториала. Что такое Альфа? Мы так называем факториал очень, очень большого числа.

- Какие инструменты вы используете?

- Как у нас принято, 99% проекта реализовано на Haskell. Эта часть проекта является критически важной. Оставшийся 1% проекта, представляющий из себя по сути boilerplate код, написан студентом-контрактником на Си с использованием библиотеки GMP.

- Расскажите подробнее о внутреннем устройстве проекта.

- Код на Haskell отвечает за вызов, через FFI, функции на Си, которая, собственно, и считает факториал. Для того, чтобы вызвать эту функцию на Си, нам требуется 3 суперкомпьютера. На первом работает xmonad, DARCS и FRAG. С этого компьютера происходит запуск программы. Второй суперкомпьютер получает от первого сигнал о запуске и генерирует все необходимые бесконечные ленивые списки, которые будут использованы при вызове функции на Си. На третьем суперкомпьютере запущен параллельный сборщик мусора, обеспечивающий корректную работу второго суперкомпьютера. Весь процесс вызова функции на Си занимает около трех месяцев, в течении которых вся наша команда играет во FRAG по сети. Когда процесс вызова функции завершен, контроль передается на розовый нетбук моей сестры, на котором запускается программа на Си, вычисляющая факториал.

На вопрос о том, чем будет заниматься Galois Inc после завершения проекта Альфа, Andrew, с блеском в глазах, ответил: "Вычисление числа Фибоначчи номер Альфа".

В других новостях:

* Будущее языка программирования C++ под большим вопросом, после того, как бесследно исчезли создатель языка Бьярн Страуструп и два известных эксперта по языку: Андрей Александреску и Герб Саттер.

* Известный русский программист Сергей Зефриров иммигрирует в США, чтобы вступить в тройной гей-брак с Львом Валкиным и Евгением Кирпичовым.

* В Москве злоумышленники украли биотуалет.

#ttthig

10 comments recommend bookmark subscribe