Slide 22
Slide 22 text
OPEN CHALLENGES: COMPILATION
Topology-aware compiler
Is it possible to, based on the topology, prevent the compilation of certain programs?
For example, certain network topologies might not be able to provide transactions:
Peer-to-peer, when the network is partially connected
Publish-subscribe topologies, where clients may not receive messages until they come online
Storage-aware compiler
When operating on storage that is weaker than causal consistency, what should happen?
For example:
On Riak, causality is not possible. Therefore, what should happen?
Prevent compilation, disallowing operations that require causality?
Allow compilation, but use a middleware layer to ensure causality?