Send ve Sync

Send ve Sync marker trait'lerini ve önemini öğrenirsin.

Send ve Sync

Rust'ın thread güvenliği iki işaretçi trait'e dayanır; metotları yoktur, derleyici bunları otomatik çıkarır:

Send: değerin sahipliği başka bir thread'e taşınabilir.
Sync: değere başka thread'lerden &T ile erişilebilir (T: Sync ⇔ &T: Send).

// Send + Sync: i32, String, Vec<T>, Arc<T> (T: Send + Sync), Mutex<T> (T: Send)
// Send ama Sync değil: Cell<T>, RefCell<T>
// ikisi de değil: Rc<T>, ham işaretçiler

thread::spawn'ın imzası F: Send + 'static ister; veri yarışları bu yüzden derleme anında engellenir.

Derleme anı denetimi

Bir türün Send/Sync olup olmadığını boş gövdeli generic fonksiyonlarla derleme anında denetleyebilirsin:

fn send_mi<T: Send>() {}
fn sync_mi<T: Sync>() {}

send_mi::<Arc<Mutex<i32>>>();   // geçer
sync_mi::<Arc<Mutex<i32>>>();   // geçer
// send_mi::<Rc<i32>>();        // hata: `Rc<i32>` cannot be sent between threads safely

Kütüphane yazarları, genel türlerinin thread güvenliğinin yanlışlıkla bozulmadığını bu tür testlerle güvenceye alır.

Uygulama Thread güvenliği denetimi

Yukarıdaki send_mi ve sync_mi fonksiyonlarını yaz. Arc<Mutex<i32>> için ikisini, String için send_mi'yi çağır; derleme geçerse denetim geçti yazdır.

Örnek çözümü göster

use std::sync::{Arc, Mutex};

fn send_mi<T: Send>() {}
fn sync_mi<T: Sync>() {}

fn main() {
    send_mi::<Arc<Mutex<i32>>>();
    sync_mi::<Arc<Mutex<i32>>>();
    send_mi::<String>();
    println!("denetim geçti");
}

Kendini test et

Neden <code>Rc<T></code> Send değildir?
- Heap kullandığı için
- Clone olduğu için
- Send'dir
- Sayacı atomik değildir; iki thread aynı anda değiştirirse sayı bozulur
Cevabı göster

Sayacı atomik değildir; iki thread aynı anda değiştirirse sayı bozulur — Arc aynı işi atomik sayaçla yapar; biraz daha yavaştır ama Send + Sync'tir.

Taşınabilirlik sınırı

fn send_mi<T: ____>() {}

Cevabı göster

fn send_mi<T: Send>() {}

Tür ve özelliği

Arc<Mutex<i32>>

Send + Sync
Rc<i32>

Hiçbiri
RefCell<i32>

Send, Sync değil
*const i32

Ham işaretçi: hiçbiri

Sıradaki ders: Özet - Eşzamanlılık

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler