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.

Dieser Artikel beendet meine Miniserie über CppMem. Heute breche ich die Sequenzielle Konsistenz und tauche damit tief ein in die Expertendomäne.

Heute will ich mit CppMem einen Schritt weiter gehen und die Sukzessive Optimierung der gleichnamigen Miniserie dieses Blogs genauer analysieren.

CppMem ist das Werkzeug, um kleine Multithreading-Programme zu analysieren. Daher will ich in diesem Artikel bewusst einfach starten.

CppMem ist ein interaktives Werkzeug, um das Verhalten kleiner Codeschnipsel zum C++-Speichermodell zu verifizieren. Es gehört in die Werkzeugkiste jedes Programmierers, der sich mit dem C++-Speichermodell ernsthaft beschäftigt.

Die neue Zeitbibliothek ist ein elementarer Bestandteil der Threading-Schnittstelle. Sowohl Threads, Locks, Bedingungsvariablen als auch Futures besitzen ein Verständnis von Zeit. Alle vier Komponenten ist gemein, dass sie für eine Zeitspanne oder bis zu einem Zeitpunkt schlafen, warten oder auch nur blockieren können.

Ein Zeitgeber besteht aus einem Startpunkt und einem Zeittakt. C++ hat mit std::chrono::system_clock, std::chrono::steady_clock und std::chrono::high_resolution_clock drei Zeitgeber im Angebot.