تعلّم / GLVM
GLVM
الآلة الافتراضية المنطقية العالمية
طبقة تنفيذ منطقية واحدة، منسّقة عبر آلات متعددة
GLVM هي تجريد التنفيذ الموجّه للمطورين الذي تبنيه ALUX انطلاقًا من بيئة تشغيلها المتزامنة. ويوفّر TVM محرك التنفيذ الفعلي على كل آلة مشاركة؛ بينما يجمع نموذج GLVM حالة التنفيذ والعمليات وإعادة التشغيل والنسخ المتماثل والإجماع ضمن طبقة منطقية واحدة.
التعريف الجوهري
تشغّل كل آلة نظام TVM واحدًا، وتُنسَّق هذه الأنظمة ضمن نموذج تنفيذ منطقي واحد
TVM هو محرك تنفيذ الشفرة البايتية على آلة واحدة. وتعرّف GLVM تجريد التنفيذ على مستوى النظام عبر أنظمة TVM المشاركة. وليست GLVM آلة افتراضية أخرى للشفرة البايتية؛ إذ يتعامل المطورون مع نموذج منطقي واحد، بينما يجري تنسيق إعادة التشغيل الحتمية واستمرارية التنفيذ والنسخ المتماثل والإنهاء والإجماع تحت مستوى هذا التجريد.
الآلة الافتراضية لفضاء الصفوف (Tuple-space Virtual Machine)
محرك التنفيذ الفعلي في ALUX. يشغّل شفرة Tolang البايتية، وينسّق العمليات المستقلة عبر القنوات وأحداث COMM، ويسجّل الخيارات غير الحتمية اللازمة لإعادة التشغيل الحتمي.
محرك فعلي واحد داخل كل آلةالآلة الافتراضية المنطقية العالمية (GLVM)
تعرّف GLVM النموذج المنطقي الموجّه للمطورين عبر أنظمة TVM المشاركة. وتوفّر حدًا واحدًا لحالة التنفيذ والعمليات، بينما تبقى إعادة التشغيل والنسخ المتماثل والإنهاء والإجماع تحت مستوى هذا التجريد.
نظام منطقي واحد فوق آلات عديدةمعمارية من ثلاث طبقات
ثلاث طبقات، ونموذج تنفيذ واحد موجّه للمطورين
تشغّل الآلات المادية أنظمة TVM؛ وفي معمارية GLVM، تشارك هذه المحركات في نموذج تنفيذ منطقي مشترك واحد. وفي المستقبل، سينظّم World OS هذه الطبقة في صورة خدمات قابلة للاكتشاف والتنسيق، تحكمها قدرات صريحة.
اختر أي طبقة لتحديث لوحة التفاصيل.
التنفيذ والذرّية
يمكن للمعاملة أن تنتظر عبر الكتل، ثم تُسوّى كوحدة واحدة
يتطور التنفيذ من العمل التسلسلي والمتوازي إلى عمليات متزامنة تتواصل وتنتظر وتستأنف. ويوسّع التنفيذ المركّب هذا النموذج، بحيث يمكن لمعاملات متزامنة متعددة أن تشترك في حدّ تسوية أعلى مستوى؛ وتوفّر الاستمرارية عبر الكتل الأساس الرأسي لهذا الاتجاه.
تسلسلي
يتبع انتقال حالةٍ انتقالًا آخر بالتتابع.
متوازٍ
تتقدّم الانتقالات المستقلة في الوقت نفسه.
متزامن
تتواصل العمليات وتنتظر وتستأنف عبر القنوات.
مركّب
تتشارك عدة معاملات متزامنة هدفًا ذريًا أعلى مستوى.
-
01 · البدء
ابدأ مرة واحدة
ابدأ معاملة واحدة بمجموعة قدرات محددة النطاق.
-
02 · التعليق
انتظر من دون تسوية جزئية
إذا غاب ردّ أو تطابق على قناة، فاحفظ استمرارية التنفيذ بدلًا من إنهاء المعاملة مبكرًا.
-
03 · التسجيل
سجّل الخيار
يسجّل ReplayTrie الخيار غير الحتمي أو الاستجابة الموثّقة اللازمة لإعادة إنتاج المسار.
-
04 · الاستئناف
واصل المعاملة نفسها
يوقظ حدث COMM مطابق أو استجابة مسجّلة استمراريةَ التنفيذ المحفوظة في كتلة لاحقة.
-
05 · الإنهاء
ثبّت أو تجاهل
عند حدّ الإنهاء، تُثبّت الحالة المؤهلة، ويُطرح جانبًا ما رُفض من الحالة المؤقتة.
تنفيذ TVM المتزامن · الانتظار والاستئناف عبر COMM · ReplayTrie · الاستمرار والإنهاء عبر الكتل
لا تصبح الحالة الوسيطة المؤقتة حالةً مؤكدة إلا عند الإنهاء؛ ويُتخلّى عن المسار الفاشل بدلًا من إصلاحه لاحقًا عبر معاملات تعويضية.
يمكن لطلب HTTPS GET موثّق أن يعلّق التنفيذ، ويسجّل الاستجابة، ويعيد تشغيل المسار، ثم يستأنفه. ويظل مصدر البيانات هو الذي يحدد الحقيقة، كما تبقى الآثار الجانبية غير القابلة للعكس خارج السلسلة بمنأى عن التراجع.
يمثّل التنفيذ الذري عبر الشظايا، والتركيب مع أنظمة خارجية مستقلة، المرحلة التالية في توسيع النموذج.
الأمان القائم على قدرات الكائنات
امنح المهمة مفتاحًا واحدًا، لا بطاقة تعريف المستخدم
في مثال CEO–Bob، قد ينقل الوصول القائم على الهوية إلى المهمة الصلاحيات المحيطة التي تمثّلها بطاقة تعريف CEO. أما مع قدرات الكائنات، فلا تتلقى المهمة سوى مفتاح واحد يعيّن سجل Bob. ويفرض TVM حدود ما يمكن الوصول إليه أثناء التشغيل. ومن دون مرجع قدرة يشير إلى كائن آخر موجود مسبقًا، لا تستطيع المهمة تسمية ذلك الكائن أو الوصول إليه.
تنقل بطاقة التعريف إلى المهمة صلاحيات لا علاقة لها بها
حتى عندما تقتصر المهمة على Bob وحده، قد تظل الصلاحيات المستمدة من الهوية، كما تمثّلها بطاقة تعريف CEO، تشمل البيانات المالية وسجلات Alice وCarol وBob.
تتلقى المهمة مفتاحًا واحدًا يعيّن سجل Bob
يمثّل هذا المفتاح اسمًا غير قابل للتزوير يعرّف سجل Bob. ومن دون مرجع قدرة يشير إلى كائن آخر موجود مسبقًا، لا تستطيع المهمة تسمية ذلك الكائن أو الوصول إليه. ويتحقق TVM من هذا الحد أثناء التشغيل.
هنا، يمثّل «المفتاح» بصريًا اسمًا غير قابل للتزوير في OCAP، أي مرجع قدرة كائن. وهو ليس مفتاحًا تشفيريًا. وينطبق هذا الضمان على التفاعلات الأصلية في TVM التي تتوسطها القدرات؛ أما أذونات EVM المستضافة والخدمات الخارجية فتحتاج إلى ضوابط خاصة بها.
مستكشف سير العمل
اختر بيئة التنفيذ بحسب الثقة وزمن الاستجابة وموقع البيانات
لنتخيّل إصلاح جهاز تشارك فيه عدة شركات: يحتاج حساب الضمان إلى تحقق مستقل، وتحتاج عمليات التشخيص إلى حوسبة مرنة، وينبغي أن يوافق مالك الجهاز على الوصول المحلي. وفي نموذج GLVM، تُربط كل مهمة ببيئة التنفيذ التي تلائم متطلباتها من حيث الثقة وزمن الاستجابة وحدود البيانات، مع بقاء الصلاحيات صريحة.
TVM للسلسلة العامة + مضيف EVM
احتفظ بمبلغ ضمان الصيانة في حساب الضمان، وسجّل مسار الموافقة حيث يمكن لمدققين مستقلين التحقق من الانتقال.
جاهز. ابدأ المحاكاة لرؤية التدفق المنطقي المستهدف.
صلاحية محددة النطاق
يحصل وكيل الإصلاح على الصلاحيات اللازمة لهذه المهمة فقط.
خطّط لتوزيع المهام
يربط سير العمل المهام الفرعية محددة النطاق بأنظمة TVM الأنسب لها: على السلسلة، أو في بيئة خاصة أو سحابية، أو على جهاز العميل.
انتظار / تعليق
في بيئة تشغيل السلسلة، تُحفظ استمرارية التنفيذ عند غياب الرد بدلًا من إنهاء المعاملة مبكرًا.
مطابقة COMM
عندما تلتقي نتيجة مُنتَجة بالخطوة التالية المنتظرة على قناة، يُستأنف سير العمل.
دليل إعادة التشغيل
يسجّل ReplayTrie الخيارات التي يحتاج إليها مدقق آخر لإعادة تنفيذ المسار نفسه.
حدّ الإنهاء
يوحّد BlockGit وBlock Merge نتائج جهة السلسلة القابلة للتحقق. ويمثّل توسيع تثبيت ذري واحد ليشمل كل بيئات التنفيذ أفق GLVM.
تشريح بيئة التشغيل
تسعة مجالات للقدرات تدعم تجريد GLVM
GLVM ليست آلة افتراضية ثانية للشفرة البايتية. وتُظهر هذه المنظورات المعمارية التسعة — من تنفيذ TVM وقدرات الكائنات وإعادة التشغيل، إلى BlockGit والآلات الافتراضية الضيفة وأدوات المطورين — منظومة القدرات الكامنة وراء نموذجها المنطقي للتنفيذ.
-
01
آلة افتراضية للشفرة البايتيةنواة التشغيل
TVM · فضاء الصفوف · COMM
يشغّل المحرك المتزامن الفعلي الشفرة البايتية، ويتيح للعمليات المستقلة تبادل البيانات واستمراريات التنفيذ عبر القنوات.
-
02
الأمننواة التشغيل
قدرات كائنات أصلية
تجعل المراجع غير القابلة للتزوير الصلاحية الممكن الوصول إليها صريحة، وتتيح لبيئة التشغيل فرض حدود أدنى صلاحية.
-
03
الذرّيةنواة التشغيل
التنفيذ الذري عبر الكتل
يمكن لسياقات التنفيذ أن تُعلَّق عبر الكتل، وتُستأنف من استمراريات محفوظة، وتبلغ حدّ إنهاء مؤجلًا.
-
04
النهائيةنواة التشغيل
BlockGit · fringe · merge
تجعل بنية DAG للكتل، والتناوب الحتمي للقادة، وقواعد الدمج، العمل المتزامن على جهة السلسلة يتلاقى من دون قائد دائم.
-
05
إعادة التشغيلنواة التشغيل
ReplayTrie · أثر التنفيذ
تتيح الخيارات غير الحتمية وآثار التنفيذ المسجّلة للمدققين إعادة إنتاج المسار المقبول.
-
06
الشبكةنواة التشغيل
شبكة الأقران والمدققين
تنقل طبقة العقد المقترحات والكتل وأدلة الحالة وتنسيق المدققين تحت تجريد التنفيذ.
-
07
اللغةنواة التشغيل
Tolang → tolangc → .tox
تصف Tolang العمليات المتزامنة، ويحوّل المصرّف الشفرة المصدرية إلى شفرة بايتية قابلة للتنفيذ على TVM.
-
08
الآلات الافتراضية الضيفةنواة EVM · WASM ضمن خارطة الطريق
مضيف EVM · WASM ضمن خارطة الطريق
تعمل EVM كآلة افتراضية ضيفة ذات حالة من خلال تنسيق على نمط TSAC. ويوسّع دعم WASM نطاق النموذج ليشمل آلات افتراضية غير متجانسة.
-
09
الأدواتواجهة المطورين
المصرّف · LSP · بيئة التجربة
يُدخل المصرّف وLSP وبيئة التجربة وحزمة الاختبارات وأدوات التشخيص نموذج التنفيذ في سير عمل المطورين.
أفق التطوير
تتبلور نواة التشغيل وتتوسّع GLVM عبر البيئات
تنمو GLVM انطلاقًا من بيئة تشغيل ALUX المتزامنة للسلسلة. وتمثّل السحابة الخاصة واجهة التكامل التالية؛ أما التنفيذ على أجهزة العملاء وعبر الشظايا فيظل ضمن خارطة الطريق. وتفصل الخريطة أدناه بين نواة التشغيل، والبيئات التي يجري توسيعها الآن، والأفق المعماري التالي.
نواة التشغيل
- TVM متزامن وCOMM
- ReplayTrie وآثار التنفيذ
- مسارات التعليق / الاستئناف عبر الكتل
- الأسس الأصلية لـOCAP
- مسار مضيف EVM
- BlockGit DAG وfringe والدمج
توسيع النظام
- نشر المحرك في بيئة خاصة أو سحابية
- تجريد GLVM عبر بيئات النشر
- تعزيز المتانة على نطاق الإنتاج
- ضوابط أغنى للسياسات والقنوات المحمية
- قابلية رصد بيئة التشغيل وأدوات المشغّلين
خارطة الطريق
- الذرّية الأفقية عبر الشظايا
- آلة WASM افتراضية ضيفة
- نشر TVM على أجهزة العملاء
- تجريد الحسابات وسجل القدرات
- إعادة مزامنة العقد مع أقرانها بعد الأعطال والتغييرات الديناميكية على مجموعة المدققين
- طبقة World OS قابلة للبرمجة