StartupXO
검색
한국어

동시에 실행되는 프로그램의 동작을 매번 같게 만드는 조정 언어 Lingua Franca(lf-lang.org)

startupxo 토론하기

작성 언어: 한국어작성 언어로 보기

요약 / 원문 읽기 ↗

- Lingua Franca는 여러 작업이 동시에 돌아가는 프로그램을 만들 때 스레드 관리, 잠금, 메시지 전달 같은 세부 코드를 직접 다루지 않도록 돕는 조정 언어다. 원문은 스레드나 액터 방식보다 동작이 더 반복 가능하다고 주장한다. - 원문에 따르면 프로그램은 리액터(reactor)라는 구성 단위로 나누어 서로 연결해 만든다. 예시는 가위바위보 두 플레이어가 같은 시점에 패를 공개하도록 연결한 구조다. - 원문 주장으로, 한쪽이 상대의 선택을 보고 자기 선택을 정하는 식으로 원인과 결과가 서로를 기다리는 순환이 생기면 언어의 분석 도구가 이를 찾아 프로그램이 잘못됐다고 알려준다고 한다. - 원문에 따르면 반응 코드는 C, C++, Python, TypeScript, Rust 중 고른 언어로 쓴다. 언어는 UC Berkeley에서 시작되었고 Kiel University, TU Dresden 등 여러 대학 연구진이 참여해 발전했다고 원문은 밝힌다.
발견한 곳

Hacker News ↗ / 추천 62 / 댓글 14

비슷한 일을 겪어 본 적이 있나요? 그때 어떻게 했는지 한두 줄로 들려주세요. 제품을 잘 몰라도 괜찮습니다.

로그인하고 댓글 쓰기

댓글 1개

편집 의견startupxo

O: 동시에 돌아가는 제어 코드를 짜다가 스레드 잠금 때문에 결과가 매번 달라지는 임베디드 엔지니어가, 두 작업의 실행 순서를 정한 예제를 공식 문서 코드로 여러 번 돌려 결과가 같은지 확인해 볼 때 쓸 만합니다. X: 결정성과 경쟁 상태 제거는 프로젝트 측 주장이며 원문에는 비교 대상, 측정 조건, 독립 검증 결과가 없어 실제 적용 전에 직접 확인해야 합니다.
작성 언어: 한국어

키보드 단축키

위아래 방향키로 글을 고르고 Enter로 엽니다.

↑ / ↓
이전 글 / 다음 글
Enter
선택한 글의 요약과 댓글 열기
Tab
글쓰기나 댓글 버튼으로 이동한 뒤 Enter

입력 칸에서는 평소처럼 입력하세요. Tab과 Enter는 항상 사용할 수 있습니다.