Die Physik von CPU-Caches und das MESI-Protokoll: Die Abgründe der Kohärenz und Speicherbarrieren bei Multi-Core