https://uditagarwal.in/a-survey-of-concurrency-bug-patterns/