Meerkat: A Distributed Reactive Programming Language with Live Updates
Heng Zhong, Anrui Liu
TL;DR
Meerkat is a new distributed reactive programming language that ensures type safety and strong consistency for live updates across distributed systems, enhancing developer control and system reliability.
Contribution
It introduces a type-safe language supporting distributed live updates with multiple evolution queues, extending reactive programming with strong consistency guarantees.
Findings
Supports multiple distributed evolution queues
Ensures strong consistency for live updates
Incorporates dependency sets in the type system
Abstract
We propose a novel type-safe reactive programming language with live updates that extends an existing work to support multiple distributed evolution queues. Dependency sets of definitions are incorporated in the type system to protect the interaction between the frontend user interface and the backend database. Distributed live updates submitted by multiple programmers are ensured strong consistency based on an existing framework for distributed reactive propagation.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed and Parallel Computing Systems · Cloud Computing and Resource Management · Parallel Computing and Optimization Techniques