Разработчик | Университет Вашингтона |
---|---|
Написано в | Модула-3 |
Семейство ОС | Маха- подобный [1] |
Рабочее состояние | Прекращено |
Исходная модель | С открытым исходным кодом |
Первоначальный выпуск | 1994 ( 1994 ) |
Окончательный релиз | 1.0 / Ноябрь 1996 ( 1996-11 ) |
Репозиторий | www-spin.cs.washington.edu/Distro/docs/downloadInfo.html |
Маркетинговая цель | Исследовать |
Доступно в | Английский |
Метод обновления | Скачать, скомпилировать |
Платформы | ИА-32 |
Тип ядра | Микроядро [2] |
Официальный сайт | www-spin.cs.washington.edu |
Операционная система SPIN — это исследовательский проект, реализованный на языке программирования Modula-3 , и проект с открытым исходным кодом . Он разработан с тремя целями: гибкость , безопасность и производительность . SPIN был разработан в Вашингтонском университете .
Ядро может быть расширено путем динамической загрузки модулей, которые реализуют интерфейсы , представляющие домены . Эти домены определяются Modula-3 . Все расширения ядра написаны на безопасном подмножестве Modula-3 с конструкциями метаязыка и системой безопасного приведения типов . Система также выпустила специальный компилятор расширений времени выполнения .INTERFACE
Один набор расширений ядра предоставляет интерфейс прикладного программирования (API), который эмулирует интерфейс системных вызовов Digital UNIX . Это позволяет приложениям Unix работать на SPIN. [3]