عن المشروع

توفر rxp اللبنات الأساسية لبناء منصة تنفيذ موثوق (Reliable Execution platform). وهي تحدد الواجهات البرمجية (APIs) والأنواع اللازمة لتنفيذ العديد من ضمانات الموثوقية الأساسية: - تفرد الأسماء (Name Uniqueness): تضمن أن تكون الأسماء المقروءة بشرياً فريدة ضمن نطاق محدد، وتوفر آلية آمنة ومدققة لإعادة تسمية الكائنات. - تطور التعريفات (Definition Evolution): تدير إصدارات تعريفات الأنواع لمنع التغييرات التي قد تؤدي إلى تعطل النظام، ولضمان بقاء الكائنات متوافقة مع إصدار التعريف الذي أُنشئت به. - تغيير الحالة (State Mutation): توفر حواجز حماية للكتاب المتزامنين لضمان إجراء تغييرات آمنة على الحالة المطلوبة للكائن. - التنفيذ الموثوق (Reliable Execution): تغلف أي كود برمجي في غلاف أمان يتتبع نقاط الفحص (checkpoints) والأحداث، مما يسمح باستئناف التنفيذ في مكان آخر بعد حدوث إخفاقات في وقت التشغيل (مثل انقطاعات الشبكة أو أخطاء نقص الذاكرة OOM). - الأرشفة الآمنة (Safe Archival): تنفذ نظام أرشفة بدلاً من الحذف، مما يحافظ على السجل الكامل للتغييرات من أجل الاستعادة المستقبلية. - قابلية التدقيق (Auditability): تتبع كل جيل من أجيال الكائن وتحتفظ بسجلات الأحداث لتنفيذ الكود وتغييرات الحالة.