Tim Sweeney: The Next Mainstream Programming Languages

[aruslan]

Презентация с POPL: http://www.cs.princeton.edu/~dpw/popl/06/Tim-POPL.ppt
Обсуждение: http://lambda-the-ultimate.org/node/1277

via pierre

Comments

[cyberzx.livejournal.com]

а что там в двух словах?
а то у меня PowerPoint отсутсвует

[aruslan.livejournal.com]

Тим рассказывает, как фронтьер сильных вычислений в лице геймдев индустрии подомнёт под себя Яндекс с Гуглем и к 2009 году получит >1TFLOPS непрерывно в качестве бесплатного приложения к скринсейверу на HD проекторе.
Но счастье будет небесплатным, а в виде 20+ cores, 80+ threads.
И как жить с этим, программируя на C++ нельзя.

Объясняется, что язык должен быть lenient (non-strict, насколько я понял - в обсуждении на Lambda-the-Ultimate ссылку дают, id90 - туда же, -- компилятор имеет право редуцировать жадно, если это допустимо; для lazy - явные suspend/eval), чисто функциональный но в возможностью аннотирования side effects, полностью GC, с аккуратно прибитой exception моделью в стиле C#/Java по поводу операторов языка (доступ к элементам массива и т.п.).
Сильная аннотация типов, вплоть до nat(m) - натуральное n<m (для индексации массивов, опять же).

Приводится вот такая табличка:

	Game Simulation	Numeric Computation	Shading Languages
C++, Scripting	C++	CG, HLSL
CPU Budget	10%	90%	n/a
Lines of Code	250,000	250,000	10,000
FPU Usage	0.5 GFLOPS	5 GFLOPS	500 GFLOPS
Parallelism	Software Transactional Memory	Implicit Thread Parallelism	Implicit Data Parallelism

При этом делается упор на то, что большинство вычислений - существенно функциональные (в смысле минимума side-effects) и распределенные (разные - по-разному).

Performance	When updating 10,000 objects at 60 FPS, everything is performance-sensitive
Modularity	Very important with ~10-20 middleware libraries per game
Reliability	Error-prone language / type system leads to wasted effort finding trivial bugs
	Significantly impacts productivity
Concurrency	Hardware supports 6-8 threads
	C++ is ill-equipped for concurrency

Дальше объясняется, почему кривой С++, почему крива потоковая модель, построенная на разделении состояния + мониторах.
В пример ставится shader languages, в которых параллелизм по данным вполне.

Предлагается аннотировать код (чисто функциональный vs side effects), и использовать модель Software Transactional Memory (composable memory transactions) - недетерминистски упорядоченные наборы атомарных операций.

Уф, устал.
Четай Lambda-the-Ultimate уже! :)

[cyberzx.livejournal.com]

о, спасибо за развернутый ответ
я так понял, что все же не зря начал Haskell учить. хоть вряд ли буду на нем программировать серьезно, но дозу функциональности в кровь пустить не помешает

[http://users.livejournal.com/_foreseer/]

ну да, к 2009 заткнет за пояс текущий яндекс, да и то только на специальных тестах :) яндекс с гуглем btw параллелизуются на порядки проще. гуглю вон вообще одного mapReduce'a для этого похоже хватает. И код в них проще и его существенно меньше, так шо c++ здесь не проблема. халява в общем :)

[vitaly-b.livejournal.com]

Самый жуткий код в Unreal - это код, написанный лично Tim Sweeny. Так что его рассуждения о языках программирования весьма опасны :)

[vitaly-b.livejournal.com]

"Переводя" его доклад: "мы очень плохо написали своё двигло, но по-другому не умеем. Во всё виноват этот мерзкий C++".

Чего только стоит это высказывание: "When updating 10,000 objects at 60 FPS..."
Не делайте так :)

[boris-batkin.livejournal.com]

С++ очевидно себя изживает. при этом тим доверия не вызывает совсем.

[aruslan.livejournal.com]

Тим слишком много курит розовых таблеток, такое моё мнение.
А C++ себя изжил, это так.
Расскажи лучше про правильный лисп как-нибудь.