تعرّف / مختبر بيئة التشغيل
مختبر بيئة التشغيل
متوازٍ / متزامن / قابل للتركيب
تدعم ALUX المعاملات طويلة الأمد (Long Transactions) القابلة لإعادة التشغيل: تنفذ المهام المستقلة معًا، وتنسّق المعاملات عبر الرسائل. ويعرض سيناريو الحجز النموذج المستهدف لتسوية الآثار المترابطة بين الأنظمة كنتيجة ذرية واحدة.
رسم تقني عالي الجودة لبيئة تشغيل ALUX وهي تربط العقد والخدمات السحابية والأجهزة والوكلاء ورموز الصلاحية ومسارات التثبيت.
الفرق البسيط
ثلاث كلمات، وثلاث وظائف مختلفة تمامًا في بيئة التشغيل
يشغّل التوازي المعاملات غير المعتمدة بعضها على بعض في الوقت نفسه. ويتيح التزامن للمعاملات أن تتفاعل عبر القنوات: يمكن لمعاملة أن تنتظر رسالة مطابقة من معاملة أخرى ثم تتابع التنفيذ. أما التركيب فيجمع انتقالات الحالة من أنظمة تنفيذ مختلفة في انتقال حالة ذري واحد قابل للتدقيق.
في بيئة تشغيل ALUX الحالية، يمكن للأعمال المستقلة أن تتقدم بالتوازي، وأن تنسّق المعاملات عبر الرسائل، وأن يستأنف التنفيذ عبر الكتل. ويبقى التركيب الذري بين الأنظمة المستقلة هدفًا معماريًا.
عدة مسارات تنفيذ معزولة تتحرك إلى الأمام في الوقت نفسه.
ينجز التوازي مزيدًا من العمل المستقل في الوقت نفسه. لكنه وحده لا يمكّن تلك الأعمال من تبادل الرسائل، ولا يتيح انتظار المعاملة طويلة الأمد ثم استئنافها.
يجد التوازي عدة إجابات في وقت واحد، لكنه لا يجعل تلك الأعمال تتفاعل.
التوازي
البحث عن الرحلات والفنادق والنقل والتأمين
في الوقت نفسه
- ماذا يعني
- يعني التنفيذ المتوازي تشغيل أعمال مستقلة في الوقت نفسه. يستطيع وكيل السفر البحث عن الرحلات والغرف والنقل والتأمين من دون أن ينتظر بحث واحد اكتمال الآخر.
- كيف يفعله ALUX
- التنفيذ المتوازي أصيل في حساب العمليات (process calculus) لدى ALUX: لا تشترك المعاملات في الذاكرة، ويقتصر أي تفاعل على قنوات فضاء الصفوف. لذلك تتقدم المعاملات المستقلة في مسارات TVM منفصلة، ويحسم Block Merge أي تداخل في الحالة عند التثبيت.
- ماذا يتيح
- ينجز التوازي مزيدًا من العمل المستقل في الوقت نفسه. لكنه وحده لا يمكّن تلك الأعمال من تبادل الرسائل، ولا يتيح انتظار المعاملة طويلة الأمد ثم استئنافها.
يجد التوازي عدة إجابات في وقت واحد، لكنه لا يجعل تلك الأعمال تتفاعل.
جرّب بيئة التشغيل بكاملها
نمذج حجزًا ذريًا واحدًا
استخدم الإجراءات الأربعة لاستكشاف نموذج التركيب المستهدف: ابدأ فحوص الحجز والدفع، واترك حالة انتظار لتوفر الغرفة، ثم أوصل رسالة الفندق المطابقة، وأخيرًا نمذج تأكيدًا مشتركًا.
يتقدم فحص الحجز وفحص الدفع كلٌّ على حدة.
يترك الحجز شرط توفر الغرفة في القناة.
تفعّل الرسالة المطابقة استمرارية الحجز.
يثبت حجز الغرفة وتفويض الدفع كنتيجة واحدة.
نفّذها بالترتيب
ابدأ بالخطوة 1. تُدار حالتا الحجز والدفع كلٌّ على حدة داخل بيئة التشغيل نفسها.
لا ينتظر العمل المستقل خلف طابور عالمي واحد.
يبقى الاعتماد في القناة ولا يوقف بيئة التشغيل كلها.
ينشئ COMM الاستمرارية، ولا يسجل ReplayTrie الاختيار إلا عندما تكون المطابقة غير حتمية.
الهدف هو نتيجة واحدة إما أن تكتمل كلها أو لا تكتمل، مع أدلة تسوية قابلة للاستنساخ.
مسار بيئة التشغيل
ما الذي يبقي الخدمة حية
تحافظ الخدمة طويلة الأمد على اتساقها لأن كل خطوة تستطيع أن تعمل وتتفاعل وتحمل صلاحية صريحة، وأن يُعاد تشغيلها بصورة حتمية وتُسوّى على مسار ذري واحد قابل للتحقق.
دورة حياة عمليات TVM
يمكن للعملية أن تتفرع وتنتظر في كتلة ثم تستأنف في كتلة لاحقة من دون إعادة تشغيل سياقها المحلي.
فضاء الصفوف + COMM
يلتقي طلب استهلاك منتظر (consume) بعملية إنتاج (produce) من معاملة أخرى، فتُفعَّل الاستمرارية بينما يواصل العمل غير المرتبط تقدمه.
حدود OCAP
تُمرَّر مراجع القدرات غير القابلة للتزوير صراحةً، فلا تتلقى كل خطوة إلا الصلاحية التي تحتاجها؛ ولا تُدخل الهوية تلقائيًا صلاحيات غير مرتبطة بالمهمة ضمن النطاق.
ReplayTrie
لا تسجل إلا اختيارات COMM غير الحتمية المؤثرة في النتيجة، حتى يعيد المدققون التنفيذ نفسه.
BlockGit + Block Merge
يدخل العمل المتزامن في مجموعات Fringe متحقق منها، حيث تُصنّف التداخلات إلى مقبولة أو مرفوضة أو غير محسومة قبل النهائية.
الطبقة التالية
بيئة تشغيل منطقية واحدة عبر بيئات تنفيذ متعددة
يعرض Runtime Lab التنفيذ المتوازي الحالي والتنفيذ المدفوع بالرسائل، ثم يوضّح نموذج التركيب الذري المستهدف. وتصف GLVM المعمارية الأوسع التي تمد هذا النموذج المنطقي عبر عقد البلوكشين والخدمات السحابية والأجهزة الشخصية.
لماذا يهم
ليست كتلًا أسرع، بل خدمات طويلة الأمد
يعالج التوازي التنفيذ المستقل، ويعالج التزامن التفاعل المدفوع بالرسائل والانتظار والاستئناف. تنفذ ALUX اليوم هذه الأسس في بيئة التشغيل، وتتجه نحو تركيب ذري عبر حدود الأنظمة.
إنتاجية أعلى، لكن بلا اعتماد بين المعاملات أو مطابقة للرسائل.
يمكن للمعاملات أن تتفاعل وتنتظر، لكن آثار الأنظمة قد تظل تُسوّى كلٌّ على حدة.
يوجد حد ذري، لكن من دون التفاعل والانتظار لا يمكنه حمل اعتماد طويل الأمد.