Ir al contenido principal

Nuevo lenguaje de alto nivel para programar sistemas de Microsoft M#


Lo que hasta hace poco era un proyecto de investigación que apuntaba a transformarse en un nuevo proyecto Cairo, finalmente parece ser un proyecto ciertamente tangible y del que ya se conocen ciertos detalles de su implementación.


Por poner un ejemplo, el lenguaje de programación que se está utilizando para construir el sistema es M# o M sharp, un lenguaje de alto nivel orientado a la programación del propio sistema operativo. 

La idea de Midori es tener un lenguaje que dé muy buen rendimiento y sea sencillo de desarrollar, siguiendo los principios de C#.

M# proviene de Sing#, el lenguaje utilizado para desarrollar Singularity, un micronúcleo desarrollado por Microsoft Research, como así menciona alguien que se declara antiguo empleado de Microsoft en un hilo de Reddit.

¿En el aspecto técnico, qué mejoras aporta?
M# principalmente busca poder cambiar dos aspectos de C# que mejoren su rendimiento. 
Por un lado, el garbage collector, un componente que se encarga de recorrer las zonas de memoria ocupadas por cada programa y de liberar, en cada zona, aquellas partes que no se estén usando. M# así se vuelve más eficaz e inteligente, detectando cuándo un objeto deja de ser necesario y puede ser eliminado de la memoria.

Y por otro lado, también hay mejoras en el sistema de tipado, buscando abordar un grave problema en los sistemas operativos actuales como es el de que los procesadores crecen a lo ancho y no a lo alto, es decir, en vez de haber núcleos más rápidos, lo que tenemos son procesadores con más núcleos, en ocasiones optimizados y especializados para ciertos usos concretos.

Además, M# busca fomentar el uso de contratos de código para que los programas restrinjan su comportamiento a los caminos definidos por el sistema y fáciles de entender, de forma que el compilador sea capaz de realizar optimizadores y los programas sean finalmente más robustos y fiables.

Por último, cabe decir que M# pretende ser Open Source desde sus inicios, ya que no se trata de una experiencia nueva para Microsoft: F#, la propuesta de Microsoft en programación funcional, también es open source.

¿Qué significa todo esto? ¿Qué sabemos hasta ahora de Midori?
Midori, según sabíamos hasta el momento, era un proyecto de Microsoft Research sobre un nuevo concepto de sistema operativo, totalmente distinto a lo que conocemos hasta el momento. 

Si bien oficialmente Midori no existe, Microsoft no ha declarado todavía nada al respecto, pero es bien sabido que Windows arrastra lastres desde el primer Windows NT, lanzado en 1993, y que cada versión de Windows tiene por máxima la retrocompatibilidad casi total con todos los programas existentes para Windows. 

Y por lo que ya se sabe de Midori, parece ser el sistema operativo de nueva generación, máxime ahora que forma parte de la división de Sistemas Operativos de Microsoft, dirigida por Terry Myerson, según indica Mary Jo Foley.

Por otro lado Midori cabe decir que estaría siendo desarrollado usando M#, que no es sino una extensión de C# y .NET (porque M# busca ser eficiente en tipos desde el principio, y C# es un punto de partida magnífico). 

Esto significaría que, seguramente, Midori estaría preparado para ejecutar todas las aplicaciones desarrolladas usando estas tecnologías, e incluso de manera más eficiente.

Además, este no se trata de un proyecto a corto plazo, ya que evidentemente un proceso así no se completa en poco tiempo, y están muy esperanzados con Midori, como una respuesta exitosa a los nuevos tiempos en la informática para Microsoft.

Comentarios

Entradas populares de este blog

TIC : Pruebas de caja negra y caja blanca

En el mundo de los sistemas, el término “caja negra/blanca” se emplea para referirse a un elemento del cual se quiere conocer sus resultados sin importar sus maneras o procesos. En ocasiones, a ciertos elementos de un sistema se le aplican unas denominadas pruebas de caja negra/blanca , en donde se introduce información al sistema y se esperan resultados acertados, sin importar como sean logrados. Las cajas negras sirven para conocer cómo trabaja el conjunto de un sistema sin importar lo que hace (y como lo hace) cada uno de sus módulos. No obstante, también se le llama caja negra a un elemento que no puede ser penetrado ni manipulado desde afuera; lo cual lo hace inaccesible, haciendo visible solo sus resultados. Caja negra y cajas blancas Existe también un concepto antagónico, denominado “caja blanca”. Este es el estudio de un módulo (no de un sistema) y sus interacciones internas para lograr los resultados que arroja. Es decir, sin importar la proceden

USB Raras, Curiosas y Estupidas 2

L es comparto una serie de fotos chistosas que me encontre navegando sobre usb´s raras y estupidas, aunque creo que unas dos son fakes, bueno eso creo yo, pero bueno les presento estas fotos y ustedes opinen. Sushi USB Memory set Jaja un juego de sushis. USB Doll Bueno.... Cepillo dental USB Jaja que tal si nos ponemos a lavar los dientes, mientras transmitimos informacion a la compu jajajajajja. bueno no creo que sea para eso xD!! Gadgets Navideños USB Jaja bueno ya saben programan las luces por compu jajajaa. Hombre de Nieve Bueno tenes que ponerlo a bailar.... HumificadorUSB Aqui le echan humo un poco, pero ojo que no se les ocurra darle de fumar otra cosa a esta USB jaja......... Calentador de manos USB Ya saben si necesitan calentarse las manos solo conectan y se las calientan un poco, en vez de estar haciendo que cosas con sus manos jaja. Frazada USB Bueno sin palabras..... Mega USB Disco Ball A prenderla se dijo.... Y bueno esta si me gusta.

Como detectar 19 vulnerabilidades y filtraciones desconocidas con una simple herramienta

Cualquiera que estudie las filtraciones de datos sabe que lo primero que hacen los cibercriminales al robar una serie de credenciales es testearlas en un gran número de webs, especialmente las correspondientes a los sitios de correo electrónico que son los que apuntalan la identidad de las personas online. Por ejemplo, los datos obtenidos de hackear una pequeña web se usarán para atacar otros más grandes y valiosos (por ejemplo Gmail) con la esperanza de que las víctimas utilizasen las mismas credenciales. Cada cierto tiempo, los investigadores de seguridad tienen ideas y llama la atención que a nadie se le hubieran ocurrido antes. Si existiese un premio para este tipo de descubrimientos, un firme candidato para el de este año sería la herramienta de detección temprana de filtraciones de datos Tripwire, creada por ingenieros de la Universidad de California San Diego (UCSD). En test reales, Tripwire no solo detectó una serie de filtraciones de datos