İş parçacığı güvenliği

İş parçacığı güvenliği ve data race kavramlarını öğrenirsin.

İş parçacığı güvenliği

İş parçacığı güvenliği, bir kodun birden çok iş parçacığı tarafından aynı anda çağrıldığında doğru çalışmasıdır. Paylaşılan veriye korumasız erişim veri yarışına yol açar.

Veri yarışı, iki iş parçacığı aynı değişkene erişip en az biri yazıyorsa oluşur. Sonuç tahmin edilemez: counter++ 2000 kez çağrılsa bile sayı 2000 çıkmayabilir. Mutex ile erişimi sıraya koyarsın ve yarışı önlersin.

Veri yarışı

Veri yarışı, eşzamanlı erişimin sonucunun belirsiz olmasıdır. İki iş parçacığı counter++ yaparsa, bazı artırmalar kaybolabilir.

Örneğin iki iş parçacığı 1000'er kez artırsa, counter 2000 yerine 1732 çıkabilir. Mutex eklersen her artırma atomik olur ve sonuç her zaman 2000'dir. Derleyici uyarıları ve araçlar yarışı tespit edebilir; ama en güvenli yol mutex kullanmaktır.

Uygulama Yarışsız sayaç

void *worker(void *arg) yaz; içinde for (int i = 0; i < 100; i++) { pthread_mutex_lock(&lock); counter++; pthread_mutex_unlock(&lock); }. İki iş parçacığı oluştur, join et ve printf("sayaç=%d\n", counter);. Mutex sayesinde sonuç 200 olur.

Örnek çözümü göster

#include <stdio.h>
#include <pthread.h>

int counter = 0;
pthread_mutex_t lock;

void *worker(void *arg) {
    for (int i = 0; i < 100; i++) {
        pthread_mutex_lock(&lock);
        counter++;
        pthread_mutex_unlock(&lock);
    }
    return NULL;
}

int main(void) {
    pthread_mutex_init(&lock, NULL);
    pthread_t t1, t2;
    pthread_create(&t1, NULL, worker, NULL);
    pthread_create(&t2, NULL, worker, NULL);
    pthread_join(t1, NULL);
    pthread_join(t2, NULL);
    printf("sayaç=%d\n", counter);
    return 0;
}

Kendini test et

Güvenlik kavramlarını eşle

mutex

Yarışı önler
data race

Belirsiz erişim
lock

Kilit alır
counter++

Artırma işlemi
Veri yarışı nasıl önlenir?
- fork ile
- printf ile
- Mutex ile
- exit ile
Cevabı göster

Mutex ile — Mutex, paylaşılan erişimi sıraya koyar.

Kritik bölge

pthread_mutex_lock(&____);
counter++;
pthread_mutex_unlock(&lock);

Cevabı göster

pthread_mutex_lock(&lock);
counter++;
pthread_mutex_unlock(&lock);

Sıradaki ders: Özet - pthread

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler