OberonCore

Как известно, запустив несколько экземпляров Блэкбокса (в разных процессах) общающихся друг с другом по TCP можно получить "тяжёлый" вариант эдакой "параллельной программы".

А что если как-нибудь расширить ядро Блэкбокса чтобы оно умело загружать несколько Блэкбоксов в один процесс, но в разных потоках?

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

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

Вместо неструктурного и тяжёлого TCP, расширенное ядро должно предоставить объёктно ориентированную обычную обероновскую программную шину (или канал) обмена межпроцессными сообщениями (сообщения не долны содержать указателей).

Идея хорошая и не новая (бродит уже в головах давно).

Такая шина поверх TCP (для распределёнки) у нас уже сделана. Допускаются указатели на Store, которые экстернализируются в поток и воссоздаются на другом конце канала.

Еще неплохо позволить обмен указателями на immutable data structures. В одном адресном пространстве может разделяться одна копия, в разных - выполняться репликация.

По этому поводу:
An Abstract Data Type for Freezable Lists and DAGs
Wolfgang Weck (1997)

Есть здесь - http://europrog.ru/ilog.html (дайте поиск по странице).