Мультитрединг - как победить дракона

[yigal_s]

1. Semaphores
2. Monitors (conditional variables).
3. Messages, рандеву, remote calls, actors (пока не разобрался, одно ли это и то же концептуально, или есть разница. Вообще, в принципе, больше "слышал звон", чем "в теме". Потихоньку разберусь)
4. transactional memory - несколько дней назад где-то ссылку на это дело подобрал.

Интересно, есть еще что-то неупомянутое?

-----
Upd: собственно, в списке представлена некоторая линия эволюции (хотя линейной эволюции в реальности, видимо, не было в точности) способов "синхронизации", вернее, написания мультитредного кода.

Comments

[yigal_s]

И тем не менее прогресс налицо (иначе бы мы тут в ЖЖ не писали одновременно).

[cmm.livejournal.com]

в том-то и дело: для реляционных баз данных проблема решена: давно, строго и формально (если я ничего не путаю, да).

[yigal_s]

а вы уверены, что внутренности базы данных можно написать не занимаясь так или иначе concurrent programming в его первобытной дикости?

[cmm.livejournal.com]

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

[yigal_s]

да, пожалуй, разница всё ж есть принципиальная между программированием на ассемблере и программированием "синхронизаций".

[cmm.livejournal.com]

вообще всё дело в правильных абстракциях.
вот взять то же ядро юникса: это же очень сложная и чудовищно граблесодержащая вещь — включая и грабли параллельного доступа к общим ресурсам, причём не только к памяти!  но экономика предоставляет нам возможность взять готовую реализацию и рассматривать её как чёрный ящик.

[yigal_s]

А еще прогресс вот в этих четырёх циферках сверху (хотя насколько успешен в реальности номер 4 я пока не выяснял).

А то ведь можно сказать, что и программирование вообще страшный дракон, а то, что народ дорос от ассемблеров аж да java (не говоря о лиспах и прочем) никак не мешает программистам стабильно наступать на грабли багов.

Факт, что с помощью трёх циферок сверху можно писать и читать всё более и более сложные вещи, а не просто топтаться на месте.