الخلاصة

  • تعرّف RISC-V International الملف التعريفي بأنه ISA أساسي معياري مع امتدادات إلزامية وقليل من الخيارات المعيارية: لغة مشتركة لمنصات العتاد والبرمجيات.
  • توضح حيثيات RVA23 أن اعتماد الامتداد يعني الاتفاق على مواصفته إذا كان موجوداً، ولا يضمن مجموعة خصائص في كل تنفيذ، ولا يختار بالنيابة عن نظام ثنائي ما الحد الذي يستخدمه في الواقع.
  • يفرّق إيصال ادعاء الملف بين وضع وثيقة المواصفة، وادعاء وجود الخصائص في تنفيذ، والتوافق الذي رُصد في أجهزة منشورة.

الملف يحدد سطحاً مشتركاً

تستخدم مقدمة RISC-V Profiles كلمة «ملف» في وظيفة محددة. فالملف يبنى من ISA أساسي معياري، وامتدادات ISA إلزامية، ومجموعة صغيرة من الخيارات المعيارية. هذه البنية تمنح صانع المنصة وقيّم سلسلة الأدوات المشتركة طريقة موجزة قابلة للفحص لتسمية الجزء من ISA الذي يريدان دعمه معاً. وهي لا تطلب من كل برمجية قابلة للنقل أن تعامل كل تركيب ممكن من الامتدادات بوصفه التزاماً عادياً.

للاختصار أثر عملي. يستطيع المورّد أن يقول أي ملف يستهدفه تصميمه، ويستطيع قيّم المترجم أن يبين أي سطح معرّف ينال الدعم المعتاد، ويستطيع كاتب البرمجية أن يربط دعوى التوافق بوثيقة وإصدار محددين. وهذه معلومات أدق من عبارة فضفاضة تقول إن شيئاً ما «متوافق مع RISC-V» فقط.

لكن المقدمة نفسها تمنع التوسع في القراءة. فالملفات ليست مقصودة لحظر تركيبات الامتدادات الفردية أو الامتدادات المخصصة. يمكن أن تستمر التهيئات المتخصصة، وإن كانت الوثيقة لا تعدها بدعم برمجي واسع أو بقابلية نقل بين المنصات العتادية. لذلك فالملف ليس قائمة حصرية بالتصميمات المباحة ولا أمراً موجهاً إلى كل تنفيذ؛ إنه لغة تنسيق لسطح دعم محدود.

المعتمد ليس موجوداً في كل مكان

تضع حيثيات RVA23 قيداً مهماً على قفزة شائعة. فعملية اعتماد امتداد ISA تضمن اتفاق موردي المعالجات على مواصفة امتداد معياري إذا كان ذلك الامتداد حاضراً. لكنها تقول أيضاً إن مواصفات الامتدادات وحدها لا تضمن حضور مجموعة معينة من الامتدادات في جميع التنفيذات.

ينبغي ألا يختفي هذا الشرط من دعوى المنتج. فإدراج وثيقة في مكتبة المواصفات المعتمدة يثبت حالة الوثيقة العامة كما تعرضها RISC-V International. ولا يثبت أن معالجاً معيناً يحمل الامتداد، أو أن لوحة تكشفه، أو أن البرنامج الثابت فعّله، أو أن مترجماً يستهدفه، أو أن عميلاً نشره. تلك دعاوى مختلفة يصدرها فاعلون مختلفون وتحتاج إلى أدلة مختلفة.

وتحافظ المكتبة نفسها على هذا الحد. فهي تسرد Profiles وRVA23 كمواصفات معتمدة وتبين إصداراتهما ووظيفتهما الوثائقية. هذا دليل قوي على سجل المواصفات المنشور، لا على كتالوج منتجات أو سجل شحنات أو تقرير اختبار أو تعداد للأجهزة المركبة. قراءتها على أنها إحدى تلك السجلات تمنحها سلطة لا تدعيها.

خط الأساس العامل يحتاج إلى ملاحظة مستقلة

تشرح RVA23 سبب أهمية الحد في أسواق البرمجيات الثنائية. فالملفات وسيلة لمواءمة موردي المعالجات كي تستطيع البرمجيات الاعتماد على مجموعة معينة من الخصائص في جيل من التنفيذات. لكنها تضيف أن RISC-V International لا تستطيع أن تفرض خصائص ISA التي ينبغي لنظام برمجيات ثنائية أن يستخدمها. والنظام يختار عادةً القاسم المشترك الأدنى الذي يرصده تجريبياً في الأجهزة المنشورة ضمن سوقه المستهدف.

ليست هذه ثغرة في نموذج الملف؛ إنها قسمة صادقة للعمل. يستطيع الملف أن يقلل غموض التنسيق قبل أن يظهر عدد كبير من الأجهزة. أما النظام فعليه أن يقرر ما يستطيع طلبه بأمان من الأجهزة والأدوات وبيئات المستخدمين التي يراها فعلاً. تنشر جهة لغة للتوافق، وتختار جهة أخرى خطاً تشغيلياً من دليل الانتشار.

كما تؤكد الخيارات المحلية وخيارات التطوير والتوسعة والخيارات الانتقالية في RVA23 ذلك الفصل. فقد تشير إلى توقعات مختلفة حول الاكتشاف أو الكلفة أو دورة الحياة أو الاتجاه المقبل. لكنها لا تحول تصنيفاً اختيارياً في وثيقة إلى برهان على وجود ميزة في جهاز محدد.

إعطاء الادعاء إيصالاً

الحل الصغير لا يحتاج برنامج اعتماد جديداً. يكفي إرفاق إيصال ادعاء ملف بكل وعد توافق علني. يسجل الإيصال الملف والإصدار المشار إليهما، وISA الأساسي، والامتدادات الإلزامية ذات الصلة، وأي خيار يدعيه المتكلم، وصاحب الادعاء، والنطاق المضبوط للعتاد أو البرنامج الثابت أو الأداة أو البرمجية، وتاريخ الادعاء.

إذا قال مورد إن لوحة تنفذ ملفاً، فبوسعه إرفاق التهيئة واختبار قابل للتكرار. وإذا قال موزع إن صورة نظام تدعم ملفاً، فبوسعه تسمية الصورة وسلسلة الأدوات ونطاق الأجهزة المختبرة. وإذا أعلن نظام بيئي خط أساس، فبوسعه بيان مجموعة الأجهزة المرصودة وتاريخ مراجعتها. وما ليس موجوداً ينبغي أن يبقى غير مملوء: لا يجوز لاسم المواصفة أن يملأه بالإيحاء.

عندئذ تنفصل ثلاث عبارات كثيراً ما تندمج: «هذا الملف معتمد»، و«هذا التنفيذ يملك هذه الخصائص»، و«خط البرمجيات هذا آمن لهذه المجموعة المنشورة». قد تصح العبارات الثلاث، لكنها لا تنشأ من الفعل نفسه ولا من الدليل نفسه.

حد يحفظ الاختيار

تقدم ملاحظات Heng Lu هنا منهجاً لا مصدراً واقعياً عن RISC-V: على أثر التنسيق أن يصف حالة مشتركة محدودة، لا أن يعلن واقعاً لم يُتخذ بعد. وتحتوي وثائق الملفات أصلاً على هذا التحفظ التقني. فهي تقدم لغة مشتركة وتترك مساحة للتهيئات المخصصة والطرق الاختيارية وخيارات الأنظمة البيئية التي تُرصد مستقلة.

لا ينشئ الإيصال موافقة مركزية ولا حارس بوابة جديداً. إنه يطلب فقط من المتكلم أن يقول أي نوع من الادعاء يطلق، وإلى أين يصل دليله. وبذلك لا يُقرأ المورد كأنه يعد بخط أساس شامل، ولا يخلط فريق برمجيات بين وثيقة وتعداد للأجهزة، ولا يأخذ مشتري عبارة علامة تجارية على أنها واقعة انتشار مختبرة.

تتحسن القابلية للنقل حين تكون الادعاءات ضيقة بما يكفي للاختبار وقابلة للمقارنة بما يكفي للتحقق. قيمة الملف أنه لغة. وتقل قيمته عندما تستخدم لغته لاستعارة سلطة تدقيق منتج أو تقرير انتشار أو أمر للسوق كله.

المصادر

  1. RISC-V Profiles v1.0 — Introduction
  2. RVA23 Profile v1.0 — Rationale
  3. مكتبة مواصفات RISC-V المعتمدة
  4. RISC-V ABIs Specification — Preamble
  5. Heng Lu — The Multi-Stakeholder Mirage
  6. Heng Lu — Running-Code Primacy
  7. Heng Lu — Minimum Initial Specification, Localized Future Decision, and Voluntary Adoption