Abstract Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others). For real-time, interrupt-driven software, timely interrupt handling

½º½

ÖÓÙÒ

ÓÖÖ ØÒ××ÓÖйØÑ×ÓØÛÖ ÒØÓÙØÓ×ÚÒØÛÓÔÖØ׺̬Ö×Ø××Ù× ÓÖÖ ØÒ××ÓÒÔÙعÓÙØÔÙØÚÓÖ¸ÒØ× ÓÒ×ØÑÐÒ××ÓØØÚÓÖºÎÖ¬¹ ØÓÒÒÚÐØÓÒÓÒÔÙعÓÙØÔÙØÚÓÖ×ÒÛÐÝ×ØÙØÖÖÒÓÛÑÒÝ×ØØ ¹

ÒØÓÓÐ×ÚÐÐ¸Ò ÐÙÒØÝÔ

Ö×½¾ ¸ÝØ ÓÚÖ¬Ö׿½ ¸ÒÑÓÐ

Ö×½¿ ¸×ÛÐÐ×ÒÙÑÖÓÙ×ØÓÓÐ×ÓÖ×ÙÔÔÓÖØÒØØ×ØÔÖÓ ×׺ÎÖ¬ ØÓÒÓØÑÒÔÖÓÔÖØ××ÑÓÖÆ ÙÐظÙØ×ØÝÔÖÓÖ×××ÒÑØÓÛÖÙÒÖ×ØÒÒØÓÙÒØÓÒ×Ó

ÒØØÑÒÔÖÓÔÖØ×ÓÖйØÑ×ÓØÛÖÒÖ ÒØÝÖ׸ ºÀÓÛÚÖ¸ÑÓÖÓÔÒ××Ù××ØÐÐÖÑÒºÌ×××Ù×ÖÙØÓØÐÓÛ¹ÐÚÐÒØÙÖÓÖйØÑ×Ý×ØÑ׸ÛØÑÓ×Ø×ØÐÐÑÔÐÑÒØØÖÒ××ÑÐÝÐÒÙÓÖØÐÓÛÖÐÚÐ׸×Ù ×È×ÓÖ Ù×ØÓѹÙÐØËÁ׺ÚÒÛÒÖйØÑ×ÓØÛÖ×ÛÖØØÒÒÖ¹ÐÚÐÐÒÙ×٠׸Ø××ÖÐØÓ

ØÖйØÑÔÖÓÔÖØ×ÓØ ÓÑÔÐ Ó Ù×Ø ÒÆ ÙÐØØÓÔÖ ØØ« Ø×ÓØ ÓÑÔÐÖºÅÓ×ØÔÖÚÓÙ×ÛÓÖÓÒÒÐÝ××Ó××ÑÐÝ Ó¸¸ ×ÒÓØ ÓÒ ÖÒÛØØÑÒÔÖÓÔÖØ׺ÌÓÐÒØ×ÔÖÓ Ø×ØÓÔÖÓÚØÓÓÐ×ÙÔÔÓÖØÓÖ

ÒØÑÒÔÖÓÔÖØ×ÓÖйØÑ××ÑÐÝ ÓºÌ×ÛÓÖÓ Ù××ÓÒÒØÖÖÙÔعÖÚÒ×ÓØÛÖ¸ÛÖ×ÒÐÖÓÑ×ÓÙÖ ÓÙØ×ØÖ Ø ÓÒØÖÓÐÓØ×ÓØÛÖ Ò Ù× ÓÑÔÙØØÓÒØÓÒØÖÖÙÔØÝ ÓÒØÖÓÐÒØÖÒ×ÖÖØÓÒÒØÖÖÙÔØÒÐÖºÌÝÔ ÐÒØÖÖÙÔØ×Ò×Ù ×Ý×ØÑ×Ó

ÙÖ Ù×ÒÛ×Ò×ÓÖØ×ÚÐи×ÒÐÔÙÐ×ÖÖÚ×ØØ ÓÒØÖÓÐÐÖ¸ÒÒØÖÒÐØÑÖÓ×Ó«¸ÓÖÓÖÑÒÝÓØÖÖ×ÓÒ׺Ì×Ô ¬ ØÓÒÓÒÒØÖÖÙÔعÖÚÒ×Ý×ØÑÛÐÐÙ×ÙÐÐÝÐ×ØÐÒ×ÓÖØÒÐÒÓ ØÝÔÓÒØÖÖÙÔغÁØ×ÔÖØÓØ ÓÖÖ ØÒ××ÓØ×Ý×ØÑØØÐÐÐÒ×ÖÑغÊ×ÓÒÒÓÙØØØÑÒÚÓÖÓÒØÖÖÙÔعÖÚÒ×ÓØÛÖ× ÓÑÔÐ Ø Ù×ÒØÖÖÙÔØ× ÒÒÐÒ×ÐÝØ×ÓØÛÖØ×иÒÒØÖÖÙÔØÒÐÖ ÒÒØÖÖÙÔظÒÒØÖÖÙÔØ× ÒÖÖÚÒÑÝÖÓ«ÖÒØ× ÒÖÓ׺ÁØ× ÖØ ÐØÓÒÓÛÛØÖÒÒØÖÖÙÔØÖÖÚ×Ø

ÔÓÒØÛÖØ×ÒÐÒ ÒÒÐÖØÛݸÓÖÛØÖØÖÖÚ×¼ ÐÓ

Ý Ð×ÐØÖ¸ÛÒØ×Ý×ØÑ×Ù×Ø×ÐÒØÖÖÙÔØÒÐÒÒÛÐÐÓÒÓØÖÛÓÖÓÖØÒÜØØÛÓÑÐÐÓÒ ÐÓ

Ý Ð׺ÁÒ×ÙÑÑÖݸØÒØÖÖÙÔØ×ÒØÑÒ ÓÑÔÙØØÓÒ ÒÒØÖ ØÒÔÓØÒØÐÐÝÞÖÖÛÝ׺ÈÖÓÖÑ×Ò×Ù ×ØÝÐ ÒÓÙÒ¸ÓÖÜÑÔиÒØÖÓ×Ò×ÓÖÒØÛÓÖ×¾¿ ÛÖ×Ò×ÓÖÒÓÑÝÒÓØÚ×Ô ÓÖ×ÓÔ×Ø Ø× ÙÐÖÒÒÐÝ××ÓÒØÖÖÙÔØ××ÒÓÛÒØÓÆ ÙÐظ¾ ºÌÓÓÐ×ÙÔÔÓÖØÓÖÖйØÑÒØÖÖÙÔعÖÚÒ×ÓØÛÖ×ØÖÚ×ØÓÒ×ÛÖØÓÐÐÓÛÒÕÙ×¹ØÓÒºÐÒÒÐÝ××ÏÐÐÚÖÝÒØÖÖÙÔØÒÐÓÖØ×ÐÒÇÒ ÒÔÔÖÓ Ø×ÕÙ×ØÓÒÒØ×ØÒ¹×ÑÒÒÖØÖÝ×ÙØÓÒØÖÖÙÔØ× ÙÐ×ÒÑ×ÙÖÛØÖÐÐÐÒ×ÖÑغÚÐÓÔÒÓÓ×ÙØÓÒØÖÖÙÔØ× ÙÐ××Æ ÙÐØÔÖÓÐÑ Ù×ÓجÒÖÒÙÐÖØÝÓØØÑÒÓÑÒºÚÒ ÐÓ

Ý Ð××ÐÓÒ×ÓÒÑ ÖÓ× ÓÒ¸Ø×ÚÖÝÆ ÙÐØØÓÒÒÖÓÖ× ÓÚÖÒØÖÖÙÔØ× ÙÐ×ØØÐØÓÒÝÖ×ÓÒÐ ÓÚÖÓØÔÖÓÖѺËØØÑÒØ ÓÚÖÛÓÙÐ×ÝÒØ××ØØÒ¸ÙØ×ÒÓØÙ×ÙÐ ÓÚÖ ÖØÖ Ù×ØÓ×ÒÓØØÒØÓ

ÓÙÒØØÒØÖÔÐÝÓ«ÖÒØÒØÖÖÙÔØ×ÒØØÑ×ÛÒØÝÓ

ÙÖºÖÒ

ÓÚÖ×ÑÓÖ

ÙÖØÙØÖÑÓÖÜÔÒ×ÚØÚÖÝÔÖÓÖÑÔÓÒØÛÖÒÒØÖÖÙÔØ×ÒиØÖ×ÒÑÔÐ ØÖÒ ØÓØÒÐÖºÓÚÖÒÐÐÖÒ × ÒØÖÓÖÒÒØÖ Øо