তাত্ত্বিক স্তরে, তারা শব্দার্থগতভাবে আলাদা নয়। আপনি semaphores বা বিপরীতে ব্যবহার করে একটি মিটেক্স প্রয়োগ করতে পারেন ( উদাহরণের জন্য এখানে দেখুন )। অনুশীলনে, বাস্তবায়ন আলাদা এবং তারা কিছুটা আলাদা পরিষেবা দেয়।
ব্যবহারিক পার্থক্য (তাদের চারপাশের সিস্টেম পরিষেবাদির নিরিখে) হ'ল মিউটেক্সের বাস্তবায়নটি আরও বেশি লাইটওয়েটের সিঙ্ক্রোনাইজেশন প্রক্রিয়া হওয়ার লক্ষ্য। ওরাকল-কথা, mutexes হিসাবে পরিচিত হয় Latches এবং semaphores হিসাবে পরিচিত হয় অপেক্ষা করছে ।
নিম্নতম স্তরে, তারা কিছু ধরণের পারমাণবিক পরীক্ষা এবং সেট মেকানিজম ব্যবহার করে। এটি মেমরির অবস্থানের বর্তমান মানটি পড়ছে, কিছু শর্তসাপেক্ষ শর্ত গণনা করে এবং কোনও একক নির্দেশনায় সেই স্থানে একটি মান লিখে দেয় যা বাধা দেওয়া যায় না । এর অর্থ হল আপনার আগে অন্য কারও কাছে এটি আছে কিনা তা দেখতে আপনি একটি মুটেক্স এবং পরীক্ষা অর্জন করতে পারেন।
একটি সাধারণ মুউটেক্স প্রয়োগের একটি প্রক্রিয়া বা থ্রেড থাকে যা টেস্ট অ্যান্ড সেট নির্দেশনা কার্যকর করে এবং মূল্যায়ন করে যে অন্য কোনও কিছু মিটেক্স সেট করেছে কিনা। এখানে একটি মূল বিষয় হ'ল শিডিয়ুলারের সাথে কোনও কথোপকথন নেই , তাই লকটি সেট করেছেন এমন আমাদের ধারণা নেই (এবং যত্ন নেই)। তারপরে আমরা হয় আমাদের সময় স্লাইস ছেড়ে দিয়ে আবার চেষ্টা করি যখন টাস্কটি পুনরায় নির্ধারিত হয় বা কোনও স্পিন-লক কার্যকর করা হয় । একটি স্পিন লক একটি অ্যালগরিদম এর মতো:
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.
যখন আমরা আমাদের সুরক্ষিত কোডটি কার্যকর করি (একটি সমালোচনা বিভাগ হিসাবে পরিচিত ) আমরা কেবলমাত্র মিটেক্স মানটি শূন্য বা যে কোনও অর্থ 'ক্লিয়ার' তে সেট করি। যদি একাধিক টাস্ক মিউটেক্স অর্জনের চেষ্টা করে তবে তারা পরবর্তী কাজটি মুটেেক্স প্রকাশের পরে নির্ধারিত হওয়ার পরে সংস্থানটিতে অ্যাক্সেস পাবে। সাধারণত আপনি একটি সিঙ্ক্রোনাইজড রিসোর্স নিয়ন্ত্রণ করতে মুটিেক্স ব্যবহার করবেন যেখানে একচেটিয়া অ্যাক্সেস কেবলমাত্র খুব অল্প সময়ের জন্য প্রয়োজন, সাধারণত একটি শেয়ার্ড ডেটা কাঠামোতে আপডেট করার জন্য।
একটি সেম্যাফোর একটি সিঙ্ক্রোনাইজড ডেটা স্ট্রাকচার (সাধারণত মুটেক্স ব্যবহার করে) যা একটি গণনা এবং কিছু সিস্টেম কল র্যাপার যা মুটেক্স লাইব্রেরিগুলির তুলনায় কিছুটা গভীরতায় শিডিয়ুলারের সাথে যোগাযোগ করে। Semaphores বর্ধিত এবং হ্রাস করা হয় এবং অন্য কিছু প্রস্তুত না হওয়া পর্যন্ত কাজগুলিতে ব্লক করতে ব্যবহৃত হয় । এর একটি সাধারণ উদাহরণের জন্য প্রযোজক / গ্রাহক সমস্যা দেখুন । সেমোফোরগুলি কিছু মূল্যের সাথে সূচনা করা হয় - বাইনারি সেম্যাফোরটি কেবল একটি বিশেষ ক্ষেত্রে যেখানে সেমফোরটি সূচনা করা হয় 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.
বাইনারি semaphore ক্ষেত্রে উভয়ের মধ্যে প্রধান ব্যবহারিক পার্থক্য হ'ল প্রকৃত ডেটা কাঠামোকে ঘিরে থাকা সিস্টেম পরিষেবাদির প্রকৃতি।
সম্পাদনা: ইয়ান যেমন সঠিকভাবে নির্দেশ করেছে, স্পিনলকগুলি একটি একক প্রসেসর মেশিনকে ধীর করবে। আপনি কেবল একটি মাল্টি-প্রসেসর বাক্সে একটি স্পিনলক ব্যবহার করবেন কারণ একটি একক প্রসেসরে মূটেক্স ধারণ প্রক্রিয়া কখনই এটি পুনরায় সেট করতে পারে না যখন অন্য কোনও কাজ চলছে। স্পিনলকগুলি কেবলমাত্র বহু-প্রসেসরের আর্কিটেকচারে কার্যকর।