RPC in the x-Kernel: evaluating new design techniques | Synapse