Qanday qilib iplar o'rtasidagi o'zaro ta'sirni…

C++да ишга тушириш учун бир неча асосий механизмлар мавжуд:

Мьютекслар (Mutexes): Ўзаро чиқишни таъминлайди. Ҳар бир вақтда фақат битта ишга туширувчи муэтексга эга бўлиши мумкин. Улар умумий ресурсларни бир вақтда фойдаланишдан ҳимоя қилиш учун қўлланилади.
```
#include <mutex>

std::mutex myMutex;

void criticalSection() {
    std::lock_guard<std::mutex> lock(myMutex); // Мьютексни олиш
    // Умумий ресурс билан ишлаш
} // Мьютекс автоматик равишда чиқишда озод қилинади
```

Семафорлар: Чегараланган ресурсларга киришни назорат қилади. Семафорда ҳисоблагич мавжуд бўлиб, у мавжуд ресурслар сонини кўрсатади. Ишга туширувчилар ҳисоблагични камайтириш (ресурс олиш учун) ёки ошириш (эркинлаштириш учун) мумкин.

#include <semaphore.h> // Одати POSIX тизимларида қўлланилади

sem_t mySemaphore;

void initSemaphore(int count) {
    sem_init(&mySemaphore, 0, count); // Ҳисоблагич билан семафорни инициализация қилиш
}

void acquireResource() {
    sem_wait(&mySemaphore); // Ҳисоблагични камайтириш, 0 бўлса блоклаш
    // Ресурсдан фойдаланиш
}

void releaseResource() {
    sem_post(&mySemaphore); // Ҳисоблагични ошириш
}

Шартли ўзгарувчилар (Condition Variables): Ишга туширувчилар муайян шарт бажарилишини кутмоқда. Улар одатда мьютекслар билан бирга қўлланилади. Кутувчи ишга туширувчи мьютексни озод қилади ва бошқа ишга туширувчи уни шарт бажарилгани ҳақида хабар бергандан кейин қайта ишга туширилади.

#include <condition_variable>
#include <mutex>
#include <queue>

std::condition_variable myCondition;
std::mutex myMutex;
std::queue<int> myQueue;

void producer(int value) {
    std::lock_guard<std::mutex> lock(myMutex);
    myQueue.push(value);
    myCondition.notify_one(); // Бир кутувчи ишга туширувчини хабар бериш
}

int consumer() {
    std::unique_lock<std::mutex> lock(myMutex);
    myCondition.wait(lock, [&]{ return !myQueue.empty(); }); // Шартни кутмоқ
    int value = myQueue.front();
    myQueue.pop();
    return value;
}

Атомик ўзгарувчилар (Atomic Variables): Оддий операцияларни (ўқиш, ёзиш, ўзгартириш) атомик равишда амалга оширишга imkon беради, бу махсус мьютекслардан фойдаланишни талаб қилмайди.
```
#include <atomic>

std::atomic_int atomicCounter(0);

void incrementCounter() {
    atomicCounter++; // Атомик ошириш
}
```

Барьерлар (Barriers): Бир неча ишга туширувчиларни синхронлаштиради, шунда уларнинг ҳеч бири барьерга етиб улгурмай туриб давом этолмайди.

#include <barrier> // C++20

std::barrier myBarrier(3); // 3 ишга туширувчи учун барьер

void workerThread() {
    // Ишнинг бир қисмини бажариш
    myBarrier.arrive_and_wait(); // Ҳаммаси барьерга етиб улгурганини кутмоқ
    // Кейинги ишни бажариш
}

Аниқ бир механизмни танлаш ишга туширувчилар ўртасидаги муносабатлар табиатига боғлиқ:

Мьютекслар: Умумий маълумотларни ҳимоя қилишнинг энг кўп тарқалган усули.
Семафорлар: Чегараланган ресурсларга киришни бошқариш.
Шартли ўзгарувчилар: Бир воқеа ёки ҳолат юз бериши учун кутмоқ.
Атомик ўзгарувчилар: Оддий ва атомик операцияларни самарали бажариш.
Барьерлар: Ишга туширувчиларнинг кейинги босқичга биргаликда ўтиши учун синхронлаштириш.

Qanday qilib iplar o'rtasidagi o'zaro ta'sirni sinxronlashtirish mumkin?