вопрос в ракурсе систематизации подхода

Присоединяюсь к вопросу. Хотя опыт есть: MQ сервер на eventlet, много gtk кода, который qtшники писали бы с использованием потоков и объектов для хранения состояния.

>много gtk кода, который qtшники писали бы с использованием потоков и объектов для хранения состояния.

а что мешало написать то же самое с использованием потоков и объектов для хранения состояния на gtk? :)

Самый красивый вариант, что мне известен, это epoll + eventf + aio_ с callback.

Могу дать прототип patche для libev.

Да, в минусах, для linux нужно открывать только с O_DIRECT. Сделать нормально, я давно мечтаю, да все повода нет.

В случае freebsd можно сделать корректно, просто руки не доходят.

libevent вроде как в линуксе для таких штук придумали, там примеры есть.

а что мешало написать то же самое…

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

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

Оно не умеет IO с диска

Re

а что нить аналогичное eventlet для других языков встречал? напрмер для С?

Я очень далек от низкого уровня, поэтому ничего порекомендовать не могу.

Только знаю, что есть libevent и на нем много кто свои, более абстрактные лупы делает. Стандарт де-факто, можно сказать.

libevent это собственно цикл. А мне надо стратегию реализации автомата который будет в колбеке который будет вызыватся из той же libevent.

А мне надо стратегию реализации автомата который будет в колбеке

Тебя интересует диспатчер, сидящий поверх цикла (если таковой вообще будет иметь место) или уже конкретные конечные обработчики? Если последнее, то смущает постановка вопроса. Автомат он как бы и в африке автомат, возможности определяются сигнатурой колбека и интерфейсом цикла(диспатчера). Я не думаю что можно набрать много материала по общим положениям абстрактной event-driven системы.

>линейных автоматов

А что значит «линейный»?

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

это значит что автомат состоит из цепочки состояний в которой нельзя перескакивать через узлы.

http://www.complang.org/ragel/

Спасибо - это интересно и по теме.