A Primary-Backup Protocol for In-Memory Database Replication | AMiner