【.com快译】微软最近又有新动作：将其P语言定位为云的异步性，人工智能和嵌入式系统解决方案。众所周知，这三项技术在世界范围内的影响正在一步步扩大。正面面对异步事件驱动编程，开源P统一建模和编程。据微软首席研究员称，当今的软件使用云资源，通常嵌入物理世界的设备中并使用人工智能。此类应用程序具有异步性质，导致有问题的竞争条件和海森堡错误，这些错误是与时间相关的错误，在调查中往往会消失。P语言就是为了应对这一挑战而构建的。在P中，协议和规范是在高层编写的，P提出了一个基于通信事件之间当前执行状态的计划模型；每个事件都伴随着一个输入负载值，类似于Rust。根据Qadeer的说法，P编译器为与并发相关的竞争条件和运行协议的可执行代码提供了自动测试。P支持并发性、安全性和连续性建模，并使用系统搜索来检查程序是否符合其规范。另外，P程序可以编译成可执行的C代码，作为高级工具和低级工具之间的桥梁，帮助程序员接受他们的形式化模型和规范。这种计算机语言让工程师可以模拟大型Azure服务组件的异步接口。同样的P语言也可以用来调试PC上的问题，尤其是那些年年岁月之后才能发现的问题。目前P语言在微软USB3.0及以上的驱动中首次使用，在Windows8.1和WindowsPhone中。它也广泛用于windows驱动程序的开发。原文链接：http://www.infoworld.com/article/3197852/application-development/microsofts-p-language-is-aimed-at-where-cloud-ai-and-iot-meet.html转载请注明出处合作网站转载时译者和来源为.com]
