동시 프로그래밍은 지난 십 년 동안 인기를 끌어왔습니다. 모든 언어와 플랫폼은 그에 해당하는 기본 요소를 제공하지만, 이러한 요소는 완화된 메모리 모델이나 NUMA 아키텍처와 같이 시스템 복잡성이 증가함에 따라 효율적으로 사용하기가 점점 더 어려워지고 있습니다. 여기에서 중요한 질문이 몇 가지 생깁니다. 효율적인 동시 알고리즘을 구축하는 방법은 무엇일까요? 진행 보장, 효율성, 공정성을 아우르는 가장 좋은 절충안은 무엇일까요? 이 모든 알고리즘의 정확성을 확인하고 벤치마킹하는 방법은 무엇일까요? 이러한 알고리즘을 벤치마킹하는 방법은 무엇일까요? 일부 질문은 학계에서 부분적으로 답변했지만, 많은 실질적인 문제는 남아 있습니다. 우리의 목표는 동시성 분야의 다른 연구자와 개발자에게 도움이 될 수 있는 고품질 도구와 함께 실질적이고 합리적이며 이론적으로 가치 있는 솔루션을 제공함으로써 이러한 질문에 답하는 것입니다.