Speedy transactions in multicore in-memory databases | Synapse