https://rein.kr/posts/2008-12-05-concurrent-programming-and-linearization/