Rethinking Stateful Stream Processing with RDMA | Synapse