<< Click to Display Table of Contents >> Navigation:  ASA-EMulatR Reference Guide > Introduction > Architecture Overview > Chapter 7 - Exceptions, Faults, and Interrupts > 7.12 Interaction with Serialization and LL/SC

Exceptions interact with the serialization and reservation systems in several ways:

 

Barrier Interaction

 

•EXCB enforces exception precision — cannot release until FaultDispatcher reports no eventPending()

•TRAPB enforces trap ordering — cannot release until hasPendingArithmeticTraps() returns false

•MB/WMB may be required before signaling another CPU about exception completion

•CALL_PAL implies full serialization — acts as the strongest barrier

 

LL/SC Reservation Clearing

 

Reservations are cleared on: exception delivery, PAL mode entry, certain barrier execution, context switches, and pipeline flush. This prevents stale atomic state from persisting across exception boundaries.

 

See Also: 6.12 Interaction with LL/SC; 5.11 Load-Locked / Store-Conditional (LL/SC.