Software Secure64

El sistema operativo SourceT Micro OS se ejecuta en hardware de servidor Itanium estándar y constituye la base de las aplicaciones de software Secure64 . Secure64 utiliza el término "micro OS" para describir SourceT porque, si bien comparte atributos de los microkernels tradicionales y los kernels monolíticos , no se ajusta a la definición clásica de ninguno de ellos.

Al igual que los microkernels, SourceT se rige por los principios de que el código mínimo debe ejecutarse en modo kernel (actualmente menos de 4000 líneas de código en SourceT), y que todas las aplicaciones y servicios del sistema operativo, como el sistema de archivos , los controladores de dispositivos y las pilas de protocolos , no deben ejecutarse en modo kernel. Sin embargo, al igual que las arquitecturas de kernel monolíticas, los servicios del sistema operativo de SourceT se acceden mediante llamadas a servicios del sistema en lugar de mediante la comunicación entre procesos con servidores en modo usuario.

A diferencia de los sistemas operativos de propósito general , diseñados para ejecutarse en una amplia variedad de plataformas de hardware, SourceT fue diseñado específicamente para aprovechar algunas de las características únicas de seguridad y rendimiento del microprocesador Itanium y así crear una arquitectura de alto rendimiento y gran seguridad. Estas características únicas de Itanium incluyen:

• Privilegios de lectura/escritura/ejecución completamente independientes en las páginas de memoria.
• Compartimentos de memoria controlados por hardware con identificadores de protección.
• Separación de la información de control de los datos en las pilas del sistema.
• Incapacidad para ejecutar código desde pilas del sistema.
• Alto rendimiento gracias al paralelismo a nivel de instrucción.

Secure64 tiene una patente en trámite para la arquitectura de comunicaciones en cola, sin bloqueo y autoprotegida utilizada por SourceT. Diseñada desde cero con una arquitectura en cola y escalable que difiere significativamente de una arquitectura tradicional de sockets Berkeley , la pila de red acelera el rendimiento de E/S de la red y detecta y descarta automáticamente los paquetes mal formados o de inundación, como los recibidos como víctima de un ataque de denegación de servicio .