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 متاحين دائما.