سلامة الأداء والامتداد في نظام التشغيل SPIN

تصف هذه الورقة الدوافع والهندسة المعمارية والأداء لنظام التشغيل SPIN، وهو نظام تشغيل قابل للتوسيع. يوفر SPIN بنية تحتية للإضافات، مع مجموعة أساسية من الخدمات القابلة للتوسيع، مما يسمح للتطبيقات بتغيير واجهة ونظام تشغيل بأمان. تمكن الإضافات التطبيق من تخصيص نظام التشغيل الأساسي لتحقيق مستوى معين من الأداء والوظائف. يستخدم SPIN آليات لغوية وآليات زمن الربط لتصدير واجهات دقيقة التخصيص لخدمات نظام التشغيل بتكلفة منخفضة. تكتب الإضافات بلغة آمنة من نوعها، وترتبط ديناميكياً بنواة نظام التشغيل. تقدم هذه الطريقة للوصول السريع إلى خدمات النظام، مع حماية كود نظام التشغيل الذي يتم تنفيذه داخل مساحة عنوان النواة. تم كتابة نظام SPIN وإضافاته بلغة Modula-3 ويعمل على محطات عمل DEC Alpha.