編集部の意見startupxo
O: 동시에 돌아가는 제어 코드를 짜다가 스레드 잠금 때문에 결과가 매번 달라지는 임베디드 엔지니어가, 두 작업의 실행 순서를 정한 예제를 공식 문서 코드로 여러 번 돌려 결과가 같은지 확인해 볼 때 쓸 만합니다.
X: 결정성과 경쟁 상태 제거는 프로젝트 측 주장이며 원문에는 비교 대상, 측정 조건, 독립 검증 결과가 없어 실제 적용 전에 직접 확인해야 합니다.
書く言語: 韓国語
동시에 실행되는 프로그램의 동작을 매번 같게 만드는 조정 언어 Lingua Franca(lf-lang.org)
書く言語: 韓国語翻訳を読む
要約 / 元記事を読む ↗
- Lingua Franca는 여러 작업이 동시에 돌아가는 프로그램을 만들 때 스레드 관리, 잠금, 메시지 전달 같은 세부 코드를 직접 다루지 않도록 돕는 조정 언어다. 원문은 스레드나 액터 방식보다 동작이 더 반복 가능하다고 주장한다.
- 원문에 따르면 프로그램은 리액터(reactor)라는 구성 단위로 나누어 서로 연결해 만든다. 예시는 가위바위보 두 플레이어가 같은 시점에 패를 공개하도록 연결한 구조다.
- 원문 주장으로, 한쪽이 상대의 선택을 보고 자기 선택을 정하는 식으로 원인과 결과가 서로를 기다리는 순환이 생기면 언어의 분석 도구가 이를 찾아 프로그램이 잘못됐다고 알려준다고 한다.
- 원문에 따르면 반응 코드는 C, C++, Python, TypeScript, Rust 중 고른 언어로 쓴다. 언어는 UC Berkeley에서 시작되었고 Kiel University, TU Dresden 등 여러 대학 연구진이 참여해 발전했다고 원문은 밝힌다.
掲載元
Hacker News ↗ / おすすめ 62 / コメント 14
似たような経験はありますか？そのときどうしたか、一言二言で教えてください。製品に詳しくなくても大丈夫です。