簡單解釋版編寫分布式系統(tǒng)程序很麻煩要協(xié)調(diào)多個通過副作用交互的程序手動控制副作用出錯后找問題難測試工作也繁瑣。Choral 能緩解這些問題可將分布式系統(tǒng)的協(xié)調(diào)過程作為單一程序編寫。它對 Java 程序員友好擴(kuò)展了 Java 語法將通信副作用封裝在類型安全的抽象中讓開發(fā)者專注高層次細(xì)節(jié)。若程序協(xié)調(diào)描述和實際實現(xiàn)不兼容Choral 編譯器會報錯并幫助解決。它還附帶測試工具 ChoralUnit可輕松編寫集成測試并在分布式系統(tǒng)上執(zhí)行運行時測試。使用 Choral 編程簡單能獲得具有分散控制和強(qiáng)正確性保證的分布式系統(tǒng)還可可靠組合不同編譯程序。語言特性若想大致了解 Choral 程序可先查看“Alice、Bob 和 Carol 參加會議”的示例。Choral 是面向?qū)ο笳Z言其對象類型形式為 T(R1, ..., Rn)T 是對象接口R1, ..., Rn 是協(xié)作實現(xiàn)對象的角色。將角色融入數(shù)據(jù)類型使分布在類型層面體現(xiàn)。例如可編寫程序在 Alice 和 Bob 處并行打印問候消息。通過調(diào)用能將數(shù)據(jù)從一個角色“移動”到另一個角色的方法可實現(xiàn)交互如 SymChannel 接口的 com 方法。Choral 不固定中間件只要滿足編排程序的類型要求就可使用自己的通信實現(xiàn)和現(xiàn)有 Java 代碼其類型系統(tǒng)會強(qiáng)制明確編排程序的通信要求。Alice、Bob 和 Carol 參加會議Alice 詢問 Bob 是否能和 Carol 就 topic 開會Bob 先問 Carol 是否有空若 Carol 有空Bob 再考慮自己是否參加最后 Alice 從 Bob 處得知會議能否舉行的結(jié)果。開發(fā)方法論即 Choral 的工作方式Choral 的設(shè)計目標(biāo)是將編排程序生成為正確的 Java 庫實現(xiàn)。其開發(fā)方法論如下將系統(tǒng)預(yù)期協(xié)調(diào)過程編寫為 Choral 編排程序Choral 編譯器為編排程序中每個角色生成 Java 庫程序員在本地實現(xiàn)中使用這些庫。例如對于 Alice、Bob 和 Carol 角色的編排程序編譯器會為每個角色生成 Java 庫提供 API 供程序員使用。Choral 帶來了哪些優(yōu)勢節(jié)省時間在首批用例中Choral 讓實現(xiàn)編排程序所需編寫的代碼行數(shù)減少了 50% 至近 400%。提高代碼安全性編譯器實現(xiàn)參與者本地行為避免編排程序?qū)崿F(xiàn)中的各類錯誤生成的代碼保證無死鎖能讓人全局了解角色協(xié)調(diào)方式易發(fā)現(xiàn)不一致之處。掌控庫 API編譯后的 Java 庫的方法簽名與源編排程序中的方法簽名同態(tài)所見即所得。Choral 在業(yè)務(wù)流程、微服務(wù)、安全協(xié)議和一般分布式服務(wù)等領(lǐng)域有巨大應(yīng)用潛力。相關(guān)文章若對編程語言感興趣想了解 Choral 工作原理及與其他工作的關(guān)系可參考文章 [Choral: Object-oriented Choreographic Programming](https://dl.acm.org/doi/10.1145/3632398)。也可在 [Choreographic Programming Wikipedia article](https://en.wikipedia.org/wiki/Choreographic_programming)、[介紹編排式編程的博士論文](https://www.fabriziomontesi.com/files/choreographic-programming.pdf) 或 [編排式語言理論入門教材](https://doi.org/10.1017/9781108981491) 中了解編排式編程。[Ozone](https://github.com/dplyukhin/ozone) 是實驗性庫允許在 Choral 代碼中安全使用 _futures_可編寫并行處理請求或異步返回值的端點代碼?？赏ㄟ^觀看 [此視頻](https://www.youtube.com/watch?v23y1WCdvMX4) 或閱讀研究文章 [Ozone: Fully Out-of-Order Choreographies](https://doi.org/10.4230/LIPIcs.ECOOP.2024.31) 了解更多。[Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability](https://doi.org/10.22152/programming-journal.org/2024/8/8) 首次用 Choral 開發(fā)了 [Internet Relay Chat (IRC)](https://en.wikipedia.org/wiki/IRC) 協(xié)議解決了全雙工異步和互操作性問題。