© Mohamed Mustapha Tahrioui 2019
Mohamed Mustapha Tahriouiasyncio Recipeshttps://doi.org/10.1007/978-1-4842-4401-2_7

7. Synchronization Between Asyncio Components

Mohamed Mustapha Tahrioui
(1)
Darmstadt, Hessen, Germany
 
Asyncio enables us to write cooperative concurrent systems. There are no mechanisms to ensure their correctness in terms of safety and liveness . Safety in this context means to remain in an “intended” state and not divert from it. Liveness in this context means to “make progress,” basically that the intended states of the program are reached.
A program consists of critical and uncritical paths of execution. A critical path is characterized by the access of a shared resource. Synchronization in our context means that we ensure ...

Get asyncio Recipes: A Problem-Solution Approach now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.