Mit diesem Beitrag endet die Miniserie zu dem Dining Philiosophers Problem von Andre Adrian. Heute wendet der Autor mächtige Locks und Semaphoren an.

Hier geht's direkt zum Artikel auf Heise Developer: https://heise.de/-6335228.

Im letzten Beitrag "Dining Philosophers Problem I" begann Andre Adrian seine Analyse der klassischen Problemstellung. Heute verwendet er Atomics, Mutexe und Locks.

Hier geht's direkt zum Artikel auf Heise Developer: https://heise.de/-6327946.

Andre Adrian hat das klassische Dining Philosophers Problem auf verschiedene Weise mit modernem C++ gelöst. Nun freue ich mich, diesen Artikel in drei aufeinanderfolgenden Beiträgen zu veröffentlichen.

Hier geht's direkt zum Artikel auf Heise Developer: https://heise.de/-6320973.

Task Blocks setzen das beliebte Fork-Join Paradigma für die parallele Ausführung von Aufgaben um.

Transactional Memory basiert auf der Idee der Transaktion aus der Datenbanktheorie. Transactional Memory soll den Umgang mit mehreren Threads deutlichen vereinfachen. Zum einen verhindern sie kritische Wettläufe und Verklemmungen, zum anderen können Transaktionen komponiert werden.

Coroutinen sind Funktionen, die ihren Ablauf unterbrechen und wieder aufnehmen können und dabei ihren Zustand behalten. Die Evolution in C++20 geht einen deutlichen Schritt weiter.

Latches und Barriers sind einfache Thread Synchronisierungsmechanismen, die es erlauben, mehrere Threads warten zu lassen, bis eine Operation fertig ist. Latches und Barriers soll es in drei Geschmacksrichtungen in C++20 geben: std::latch, std::barrier und std::flex_barrier.

Tasks in der Form von Promisen und Futuren in C++11 genießen einen ambivalenten Ruf. Zum einen sind sie deutlich leichter zu verwenden als Threads oder Bedingungsvariablen, zum anderen besitzen sie eine große Unzulänglichkeit. Sie können nicht komponiert werden. Mit dieser Unzulänglichkeit räumt C++20 auf.

C++20 wird atomare Smart Pointer erhalten. Ganz genau wird es ein std::atomic_shared_ptr und ein std::atomic_weak_ptr sein. Warum eigentlich, std::shared_ptr und std::weak_ptr sind doch schon thread-sicher. Jein. Da muss ich ein wenig ausholen.