Project Verona: el lenguaje de programación de sistemas derivado de Rust que está creando MS
(zdnet.com)Según Microsoft, el 70% de los problemas de seguridad encontrados en productos de MS durante los últimos 12 años se debieron a problemas de seguridad de memoria (Memory Safety). Rust, un lenguaje de programación de sistemas que ha ganado popularidad recientemente, puede detectar este tipo de problemas de seguridad de memoria en tiempo de compilación, y por eso MS puso atención en él y, desde el verano pasado, llevó a cabo un experimento para reescribir parte del código interno de Windows de C++ a Rust.
Los resultados del experimento fueron positivos, pero al parecer MS considera que Rust, por ser un proyecto joven, todavía carece de algunas funciones para su uso. Quizá por eso MS comenzó a desarrollar un nuevo lenguaje de programación de sistemas derivado de Rust bajo el nombre Project Verona. En comparación con Rust, la diferencia más destacada es que el modelo de propiedad de memoria no se aplica a objetos individuales, sino por regiones (region). Gracias a esto, se puede administrar el espacio de memoria dividiéndolo por secciones y, en particular, se puede colocar código heredado existente dentro de una sección aislada tipo sandbox para usarlo. Probablemente una función así era necesaria para MS, que tiene una enorme cantidad de código legado y no puede simplemente descartarlo por completo. Por ahora, Project Verona está a nivel de laboratorio de investigación, pero se dice que pronto será publicado como código abierto.
Otros artículos:
Videos y diapositivas de la presentación relacionada:
El 70% de los problemas de seguridad en productos de MS se deben a problemas de seguridad de memoria:
Experimento de reescritura de una parte de Windows en Rust:
4 comentarios
Deberían contribuir a Rust... ¿y lo primero que hacen es un fork?
Parece que Rust está muy de moda.
Ah... de algún modo también me preocupa que vayan a crear una variante muy al estilo de MS, como J#.
Cuando vengas, trae un Melona.