The Design of a Reliable Remote Procedure Call Mechanism | Synapse