Séance de cours
Cette séance de cours explore la transformation des registres réguliers binaires en registres atomiques binaires, en discutant des conditions dans lesquelles la transformation préserve les registres atomiques m-valides. À travers des exemples et des preuves, l'instructeur démontre comment la transformation peut conduire à des violations de l'atomicité, en présentant des scénarios où l'ordre des lectures et des écritures peut avoir un impact sur le résultat final.