Concurrency model

* RAMCloud will have to provide at least a simple locking mechanism so that applications can implement atomic transactions.

* What is the right level of consistency to provide for updates that span servers?