#동시성

async/await 설계 공간 탐구

이 글은 async/await가 언어마다 얼마나 다르게 동작하는지 체계적으로 분석한 논문을 소개합니다. 동일한 비동기 프로그램이 7개 현대 언어 런타임에서 4가지 다른 결과를 낼 정도로 의미론이 다르며, 저자들은 '열성(Eagerness)', '작업 범위(Extent)', '취소(Cancellation)' 등 9가 설계 차원을 도출해 비교합니다. 비동기 코드를 작성하는 개발자에게 자신이 쓰는 언어의 정확한 비동기 의미론을 이해하는 것이 왜 중요한지 보여주는 연구입니다.

C++ 비대칭 펜스(Asymmetric Fences)의 내부 원리

C++ 동시성 제어에서 드물게 실행되는 경로의 동기화 비용을 늘리는 대신, 빈번하게 실행되는 경로의 오버헤드를 줄여 전체 성능을 최적화하는 '비대칭 펜스(Asymmetric Fences)'의 개념과 작동 원리를 설명합니다. 이 기법은 스레드 풀, RCU 등 고성능 동시성 라이브러리에서 시스템 성능을 극대화하기 위해 활발히 사용되고 있습니다.