Kernel Stack Management in Hardware Interrupts or Exceptions
This document is a tutorial explaining how the eXpOS kernel must manage the kernel stack during events such as a hardware interrupt or an exception. The document is specific to the implementation of eXpOS on the XSM machine.
A hardware interrupt/exception can occur while an application program is executing.Since the application does not have control over the transfer to the interrupt module, it would not have saved its context.
Thus in this case the Interrupt Service Routine must save the register context of the application in the kernel stack of the current process, perform the required operations and must restore the context before returning to the application. The kernel stack is used to store the execution context of the user process. (The backup and restore instructions of the XSM machine facilitate this).
Actions done by the XSM machine on receiving an interrupt/ exception¶
On Receiving an interrupt or exception, the XSM machine does 3 things:
- Pushes the return address (IP+2 value) to the user stack.
- Switches mode of execution from user to kernel.
- Transfers the control to the Interrut Service Routine or Exception Handler
Note
1.The page number of the user area page is stored in the UArea Page Number field in the process table.
2.The offset of SP register within the user area page will be stored (and not the physical address of the kernel stack pointer) in the field of the process table. The purpose of storing the offset (instead of the physical address) in the KPTR field is to allow the OS to relocate the user area page to another physical memory page. On entering a kernel module from the user process, the kernel stack will be empty and hence KTPR will be 0.
3.When executing in user mode, the kernel stack is empty and hence the KPTR value is assumed to be zero.
1. Actions done by the kernel upon entering the interrupt service routine¶
- Switch from the user stack to the kernel stack. This involves storing the value of SP to UPTR field of the Process Table entry and setting the value of SP to User Area Page Number * 512 -1 as kernel stack is assumed to be empty on entering a kernel module from user process.
- Save the values of the machine registers in the kernel stack using BACKUP machine instruction.
- Continue execution of the interrupt routine code
Pseudo code
....
MOV UPTR, SP // Save the current SP register to
User stack pointer field of the
process table.
MOV SP, User Area Page Number*512 - 1
// Set kernel stack
(Note: Registers should not be used explicitly here
for calculations as they are not backed up yet.)
Fig.1.a. - Switch from the user stack to the kernel stack
Pseudo code
....
BACKUP // machine instruction to save the
register context
....
Fig.1.b - Use the BACKUP machine instruction to save the values of the machine registers in the kernel stack. 2. Actions done by the kernel before returning from the interrupt routine¶
- Restore the values of the machine registers using RESTORE machine instruction
- Set the value of SP to the top of the user stack
- Transfer control back to the user process
Pseudo code
....
RESTORE // machine instruction to restore
the register context
....
Fig.2.a - Use the RESTORE machine instruction to restore the values of the machine registers
Pseudo code
....
MOV SP, UPTR // point SP to the user stack
IRET // return to the user process
....
(Note: Again, registers should not be used
explicitly in the calculations as it will
overwrite the restored register context)
Fig.3. - Switch the stack and transfer the control back to the user process Note
If an exception is caused by error conditions ( such as stack overflow, invalid stack pointer value, arithmetic exceptions etc.), the user program will be terminated. This is not dealt with in this tutorial. However the procedure described above should be followed while handling page fault exception (since this does not result in termination of the user program).