Project Verona: a linguagem de programação de sistemas derivada de Rust que a Microsoft está criando
(zdnet.com)Segundo a Microsoft, 70% dos problemas de segurança encontrados em produtos da MS nos últimos 12 anos foram causados por questões de segurança de memória (Memory Safety). Rust, uma linguagem de programação de sistemas que vem ganhando popularidade nos últimos tempos, consegue detectar esse tipo de problema de segurança de memória em tempo de compilação. De olho nisso, a MS teria realizado desde o verão passado um experimento para reescrever em Rust partes do código interno do Windows que antes estavam em C++.
Os resultados do experimento foram positivos, mas, na visão da MS, Rust, por ser um projeto ainda jovem, aparentemente tinha algumas limitações para o uso que eles queriam fazer. Por isso, a Microsoft começou a desenvolver uma nova linguagem de programação de sistemas derivada de Rust com o nome Project Verona. Em comparação com Rust, a principal diferença estaria no fato de que o modelo de ownership da memória é aplicado por região (region), e não por objeto individual. Com isso, seria possível dividir e gerenciar o espaço de memória por partições e, em especial, colocar código legado existente em partições sandbox para uso. Talvez esse tipo de recurso fosse necessário justamente por uma característica da MS: ela tem uma quantidade enorme de código legado e não pode simplesmente descartar tudo. No momento, o Project Verona ainda está em nível de laboratório de pesquisa, mas deve ser lançado como open source em breve.
Outras matérias:
Vídeo da apresentação relacionada e slides:
70% dos problemas de segurança em produtos da MS são de segurança de memória:
Experimento de reescrita em Rust de partes do Windows:
4 comentários
Era para contribuir com o Rust... vão fazer um fork logo de cara?!
Parece que Rust está bem em alta.
Ah... por algum motivo também fico preocupado se não vão criar uma variante com a cara da MS, tipo o J#.
Quando você vem, Merona