Каталог ОС: Synthesis ...

Главная Страница | Каталог | Изменения | НовыеКомментарии | Пользователи | Регистрация | Вход:  Пароль:  

Synthesis


Исследовательская операционная система.


Наиболее примечательная особенность — kernel code synthesizer, синтезатор кода, создающий во время выполнения процедуры ядра, оптимизированные под текущий режим работы. В результате система работает на порядок быстрее, чем обычные системы.

Quaject

Архитектура системы построена из так называемых quaject. ( как это назвать по-русски )


Quaject-ы похожи на объекты ООП в том смысле, что хранят состояние и предоставляют интерфейсы. Но в отличие от объектов они хранят состояние не только в переменных, но и в коде. Каждый раз когда создаётся новый quaject, может быть создан экземпляр кода, оптимизированный под начальное состояние. Каждый раз когда состояние существующего quaject изменяется в результате запросов клиентов, части кода могут быть переписаны с оптимизацией под новое состояние.


В настоящее время не существует языков, напрямую поддерживающих Quaject-Oriented Programming.

Литература на CiteSeer

Synthesis: An Efficient Implementation of Fundamental Operating System Services (1992)
The Synthesis Kernel (1988)
Threads and Input/Output in the Synthesis Kernel (1995)
Reimplementing the Synthesis Kernel on the Sony NeWS Workstation (1992)
Quaject Composition in the Synthesis Kernel (1991)
A Retrospective Study of the Synthesis Kernel

Интернет о Synthesis

Henry Massalin's Synthesis Kernel

The Synthesis kernel written by Dr. Henry Massalin as his PhD. thesis is commonly viewed to be the “mother of all self-modifying code.” Massalin's tiny Unix kernel takes a structured, or even object oriented, approach to self-modifying code, where code is created for individual objects, like filehandles, and such code may be reoptimized later.


The Synthesis kernel is blindingly fast, but was written entirely in assembler. The resulting lack of portability has prevented Massalin's optimization ideas from being adopted by any production kernel. However, the structure of the techniques suggests that they could be captured by a higher level language, albeit one more complex than existing mid-level languages. Such a language and compiler could allow development of extremely fast operating systems and applications.

 
Файлы [Скрыть файлы/форму]
Комментариев нет. [Показать комментарии/форму]