PL - Concurrency & dsitributed

Concurrency

Taken kunnen overlappen in de tijd (structuur van het programma). Kan op één processor.

Parallelism

Taken worden daadwerkelijk tegelijk uitgevoerd op meerdere processoren (uitvoering).

Verschil concurrency en parallelism

Concurrency = structuur (taken kunnen overlappen in tijd, kan op één CPU). Parallelism = uitvoering (taken draaien echt tegelijk op meerdere CPU's).

Proces (Erlang)

Een lichtgewicht, geïsoleerde uitvoeringseenheid zonder gedeeld geheugen, die communiceert via berichten.

Goroutine (Go)

Een lichtgewicht thread in Go

Message passing

Communicatie tussen processen via het versturen van berichten in plaats van gedeeld geheugen.

Synchroon vs asynchroon

Synchroon = wachten op een antwoord. Asynchroon = niet wachten; de sender gaat door.

Channel (Go)

Een getypeerd kanaal voor message passing tussen goroutines.

Actor model (Erlang)

Een proces met een mailbox dat berichten ontvangt via receive en op basis daarvan handelt.

Race condition

Een bug waarbij het resultaat afhangt van de timing/volgorde van processen.

Deadlock

Twee of meer processen wachten op elkaar, waardoor niets meer gebeurt.

Starvation

Een proces krijgt nooit een beurt en kan zijn taak niet voltooien.

Non-determinisme

Meerdere uitvoeringsvolgordes mogelijk, waardoor gedrag niet voorspelbaar is. Maakt correctheid van concurrente programma's lastig te bepalen.

Fault tolerance

Het vermogen van een systeem om door te werken ondanks crashes van andere processen.

Let it crash (Erlang)

Filosofie: laat foute processen crashen en laat een supervisor ze herstarten, in plaats van elke fout af te vangen.

Asynchrone messaging eigenschappen (Erlang)

Sender wacht niet op aankomst; bericht kan vertraagd zijn; ontvanger moet expliciet receive aanroepen; berichten kunnen verloren gaan.