نظام قائم على اللغة

النظام القائم على اللغة هو نوع من أنظمة التشغيل يستخدم خصائص اللغة لتوفير الأمان ، بدلاً من آليات الأجهزة أو بالإضافة إليها. في هذه الأنظمة، يكون الكود المعروف باسم " القاعدة الموثوقة" مسؤولاً عن الموافقة على تنفيذ البرامج ، مما يضمن عدم قدرتها على تنفيذ عمليات تضر باستقرار النظام دون اكتشافها ومعالجتها أولاً. ^{[ 1 ]} تتمثل إحدى الاستراتيجيات الشائعة لضمان استحالة هذه العمليات في بناء النظام حول لغة برمجة عالية المستوى ، مثل جافا ، التي يمنع تصميمها استخدام بنيات خطيرة؛ فالعديد من الأنظمة مكتوبة بالكامل بهذه اللغة، مع استخدام الحد الأدنى من التعليمات البرمجية منخفضة المستوى . ^{[ 2 ]} بما أن الأنظمة القائمة على اللغة تستطيع ضمان عدم قدرتها على القيام بأمور قد تضر بالنظام (مثل إتلاف الذاكرة عن طريق الوصول إلى مؤشرات معلقة )، فإنه من الممكن لها تجنب عمليات تبديل مساحة العناوين المكلفة التي تحتاجها أنظمة التشغيل التقليدية؛ ولهذا السبب، تحظى النوى المصغرة بشعبية أكبر من الأنظمة التقليدية. يتمثل أحد الأشكال الأكثر تطرفًا لهذا في بنية الكمبيوتر ذات اللغة عالية المستوى ، حيث يتم دفع القاعدة الموثوقة إلى الأجهزة، ويتم كتابة النظام بأكمله بلغة عالية المستوى.

• نظام تشغيل الحاسوب المركزي Burroughs MCP 
• كوزموس – مجموعة أدوات لبناء أنظمة تشغيل تعتمد على واجهة المستخدم الرسومية وواجهة سطر الأوامر 
• الزمرد
• إنفيرنو - نظام تشغيل موزع 
• JX – نظام تشغيل ذو نواة مصغرة قائم على لغة جافا 
• جهاز Lisp – حاسوب متخصص في تشغيل لغة Lisp 
• ميدوري – نظام تشغيل قائم على النواة المصغرة من مايكروسوفت 
• أوبرون - نظام تشغيل متعدد المهام مكتوب بلغة أوبرون 
• ريدوكس – نظام تشغيل ذو نواة مصغرة مكتوب بلغة رست 
• سينغولاريتي – نظام تشغيل تجريبي من مايكروسوفت للأبحاث 
• سمول توك - لغة برمجة كائنية التوجه 
• ثيسيوس أو إس
• نظام UCSD P - تطبيق لغة البرمجة لعام 1977. صفحات تعرض أوصافًا مختصرة لأهداف إعادة التوجيه. 
• فيرف – نظام تشغيل بحثي من مايكروسوفت للأبحاث 
• نظام التشغيل فانتوم - نظام تشغيل للأغراض العامة ذو كود مُدار ومستمر بشكل متعامد 

• لغة برمجة عالية المستوى، هندسة الحاسوب