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

მიუტექსი ბინარული სემაფორიაა, რომელიც ან თავისუფალია (მნიშვნელობა 1), ან დაკავებულია (მნიშვნელობა 0). იგი გამოიყენება კრიტიკული სექციების დაცვისთვის და უზრუნველყოფს ურთიერთგამორიცხულ წვდომას რესურსზე. მხოლოდ ის ნაკადი, რომელმაც დაიკავა მიუტექსი, შეუძლია ის გაათავისუფლოს.

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

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

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

#include <mutex> // std::mutex-ისთვის
#include <semaphore> // std::counting_semaphore-ისთვის

std::mutex mtx; // რესურსის დაცვის მიუტექსი

void critical_section() {
    mtx.lock(); // მიუტექსის დაკავება
    // საერთო რესურსზე წვდომა
    mtx.unlock(); // მიუტექსის გათავისუფლება
}

// სემაფორი 5 რესურსის მართვისთვის
std::counting_semaphore<5> sem(5);

void access_resource() {
    sem.acquire(); // რესურსის დაკავება (გამოთვლით შემცირება)
    // რესურსის გამოყენება
    sem.release(); // რესურსის გათავისუფლება (გამოთვლით გაზრდა)
}

შედარება სქემაში:

მახასიათებელი	მიუტექსი	სემაფორი
ტიპი	სინქრონიზაციის ობიექტი (ბინარული სემაფორი)	სინქრონიზაციის ობიექტი (გამოთვლით)
მნიშვნელობა	0 (დაკავებული), 1 (თავისუფალი)	არასაკრედიტო ნომერი
მიზანი	კრიტიკული სექციების დაცვა, ურთიერთგამორიცხულობა	შეზღუდული რესურსების მართვა
მფლობელობა	მფლობელი აქვს (ნაკადი, რომელმაც ის დაიკავა)	მკაფიო მფლობელობა არაა
ვინ შეუძლია გაათავისუფლოს	მხოლოდ მფლობელი შეუძლია გაათავისუფლოს	ნებისმიერი ნაკადი შეუძლია გაათავისუფლოს