In der Computerwissenschaft und dem Computernetzwerkanschluss beschreibt sichere Semantik die Garantien, die durch ein Datenregister zur Verfügung gestellt sind, das durch mehrere Verarbeiter in einer parallelen Maschine oder in einem Netz von zusammenarbeitenden Computern geteilt ist.

Sichere Semantik wird formell in Lamport "Auf der Zwischenprozess-Kommunikation definiert" hat in der Verteilten Computerwissenschaft 1, 2 (1986), 77-101 veröffentlicht. (Das ist auch als SRC Forschungsbericht 8 erschienen.)

Sichere Semantik wird für eine Variable mit einem einzelnen Schriftsteller, aber vielfachen Lesern definiert. Diese Semantik sind schwach: Sie versichern nur, dass es eine Gesamteinrichtung des Schreibens gibt, und dass ein gelesener, der mit irgendwelchem nicht gleichzeitig ist, schreibt, wird den letzten Wert zurückgeben. Wenn ein Schreiben mit dem gelesenen dann gleichzeitig ist, kann jeder Wert zurückgegeben werden (zum Beispiel, wenn eine Variable Wert 5 hatte und zu 6 während des gelesenen geändert wurde, konnte die gelesene Funktion zurückkehren 8). Die einzige Ausnahme ist, dass Werte, die durch die Variable nicht gehalten werden konnten, nicht zurückgegeben werden müssen; zum Beispiel, wenn die Variable Werte zwischen 0 und 255 dann halten kann, muss die gelesene Funktion 257 nie zurückkehren.

Siehe auch

• Regelmäßige Semantik
• Atomsemantik