To Chaos Fishes

[netch]

Всё параллельное программирование - это попытка локализовать порядок в хаосе. Неправда, что программист создал хаос; нет, он его просто впустил. Теперь он создаёт острова порядка в океане хаоса. Хаос никуда не девается, но на входе его упорядочивают. Все эти семафоры и мониторы - защитники крошечных островков, на большее они не способны. Островки линейных порядков пассивно носятся на волнах и ломаются о прибрежные скалы.

Но вечно так продолжаться не может. И рано или поздно должно появиться то, что впускает этот хаос в себя и способно не отграничиваться от него, но быть его частью. Раз это океан, то его жители - Рыбы Хаоса. И за ними - будущее. Но какими они будут? И смогут ли люди их создавать и использовать?

Comments

[egorfine.livejournal.com]

ты что курил?

[netch]

Сначала - программу на питоне, в которой при достижении некоторой нагрузки начал вызываться __del__ на некоторые объекты из непредусмотренной ветки (в результате обычного GC), что сопровождалось феерическими эффектами (в технике это были бы треск, искры и дым от подачи 380 вместо 220). Ну грабли в принципе известны (сочетание GC и немедленной финализации уже слегка диверсия, но тут задача обязывает; но в сочетании с мультитредингом результат был совсем неожиданный).

Сейчас - её же, когда начались невразумительные тормоза в таких местах, куда и отладку толком не вставишь (или она съест гиги за день).

[egorfine.livejournal.com]

вот и нефиг курить всякую гадость

[salas.livejournal.com]

Планктон Хаоса — сетевые черви?

[w00dy.livejournal.com]

В питоне жеж вроде как нет тру мультитрединга. Или я ошибаюсь?

[netch]

Егор, ты же вроде христианин. Зачем до сих пор используешь травяные намёки, если просто чего-то не понимаешь?

[netch]

Тру или не тру, а таки проявляется.

[blacklion.livejournal.com]

use erlang, Luke!

[murkt.livejournal.com]

Есть, просто в CPython не может одновременно (я имею в виду именно одновременно в реальном времени) выполняться в двух тредах питоновский код. Сишный - может, если отпустит GIL. А если ядро одно, то разницы нет - Питон, не Питон, одновременно ничего не может выполняться ;) А возможность напакостить всё равно есть.

[netch]

Это то же линейное мышление, но в профиль.

[netch]

В каком смысле сетевые?

[blacklion.livejournal.com]

Но хотя бы от многих технических проблем типа “GC не в том потоке” будешь застрахован

[netch]

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

[blacklion.livejournal.com]

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

[egorfine.livejournal.com]

как раз я понимаю, и поэтому рекомендую тебе не заморачиваться.

[netch]

Нету. Потому что его не может быть для общего случая.
Есть mnesia. Которая решает относительно простые случаи и держит данные.

[blacklion.livejournal.com]

Для общего случая может быть конструктор удобный.

[salas.livejournal.com]

Только в том, что не биологические.:)

[muwlgr.livejournal.com]

Это всё фон-Нейман. Оказался слаб, не сумел убедить маркетоидов, что его модель годилась только для однопроцессорного случая.

Как говорил я, участвуя в одном проектике, "а вот если это всё тестировать на многопроцессорной системе, где есть шанс поймать ИСТИННЫЙ race condition..." :>

[jrmm.livejournal.com]

хочу в киев ;)

[egorfine.livejournal.com]

лопата

[netch]

> просто в CPython не может одновременно (я имею в виду именно одновременно в реальном времени) выполняться в двух тредах питоновский код.

Кстати, а в каком - может? Jython и IronPython не предлагать, их уже знаю, но слишком фундаментально. Мне тут предложили Stackless, но насколько я вижу доку - там с этим ещё хуже.

[murkt.livejournal.com]

Я не знаю, как с многопоточностью в PyPy - там ведь нормальный сборщик мусора, а не счётчик ссылок. Но Питонов больше и нет - CPython, Jython, IronPython, PyPy. Stackless решает немного не ту задачу - нативные треды там никто не трогал, то же что и в обычном CPython.