Valse oubliée

Update: На Eurogamer вышла объёмная статья про технологию Димы: LucasArts' 60FPS Force Unleashed II tech demo

Дима "AND" Андреев мощно выступил на SIGGRAPH с показом зачем и как делать 60 FPS из 30.
Real-time Frame Rate Up-conversion for Video Games (слайды с комментариями, видео)

Во многих компаниях прошла война споров "60 vs 30".
Обычных аргументов - два: input latency (60 FPS рулит) и качество картинки (рулит 30 FPS).
Честные 60 FPS сделать можно, но удержать планку визуального качества на уровне хороших игр с 30 FPS будет довольно непросто. И наоборот, можно обрабатывать ввод чаще, чем раз в кадр, и реагировать на него хотя бы визуально раньше, но это сильно зависит от жанра и требует соответствующих изменений в игре.

Классический набор сломанных копий:
Christer Ericson: Input Latency
Mike Acton: Ratchet and Clank Future will probably be Insomniac’s last 60fps game
Cliff Bleszinski: Our target is, and shall remain, 30 fps
SCEA Explains Reason For 30FPS In God Of War III
Cevat Yerli: “nothing below” 30fps will suffice in Crysis 2

Полтора года назад я бы скептически сказал "не умеешь 60, не мучь себя", но то, что сделал Дима - реально доставляет, и эффект, конечно же, надо просто видеть.

Для меня самое убойное в этой технике - визуальная гладкость и качество этих 60 FPS.
Есть ощущение, что делать вот такие 60 FPS - по крайней мере имеет смысл.
Сам по себе этот подход не уменьшает время реакции игры на ввод: потребуются изменения в дизайне и в рантайме (обработка ввода, старт анимации и т.п.), но это можно подтянуть, было бы желание.

Ну а пока - меня реально просто прёт :)
Через это интересно послушать ваши мысли по этому поводу.

Забавно рассказывать о map и fold/reduce - и говорить о MapReduce.
Примерно так же забавно, как говорить о map и fold/reduce, объясняя fold/refold/unfold.
Википедия однозначно приносит плоды.

Зато ликбез был успешно проведён аж на трёх фронтах. И это радует.

Спешите видеть замечательное введение в lock free стеки у _foreseer:
Running lock free.

Там просто и внятно изложена базовая идея и есть хорошие ссылки на почитать.
Ну а уж презентация Elimination-Backoff Stack просто жжёт термоядом - спасибо за ссылку, Андрей!

В геймдеве lock-free структуры данных используют повсеместно, но о них ничего не пишут.
Видимо, умные очень, и через это боятся публиковать свой удивительный код.

"Как стек running free у нас" - ABA брутально через CAS2.
Но чаще не столько CAS, сколько классическое комбо Load-Link/Store-Conditional.
А именно lwarx/lwsync/stwcx/GETLLAR/PUTLLC, и дальше вариации на тему очень быстрой vs очень устойчивой синхронизации (ну и на обход багов в отдельно взятых процессорах).

Важно помнить про тот самый exponential backoff. Ну и вообще, важно думать.
Если думать, то и lock-free структуры не понадобятся :)
Ну а если не думать, то они скорее всё испортят, чем помогут.

Вот не далее чем на прошлой неделе загадочно и очень каскадно протухла память.
И - что вы думаете? - выяснилось, что зажгла самопальная реализация lock-free очереди.
Автору кода было интереснее реализовывать lock free очередь нежели свои таски.
И хотя тема протеста "маленького человека" против обезличенной корпоративной машины мне в целом понятна, это таки не повод не читать википедию.

Я по-прежнему считаю, что геймдев конторы обязаны предоставлять публичный доступ к исходникам. Чтобы термины "exponential backoff", "memory barrier" и "lock-line reservation" из абстрактных превратились в конкретные, благодаря помощи зала.
Принцип Керкхоффа вполне применим к геймдеву, ибо смысл соревнований - в умении создавать и шипить игры.

Через это ссылки на почитать дальше про lock free и вообще:
1. Lock-Free Code: A False Sense of Security Хебра нашего Саттера.
2. Insomniac’s SPU Best Practices (PPT) Майка нашего Эктона.
3. Obstruction-Free Synchronization (PDF) того самого Мориса Херлихуя (ц) _foreseer.

Верификатор алгоритмов синхронизации для relaxed моделей памяти (в особенности C++0x).

http://www.rsdn.ru/Forum/message/3068646.flat.aspx
http://groups.google.ru/group/relacy/

Очень вкусно.

Alan Kay. How Simply and Understandably Could "The Personal Computing Experience" Be Programmed (WMV)
Alan Kay. How Simply and Understandably Could "The Personal Computing Experience" Be Programmed (PDF)

Benjamin C. Pierce. The Weird World of Bi-Directional Programming (PDF)

Martin Rinard. Eliminating Fatal Errors in Software Systems (PPT)

http://www.research.att.com/~bs/hopl-almost-final.pdf

Для Конференции по истории языков программирования (HOPL) отбирается 12-14 докладов один раз в пятнадцать лет.

В 1993 году Бьярн Страуструп выступил на Второй конференции по истории языков программирования с докладом "A history of C++: 1979-1991", более известным в переработанной и развёрнутой версии D&E.

Перед нами -- черновик доклада по C++ для Третьей конференции (HOPL-III). Начинается со времён начала стандартизации и первого D&E, и, через ISO 1998 и 2003, доходит до поздних этапов пересмотра стандарта C++0x в 2007.

D&E был интереснее технически. Evolving a language - глубже политически.
Приятного прочтения!

via LtU HOPL-III

Благодаря rudybear вспомнил, что забыл подобновить ссылки на C++09 на моём del.icio.us/aruslan/C++ (aka delicpp_aruslan), а ведь после майской встречи комитета всё расцвело в предвкушении C++09 public draft. Он ожидался в октябре 2007, теперь возможно сдвинется, но это уже не важно.

Разработчикам игр будет небезынтересно почитать пейпер Electronic Arts STL из мэйлинг листа.

На Google Tech Talks - замечательное видео "New features in the next C++ standard" (и там есть еще много всего вкусненького!):

Comeau как всегда впереди планеты - вот список уже поддерживаемых Comeau фич C++09.

И, наконец, сам драфт стандарта (PDF) из майского мэйлинг-листа.


C++ меняется, и меняется сильно и толсто.
Как там у Брукса про синдром второй системы? ;)

А вот и цитата из старой доброй ветки Дамира про C++ на gamedev.ru:
Infernal Papuan
Интересно, если boost включат в стандарт, какого размера будет четвертое издание Страуструпа? :)

Сегодня напомнили, что boost::interprocess (который в девичестве был известен как shmem) жив и всячески приближается к.
Лежит в boost vault.

А ведь там есть всякие забавные контейнеры, аллокаторы и смарт-пойнтеры.
Так что приглашаю к столу.

Очень рекомендую к прочтению замечательную статью "Магия" kunaifusu про довольно стандартный трик магического преобразования floating point в int с помощью загадочных констант.

В статье очень детально и вкусно расписываются корни преобразования и происхождение чисел вроде

  (double)fp+6755399441055744.0

Что характерно, рассказывается как сделать это без double ;)

Помню своё удивление, когда я впервые увидел зубодробительные пассажи для табличного вычисления синусов и косинусов, которые начинались с характерного приведения аргументов

  inline float SinCosFast(float x, float &cosx) 
  {
    x= 0.159155f*x +1536.0f;
    ...
  }

Уже потом появились cvtps2pi, споры о тормозах, выравнивания, спецхинты и инструкции. Естественно, не везде (ц).

А тогда это было интересным и свежим взглядом на жизнь.

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

    const int a = *reinterpret_cast<const int*>(&fp);
    const int sign = (a>>31);
    const int mantissa  = (a&((1<<23)-1))|(1<<23);
    const int exponent  = ((a&0x7fffffff)>>23)-127;
    const int r         = ((unsigned int)(mantissa)<<8)>>(31-exponent);
    return ((r ^ (sign)) - sign ) &~ (exponent>>31);

Клёвая статья, спасибо! :)

Ну и танкистские ссылки напоследок:

1. "What Every Computer Scientist Should Know About Floating Point Arithmetic" by David Goldberg
2. "Let's Go to the (Floating) Point" by Chris Hecker
3. "Магия" by kunaifusu
4. "Origin of Quake3's Fast InvSqrt()" - Part I, читать камменты, Part II (via qiller_neu)