ليمبو (لغة برمجة)
ليمبو (بالإنجليزية: Limbo)، هي لغة برمجة لكتابة النظم الموزعة وهي اللغة المستخدمة لكتابة برمجيات تطبيقية من أجل نظام التشغيل Inferno.[1][2] وقد صممها في مختبرات بل شون دروارد وفيل ينتربوتوم وروب بايك.
ليمبو Limbo | |
---|---|
التصنيف | مُتلاقية |
التنميط | قويَّة |
ظهرت في | 1995 |
صممها | سين دوروارد، فيل وينتربوتم، روب بايك |
نظام التشغيل | إنفرنو |
الرخصة | مفتوح المصدر |
التطوير | |
المطور | مختبرات بل / فيتا نوفا القابضة |
التأثير | |
متأثرة بـ | سي، باسكال، CSP، ألف، صرير جديد |
أثرت في | ستاكليس بايثون، غو، Rust |
متفرقات | |
موقع ويب | www |
ويولد مصرف (برمجة) Limbo كود كائن غير قائم على معمارية الحاسوب والذي بعد ذلك يتم تفسيره عن طريق آلة العرض الافتراضي أو تجميعه قبل وقت التشغيل من أجل تحسين الاداء. وبالتالي فكل تطبيقات لغة Limbo هي محمولة بشكل كامل عبر كل منصات Inferno.
وقد كان مدخل Limbo للتزامن من ايحاء CSP للعالم هور.
مزايا اللغة
تدعم لغة لمبو المزايا الآتية:
- البرمجة التركيبية.
- البرمجة المتزامنة.
- مراجعة نوع قوية في التجميع ووقت التشغيل.
- الاتصالات ما بين العمليات على قنوات مكتوبة.
- جمع القمامة الآلي.
- أنواع البيانات المجردة البسيطة.
آلة افتراضيّة
آلة ديس (بالإنجليزية: Dis) الافتراضيّة الّتي تنفّذ شفرة ليمبو هي آلة افتراضيّة تشبه مجموعة تعليمات حاسوبية مركبة، مع تعليمات للحِساب، وإنشاء تدفق السيطرة، حركة بيانات، عمليّات وَأيضًا المُزامنة والتواصل بين العمليّات، وتحميل مكتبات الشِفرة وَدعم أنواع البيانات ذات المُستوى العالي: سلاسل نصيَّة، مصفوفات، قوائم، وأيضًا قنوات التواصل.[3] تستَخدم إحصاء مراجع هجين وَجابي قُمامة بالوقت الحقيقيّ للبيانات الدوّارة.[4]
أمثلة
تستخدم لغة لمبو تعريفات نمط أيدا (لغة برمجة) كما في:
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" بقلم مارتن أتكينز، وتشارلز فورسيث وروب بايك وهوارد تريكي، الذي شُرع فيه ولكن لم يصدر مطلقًا.
مراجع
- Lorenz Huelsbergen and Phil Winterbottom. "Very Concurrent Mark and Sweep Garbage Collection without Fine-Grain Synchronization" (PDF). مؤرشف من الأصل (PDF) في 3 مارس 2019. الوسيط
|CitationClass=
تم تجاهله (مساعدة); Cite journal requires|journal=
(مساعدة) - "Dis Virtual Machine Specification". Vita Nuova. 2000. مؤرشف من الأصل في 13 نوفمبر 2016. اطلع عليه بتاريخ 02 فبراير 2015. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - "Dis Virtual Machine Specification". Vita Nuova. 2000. مؤرشف من الأصل في 27 سبتمبر 2018. اطلع عليه بتاريخ 02 فبراير 2015. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - Lorenz Huelsbergen and Phil Winterbottom. "Very Concurrent Mark and Sweep Garbage Collection without Fine-Grain Synchronization" (PDF). مؤرشف من الأصل (PDF) في 3 مارس 2019. الوسيط
|CitationClass=
تم تجاهله (مساعدة); Cite journal requires|journal=
(مساعدة)
وصلات خارجية
- Vita Nuova page on Limbo
- A Descent into Limbo by Brian Kernighan
- The Limbo Programming Language by Dennis M. Ritchie and Addendum by Vita Nuova.
- Inferno Programming with Limbo by Phillip Stanley-Marbell
- Threaded programming in the Bell Labs CSP style
- Limbo on Google Directory
- بوابة برمجيات حرة
- بوابة برمجة الحاسوب
- بوابة تقنية المعلومات