Здесь находятся черновики и обрывочные записи связанные с исследованиями по теме распределенной операционной системы на основе виртуальной машины (проект назывался O3 (Озон), затем PinOS).

Исследования проводились в 1997-1999 гг. П.Ю.Соболевым и А.Пиялкиным. Короткий промежуток времени проблемы обсуждались с В.Урусовым (автор эмулятора IBM System/360 "Если", инициатор проекта ОС "Chaos" не получившего развития) и его друзьями. Некоторые вопросы освещались в эхоконференции SPB.SYSPRG сети FidoNet. 

Поскольку тема не получила развития (кроме написания трех статей), с 2003 года эти черновики открыты - возможно для кого-то они окажутся интересными или полезными.

Файлы:

pin_basis.txt - Назначение и основные черты архитектуры разрабатываемой ОС (20 мая 1999 года)
abstract.doc - Распределенная ОС: план к докладу (14 апреля 1999 года)
o3_*.txt - Наброски документации по ОС в целом (январь-апрель 1998 года).
o3_inst.doc - O3 project. Архитектура и система команд  VM. (13 апреля 1998 года)
spbsysprg.txt - Содержимое эхоконфеpенции SPB.SYSPRG (с 17 Feb 98 по 07 Jun 99) - ~1.14mb

Остальные файлы представляют собой обрывочные записи и заметки (на что следует обратить внимание, изучить и т.п.)


Дополнительные замечания для лучшего понимания черновиков:


В ходе работ архитектура виртуальной машины менялась. От машины-интерпретатора постепенно перешли к использованию поблочного прекомпилятора. От чисто стековой машины ушли к более  гибкому варианту.

На определенном этапе жестко возник вопрос о выборе базового языка на котором будут создаваться приложения. Таким языком был предварительно выбран Oberon благодаря частичной поддержкой многозадачности (в Oberon V), строгой типизации, аккуратной работе с указателями (вопрос работы с указателями исключил выбор языка C).

Также рекомендую ознакомиться со следующими статьями по данному проекту:

- Обеспечение пеpеносимости опеpационных систем (июнь 2000) 
- Заметки по архитектуре виртуальных машин и микропроцессоров. (9 апреля 1999) 
- Векторная обработка в виртуальных машинах (5 августа 1998) 

(все они доступны на http://www.enlight.ru/frog)

Кроме того, особенно полезно ознакомиться с архитектурами SWARD, Intel 432, AS/400 (книга "AS/400 Inside", переведенная на русский язык), Эльбрус-2 (мне известна только книга "В.М.Пентковский. Язык программирования Эль-76") и процессора Эльбрус-2000, архитектурами TTA, VLIW, преимуществами и недостатками MIMD архитектур и опытом построения ОС для них, с системой разграничения прав доступа "capabilities based" (кажется была реализована в проекте AMOEBA).


П.Ю.Соболев.
8 января 2003 года.
Санкт-Петербург
http://www.enlight.ru/frog