微軟發(fā)布P語言，欲將云、AI與物聯(lián)網(wǎng)“一網(wǎng)打盡”
譯文【51CTO.com快譯】 微軟最近又有新動作：將旗下的P語言定位為云、人工智能和嵌入式系統(tǒng)的異步性解決方案。眾所周知，這三項技術(shù)在世界范圍內(nèi)的影響力正在一步步擴大。
直面異步事件驅(qū)動編程，開放源代碼P將建模和編程統(tǒng)一在一起。微軟***研究員稱，今天的軟件使用云資源，通常嵌入物理世界的設(shè)備中且采用人工智能技術(shù)。這樣的應用程序具有異步特性，導致問題的競爭條件和海森堡bug，這個bug是和時間相關(guān)的錯誤，往往消失在調(diào)查中。P語言的建立則用來迎接這個挑戰(zhàn)。
在P語言中，協(xié)議和規(guī)范的編寫級別很高，P語言呈現(xiàn)了一個基于通信事件中當前執(zhí)行狀態(tài)的計劃模型；每一個事件都伴隨著輸入的有效載荷值，與Rust語言類似。
據(jù)Qadeer介紹，P編譯器提供自動測試，用于運行協(xié)議的并發(fā)相關(guān)的競爭條件和可執(zhí)行代碼。P支持并發(fā)建模，具備安全性和可延續(xù)性，并使用系統(tǒng)搜索檢查程序是否滿足其規(guī)格。此外，P程序可以編譯成可執(zhí)行的C代碼，成為連接起高級和低級工具間的橋梁，并且?guī)椭绦騿T接受其正式的模型和規(guī)范。
這種計算機語言讓工程師們模擬大型Azure服務組建的異步接口。同樣P語言還可以被用于在PC上調(diào)試問題，特別是那些經(jīng)年累月才能被發(fā)現(xiàn)的問題。目前，P語言***次被用于微軟USB3.0以上的驅(qū)動，在Windows8.1和WindowsPhone中。同時還被廣泛用于windows驅(qū)動的開發(fā)。
原文鏈接：http://www.infoworld.com/article/3197852/application-development/microsofts-p-language-is-aimed-at-where-cloud-ai-and-iot-meet.html
【51CTO譯稿，合作站點轉(zhuǎn)載請注明原文譯者和出處為51CTO.com】
