PROFILBARU.COM

معلومات عامة
التصنيف	مُتلاقية
التنميط	قويَّة
ظهرت في	1995؛ منذ 30 سنوات
صممها	سين دوروارد، فيل وينتربوتم، روب بايك
نظام التشغيل	إنفرنو
الرخصة	مفتوح المصدر
المطور	مختبرات بل / فيتا نوفا القابضة
الإصدار الأول	1995
متأثرة بـ	سي، باسكال، CSP، ألف، صرير جديد
أثرت في	ستاكليس بايثون، غو، Rust
موقع الويب	www.vitanuova.com/inferno/limbo.html

ليمبو (بالإنجليزية: Limbo)‏، هي لغة برمجة لكتابة النظم الموزعة وهي اللغة المستخدمة لكتابة برمجيات تطبيقية من أجل نظام التشغيل Inferno.^[1]^[2] وقد صممها في مختبرات بل شون دروارد وفيل ينتربوتوم وروب بايك.

ويولد مصرف (برمجة) Limbo كود كائن غير قائم على معمارية الحاسوب والذي بعد ذلك يتم تفسيره عن طريق آلة العرض الافتراضي أو تجميعه قبل وقت التشغيل من أجل تحسين الاداء. وبالتالي فكل تطبيقات لغة Limbo هي محمولة بشكل كامل عبر كل منصات Inferno.

وقد كان مدخل Limbo للتزامن من ايحاء CSP للعالم هور.

مزايا اللغة

تدعم لغة لمبو المزايا الآتية:

البرمجة التركيبية.
البرمجة المتزامنة.
مراجعة نوع قوية في التجميع ووقت التشغيل.
الاتصالات ما بين العمليات على قنوات مكتوبة.
جمع القمامة الآلي.
أنواع البيانات المجردة البسيطة.

آلة افتراضيّة

آلة ديس (بالإنجليزية: Dis)‏ الافتراضيّة الّتي تنفّذ شفرة ليمبو هي آلة افتراضيّة تشبه مجموعة تعليمات حاسوبية مركبة، مع تعليمات للحِساب، وإنشاء تدفق السيطرة، حركة بيانات، عمليّات وَأيضًا المُزامنة والتواصل بين العمليّات، وتحميل مكتبات الشِفرة وَدعم أنواع البيانات ذات المُستوى العالي: سلاسل نصيَّة، مصفوفات، قوائم، وأيضًا قنوات التواصل.^[3] تستَخدم إحصاء مراجع هجين وَجابي قُمامة بالوقت الحقيقيّ للبيانات الدوّارة.^[1]

أمثلة

تستخدم لغة لمبو تعريفات نمط أيدا (لغة برمجة) كما في:

 name := type value;
 name0,name1 : type = value;
 name2,name3 : type;
 name2 = value;

أهلا بالعالم

 implement Command;

 include "sys.m";
     sys: Sys;

 include "draw.m";

 include "sh.m";

 init(nil: ref Draw->Context, nil: list of string)
 {
     sys = load Sys Sys->PATH;
     sys->print("Hello World!\n");
 }

كتب

تم وصف الطبعة الثالثة من نظام تشغيلInferno ولغة برمجة لمبو في كتاب "Inferno Programming with Limbo" [الرقم الدولي للكتاب ISBN 0-470-84352-7] ( شيستر: John Wiley & Sons, 2003))، عن طريق [فيليب ستانلي ماربل]. و كتاب أخر هو "The Inferno Programming Book: An Introduction to Programming for the Inferno Distributed System" بقلم مارتن أتكينز، وتشارلز فورسيث وروب بايك وهوارد تريكي، الذي شُرع فيه ولكن لم يصدر مطلقًا.

انظر أيضا

The

- The predecessor of Limbo.

غو - Similar language from Google

مراجع

^ ^ا ^ب Lorenz Huelsbergen and Phil Winterbottom. "Very Concurrent Mark and Sweep Garbage Collection without Fine-Grain Synchronization" (PDF). مؤرشف من الأصل (PDF) في 2019-03-03. {{استشهاد بدورية محكمة}}: الاستشهاد بدورية محكمة يطلب |دورية محكمة= (مساعدة)
^ "Dis Virtual Machine Specification". Vita Nuova. 2000. مؤرشف من الأصل في 2016-11-13. اطلع عليه بتاريخ 2015-02-02.
^ "Dis Virtual Machine Specification". Vita Nuova. 2000. مؤرشف من الأصل في 2018-09-27. اطلع عليه بتاريخ 2015-02-02.