P語言是一款由微軟、加州大學伯克利分校和倫敦帝國學院共同研發完成的編程語言，它在處理并發、故障切換等方面具有很強的優勢。本文介紹了P語言的起源、特性及其使用場景。以下是譯文。

　　新興應用程序的復雜性需要使用新興的方式去理解，然后才能高效地去構建、測試和調試。現在的應用程序常常會使用云資源，采用人工智能技術，并嵌入到物理設備中。這三個因素的結合使得軟件開發變得非常困難。

　　通常來說，這些現代應用程序都具有異步性，主要表現在：為了提高性能，請求者在當前操作完成之前可繼續執行后面的操作。異步不可避免地會產生并發，并帶來一些臭名昭著的坑，例如競態條件和海森堡bug（軟件錯誤，通常與時序相關，但在調查其原因的時候該錯誤可能會消失，這是因為當前環境已經產生了變化）。為了應對異步計算帶來的挑戰，我們開發了P，一種用于在異步事件驅動應用程序中建模和制定協議的編程語言。該項目是微軟研發人員以及加州大學伯克利分校和倫敦帝國學院的學術研究人員之間通力合作的結果。

　　P語言工具鏈流程圖

　　P的程序員在上層編寫協議及其規范。P編譯器提供針對競態條件的自動化測試和承載了指定協議的可執行程序。P在如下這幾個方面提供了一流的支持，包括：對并發進行建模、指定安全和活性屬性、系統性的搜索并檢查程序是否滿足其規范。對于這些功能來說，P與Leslie Lamport的TLA+和Gerard Holzmann的SPIN相似。但與TLA+和SPIN不同的是，P程序也可以編譯成可執行的C代碼。這種能力在高級模型和低級實現之間起到了橋梁的作用，也讓程序員可以更容易地接受正式的建模模型和規范。