簡單解釋版編寫分布式系統(tǒng)程序很麻煩要協(xié)調多個通過副作用交互的程序手動控制副作用出錯后找問題難測試工作也繁瑣。Choral 能緩解這些問題可將分布式系統(tǒng)的協(xié)調過程作為單一程序編寫。它對 Java 程序員友好擴展了 Java 語法將通信副作用封裝在類型安全的抽象中讓開發(fā)者專注高層次細節(jié)。若程序協(xié)調描述和實際實現不兼容Choral 編譯器會報錯并幫助解決。它還附帶測試工具 ChoralUnit可輕松編寫集成測試并在分布式系統(tǒng)上執(zhí)行運行時測試。使用 Choral 編程簡單能獲得具有分散控制和強正確性保證的分布式系統(tǒng)還可可靠組合不同編譯程序。語言特性若想大致了解 Choral 程序可先查看“Alice、Bob 和 Carol 參加會議”的示例。Choral 是面向對象語言其對象類型形式為 T(R1, ..., Rn)T 是對象接口R1, ..., Rn 是協(xié)作實現對象的角色。將角色融入數據類型使分布在類型層面體現。例如可編寫程序在 Alice 和 Bob 處并行打印問候消息。通過調用能將數據從一個角色“移動”到另一個角色的方法可實現交互如 SymChannel 接口的 com 方法。Choral 不固定中間件只要滿足編排程序的類型要求就可使用自己的通信實現和現有 Java 代碼其類型系統(tǒng)會強制明確編排程序的通信要求。Alice、Bob 和 Carol 參加會議Alice 詢問 Bob 是否能和 Carol 就 topic 開會Bob 先問 Carol 是否有空若 Carol 有空Bob 再考慮自己是否參加最后 Alice 從 Bob 處得知會議能否舉行的結果。開發(fā)方法論即 Choral 的工作方式Choral 的設計目標是將編排程序生成為正確的 Java 庫實現。其開發(fā)方法論如下將系統(tǒng)預期協(xié)調過程編寫為 Choral 編排程序Choral 編譯器為編排程序中每個角色生成 Java 庫程序員在本地實現中使用這些庫。例如對于 Alice、Bob 和 Carol 角色的編排程序編譯器會為每個角色生成 Java 庫提供 API 供程序員使用。Choral 帶來了哪些優(yōu)勢節(jié)省時間在首批用例中Choral 讓實現編排程序所需編寫的代碼行數減少了 50% 至近 400%。提高代碼安全性編譯器實現參與者本地行為避免編排程序實現中的各類錯誤生成的代碼保證無死鎖能讓人全局了解角色協(xié)調方式易發(fā)現不一致之處。掌控庫 API編譯后的 Java 庫的方法簽名與源編排程序中的方法簽名同態(tài)所見即所得。Choral 在業(yè)務流程、微服務、安全協(xié)議和一般分布式服務等領域有巨大應用潛力。相關文章若對編程語言感興趣想了解 Choral 工作原理及與其他工作的關系可參考文章 [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é)議解決了全雙工異步和互操作性問題。