Go Academy · درس

نموذج ذاكرة Go وترتيب Happens-Before

ضمانات التزامن وترتيب الذاكرة

الدرس 2 من 413 خطوة

نموذج ذاكرة Go وترتيب Happens-Before درس مجاني في Go Academy على CoddyKit. هذا هو الدرس 2 من أصل 4. يمكنك قراءة الدرس كاملاً أدناه مجاناً — ثم تمرن عليه مباشرة في المتصفح باستخدام محرر أكواد مدمج ومدرس ذكاء اصطناعي متاح 24/7. هذا الدرس جزء من مسار التعلم في Go Academy، وتقدمك يتزامن عبر الويب وتطبيق CoddyKit. تتضمن دورة Go Academy 4 دروس في المجموع.

ما نموذج الذاكرة؟

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

علاقة happens-before

تضمن علاقة happens-before أن تكون جميع عمليات الكتابة السابقة للحدث A مرئية عند الحدث B. وإذا لم توجد علاقة happens-before، فقد تلاحظ عمليات القراءة أي كتابة، بما في ذلك القيمة الصفرية.

يحدث-قبل مضمون: بدء goroutine

كل ما يحدث قبل عبارة go يحدث قبل بدء دالة goroutine. وترى goroutine التي أُنشئت جميع عمليات الكتابة التي تمت قبل إنشائها.

x := 10
go func() {
    fmt.Println(x) // guaranteed to see 10
}()

مضمون: الإرسال والاستقبال عبر channel

يحدث الإرسال عبر channel قبل الاستقبال المقابل. ويحدث إغلاق channel قبل استقبال القيمة الصفرية. وهذه هي بدائيات المزامنة الأساسية.

ch := make(chan int)
go func() { ch <- 42 }()   // send hb receive
v := <-ch
fmt.Println(v) // guaranteed to see 42

مضمون: sync.Mutex

تحدث عملية Unlock رقم n لقفل قبل عملية Lock رقم (n+1). ويضمن ذلك أن ترى goroutine التي تحصل على القفل بعد إلغاء القفل جميع عمليات الكتابة التي تمت قبله.

مضمون: sync.Once

يحدث اكتمال الدالة once.Do قبل عودة أي استدعاء لـ once.Do. وترى جميع goroutines التي تستدعي once.Do عملية التهيئة.

مضمون: إغلاق channel

يحدث إغلاق channel قبل الاستقبال الذي يعيد القيمة الصفرية من channel المغلقة. وهذه هي طريقة بث channel منتهية إلى العديد من goroutines.

لا توجد علاقة happens-before: متغيرات مشتركة غير محمية

إذا وصلت goroutines اثنتان إلى متغير دون مزامنة وكانت إحداهما تكتب إليه على الأقل، فإن السلوك غير معرّف. ويكتشف كاشف التنافس ذلك.

العمليات الذرية

توفر حزمة atomic عمليات متسقة تسلسليًا. وتحدث عملية atomic store قبل عملية atomic load للمتغير نفسه في أي goroutine تلاحظ القيمة المخزنة.

نموذج الذاكرة للقنوات

بالنسبة إلى القنوات المخبّأة ذات السعة C، يحدث الاستقبال رقم k قبل اكتمال الإرسال رقم (k+C). ويمثل ذلك سعة المخزن المحدودة التي تضمن الضغط العكسي.

قاعدة عملية

إذا شاركت البيانات بين goroutines، فاستخدم القنوات لنقل الملكية، أو استخدم الأقفال/العمليات الذرية لحماية عمليات القراءة والكتابة. لا تعتمد على حدسك بشأن الترتيب من دون مزامنة.

تحقق سريع

أيّ مما يلي ينشئ علاقة happens-before بين goroutines؟

أجب عليها في الدرس التفاعلي

مراجعة: نموذج ذاكرة Go

النقاط الأساسية:

تحدد علاقة happens-before متى تكون عمليات الكتابة مرئية بين goroutines
تنشئ القنوات وMutex وOnce وبدء goroutine حواف HB
الوصول غير المتزامن إلى الحالة المشتركة القابلة للتغيير غير معرّف
استخدم كاشف التنافس لاكتشاف الانتهاكات

البدء مجانًا

تعلم Go مع معلم ذكاء اصطناعي — مجانًا

اكتب وقم بتشغيل أكوادك الفعلية في المتصفح، واحصل على مساعدة فورية من معلم ذكاء اصطناعي متاح 24/7، واستمر من حيث توقفت على الويب أو في التطبيق.

الدورات: 51
الدروس: 203

ابدأ التعلم مجانًا عرض الدورة الكاملة

الأسئلة الشائعة

هل درس «نموذج ذاكرة Go وترتيب Happens-Before» مجاني؟

نعم — نص درس «نموذج ذاكرة Go وترتيب Happens-Before» كامل متاح مجاناً هنا على الويب. لتمرينه بشكل تفاعلي (محرر أكواد مدمج ومدرس ذكاء اصطناعي متاح 24/7) وفتح باقي دورة Go Academy، انتقل إلى CoddyKit PRO. تتضمن دورة Go Academy 4 دروس في المجموع.

ماذا ستتعلم في «نموذج ذاكرة Go وترتيب Happens-Before»؟

ضمانات التزامن وترتيب الذاكرة تتمرن على Go Academy مع أكواد عملية تشغلها مباشرة في المتصفح، ومدرس ذكاء اصطناعي متاح 24/7 يجيب على أسئلتك أثناء عملك.

هل أحتاج إلى خبرة سابقة لأبدأ Go Academy؟

لا تُشترط خبرة سابقة. Go Academy على CoddyKit منظم للمبتدئين حتى المتقدمين، لذا يمكنك البدء من هنا أو من البداية والتقدم بسرعتك الخاصة. هذا هو الدرس 2 من أصل 4.

كم من الوقت يستغرق درس «نموذج ذاكرة Go وترتيب Happens-Before»؟

معظم دروس CoddyKit تستغرق حوالي 5–10 دقائق. كل منها موجز وتفاعلي، لذا تحرز تقدماً مستمراً وتستأنف من حيث توقفت عبر الويب والتطبيق.

هل يمكنني كتابة وتشغيل أكواد في درس Go Academy هذا؟

نعم. كل درس في Go Academy يتضمن محرر أكواد مدمج، لذا تكتب وتشغل أكواداً حقيقية مباشرة في متصفحك وتحصل على تعليقات فورية من الذكاء الاصطناعي — بدون إعداد محلي.

جميع الدروس في هذه الدورة

← العودة إلى Go Academy