जब धेरै thread ले data साझा गर्छन्, तिनका operation हरू बहु-चरणीय update को बीचमा interleave हुन सक्छन्, जसले एउटा race condition उत्पन्न गर्छ — एउटा bug जहाँ परिणाम अनिश्चित timing मा निर्भर हुन्छ। Synchronization भनेको सुरक्षित क्रम बाध्य पार्ने उपकरणहरूको समूह हो।
count++ atomic जस्तो देखिन्छ तर वास्तवमा read-modify-write हो:
// two threads, shared int count = 0, each does count++ once
// thread A: read count (0) ─┐ interleaving loses an update:
// thread B: read count (0) ─┤ both read 0, both write 1 → count == 1, not 2
// thread A: write 1 │
// thread B: write 1 ┘
पढ्ने र लेख्ने बीचको अन्तराल एउटा critical section हो — साझा state छुने र एकैसाथ चल्नु नहुने code।
pthread_mutex_lock(&m);
count++; // critical section — विशेष (exclusive)
pthread_mutex_unlock(&m);
Lock ले race समाधान गर्छ तर नयाँ जोखिम ल्याउँछ: deadlock (thread हरू एकअर्काको lock कुरिरहेको), priority inversion, र contention (thread हरू serialize हुन्छन्, parallelism मार्छ)। अङ्गुलीको नियम: critical section लाई छोटो राख्नुहोस्, र सधैं धेरै lock हरूलाई एकरूप global क्रम मा प्राप्त गर्नुहोस्।
Concurrency bug हरू पत्ता लगाउन सबैभन्दा कठिनमध्ये पर्छन् — तिनी nondeterministic हुन्छन् र प्रायः debugger मुनि हराउँछन्। Interviewer हरू तपाईंले एउटा critical section पहिचान गर्न, सही primitive (mutex बनाम semaphore बनाम atomic) छान्न, र failure mode हरू (deadlock, contention) बारे तर्क गर्न सक्नुहुन्छ कि भनेर हेर्न चाहन्छन्। यो कुनै पनि multithreaded server, shared cache, वा counter मा सीधै लागू हुन्छ।
विस्तृत उत्तरसहित IT अन्तर्वार्ता प्रश्नहरूको पुस्तकालय — जुनियरदेखि सिनियरसम्म।
दान गर्नुहोस्