El sistema operativo SPIN es un proyecto de investigación implementado en el lenguaje de programación informática Modula-3 y es un proyecto de código abierto . Está diseñado con tres objetivos: flexibilidad , seguridad y rendimiento . SPIN se desarrolló en la Universidad de Washington .
El núcleo se puede ampliar mediante la carga dinámica de módulos que implementan interfaces que representan dominios . Estos dominios están definidos por Modula-3 INTERFACE. Todas las extensiones del núcleo están escritas en un subconjunto seguro de Modula-3 con construcciones de metalenguaje y un sistema de conversión de tipos seguro . El sistema también emitió un compilador de extensión especial en tiempo de ejecución .
Un conjunto de extensiones del núcleo proporciona una interfaz de programación de aplicaciones (API) que emula la interfaz de llamada del sistema Digital UNIX . Esto permite que las aplicaciones Unix se ejecuten en SPIN. [3]
{{cite journal}}: Requiere citar revista |journal=( ayuda ){{cite journal}}: Requiere citar revista |journal=( ayuda ){{cite journal}}: Requiere citar revista |journal=( ayuda )