결정적 동시성 프로그래밍을 위한 'Lingua Franca' 출시
원제 Intuitive concurrent programming in any language
120 포인트댓글 30
Key Point
기존 동시성 프로그래밍의 경쟁 조건과 타이밍 이슈를 언어 수준에서 자동으로 제거하는 새로운 접근법으로, 임베디드·실시간·분산 시스템 개발자들의 개발 방식을 크게 단순화할 수 있다.
핵심 요약
- Lingua Franca는 다중 스레드, 분산 시스템, 시간-민감한 응용을 위한 조정 언어로, 스레드 관리, 동기화, 경쟁 조건 문제를 자동으로 해결한다.
- 결정적 동시성을 구현해 예측 가능한 동작을 보장하며, 타이밍 의미론이 언어 핵심에 내장되어 있어 복잡한 타이밍 로직 없이 시간-민감 작업을 처리할 수 있다.
- 단일 시스템에서 분산 시스템으로의 전환이 최소한의 수정만으로 가능하며, 분산 시스템 프로그래밍의 복잡성을 추상화한다.
- C, C++, Python, TypeScript, Rust 등 기존 프로그래밍 언어로 리액터의 기능을 구현하는 방식이어서, 새로운 언어를 배울 필요 없이 스레드 라이브러리와 메시지 전송 미들웨어를 대체할 수 있다.
- 인과관계 분석으로 프로그램의 유효성을 검증하며, 예를 들어 '동시 공개' 같은 복잡한 시간 관계를 정확하게 구현할 수 있다.
- UC Berkeley에서 시작했으며, Kiel University, TU Dresden, UT Dallas, NTNU, Hanyang University, ASU 등 다수 연구 기관과 협력해 개발되었다.