M

Certamente muitos de vocês já ouviram falar de Midori, que seria o próximo passo para o Windows. Um novo sistema operacional escrito do zero, com um novo kernel e escrito em uma linguagem moderna. Tão moderno que ainda nem existe como tal.

A linguagem, codinome M, é baseada em C e é projetada especificamente para a programação de sistemas operacionais, capaz de atingir o nível mais baixo mas sem perder as abstrações úteis necessárias para criar programas mais comuns, como um aplicativo de usuário.

Em um artigo em seu blog, Joe Duffy, um dos desenvolvedores do Midori, compartilhou detalhes muito interessantes sobre essa futura linguagem. A ideia principal do projeto é criar uma linguagem com type-safe (type-safety) como C, mas c com desempenho muito bom , como C++.

Grande parte do esforço de desempenho vai para ajustar duas áreas do C: o coletor de lixo e o sistema de digitação At a Glance , o C coletor de lixo para um programa a cada X vez, procura objetos que não estão mais em uso (por exemplo, seu navegador salvou várias imagens na RAM, mas não precisa mais delas) e libera sua memória. Para desenvolvedores é um sistema que libera muita complexidade na hora de gerenciar a memória, mas como você pode imaginar é mais lento. O M seria mais inteligente nesse aspecto, pegando várias ideias do C++ para entender melhor o ciclo de vida dos objetos (quando eles começam a ser usados ​​e quando não são mais necessários) e assim ser mais eficiente na hora de alocar e liberar memória .sem que o lixeiro tenha que entrar na jogada.

"

Por outro lado, as modificações no sistema de digitação buscam solucionar um dos problemas que a maioria das línguas antigas (leia-se: concebidas antes de 2005) apresentam atualmente, o paralelismo No momento, os computadores não crescem em altura - velocidade do processador - mas em largura, com mais núcleos em paralelo. Criar programas que façam bom uso desse processamento paralelo não é fácil e há muitos detalhes sutis, especialmente ao compartilhar dados entre vários processos ou threads."

M traria conceitos de linguagens de programação funcionais, principalmente imutabilidade de objeto e manipulação de efeito colateral de método, o que tornaria mais fácil para programadores e o compilador criar vários threads para aproveite os múltiplos núcleos dos computadores e melhore muito o desempenho.

Além disso, o M também traria um novo sistema de tratamento de erros: rápido, fácil de usar, eficiente, fazendo uso de contratos de código para restringir o comportamento do programa a caminhos válidos e fácil de entender para que o compilador pode realizar otimizações.Assim estaríamos falando de uma linguagem que facilita criar programas mais seguros e robustos, algo muito importante se quisermos utilizá-la para um sistema operacional.

Chega de jargão técnico: o que isso significa?

Depois de mergulhar um pouco no mundo das linguagens de programação, o que tudo isso significa?

Em primeiro lugar, a Microsoft parece estar levando o próximo estágio do Windows muito a sério. Mary Jo Foley diz que Midori deixou de ser apenas um projeto de pesquisa para ficar sob a proteção de Terry Myerson, no grupo Unified Operating System. M e Midori não são apenas uma experiência, mas o caminho a seguir para a Microsoft.

Faz sentido preparar outra janela? Desde já. Como qualquer outro programa, um sistema operacional tem uma vida útil limitada. O mundo é muito diferente agora de quando o Windows foi projetado, e por mais flexível que seja o sistema, tantas mudanças ao longo dos anos para adaptá-lo a novos cenários acabam cobrando seu preço e começa a ser mais lucrativo começar do zero ( algo que nós cientistas da computação gostamos muito).

Claro que a Midori não vai existir a curto ou médio prazo. Mas quando terminar (se é que algum dia o fará, o que também não é certo) será um sistema que, sendo paralelo e focado na nuvem desde o início, colocará a Microsoft na cabeça do mundo de sistemas operacionais, pelo menos a nível técnico e de capacidade.

Quanto ao M, se, como prometido, fosse uma extensão do C sem alterações não suportadas, muitos desenvolvedores poderiam facilmente mudar para ele. E se eles o liberarem completamente fora da caixa, o que eles também prometeram, eles podem ser capazes de quebrá-lo do 'loop da Microsoft' em que o Cestá preso agora, expandi-lo e, assim, obter uma enorme vantagem sobre outros idiomas e empresas.

Por enquanto, parece que a linguagem terá algum futuro, e devemos saber mais detalhes nas próximas semanas.Quanto a Midori, lembremos que ele nem é oficial, ainda vamos demorar muito para saber mais sobre ele, mas esse tipo de história nos diz para onde a Microsoft está indo.