[ICFP'26] Deterministic Concurrency
0:00 · Watch on YouTube
Edward Lee는 결정론(determinism)이 물리 시스템이 아닌 모델의 특성이라고 주장합니다. 엔지니어들은 결정론적인 동시성 사양을 작성한 후 높은 신뢰도로 이를 구현해야 합니다. 그의 reactor 모델은 조정 언어 Lingua Franca에서 구현되며, 분산 및 사이버물리 시스템에 대해 이를 수행합니다. 공식적인 고정점 증명을 갖고 있으며, 오늘날 대부분의 시스템이 사용하는...