Edelweiss Sample Programs

Reliable unicast: input, rewritten
Reliable broadcast

Fixed membership: input, rewritten
Dynamic (epoch-based) membership: input, rewritten

Causal broadcast: input, rewritten
Read-request pattern: input, rewritten
Key-value store: input, rewritten
Causally consistent KVS: input, rewritten
Read/write registers

Single-key writes: input, rewritten
Multi-key atomic writes: input, rewritten
Multi-key consistent reads: input, rewritten

Using Edelweiss

The current Edelweiss prototype can be found in the gc-proto-v1 branch of the Bud git repository. Edelweiss is used in the same way as the normal Bud interpreter: the user's program is represented as a stylized Ruby class, and a few lines of imperative Ruby to create one or more instances of the class and cause them to start running. Note that the Edelweiss sub-language restrictions described in the paper are not currently enforced; that is, Edelweiss will generate storage reclamation logic when the input program satisfies the restrictions described in the paper, but programs outside the Edelweiss sub-language are not rejected.

—Neil Conway