High-performance ACID via modular concurrency control