【51CTO.com快譯】 微軟最近又有新動(dòng)作：將旗下的P語(yǔ)言定位為云、人工智能和嵌入式系統(tǒng)的異步性解決方案。眾所周知，這三項(xiàng)技術(shù)在世界范圍內(nèi)的影響力正在一步步擴(kuò)大。
 

[[192134]]

直面異步事件驅(qū)動(dòng)編程，開(kāi)放源代碼P將建模和編程統(tǒng)一在一起。微軟***研究員稱(chēng)，今天的軟件使用云資源，通常嵌入物理世界的設(shè)備中且采用人工智能技術(shù)。這樣的應(yīng)用程序具有異步特性，導(dǎo)致問(wèn)題的競(jìng)爭(zhēng)條件和海森堡bug，這個(gè)bug是和時(shí)間相關(guān)的錯(cuò)誤，往往消失在調(diào)查中。P語(yǔ)言的建立則用來(lái)迎接這個(gè)挑戰(zhàn)。

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

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

這種計(jì)算機(jī)語(yǔ)言讓工程師們模擬大型Azure服務(wù)組建的異步接口。同樣P語(yǔ)言還可以被用于在PC上調(diào)試問(wèn)題，特別是那些經(jīng)年累月才能被發(fā)現(xiàn)的問(wèn)題。目前，P語(yǔ)言***次被用于微軟USB3.0以上的驅(qū)動(dòng)，在Windows8.1和WindowsPhone中。同時(shí)還被廣泛用于windows驅(qū)動(dòng)的開(kāi)發(fā)。

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

【51CTO譯稿，合作站點(diǎn)轉(zhuǎn)載請(qǐng)注明原文譯者和出處為51CTO.com】