I ran into Dave Rosenthal, who mentioned a couple interesting things:
-
Flow is called Flow because in writing the actor compiler they realized that they only needed to identify the control flow keywords in order to be able to sufficiently parse C++. So what do you call something that only looks at control flow? Flow.
-
The consensus implementation is indeed from Active Disk Paxos, but it’s only the Ranked Register, and whatever subset survived the following two days of the Daves working out a minimal implementation on a whiteboard.