Finding and Tolerating Concurrency Bugs.