सैद्धांतिक स्तर पर, वे शब्दार्थ से भिन्न नहीं हैं। आप सेमीफोर या इसके विपरीत का उपयोग करके म्यूटेक्स लागू कर सकते हैं ( उदाहरण के लिए यहां देखें )। व्यवहार में, कार्यान्वयन अलग है और वे थोड़ी अलग सेवाएं प्रदान करते हैं।
व्यावहारिक अंतर (उनके आसपास के सिस्टम सेवाओं के संदर्भ में) यह है कि एक म्यूटेक्स के कार्यान्वयन का उद्देश्य अधिक हल्के तुल्यकालन तंत्र है। ओरेकल बात में, mutexes रूप में जाना जाता लैच और सेमाफोर रूप में जाना जाता प्रतीक्षा करता है ।
न्यूनतम स्तर पर, वे किसी प्रकार के परमाणु परीक्षण और सेट तंत्र का उपयोग करते हैं। यह एक मेमोरी लोकेशन के वर्तमान मूल्य को पढ़ता है, कुछ प्रकार की सशर्त गणना करता है और एक सिंगल इंस्ट्रक्शन में उस स्थान पर एक मान लिखता है जिसे बाधित नहीं किया जा सकता है । इसका मतलब यह है कि आप म्यूटेक्स का अधिग्रहण कर सकते हैं और यह देखने के लिए परीक्षण कर सकते हैं कि आपके सामने कोई और था या नहीं।
एक सामान्य म्यूटेक्स कार्यान्वयन में एक प्रक्रिया या थ्रेड होता है जो परीक्षण-और-सेट निर्देश को निष्पादित करता है और मूल्यांकन करता है कि क्या म्यूटेक्स ने कुछ और सेट किया था। यहां एक महत्वपूर्ण बिंदु यह है कि अनुसूचक के साथ कोई बातचीत नहीं होती है , इसलिए हमारे पास कोई विचार नहीं है (और परवाह नहीं) जिसने ताला लगा दिया है। फिर हम या तो अपना समय टुकड़ा छोड़ देते हैं और फिर से प्रयास करते हैं जब कार्य फिर से निर्धारित होता है या स्पिन-लॉक निष्पादित करता है । स्पिन लॉक एक एल्गोरिथ्म है जैसे:
Count down from 5000:
i. Execute the test-and-set instruction
ii. If the mutex is clear, we have acquired it in the previous instruction
so we can exit the loop
iii. When we get to zero, give up our time slice.
जब हमने अपना संरक्षित कोड निष्पादित करना समाप्त कर लिया है (एक महत्वपूर्ण अनुभाग के रूप में जाना जाता है ) तो हम म्यूटेक्स मान को शून्य या जो भी मतलब है, उसे सेट करते हैं। ' यदि कई कार्य म्यूटेक्स को प्राप्त करने का प्रयास कर रहे हैं, तो म्यूटेक्स जारी होने के बाद होने वाले अगले कार्य को संसाधन तक पहुंच मिलेगी। आमतौर पर आप एक सिंक्रनाइज़ किए गए संसाधन को नियंत्रित करने के लिए म्यूटेक्स का उपयोग करते हैं जहां विशेष रूप से केवल बहुत कम समय के लिए आवश्यक है, आम तौर पर एक साझा डेटा संरचना को अपडेट करने के लिए।
एक सेमाफोर एक सिंक्रनाइज़ डेटा संरचना है (आमतौर पर एक म्यूटेक्स का उपयोग करके) जिसमें एक गिनती होती है और कुछ सिस्टम कॉल रैपर होते हैं, जो म्यूटेक्स पुस्तकालयों की तुलना में शेड्यूलर के साथ थोड़ी अधिक गहराई में बातचीत करते हैं। सेमाफोर बढ़े और घटे हुए हैं और कुछ और तैयार होने तक कार्यों को अवरुद्ध करने के लिए उपयोग किया जाता है। इसके सरल उदाहरण के लिए निर्माता / उपभोक्ता समस्या देखें । सेमाफोर को कुछ मूल्य के लिए आरम्भ किया जाता है - एक बाइनरी सेमाफोर सिर्फ एक विशेष मामला है जहां सेमाफोर को 1 से शुरू किया जाता है। एक सेमाफोर में पोस्ट करने से एक प्रतीक्षा प्रक्रिया जागने का प्रभाव पड़ता है।
एक बुनियादी सेमाफोर एल्गोरिथ्म जैसा दिखता है:
(somewhere in the program startup)
Initialise the semaphore to its start-up value.
Acquiring a semaphore
i. (synchronised) Attempt to decrement the semaphore value
ii. If the value would be less than zero, put the task on the tail of the list of tasks waiting on the semaphore and give up the time slice.
Posting a semaphore
i. (synchronised) Increment the semaphore value
ii. If the value is greater or equal to the amount requested in the post at the front of the queue, take that task off the queue and make it runnable.
iii. Repeat (ii) for all tasks until the posted value is exhausted or there are no more tasks waiting.
बाइनरी सेमाफोर के मामले में दोनों के बीच मुख्य व्यावहारिक अंतर वास्तविक डेटा संरचना के आसपास के सिस्टम सेवाओं की प्रकृति है।
EDIT: जैसा कि स्पष्ट रूप से बताया गया है, स्पिनकॉक एक प्रोसेसर मशीन को धीमा कर देगा। आप केवल मल्टी-प्रोसेसर बॉक्स पर एक स्पिनलॉक का उपयोग करेंगे क्योंकि किसी एकल प्रोसेसर पर म्यूटेक्स को धारण करने वाली प्रक्रिया कभी भी इसे रीसेट नहीं करेगी जबकि दूसरा कार्य चल रहा है। स्पिनकॉक केवल बहु-प्रोसेसर आर्किटेक्चर पर उपयोगी हैं।