Designing for C++ Concurrency Using Message Passing

This talk demonstrates how to design concurrent C++ systems with message passing. It uses examples to show how tasks can run concurrently while application code stays insulated from synchronization details.

Syllabus

Introduction
Agenda
Why Message Passing
The Cost
Potential Problems
Message Passing Framework
concurrency guarantees
control delivery mechanism
theory vs practice
focus
independent
value types
message handling
State machines
Dining philosophers
Actors
IO
Timing
philosophers
code
message
eating
timer expiry
managing the chopsticks
using chopsticks notify function
robot control system
central coordinator
moving the robot
waiting
in code
single thread
focus on one task
avoid overlap
message types
separate microservices
single threaded state machine