Tagged Capabilities

Tagged Capabilities:

Spezielle Hardware stellt sicher, dass nur als Cap. markierte Daten als Capabilities verwendet werden koennen. Auf Daten, die mit Cap. gekennzeichnet sind, koennen dagegen keine arithmetischen Operationen ausgefuehrt werden.

Offenbar muss jede Speicherstelle und jedes
Register ein solches "tag" Bit besitzen.