مراجعة برامج تشغيل MCU بمساعدة الذكاء الاصطناعي: السجلات والتوقيت ومسارات الفشل

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

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

1. جهّز مدخلات تضبط المسودة

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

أضف شجرة الساعات المختارة فعليا، ومعدلات النقل المسموح بها، وحالة الطرفية بعد إعادة الضبط، وتعيين الأرجل وقيود أوضاع الطاقة. وضح هل يعمل المستدعي ضمن مهمة أو مقاطعة، وهل يوجد DMA، ومن يملك الطرفية، وكيف يجري الإلغاء. عرّف نتائج النجاح وانتهاء المهلة والعطل العتادي والمعامل غير الصالح قبل طلب الكود. عند نقص مدخل، اطلب من مساعد الصياغة ذكر عدم اليقين وترك موضع مسمى لاستكماله.

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

2. اقرأ المسودة المعيبة بوصفها مجموعة ادعاءات

/* Invented teaching peripheral: deliberately flawed */
ACQ->STATUS |= DONE;
ACQ->DIV = 48000000 / requested_hz;
ACQ->CTRL |= START;
while (!(ACQ->STATUS & DONE)) { }
return ACQ->DATA;

السطر الأول هو أهم موضع للمراجعة. افترض أن سجل STATUS الخيالي يضم بتات اكتمال وعطل تُمسح بكتابة واحد. قد تعيد عملية القراءة والتعديل والكتابة كتابة الواحدات الخاصة بأحداث أخرى معلقة فتمسحها. لذلك لا يناسبه أسلوب تحديث ذاكرة RAM العادية. يميز وصف سجلات CMSIS-SVD من Arm صراحة بين خصائص الوصول وسلوك الكتابة الخاص والآثار الجانبية للقراءة. ملف SVD مدخل مفيد، لكنه لا يغني عن دليل الجهاز الدقيق وقائمة أخطائه.

القيمة الثابتة 48 MHz تفترض ضمنيا أن ساعة الطرفية ذات تردد ثابت. وتفترض القسمة ترميزا محددا للمقسّم وقاعدة تقريب معينة. لم يُثبت أي منهما. طلب تردد صفري يؤدي إلى القسمة على صفر، وطلب مرتفع قد ينتج مقسّما غير صالح. وحتى الناتج الصحيح عدديا قد يتجاوز ساعة الحساس المسموحة أو يخالف زمن الاستقرار المطلوب للاقتناء.

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

3. راجع التصحيح قبل ربطه بالسجلات

/* Review pseudocode, not a device implementation. */
require(exclusive_owner && output != NULL);
require(valid_clock_and_divider(clock_hz, requested_hz));
require(timer_runs_during_wait && budget_within_wrap_limit);

prepare_idle_device_or_fail();   // bounded, device-specific
ack_owned_stale_flags();        // exact manual-defined write
configure_validated_divider();
start = monotonic_ticks();
start_one_transfer();
for (;;) {
    s = read_non_destructive_status();
    if (s & FAULTS) {
        capture_fault(s);
        return abort_and_quiesce_or_mark_unusable(IO_ERROR);
    }
    if (s & DONE) {
        value = read_result_in_required_order();
        acknowledge_owned_completion();
        *output = value;
        return OK;
    }
    if (elapsed_unsigned(start) >= budget_ticks)
        return abort_and_quiesce_or_mark_unusable(TIMEOUT);
}

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

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

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

4. افصل مراجعة التوقيت والتزامن ومسؤولية الأخطاء

أنشئ قائمة فحص من الدليل: عرض الوصول ومحاذاته، ومتطلبات البتات المحجوزة، وحماية الكتابة، وقيم إعادة الضبط، وتسلسل مسح الأعلام، ومتطلبات الساعة وإعادة الضبط المسبقة. فسّر سبب كل وصول إلى سجل. لا تضف حواجز ذاكرة لمجرد أنها تبدو حذرة؛ يجب أن توضح متطلبات المعمارية والجهاز أي ترتيب يلزم فرضه.

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

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

5. حوّل المراجعة إلى اختبارات قابلة لإثبات الخطأ

• اختبارات نموذج السجل: حاكِ المسح بكتابة واحد، وظهور DONE وFAULT معا، واكتمالا قديما والبتات المحجوزة. يتطلب القبول عمليات الكتابة المقصودة بالضبط، دون تأكيد أعلام غير ذات صلة.
• اختبارات الحدود: جرّب المعدل الصفري وخارج النطاق، وأصغر وأكبر مقسّم صالح، والتفاف المؤقت، وعدم توفر الساعة. النتيجة المتوقعة رفض محدد أو فشل محدود الزمن دون قيمة نجاح زائفة.
• اختبارات الملكية: أدخل الإلغاء ومستدعيا ثانيا عند كل انتقال. يجب أن تبين الخطة أن المخزن لا يعاد استخدامه بينما يملكه العتاد، وأن الاكتمال يبلغ مرة واحدة كحد أقصى.
• اختبارات المنضدة: التقط إشارات الساعة والبيانات والتحكم المعنية على اللوحة المختارة، وكرر البدء البارد، واختبر ظروف التغذية والحرارة المدعومة. قارن التوقيت المقاس بحدود متفق عليها مسبقا، ولا تعتبر مجرد ظهور موجة نجاحا.
• اختبارات التعافي: أزل استجابة الطرفية أو أدخل عطلا مدعوما بصورة آمنة. تحقق من حالة انتهاء المهلة ومدة التعافي وسلوك المعاملة التالية، بما فيه حالة عدم القابلية للاستخدام الصريحة إذا فشلت إعادة الضبط.

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

6. جهّز النتيجة التي راجعها إنسان

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

في مشاريع المنتجات، تتيح خدمة Obeita لتشخيص البرامج الثابتة وBSP مسارا مناسبا للنقاش الهندسي. ويوفر مشروع اقتناء البيانات باستخدام STM32 سياقا قريبا للاقتناء وتكامل التطبيق. لا يعني رابط المشروع أن برنامج التشغيل الخيالي أعلاه استُخدم أو وُلّد بالذكاء الاصطناعي أو اختُبر في ذلك التسليم.