Home >

news Help

Publication Information


Title
Japanese: 
English:A Complete Glitch-Free Propagation Algorithm for Distributed Functional Reactive Programming 
Author
Japanese: JU GUIYUAN, 森口 草介, 渡部 卓雄.  
English: Ju Guiyuan, Sosuke Moriguchi, Takuo Watanabe.  
Language English 
Journal/Book name
Japanese: 
English: 
Volume, Number, Page        
Published date Aug. 31, 2022 
Publisher
Japanese: 
English: 
Conference name
Japanese:日本ソフトウェア科学会第39回大会 
English:39th JSSST Annual Conference 
Conference site
Japanese:名古屋市 
English:Nagoya 
Abstract Functional reactive programming (FRP) provides a good abstraction for developing reactive programs. Because many distributed applications are reactive, FRP should be beneficial for distributed systems. However, undesirable phenomena called glitches can happen due to the asynchronous nature of distributed systems. A glitch is a temporal inconsistency that can occur in the value propagation in FRP. Many propagation algorithms have been proposed to solve the problem, each with its advantages and disadvantages. This paper presents a new value propagation algorithm for a distributed functional reactive programming language. This algorithm provides a uniform method to guarantee single-source and complete glitch freedom. It performs well without using distributed locking by introducing pulse nodes that effectively act as a global clock. Furthermore, it provides fault tolerance for pulse nodes. We evaluate the performance of the algorithm empirically and compare it with other algorithms in a simulated distributed setting.

©2007 Tokyo Institute of Technology All rights reserved.