Die Anweisung "sync" sorgt dafür, dass alle Cache-Inhalte in den Hauptspeicher zurückgeschrieben werden und dass (falls vorhanden) Store-Buffer von Multicore-Versionen geleert werden. Damit kann man sicher sein, dass danach die Inhalte der lokalen Speicher (Caches und Store-Buffer) für andere Cores sichtbar sind und damit eine Prozesssynchronization stattfinden kann. Man kann dann auch sicher Inhalte vom Hauptspeicher auf die Festplatte übertragen und berücksichtigt dabei auch die Cache-Inhalte.
Das sind aber alles Probleme, die uns in RoSy eher nicht beschäftigen. Die Anweisung "sync" wird hier meist am Ende der Programme angefügt, um (1) quasi "aufzuräumen" und (2) ein Sprungziel für Sprünge zum Programmende zu haben.
Der zweite Fall ist in RoSy der entscheidende und dafür könnte man ebenso gut "nop" nehmen. Daher spielt "sync" keine große Rolle und kann in RoSy quasi auch als "nop" gelesen werden. Für die Lösung solcher Aufgaben würde die Behandlung von "sync" großzügig ausgelegt werden.
