Если в системе больше одного типа сообщений - впереди маячит жопа. По этим граблям уже проехались все основные мэйнстримеры. Если для control flow применяются мутексы - типа, управление на "метауровне" , то кто сказал, что не надо использовать метамодели для управления message flow? Самое противное, что метамодель для message flow стремится стать domain-specific, а метамодель для control flow стремится стать hardware-specific. И это - объективное состояние в computer sciences.
Без учёта этого момента появляются выпуклости вроде сингуларити, кутэ и т.д. Потом проходят. Как прыщи.
А теперь, ахтунг! В uos-embedded товарищи наступили сами себе на хвост вот здесь: "Этот же механизм сообщений применяется для обработки аппаратных прерываний." (см.
https://code.googl …mbedded/wiki/kernel_ru)
Вывод: стиралку-промывалку напрограммить можно, но что-то посложнее - стрёмно.