تصميم تزامن آمن خالٍ من سباقات البيانات والتجميد
صمّم حلّ تزامن آمناً يمنع سباقات البيانات والتجميد ويضمن الصحّة تحت الحِمل المتوازي، مع تبرير نموذج التزامن واختبارات، دون اختراع بدائيّات تزامن غير موجودة في اللغة المحدّدة.
pro
النموذج: claude-sonnet-4-7
2,823 معاينة
0 استخدام
نسخة المعرفة: 2026-Q2
هذا البرومبت يحتاج باقة pro
ترقية الباقة
باقتك الحاليّة: free
إصلاح خلل تزامن متقطّع تحت الحِمل، تصميم معالجة متوازية لمهامّ ثقيلة بأمان، مراجعة كود متعدّد الخيوط قبل إطلاقه للإنتاج لمنع السباقات.
#تزامن#سباق البيانات#تجميد#خيوط
ضمانات الجودة المدمجة
ضدّ التهلوس
ممنوع اختراع بدائيّات تزامن أو ضمانات نموذج ذاكرة غير موجودة في اللغة
فحص الأمان
معالجة ثغرات التسابق TOCTOU ومنع تجاوز التحقّق عبر السباق
اكتمال الحلّ
تغطية النموذج والكود وإثبات السلامة والاختبارات والإلغاء دون اختزال
تطابق الصيغة
الالتزام ببنية الأقسام الستّة وجدول الموارد المشتركة