Оё метавонед шарҳ диҳед, ки механизми семафор дар барномасозӣ чист ва чӣ гуна барои ҳамоҳангсозии ҷараёнҳо истифода мешавад?

Семафор — механизм синхронӣ, ки барои идора кардани дастрасии чандир ба як манбаи маҳдуд истифода мешавад.

Он як ҳисобкунак дорад, ки нишон медиҳад чандир метавонад ҳамзамон ба манба дастрасӣ пайдо кунад. Вақте ки як чандир мехоҳад ба қисмати критик ворид шавад, амалияи "wait" (ё P) иҷро мекунад ва ҳисобкунаро кам мекунад. Агар ҳисобкунак манфӣ шавад, чандир боздошта мешавад. Вақте ки чандир аз қисмати критик мебарояд, амалияи "signal" (ё V) иҷро мекунад ва ҳисобкунаро зиёд мекунад ва чандирҳои интизорро боз мекунад.

Масали истифодаи семафор дар C++ бо API POSIX:

#include <semaphore.h>
#include <pthread.h>
#include <iostream>

sem_t semaphore;

void* worker(void* arg) {
    sem_wait(&semaphore); // гирифтани манба
    std::cout << "Чандир кор мекунад\n";
    // кор бо манба
    sem_post(&semaphore); // озод кардани манба
    return nullptr;
}

int main() {
    sem_init(&semaphore, 0, 3); // иҷозат додан ба 3 чандир ҳамзамон
    pthread_t threads[5];
    for (int i = 0; i < 5; ++i) {
        pthread_create(&threads[i], nullptr, worker, nullptr);
    }
    for (int i = 0; i < 5; ++i) {
        pthread_join(threads[i], nullptr);
    }
    sem_destroy(&semaphore);
    return 0;
}

Инчунин, семафор миқдори чандирҳоро, ки ҳамзамон бо манба кор мекунанд, маҳдуд мекунад, ҳолатҳои рақобатро пешгирӣ мекунад ва дурустии кори системаро таъмин мекунад.