Actor model ile CSP'yi (channel'lar) karşılaştırın. Message passing nasıl yardımcı olur?

Question

IT Interview Practice · Accepted Answer

**Her ikisi de eşzamanlı varlıkların kilitler yerine mesajlar aracılığıyla iletişim kurmasını sağlayarak paylaşılan değiştirilebilir durumdan kaçınır — actor'lar özel durum sahibidir ve adreslenmiş mesajlar gönderir; CSP'de anonim process'ler değerleri channel'lar aracılığıyla geçirir.** "Belleği paylaşarak iletişim kurmayın; iletişim kurarak belleği paylaşın."

## Actor model (Erlang, Akka)

Her actor'ın özel bir mailbox'ı vardır ve mesajları her seferinde birer birer işler. Actor'lar adlandırılır/adreslenir, asenkron gönderir (fire-and-forget) ve durumu asla paylaşmaz — bu yüzden bir actor içinde kilit gerekmez. Supervision tree'ler çöken actor'ları yeniden başlatır.

```text
Actor A ──send msg──▶ [mailbox] Actor B  (B processes serially, own state)
```

## CSP (Go, occam)

Process'ler anonimdir; **channel'lar** aracılığıyla iletişim kurarlar. Bir send/receive buluşması (buffer'sız channel'lar her iki taraf da hazır olana kadar bloklanır) senkronizasyon sağlar. Adlandırılan varlık process değil, channel'dır.

```go
ch := make(chan int)
go func() { ch <- compute() }()   // goroutine sends into channel
result := <-ch                    // main receives; blocks until sent
```

## Temel farklar

- **Adresleme**: actor'lar birbirini adresler; CSP channel'ları adresler.
- **Bağlaşım**: actor gönderimleri asenkron ve buffer'lıdır (mailbox); klasik CSP gönderimi senkron buluşmadır.
- **Topoloji**: channel'lar etrafta geçirilebilir ve çoğullanabilir (Go'nun `select`'i); actor'lar bir supervision hiyerarşisi oluşturur.

## Neden önemli

Message passing, paylaşılan bellek race condition'larını sıralı mesaj işlemeye dönüştürür — her varlığın durumuna tek bir thread dokunur, çoğu kilidi ortadan kaldırır ve akıl yürütmeyi yerel yapar. Ölçeklenebilir, hataya dayanıklı sistemlerin temelidir (Erlang telekom, Go servisleri). Actor ile CSP ayrımını bilmek, yalnızca thread ve kilit eklemek yerine doğru eşzamanlılık mimarisini seçebildiğinizi gösterir.

Actor model (Erlang, Akka)

CSP (Go, occam)

Temel farklar

Neden önemli

İlgili sorular