Spekulative Aktionen

Für die spekulative Ablaufverfolgung stehen die Aktionen speculate(), commit() und discard() zur Verfügung. Diese Aktionen werden in Kapitel 13Spekulative Ablaufverfolgung erläutert.