Singularidad rdk Un proyecto de investigación enfocado en la construcción de sistemas confiables a través de la innovación en las áreas de sistemas, idiomas
Descargar ahora

Singularidad rdk Clasificación y resumen

Singularidad rdk Etiquetas

prototipo Editar l-Systems L-sistemas sistemas de medición Sistemas de resolución de problemas sistemas de ecuación sistemas sistemas multinore Kit de desarrollo de investigación SO prototipo Software aislado Processo RDK Singularidad sistemas de apuestas sistemas de enfriamiento desarrollar sistemas inteligentes Servicio de sistemas Sistemas críticos de seguridad Investigación de sistemas complejos. Integración de sistemas de odas. Procesar sistemas Lindenmeyer Sistemas sin escalas Simular sistemas numéricos de P Simulador numérico de sistemas P Analizar los sistemas numéricos de P. Sistemas de Continuum State Sistemas POS sistemas de comunicación Herramientas de sistemas sistemas de herramientas sistemas de visualización Sistemas HR sistemas editoriales Sistemas de ruedas utilidad de sistemas Sistemas de señalización Sistemas de trabajo de clasificación enfoque de sistemas

Singularidad rdk Descripción

El nombre RDK significa kit de desarrollo de investigación. La singularidad es un proyecto de investigación enfocado en la construcción de sistemas confiables a través de la innovación en las áreas de sistemas, idiomas y herramientas. Estamos construyendo un prototipo de sistema operativo de investigación (llamado singularidad), extendiendo los lenguajes de programación y desarrollo de nuevas técnicas y herramientas para especificar y verificar el comportamiento del programa. Los avances en idiomas, compiladores y herramientas abren la posibilidad de mejorar ignicialmente el software. Por ejemplo, la singularidad utiliza idiomas de tipo de tipo y un conjunto de instrucciones abstractas para habilitar lo que llamamos Software Aislado Processe (SIPS). Los SIPs proporcionan las fuertes garantías de aislamiento de los procesos del sistema operativo (espacio de objeto aislado, GC separados, tiempo de ejecución separados) sin la sobrecarga de dominios de protección de hardware. En la actual singularidad, los SIPS de prototipos son extremadamente baratos; Se ejecutan en el anillo 0 en el espacio de direcciones del kernel. La singularidad utiliza estos avances para construir sistemas y aplicaciones más confiables. Por ejemplo, debido a que los SIP son tan baratos para crear y hacer cumplir, la singularidad ejecuta cada programa, controlador de dispositivos o extensión del sistema en su propio SIP. No se les permite tomar SIPs compartir memoria o modificar su propio código. Como resultado, podemos hacer fuertes garantías de confiabilidad sobre el código que se ejecuta en un SIP. Podemos verificar muchas propiedades más amplias sobre un SIP a la compilación o la hora de instalación de la que se puede hacer para que el código se ejecute en los procesos tradicionales del sistema operativo. La aplicación más amplia de la verificación estática es fundamental para predecir el comportamiento del sistema y proporcionar a los usuarios garantías sólidas sobre la confiabilidad.

Singularidad rdk Software relacionado