Please refer to ramcloud/designNotes file in git repository. There is a "Linearizable RPC" section in the note.

You may find the presentation from SEDCL retreat pdf helpful.