4 ms·
Hi! I have a few questions: 1) What are the benefits of the reactive operating systems? Do you have any example use-cases that this does better than tradition
by toomim 3y ago
Hi! I have a few questions:
1) What are the benefits of the reactive operating systems? Do you have any example use-cases that this does better than traditional approaches?
2) Do you find this related to functional reactive programming at all?
3) Since this is a model of concurrency with eventual consistency, do you see it benefitting from eventually-consistent OT or CRDT data types?
I am asking because I am working on what might be a related model: https://braid.org https://braid.org and https://stateb.us https://stateb.us. We are building a "distributed state abstraction", that we envision will end up in three places:
a) HTTP will upgrade from a state transfer to a state synchronization protocol
b) Applications will be separated into UIs on top of a "web of state" (see https://stateb.us/static/statebus-demo-3-31.mp4 https://stateb.us/static/statebus-demo-3-31.mp4 ) and transition from web apps to app webs
c) Operating Systems will replace file systems with state systems; where local variables in memory can persist to disk without explicit read/write calls, and can be read/written across processes without programming overhead.
So I am asking these questions because I wonder if we are all looking at the same programming abstraction, but from different perspectives!
- tonyg 3y agoThanks for the questions. 1. Applying the same tools used in the SAM for managing concurrency and interactivity "in the small" to "larger" aggregations of components, and starting to get insight into the semantics of operating systems, if you like. For examination of the advantages and drawbacks of the SAM, see https://syndicate-lang.org/tonyg-dissertation/html/ https://syndicate-lang.org/tonyg-dissertation/html/. 2. Loosely, but only loosely. My dissertation (linked just above) discusses FRP a little, but in a nutshell, the SAM has ambition that covers more area than FRP. 3. Yes, absolutely. I've done some experimentation, but nothing rigorous yet. From the points you mention, I think there might indeed be some common underlying thing here we're looking at from different perspectives!