| Lei Zhengyu (雷正宇)*,Shi Xiao** ****,Lyu Cunchi* **,Li Qingwen* **,Zhao Xiaofang* ** *** *****.[J].高技术通讯(英文),2026,32(2):148~155 |
|
| A parallel calculus with distributed futures |
| |
| DOI：10. 3772 / j. issn. 1006-6748. 2026. 02. 004 |
| 中文关键词: |
| 英文关键词: formal semantics, distributed programming, distributed future |
| 基金项目: |
| Author Name | Affiliation | | Lei Zhengyu (雷正宇)* | (* University of Chinese Academy of Sciences, Beijing 100049, P. R. China)
(** Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, P. R. China)
(*** University of Chinese Academy of Sciences Nanjing, Nanjing 211135, P. R. China)
(**** Nanjing Institute of InforSuperBahn, Nanjing 211135, P. R. China)
(***** Institute of Intelligent Computing Technology, Suzhou, Chinese Academy of Sciences, Suzhou 215028, P. R. China) | | Shi Xiao** **** | | | Lyu Cunchi* ** | | | Li Qingwen* ** | | | Zhao Xiaofang* ** *** ***** | |
|
| Hits: 102 |
| Download times: 112 |
| 中文摘要: |
| |
| 英文摘要: |
| Futures serve as a universal parallel programming mechanism widely used to represent the results of asynchronous computations. However, existing research on futures primarily focuses on single-machine parallel models, lacking formal characterization of evaluation mechanisms in distributed environments. Interestingly, distributed futures have already been applied to real distributed systems and proven to be a reasonable distributed parallel programming mechanism. This paper proposes λDFut, a parallel calculus extended from the simply typed λ-calculus (STLC) that formally models the behavior of distributed futures, bridging the gap between theory and practice. The system introduces two primitives at the language level: creating asynchronous tasks (fut) and synchronization (wait),and provides serial evaluation, parallel evaluation, and distributed evaluation semantics. We prove the basic properties of the system under well-typed programs, as well as the result equivalence of the three semantics, thereby providing a theoretical foundation for understanding and constructing distributed futures systems. |
|
View Full Text
View/Add Comment Download reader |
| Close |
|
|
|
