Администрация по национальной ядерной безопасности США подключилась к усовершенствованию LLVM

14.11.2015 10:14

Администрация по национальной ядерной безопасности Министерства энергетики США и компания NVIDIA объявили о сотрудничестве в области развития проекта LLVM. Участники совместного проекта намерены усовершенствовать развиваемый под эгидой LLVM компилятор для языка Fortran, обеспечив в нем поддержку массового распараллеливания вычислений с задействованием вычислительных возможностей GPU. Работу планируется завершить в 2016 году и опубликовать в виде свободного проекта.

К работе будут привлечены инженеры из Ливерморской, Лос-Аламосской и Сандийских национальных лабораторий, а также разработчики из компании NVIDIA, занимающиеся развитием компиляторов PGI Accelerator, позволяющих обеспечить распределённые вычисления в кластере с задействованием GPU. В рамках нового открытого проекта планируется перенести наработки PGI Accelerator в LLVM и расширить существующий инструментарий компилятора, после чего добиться включения подготовленного кода в основной состав LLVM.

В анонсе проекта указано, что LLVM вызывает большой интерес сообщества, специализирующегося на высокопроизводительных вычислениях. Но до сих пор использование LLVM в основном ограничивалось C/C++ компилятором Clang, в то время как многие крупные научные разработки совмещают в себе модули на языках C++ и Fortran. Усовершенствование компилятора LLVM для языка Fortran позволит использовать единый инструментарий для компиляции подобных смешанных проектов и сформирует полноценный продукт, предоставляющий полный спектр возможностей, востребованных в научных и инженерных разработках.

исправить +25 +/–

Лицензия: CC BY 3.0

Короткая ссылка: https://opennet.ru/43325-fortran

Ключевые слова: fortran, llvm

При перепечатке указание ссылки на opennet.ru обязательно

Обсуждение (63)

1.14, privation (?), 13:27, 14/11/2015 [ответить] [﹢﹢﹢] [ · · · ]

–1 +/–

насколько серьезен потенциал gcc - впечатляет ...

лучше бы сделали еще одну альтернативу карточкам nvidia ...

потом какой нибудь java лобби заявит что llvm это тупик делайте все на джаве ...

1.21, Аноним (-), 14:20, 14/11/2015 [ответить] [﹢﹢﹢] [ · · · ]	–9 +/–
2015 @ fortran мда

2.45, Кармер (?), 17:43, 14/11/2015 [^] [^^] [^^^] [ответить]

+3 +/–

> 2015 @ fortran

Fortran жив и будет жить еще 10000 лет !

3.58, Аноим (?), 22:58, 14/11/2015 [^] [^^] [^^^] [ответить]	+1 +/–
Есть еще Пролог! Он круче фортрана. И он ваще вечен!!!

4.60, angra (ok), 02:25, 15/11/2015 [^] [^^] [^^^] [ответить]	+3 +/–
Fortran это один из многих императивных ЯП, а Prolog практически единственный из логических ЯП. Иными словами Фортрану альтернативы давно уже есть, а Прологу все еще нет.

5.83, Аноним (-), 10:32, 16/11/2015 [^] [^^] [^^^] [ответить]	+/–
SQL в каком-то смысле - альтернатива Прологу.

6.85, Andrey Mitrofanov (?), 10:54, 16/11/2015 [^] [^^] [^^^] [ответить]	+/–
> SQL в каком-то смысле - альтернатива Прологу. "В каком-то смысле" bash делает их обих! ;D

7.89, КО (?), 12:22, 16/11/2015 [^] [^^] [^^^] [ответить]	–2 +/–
Как бы SQL и Пролог из четвертого поколения, а язык скриптов Баша, как и Фортран из третьего. :)

8.94, Andrey Mitrofanov (?), 15:03, 16/11/2015 [^] [^^] [^^^] [ответить]	+2 +/–
В каком-то другом смысле, значит ... текст свёрнут, показать

5.95, dukzcry (ok), 16:04, 16/11/2015 [^] [^^] [^^^] [ответить]

+3 +/–

> Иными словами Фортрану альтернативы давно уже есть, а Прологу все еще нет.

Есть: http://web.cecs.pdx.edu/~antoy/homepage/publications/cacm/paper.pdf
+ поправочка https://www.informatik.uni-kiel.de/~curry/listarchive/1183.html

А Пролог это для таких же олдфагов или поддерживающих легаси код, как и Фортран :)

6.96, IB (?), 16:24, 16/11/2015 [^] [^^] [^^^] [ответить]	–1 +/–
Почему? Встроенная выводилка на Прологе вполне себе вариант. Как язык общего пользования - кака та ещё

7.99, dukzcry (ok), 19:01, 16/11/2015 [^] [^^] [^^^] [ответить]

+1 +/–

> Почему?

Потому что Пролог так и не избавился от детских болячек.

> Встроенная выводилка на Прологе вполне себе вариант.

Этот бэктрекинг слишком уж примитивен, в результате чего имеем:
clause(X) :- clause(X).
clause([]).

?- clause([]).
ERROR: Out of local stack
Exception: (1,861,353) clause([]) ?

Супротив того же Curry:
clause x = clause x
clause [] = True

test> clause []
True
More values? [Y(es)/n(o)/a(ll)]

Пример слишком искусственен, но в то же время показателен: в реальных прогах на Прологе приходится клаузы переставлять, да пользоваться отсечениями - иначе выстрел в ногу.
Поставим Пролог пылиться с Фортраном, а XXI век заполним наконец декларативными языками.

> Как язык общего пользования - кака та ещё

И я о том.

8.101, Кармер (?), 22:54, 16/11/2015 [^] [^^] [^^^] [ответить]	–1 +/–
Чеего декларатищики, кто продемонстрирует хотя б poisson solver с реализацие... текст свёрнут, показать

9.108, dukzcry (ok), 23:49, 16/11/2015 [^] [^^] [^^^] [ответить]	+1 +/–
Пруф или быстрее сишной Ясное дело, понаписали кучу специфических либ на чем в ... текст свёрнут, показать

10.114, Кармер (?), 10:09, 17/11/2015 [^] [^^] [^^^] [ответить]	–1 +/–
Ну, выкатывай решатель на прологе, или на чем другом декларативном,мы продемонст... текст свёрнут, показать

5.121, Аноним (-), 00:35, 20/11/2015 [^] [^^] [^^^] [ответить]	–1 +/–
> Fortran это один из многих императивных ЯП, а Prolog практически единственный из > логических ЯП. Иными словами Фортрану альтернативы давно уже есть, а Прологу > все еще нет. погуглите "Erlang" :) адова смесь пролога, смалталка, хаскеля, жабы, ди. с вкраплениями ады и даже фортрана, местами :) хотя кто-то вспомнит руби, ну дак и руби тоже исторически - "кастрированный пролог"(где 90% от языка отрезали).

6.127, dukzcry (ok), 22:47, 26/11/2015 [^] [^^] [^^^] [ответить]

+/–

> погуглите "Erlang" :)

https://www.opennet.ru/opennews/art.shtml?num=43325#113
Т.е. язык со своей нишей. Типичный пример продукта на нем ejabberd. Непараллельные программы если и пишут, то в виде исключения http://nendowingsmirai.yuku.com/topic/6327/FAQ-Why-Erlang (впрочем интервью старое, может Wings3D уже переписали как следует), потому как без акторов Эрланг скучен :)

Для логических задач не подходит, если только не приправить https://github.com/rvirding/erlog
Но тогда лучше сразу https://www.informatik.uni-kiel.de/~mh/FLP/ уже упоминал тут.

2.48, ffirefox (?), 19:20, 14/11/2015 [^] [^^] [^^^] [ответить]

+/–

> 2015 @ fortran

По возможностям и удобству, FORTRAN IV и современный фортран это два (если не четыре) разных языка.

3.124, DeadLoco (ok), 23:59, 21/11/2015 [^] [^^] [^^^] [ответить]	–1 +/–
Ну, фортран-4, это уже совсем кондово. В вузах учили, все-таки, ф77.

2.57, анон (?), 22:33, 14/11/2015 [^] [^^] [^^^] [ответить]	+4 +/–
Ну а что поделать, традиция. Математики и физики в штатах по-прежнему изучают фортран, поскольку он довольно высокоуровневый и объем написаного огромный. Только последние годы стал python проклевываться. Ядерный реактор и процессы в нем, это тебе не очередной плеер под линуху - тут миллионы человеко часов.

3.63, angra (ok), 02:34, 15/11/2015 [^] [^^] [^^^] [ответить]

–1 +/–

> Ядерный реактор и процессы в нем, это тебе не очередной плеер под
> линуху - тут миллионы человеко часов.

За год человек нарабатывает около 2000 часов. Миллионы человекочасов означает, что коллектив, пишуший софт для ядерного реактора, либо состоит из сотни человек и пишет его десять лет, либо из десятка человек и пишет сотню лет, ну или что-то в промежутке. Как то слабо в такое верится.

4.65, Аноним (-), 07:58, 15/11/2015 [^] [^^] [^^^] [ответить]	+1 +/–
учитывая что группа zfs on linux в LLNL это где-то 10 человек. то математиков думаю там в разы больше.

4.72, Кармер (?), 16:57, 15/11/2015 [^] [^^] [^^^] [ответить]	+4 +/–
Ну так и есть. modular oceanic model - с 91 года пилиться, Mitgcm c 97 , библиотека IMSL застала Брежнева когда он был молод и с нормальной дикцией, а астрономический софт вообще уходит корнями во времена до вьетнамского конфликта ..

4.84, bOOster (ok), 10:51, 16/11/2015 [^] [^^] [^^^] [ответить]	+1 +/–
Заметно отсутствие высшего образования, а в точности Матана, СОПРОМАТа и "Теории Натяжения" :)

5.86, Andrey Mitrofanov (?), 10:57, 16/11/2015 [^] [^^] [^^^] [ответить]

+/–

> Заметно отсутствие высшего образования, а в точности Матана, СОПРОМАТа и "Теории Натяжения"

Или теории надувания ш-чёчек перед заказчиком из курса мба? А-ля http://www.dwheeler.com/oss_fs_why.html

> :)

5.102, Кармер (?), 22:56, 16/11/2015 [^] [^^] [^^^] [ответить]

+1 +/–

> Заметно отсутствие высшего образования, а в точности Матана, СОПРОМАТа и "Теории Натяжения"
> :)

ну не хватает людям компетенции понять, НАСКОЛЬКО ИМ НЕ ХВАТАЕТ КОМПЕТЕНЦИИ .

3.73, anonimus (?), 17:52, 15/11/2015 [^] [^^] [^^^] [ответить]	+/–
Когда учился в аспирантуре в середине 90-ых, сначала перенёс прогу по расчёту МКЭ на Ватком с dos4gw -- скорость значительно выросла из-за использования виртуальной памяти; потом часть модулей переписал на Си -- скорость выросла в разы. А потом переписал для OS/2 -- стал просто самолёт :)

4.76, universite (ok), 23:23, 15/11/2015 [^] [^^] [^^^] [ответить]

+/–

Сказочник.

Вот в личке аспирант утверждает:

я таким тоже занимался
не было такого эффекта как он говорит

5.81, Клыкастый (ok), 09:36, 16/11/2015 [^] [^^] [^^^] [ответить]	+/–
если данные не умещались в 640K и писались на диск - очень даже может

4.91, Аноним (-), 12:26, 16/11/2015 [^] [^^] [^^^] [ответить]	+/–
Проза жизни: https://livelog.wordpress.com/2008/11/23/fortran-vs-c-vs-python/ Можно говорить про "кривые руки", плохую оптимизацию и пр. Но факт остается фактом. Физику нужно решать конкретные вычислительные задачи, а не разбираться с премудростями настроек компиляторов. Есть задача, есть сроки ее решения. В нашем случае она складывается из времени написания/отладки кода и непосредственно самих вычислений.

5.93, Аноним (-), 12:32, 16/11/2015 [^] [^^] [^^^] [ответить]	–1 +/–
В свое время нужно было обсчитывать довольно замороченные матрицы по дисеру Наб... большой текст свёрнут, показать

6.100, . (?), 19:49, 16/11/2015 [^] [^^] [^^^] [ответить]

+5 +/–

Евгеи! Не слушайте этого поца! Он вас за гоев дегжит!

Формальное доказательство:
>В свое время нужно было обсчитывать довольно замороченные матрицы по дисеру. Набросал алгоритм на С++. После второго дня отладки и вылавливания багов в коде, забил и просчитал на Excel.

Угу только вот лимит на 65536-1 строк в Ыкселе убрали только вчера :-/
Ну что ты там за "навороченные матрицы" считал болезный? Крестики нолики 3x3 разве :)))

Поинтересуйтесь хохмы ради размерности перемалываемого Fortran либами (которые наши отцы ещё писали) а потом тявкайте :)

6.103, Кармер (?), 22:59, 16/11/2015 [^] [^^] [^^^] [ответить]	+/–
gt оверквотинг удален Я конечно понимаю, что в плюсиках есть любители многомер... большой текст свёрнут, показать

6.111, 10й Брейтовский переулок (?), 07:53, 17/11/2015 [^] [^^] [^^^] [ответить]	+/–
Слоник в домен - переологинься!

6.118, Led (ok), 21:51, 17/11/2015 [^] [^^] [^^^] [ответить]

–1 +/–

> В свое время нужно было обсчитывать довольно замороченные матрицы по дисеру. Набросал
> алгоритм на С++. После второго дня отладки и вылавливания багов в
> коде, забил и просчитал на Excel. Потом, спортивного интереса ради, все-таки
> дописал код, отладился запустил. Огорчился. Excel считал в разы быстрее. Я
> не ахти какой спец в С++, поэтому дал свой код на
> доработку программеру с серьезным опытом. Он тоже обогнать Excel не смог.
> Отсюда вывод,

Эхсцель-планктон делает "выводы"?

2.70, Аноним (-), 10:38, 15/11/2015 [^] [^^] [^^^] [ответить]	–1 +/–
Для вычислительных задач фортран очень хорош и другого не надо. Было бы неплохо, если бы еще в моду вошел J.

3.90, КО (?), 12:26, 16/11/2015 [^] [^^] [^^^] [ответить]	+/–
Ну очень хорош. А чем? В современных реалиях язык (не реализация) слабое влияние оказывает на вычислительные задачи. Ну особенно когда из Фортрана убрали возможность превращать всякую фигню в определение переменной. :)

4.104, Кармер (?), 23:06, 16/11/2015 [^] [^^] [^^^] [ответить]	–1 +/–
> Ну очень хорош. А чем? > В современных реалиях язык (не реализация) слабое влияние оказывает на вычислительные задачи. ну да, ну да erlang как defective by design тут уже упоминали. Равно как и то, что у некоторых языков все современные реализации дефективны .

5.113, dukzcry (ok), 09:07, 17/11/2015 [^] [^^] [^^^] [ответить]	+1 +/–
Только не Эрланг, а Пролог - у них лишь синтаксис похож, а так совсем разные языки. Э. хорош для быстрого написания многопоточных распределенных сетевых приложений, по нему полно вакансий :) Он конечно не без недостатков, но вполне пригоден для своих задач.

2.71, Аноним (-), 11:04, 15/11/2015 [^] [^^] [^^^] [ответить]	+/–
Надо был Go и жаву?

1.51, Аноним (-), 19:41, 14/11/2015 [ответить] [﹢﹢﹢] [ · · · ]	–2 +/–
Дундуки там, дундуки здесь. Военные используют языки и тулзы про которые им напели ученые от CS. А ученые напоют вам за гранты хрен знает что.

2.52, Кармер (?), 19:49, 14/11/2015 [^] [^^] [^^^] [ответить]	+1 +/–
Напомним некоторым "военным " о печальной судьбе языка Ada . Вот уж дундуки так дундуки ..

2.74, Аноним (-), 20:23, 15/11/2015 [^] [^^] [^^^] [ответить]	–1 +/–
>>Военные используют языки и тулзы про которые им напели ученые от CS. Военные нечего не используют. Языки и тулзы используют ученые, которые работают на военных.

3.97, IB (?), 16:31, 16/11/2015 [^] [^^] [^^^] [ответить]	–1 +/–
Т.е автоматику тех же ракет или любой другой смарт-хреновины пишут учёные? Или таки инженеры? Которых проверяют уже военные инженеры и тестировщики. Учёных интересуют модели, а уж тулзы и языки дело 10-е. Считается модель 1 сутки или 2 ученым с большего без разницы

4.119, count0krsk (ok), 14:01, 19/11/2015 [^] [^^] [^^^] [ответить]	+/–
Вы ещё скажите, что датацентры им не нужны, и хватает ресурсов своего ноутбука )) LOL просто. Самые оптимизаторы - это ученые как раз. Они по 10 лет долбятся, чтобы изобрести более эффективный алгоритм расчета какой-нибудь формулы, а Вы "скорость не важна"...

5.125, DeadLoco (ok), 00:07, 22/11/2015 [^] [^^] [^^^] [ответить]	+/–
> Они по 10 лет долбятся, чтобы изобрести более эффективный алгоритм расчета > какой-нибудь формулы, а Вы "скорость не важна"... Да 90% всех нужных структур и алгоритмов были еще Кнуту известны, но неизвестны поныне горе-прогерам. Им что экспоненциальная сложность, что логарифмическая - лишь бы тест-сьют пройти.

2.80, анон (?), 08:33, 16/11/2015 [^] [^^] [^^^] [ответить]	+/–
а причем тут counter-strike?

3.117, SysA (?), 15:35, 17/11/2015 [^] [^^] [^^^] [ответить]	+2 +/–
> а причем тут counter-strike? FYI: CS - computer science! Кончай играть и займись делом! :)

1.75, Сергей (??), 21:17, 15/11/2015 [ответить] [﹢﹢﹢] [ · · · ]	–1 +/–
Для обсчета математики фортран очень хорош, чтобы решить ту же задачу на си потребуется гораздо больше времени, при чем за время создания программы, программа на фортране будет уже создана, отлажена и обсчитана... Время деньги, ничего личного, а если есть к тому уже вылизанные библиотеки...

2.82, Аноним (-), 10:09, 16/11/2015 [^] [^^] [^^^] [ответить]	+/–
Всё ещё проще, гораздо проще создать компилятор для первого прохода LLVM а дальше будет тоже что и с Си ( +- пара % ), ну а то что он не будет "православным" GCC ну может ещё пара % разницы, хотя есть сомнения.

3.87, Andrey Mitrofanov (?), 10:59, 16/11/2015 [^] [^^] [^^^] [ответить]	+2 +/–
> Всё ещё проще, гораздо проще создать компилятор для первого прохода LLVM а Как?! В этом вашем ллвме нет фортрана?? ОМГ--

4.88, Аноним (-), 11:29, 16/11/2015 [^] [^^] [^^^] [ответить]	–2 +/–
Был бы наш, мы бы рады были :)

2.92, КО (?), 12:29, 16/11/2015 [^] [^^] [^^^] [ответить]	+1 +/–
>Для обсчета математики фортран очень хорош, чтобы решить ту же задачу на си потребуется гораздо больше времени, При условии, что тот кто пишет программу не знает C, и имеет опыт работы на Фортране. Собственно это и есть единственная причина живучести любого языка. Наличие тех, кто на нем свободно изъясняется (пишет,читает).

3.98, IB (?), 16:32, 16/11/2015 [^] [^^] [^^^] [ответить]	+/–
И библиотеки! А то где бы Джава была :)

4.107, Кармер (?), 23:13, 16/11/2015 [^] [^^] [^^^] [ответить]	+/–
> И библиотеки! > А то где бы Джава была :) Че там с джавой ?? Проблема вызова фортрановской билиотеки из java на 95% решена еще в 2005 году ;)

5.112, 10й Брейтовский переулок (?), 07:56, 17/11/2015 [^] [^^] [^^^] [ответить]	+/–
Но остаточек-то в 5%-то остался!

6.115, Кармер (?), 10:10, 17/11/2015 [^] [^^] [^^^] [ответить]

+/–

> Но остаточек-то в 5%-то остался!

остаточек - это передача джававской процедуры в качестве аргумента фортрановой.

3.106, Кармер (?), 23:11, 16/11/2015 [^] [^^] [^^^] [ответить]

+/–

>>Для обсчета математики фортран очень хорош, чтобы решить ту же задачу на си потребуется гораздо больше времени,
> При условии, что тот кто пишет программу не знает C, и имеет
> опыт работы на Фортране.

Знаем С, - не дай бог нам на нем что-то переписывать.

Какое-нибудь a=c(:,k,:,l,p,:) - затрахаешься циклы с memcpy писать.

4.120, count0krsk (ok), 14:06, 19/11/2015 [^] [^^] [^^^] [ответить]

–1 +/–

> Знаем С, - не дай бог нам на нем что-то переписывать.

С++ таки хуже и сложнее разбираем, с его кучей классов, методов и прочим Объектно-анальным программированием. Приходится кучу всего в голове держать, в отличие от православного Си.

5.122, Аноним (-), 00:36, 20/11/2015 [^] [^^] [^^^] [ответить]	+/–
>> Знаем С, - не дай бог нам на нем что-то переписывать. > С++ таки хуже и сложнее разбираем, с его кучей классов, методов и > прочим Объектно-анальным программированием. Приходится кучу всего в голове держать, в > отличие от православного Си. а что предпочитаемо тогда ? :) Objective C ? :) Modula-2? Oberon ? :) фортран кстати, он разный, в новых стандартах - до.. всякого добавили :)

6.123, count0krsk (ok), 07:11, 21/11/2015 [^] [^^] [^^^] [ответить]	+/–
На вкус и цвет )) Предпочтительно вообще не кодить, а готовое отлаженное решение найти. Но если уж нет его, то на баше быстренько сообразить. А то на этих ваших высокоуровневых пока напишешь, ещё 99 проблем нарисуется.

1.126, iZEN (ok), 17:21, 22/11/2015 [ответить] [﹢﹢﹢] [ · · · ]	–1 +/–
С современным Фортраном разве не то же самое, что с Windows 3.1 во французском аэропорте? http://geektimes.ru/post/265784/ Вместо того, чтобы закрыть, переведя средства на поддержку более перспективных языков (Go, например), наоборот усугубляют проблему. Кто будет всё это поддерживать лет через 10-15, а?

2.128, Аноним (-), 23:04, 26/11/2015 [^] [^^] [^^^] [ответить]	+/–
тут целое лобби фортранщиков образовалось. любой негатив про профессора фортрана и сразу минус

игнорирование участников | лог модерирования

Добавить комментарий

Текст: