Guard Namespace Reference

Synchronizes the kernel with interrupts using the Prologue/Epilogue Model. More...

Functions
Guarded	enter ()
	Entering the critical section from level 0.
void	leave ()
	Leaving the critical section.
void	relay (Epilogue handler)
	A prologue wants its epilogue to be processed (entering from level 1).
const Vault &	unsafeConstAccess ()
	Access the epilogue vault without taking the lock. Beware race conditions!

Detailed Description

Synchronizes the kernel with interrupts using the Prologue/Epilogue Model.

The Guard is used to synchronize between "normal" core activities (currently just the text output, later system calls) and interrupt handling routines. For this purpose, Guard has to contain one ore more queues, in which Epilogue functions can be added. This is necessary if the critical section is occupied at the time when an interrupt occurs, and the Epilogue cannot be executed immediately. The queued epilogues are processed when leaving the critical section.

Hints:

• The epilogue queue is a central data structure, whose consistency must be ensured. The implementation provided by the BBuffer is not entirely safe against concurrency. You need to disable interrupts during operations on the buffer.
• In MPStuBS, you need a separate epilogue queue for each core, in which each processor serializes its epilogues. However, epilogues on different cores could then be executed in parallel, since the critical section is managed separately on a per-core base. This must be prevented by using a global Ticketlock to avoid concurrent execution of epilogues – there must never be more than one epilogue active on the whole system at the same time!
  Please note: This giant lock (synchronizing all cores) should not be confused with the (core-specific) flag variable that marks only the entry to the epilogue level on the corresponding core!
• Interrupts should be disabled for as short as possible. Due to this reason, the prologue/epilogue model allows epilogues to be interrupted by prologues. This means that interrupts should be enabled again before the epilogue is executed (this includes notifying the APIC about the End-Of-Interrupt)

Function Documentation

enter()

Guarded Guard::enter

(

)

Entering the critical section from level 0.

Entering the critical section has to be handled differently depending on the system: In a single-core system it is sufficient to mark the entry by just setting a flag variable (since only one control flow can enter the critical section at the same time). However, as soon as there are multiple cores, this is no longer the case. If a core wants to enter the critical section while another core is already in there, it should (actively) wait in this method until the critical area is released again.

leave()

void Guard::leave

(

)

Leaving the critical section.

Leaves the critical section and processes all remaining (enqueued) epilogues. This may only be called while in level 1/2 after calling enter().

Note: Usually, this method is called by the destructor of the Guarded.

relay()

void Guard::relay

(

Epilogue

handler

)

A prologue wants its epilogue to be processed (entering from level 1).

This method is called by the interrupt handlers. Whether the passed epilogue is executed immediately or it just enqueued to the epilogue queue depends on whether the critical section on this Core is accessible or not.