Llegamos a ustedes gracias a:



Noticias

Microsoft pone como código abierto el lenguaje P para la IoT

[17/10/2016] El lenguaje P de Microsoft, para la programación asincrónica basada en eventos y la IoT (Internet de las cosas), ha pasado a código abierto.

Orientado a los sistemas embebidos, controladores de dispositivos y servicios distribuidos, P es un lenguaje de dominio específico que compila e interopera con C, que en sí mismo ha sido aprovechado comúnmente en los sistemas embebidos y la IoT. "El objetivo de P es proporcionar elementos básicos del lenguaje para capturar protocolos de manera sucinta y precisa que son inherentes a la comunicación entre los componentes, indicó Ethan Jackson y Shaz Qadeer de Microsoft, en un tutorial sobre el lenguaje.

Con P, el modelado y la programación se unen en una sola actividad. "No solo se puede compilar un programa P en código ejecutable, sino que también puede ser validado usando pruebas sistemáticas, de acuerdo a la documentación del lenguaje en GitHub. "P ha sido utilizado para implementar y validar el stack de controladores de dispositivos USB que se incluye con Microsoft Windows 8 y Windows Phone.

Microsoft ha descrito a P como un lenguaje "seguro que ofrece programación basada en eventos. En su tutorial, Jackson y Qadeer afirman que los programas de P tienen un modelo computacional que presenta máquinas de estado que se comunican a través de mensajes, un enfoque utilizado comúnmente en sistemas embebidos, en red y distribuidos.

Cada máquina de estado tiene una cola de entrada, estados, transiciones, controladores de eventos y almacenamiento de máquina local para la colección de variables. Las máquinas de estado se ejecutan concurrentemente, cada una de las cuales ejecuta un bucle de eventos que saca de la cola un mensaje de la cola de entrada. La máquina de estado también examina el almacenamiento local, envía mensajes entre máquinas y puede crear nuevas máquinas. "En P, una operación de envío no genera un bloqueo; el mensaje simplemente es ejecutado en la cola de entrada de la máquina de destino. Un programa muestra una colección de declaraciones de eventos y máquinas.

Microsoft también ofrece P#, una extensión de C# que se dirige a la programación asincrónica, como código abierto. Y en junio, Microsoft puso como código abierto Checked C, una versión modificada de C que añade nueva sintaxis y escritura al lenguaje C, con la intención de mejorar la seguridad en C.