Explore la synthèse automatique de la synchronisation correcte et efficace dans les programmes, en mettant l'accent sur la suppression de l'atomicité redondante et l'ajout de métadonnées de synchronisation.
Couvre l'ajout d'interruptions à un processeur et la mise en œuvre d'un répartiteur logiciel pour interrompre la manipulation avec des priorités fixes.
