Tag Archives: RDP

Abandoning Commitment in HCI

Posted on 2012 May 20 by

Today’s applications and services are very committed to what they do for us. And I mean that in a bad way. When we send a message to a service, or call a procedure, or press a button, it is generally … Continue reading →

Posted in Open Systems Programming, Reactive Demand Programming, User Interface | Tagged , , , , , , , | 5 Comments

Dynamic Anytime Algorithms

Posted on 2012 April 18 by

I’m still thinking about ways to eliminate stateful semantics from large-scale reactive applications for RDP, i.e. pursuing stability instead. Stateless semantics make an application more robust against resets, disruption or partitioning, etc.. To achieve stability without state requires accepting some indeterminism … Continue reading →

Posted in Language Design | Tagged , , , , | 1 Comment

Stream vs. Stack

Posted on 2011 October 25 by

In a recent discussion on PiLuD, a question was asked regarding implications of stream processing relative to the stack-machine concept used by many languages today. I replicate my answer here: Stream processing has low memory locality (touches a lot of … Continue reading →

Posted in Concurrency, Language Design | Tagged , | 12 Comments

Vat Model for RDP

Posted on 2011 October 6 by

The “vat” is a delightfully simple concept, which I borrow from E language. A vat is essentially a thread with an event loop, but with a few relevant properties: Vats do not share state. Vats are internally deterministic, up to … Continue reading →

Posted in Concurrency, Language Design, Reactive Demand Programming | Tagged , , , , , , , , , , , , , , , , , | Leave a comment

Reactive State Transition

Posted on 2011 October 4 by

Reactive State Transition (RST) is a simplistic state model I developed for use with Reactive Demand Programming (RDP). RST serves a similar role as would a finite state machine. Unlike a typical state machine, RST reacts to observable system state … Continue reading →

Posted in Language Design, Reactive Demand Programming, State | Tagged , , , , , , , , , , , , , , , | 1 Comment