Chapter 9: Hardware Interrupts -- IRQ=External I nte r rupt R equest
An Efficient Asymmetric Distributed Lock for Embedded Multiprocessor Systems
