სემაფორი და მუტექსი რა განსხვავებაა?

მიუტექსი (Mutex, Mutual Exclusion) — სინქრონიზაციის მექანიზმი, რომელიც გარანტიას იძლევა, რომ ერთ დროს მხოლოდ ერთი ნაკადი აქვს წვდომა კრიტიკულ სექციაზე ან რესურსზე. იგი მუშაობს მფლობელობის პრინციპზე: ნაკადი, რომელმაც დაბლოკა მიუტექსი, უნდა გაათავისუფლოს იგი.

სემაფორი (Semaphore) — უფრო ზოგადი სინქრონიზაციის მექანიზმი, რომელიც მართავს რესურსის წვდომას, რომელიც შეზღუდულია გარკვეული "შესრულებათა" რაოდენობით. ნაკადები შეიძლება მიიღონ დაშვება, თუ ის ხელმისაწვდომია, და განაგრძონ მუშაობა. როდესაც რესურსი აღარ არის საჭირო, დაშვება დაბრუნდება. სემაფორი არ აქვს მფლობელობის კონცეფცია; ნებისმიერი ნაკადი შეიძლება გაზარდოს სემაფორის გამოთვლითი მაჩვენებელი.

ძირითადი განსხვავებები:

• დანიშნულება: მიუტექსი გამოიყენება ექსკლუზიური წვდომისთვის (ერთი ნაკადი), სემაფორი — შეზღუდული რესურსების პულზე წვდომის მართვისთვის (რამდენიმე ნაკადი ლიმიტამდე).
• მფლობელობა: მიუტექსს აქვს მფლობელი (ნაკადი, რომელმაც დაბლოკა იგი). სემაფორს არ აქვს მფლობელი.
• გამოთვლითი მაჩვენებელი: მიუტექსი შეიძლება განვიხილოთ როგორც სემაფორი გამოთვლითი მაჩვენებლით 1. სემაფორი შეიძლება ჰქონდეს მაჩვენებელი მეტი 1.
• ოპერაციები: მიუტექსი: WaitOne/Pulse/ReleaseMutex. სემაფორი: WaitOne/Release.

აქ არის მარტივი მაგალითი სემაფორის გამოყენების C#-ში:

// ქმნის სემაფორს საწყის მნიშვნელობით 2 და მაქსიმუმ 2.
// საშუალებას აძლევს ერთდროულად 2 ნაკადს მიიღოს წვდომა რესურსზე.
SemaphoreSlim semaphore = new SemaphoreSlim(2, 2);

// ნაკადი ცდილობს მიიღოს წვდომა რესურსზე
semaphore.WaitOne();
// ... მუშაობა რესურსთან ...
semaphore.Release(); // განთავისუფლებული დაშვება

მიუტექსის მაგალითი:

// ქმნის მიუტექსს
Mutex mutex = new Mutex();

// ნაკადი ცდილობს მიიღოს ექსკლუზიური წვდომა
mutex.WaitOne();
// ... მუშაობა კრიტიკულ სექციასთან ...
mutex.ReleaseMutex(); // განთავისუფლებული მიუტექსი (მხოლოდ მფლობელი შეუძლია)