微軟最近又有新動作：將旗下的P語言定位為云、人工智能和嵌入式系統(tǒng)的異步性解決方案。眾所周知，這三項技術在世界范圍內的影響力正在一步步擴大。

直面異步事件驅動編程，開放源代碼P將建模和編程統(tǒng)一在一起。微軟首席研究員稱，今天的軟件使用云資源，通常嵌入物理世界的設備中且采用人工智能技術。這樣的應用程序具有異步特性，導致問題的競爭條件和海森堡bug，這個bug是和時間相關的錯誤，往往消失在調查中。P語言的建立則用來迎接這個挑戰(zhàn)。

在P語言中，協(xié)議和規(guī)范的編寫級別很高，P語言呈現(xiàn)了一個基于通信事件中當前執(zhí)行狀態(tài)的計劃模型；每一個事件都伴隨著輸入的有效載荷值，與Rust語言類似。

據(jù)Qadeer介紹，P編譯器提供自動測試，用于運行協(xié)議的并發(fā)相關的競爭條件和可執(zhí)行代碼。P支持并發(fā)建模，具備安全性和可延續(xù)性，并使用系統(tǒng)搜索檢查程序是否滿足其規(guī)格。此外，P程序可以編譯成可執(zhí)行的C代碼，成為連接起高級和低級工具間的橋梁，并且?guī)椭绦騿T接受其正式的模型和規(guī)范。

這種計算機語言讓工程師們模擬大型Azure服務組建的異步接口。同樣P語言還可以被用于在PC上調試問題，特別是那些經年累月才能被發(fā)現(xiàn)的問題。目前，P語言第一次被用于微軟USB3.0以上的驅動，在Windows8.1和WindowsPhone中。同時還被廣泛用于windows驅動的開發(fā)。

原文鏈接：http://www.infoworld.com/article/3197852/application-development/microsofts-p-language-is-aimed-at-where-cloud-ai-and-iot-meet.html

【51CTO譯稿，合作站點轉載請注明原文譯者和出處為51CTO.com】