source: mypx/doc/ovrhdr_memo.txt @ 7

                                                                                                        TOPPERS Confidential
                TOPPERS¥×¥í¥ž¥§¥¯¥È ¥Ç¥£¥¹¥«¥Ã¥·¥ç¥ó¥á¥â
                ¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€ËŽØ€¹€ëÀß·×¥á¥â

                ºîÀ®ŒÔ: ¹âÅĹ­ŸÏ¡ÊÌŸžÅ²°Âç³Ø¡Ë
                ºÇœª¹¹¿·: 2014ǯ9·î28Æü

¡û¥á¥â€Î°ÌÃÖÉÕ€±

€³€Î¥É¥­¥å¥á¥ó¥È€Ï¡€TOPPERS/ASP¥«¡Œ¥Í¥ë€Î¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥éµ¡Çœ³ÈÄ¥€ËŽØ
€¹€ëÀß·×¥á¥â€Ç€¢€ë¡¥

¡û¥Ç¡Œ¥¿·¿€ÈÄê¿ô€ÎÄêµÁ

¥×¥í¥»¥Ã¥µ»þŽÖ€òÉœžœ€¹€ë¥Ç¡Œ¥¿·¿OVRTIM€ÎÄêµÁ€ò¡€kernel.h€ËŽÞ€á€ë¡¥

----------------------------------------
typedef ulong_t         OVRTIM;         /* ¥×¥í¥»¥Ã¥µ»þŽÖ */
----------------------------------------

¥×¥í¥»¥Ã¥µ»þŽÖ€Ë»ØÄê€Ç€­€ëºÇÂçÃ̀ϡ€¥¿¡Œ¥²¥Ã¥È°ÍžÉô¡Êtarget_kernel.h€Þ
€¿€Ï€œ€³€«€é¥€¥ó¥¯¥ë¡Œ¥É€µ€ì€ë¥Õ¥¡¥€¥ë¡Ë€ÇÄêµÁ€¹€ë€â€Î€È€¹€ë€¬¡€¥Ç¥Õ¥©
¥ë¥È€ÎÄêµÁ€òkernel.h€ËŽÞ€á€ë¡¥

----------------------------------------
#ifndef TMAX_OVRTIM
#define TMAX_OVRTIM             ULONG_MAX
#endif /* TMAX_OVRTIM */
----------------------------------------

€Þ€¿¡€¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€Î¥Ç¡Œ¥¿·¿OVRHDR€ÎÄêµÁ€ò¡€kernel.h€ËŽÞ€á€ë¡¥

----------------------------------------
typedef void    (*OVRHDR)(ID tskid, intptr_t exinf);
----------------------------------------

€³€ÎŸ€Ë¡€¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥éµ¡Çœ€Î¥µ¡Œ¥Ó¥¹¥³¡Œ¥ë€ÎÀëžÀ€ÈŽØÏ¢€¹€ëÄê¿ô€Î
ÄêµÁ€ò¡€kernel€ËŽÞ€á€ë¡¥

¡ûÍÑ€€€ë¥Ï¡Œ¥É¥Š¥§¥¢»ñž»€È¥µ¥Ý¡Œ¥È€Ç€­€Ê€€Ÿì¹ç€ÎÁŒÃÖ

¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€òŒÂžœ€¹€ë€Ë¡€¥¿¥€¥à¥Æ¥£¥Ã¥¯€Î³ä¹þ€ß€òȯÀž€µ€»€ë€Î€È
€ÏỀΥ¿¥€¥Þ¡Ê°Ê²Œ¡€€³€ì€ò¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€ÈžÆ€Ö¡Ë€òÍÑ€€€ë¡¥€œ€Î€¿€á¡€
¥¿¡Œ¥²¥Ã¥È€Ë€è€Ã€Æ€Ï¡€¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€ò¥µ¥Ý¡Œ¥È€Ç€­€Ê€€Ÿì¹ç€â¹Í€š€é
€ì€ë¡¥€Þ€¿¡€¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€ò¥µ¥Ý¡Œ¥È€¹€ë€³€È€Ç¡€¥¿¥¹¥¯ÀÚŽ¹€š€Ë€«€«
€ë¥ª¡Œ¥Ð¥Ø¥Ã¥É€¬ÌäÂê€Ë€Ê€ëŸì¹ç€â¹Í€š€é€ì€ë¡¥

€œ€³€Ç¡€¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€ò¥µ¥Ý¡Œ¥È€Ç€­€ëŸì¹ç€Ë€Ï¡€¥¿¡Œ¥²¥Ã¥È°ÍžÉô€Ë
€ª€€€Æ¡€TOPPERS_TARGET_SUPPORT_OVRHDR€ò¥Þ¥¯¥íÄêµÁ€¹€ë€â€Î€È€¹€ë¡¥

¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥éµ¡Çœ³ÈÄ¥€Îkernel.h€Ç€Ï¡€TOPPERS_TARGET_SUPPORT_OVRHDR
€¬¥Þ¥¯¥íÄêµÁ€µ€ì€Æ€€€ì€Ð¡€TOPPERS_SUPPORT_OVRHDR€òÄêµÁ€¹€ë¡¥

----------------------------------------
#ifdef TOPPERS_TARGET_SUPPORT_OVRHDR
#define TOPPERS_SUPPORT_OVRHDR                  /* ¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥éµ¡Çœ³ÈÄ¥ */
#endif /* TOPPERS_TARGET_SUPPORT_OVRHDR */
----------------------------------------

¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥éµ¡Çœ€Ï¡€TOPPERS_SUPPORT_OVRHDR€¬ÄêµÁ€µ€ì€Æ€€€ëŸì¹ç€Î
€ßÁȀ߹þ€à¡¥€³€ì€Ë€è€ê¡€¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥éµ¡Çœ³ÈÄ¥€ò»ÈÍÑ€·¡€¥¿¡Œ¥²¥Ã¥È
°ÍžÉô€¬¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€ò¥µ¥Ý¡Œ¥È€·€Æ€€€ëŸì¹ç€Î€ß¡€¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É
¥éµ¡Çœ€¬ÁȀ߹þ€Þ€ì€ë€³€È€Ë€Ê€ë¡¥

¡û¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€ËŽØÏ¢€¹€ë¥Ç¡Œ¥¿¹œÂ€

¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€òŒÂÁõ€¹€ë€¿€á€Ë¡€TCB€Ë¡€»Ä€ê¥×¥í¥»¥Ã¥µ»þŽÖ€òÉœ€¹¥Õ¥£¡Œ
¥ë¥Éleftotm€òÀ߀±€ë¡Êtask.h¡Ë¡¥

----------------------------------------
typedef struct task_control_block {
        ...
        OVRTIM  leftotm;                                /* »Ä€ê¥×¥í¥»¥Ã¥µ»þŽÖ */
        ...
} TCB;
----------------------------------------

¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€¬Æ°ºî€·€Æ€€€Ê€€ŸõÂրλþ€Ï¡€leftotm€ò0€ËÀßÄꀹ€ë€³€È
€È€·¡€make_dormant€ÎÃæ€Ç0€ËœéŽü²œ€¹€ë¡Êtask.c¡Ë¡¥

----------------------------------------
void
make_dormant(TCB *p_tcb)
{
        ...
        p_tcb->leftotm = 0U;
        ...
}
----------------------------------------

¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€ËÂЀ·€Æ€Ï¡€ŽÉÍý¥Ö¥í¥Ã¥¯€ÏɬÍ׀ʀ¯¡€DEF_OVR€ÇÄêµÁ€·€¿
ŸðÊó€ò³ÊÇŒ€·€¿œéŽü²œ¥Ö¥í¥Ã¥¯€Î€ß€òÍÑ°Õ€¹€ë¡¥œéŽü²œ¥Ö¥í¥Ã¥¯€â¡€Ã±°ì€ÎÍ×
ÁǀǜœÊ¬€Ç€¢€ê¡€ÇÛÎó€Ç€¢€ëɬÍ׀πʀ€¡Êoverrun.h¡Ë¡¥

----------------------------------------
typedef struct overrun_handler_initialization_block {
        ATR                     ovratr;                 /* ¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é°À­ */
        OVRHDR          ovrhdr;                 /* ¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€Îµ¯Æ°ÈÖÃÏ */
} OVRINIB;
----------------------------------------
extern const OVRINIB    ovrinib;
----------------------------------------

¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€¬Æ°ºîÃ怫€òŒš€¹¥Õ¥é¥°€È€·€Æ¡€boot_t·¿€ÎÊÑ¿ô
ovrtimer_flag€òÍÑ°Õ€¹€ë¡Êoverrun.h¡€overrun.c¡Ë¡¥

----------------------------------------
extern boot_t   ovrtimer_flag;
----------------------------------------

¥·¥ó¥°¥ë¥×¥í¥»¥Ã¥µ€ÎŸì¹ç€Ë€Ï¡€¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€¬Æ°ºîÃ怫€Ï¡€Œ¡€ÎÊýË¡€Ç
ÈœÊÌ€¹€ë€³€È€¬€Ç€­€ë¡¥

        ¥¿¥¹¥¯¥³¥ó¥Æ¥­¥¹¥È€Ç€Ï¡€(p_runtsk->leftotm > 0U)€Î»þ€Î€ßÆ°ºî€·€Æ€€€ë¡¥
        È󥿥¹¥¯¥³¥ó¥Æ¥­¥¹¥È€Ç€Ï¡€Æ°ºî€·€Æ€€€Ê€€¡¥

€œ€Î€¿€á¡€€³€Î¥Õ¥é¥°€òÍÑ€€€Ê€€ŒÂÁõ€â²ÄÇœ€Ç€¢€ë€¬¡€¥Þ¥ë¥Á¥×¥í¥»¥Ã¥µ€Ø€Î
³ÈÄ¥À­€ä¥¿¡Œ¥²¥Ã¥È°ÍžÀ­€ò²Œ€²€ë€¿€á€Ë¡€€³€ì€òÍÑ€€€ëŒÂÁõ€È€·€Æ€€€ë¡ÊŒÂ
ºÝ¡€Mac OS X¥¿¡Œ¥²¥Ã¥È°ÍžÉô€Ç€Ï¡€€³€ì€ò³èÍÑ€·€Æ€€€ë¡Ë¡¥

¡û»Ä€ê¥×¥í¥»¥Ã¥µ»þŽÖ€ÎÊÝž¡¿Éüµ¢œèÍý€ÎÆâÍÆ

¥Ç¥£¥¹¥Ñ¥Ã¥Á¥ã€ª€è€Ó³ä¹þ€ßœèÍý¡¿CPUÎã³°œèÍý€ÎœÐÆþžý€Ç¡€¥¿¥¹¥¯€Î»Ä€ê¥×¥í
¥»¥Ã¥µ»þŽÖ€òÊÝž¡¿Éüµ¢€¹€ëɬÍ×€¬€¢€ë¡¥¶ñÂÎŪ€Ë€Ï¡€°Ê²Œ€Î€è€Š€ÊœèÍý€¬É¬
Í׀ǀ¢€ë¡¥

(a) dispatch€Ø€ÎÆþžý

ovrtimer_flag€¬true€Ç€¢€ì€Ð¡Ê€Þ€¿€Ï¡€p_runtsk->leftotm€¬0€Ç€Ê€±€ì€Ð¡Ë¡€
¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€òÄä»ß€µ€»¡€»Ä€ê¥×¥í¥»¥Ã¥µ»þŽÖ€òp_runtsk->leftotm€Ë³ÊÇŒ
€¹€ë¡¥»Ä€ê¥×¥í¥»¥Ã¥µ»þŽÖ€¬0¡Ê€Þ€¿€Ï€œ€ìÌ€Ëþ¡Ë€Ë€Ê€Ã€Æ€€€¿Ÿì¹ç€Ë€Ï¡€
p_runtsk->leftotm€Ë1€ò³ÊÇŒ€¹€ë¡¥

(b) dispatch€«€é€ÎœÐžý

¥¿¥¹¥¯Îã³°œèÍý¥ë¡Œ¥Á¥ó€ÎžÆœÐ€·Á°€Ë¡€p_runtsk->leftotm€¬0€Ç€Ê€±€ì€Ð¡€»Ä
€ê¥×¥í¥»¥Ã¥µ»þŽÖ€òp_runtsk->leftotm€È€·€Æ¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€òÆ°ºî³«»Ï€¹€ë¡¥

(c) ³ä¹þ€ßœèÍý¡¿CPUÎã³°œèÍý€ÎÆþžý

ovrtimer_flag€¬true€Ç€¢€ì€Ð¡€¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€òÄä»ß€µ€»¡€»Ä€ê¥×¥í¥»¥Ã¥µ
»þŽÖ€òp_runtsk->leftotm€Ë³ÊÇŒ€¹€ë¡¥»Ä€ê¥×¥í¥»¥Ã¥µ»þŽÖ€¬0¡Ê€Þ€¿€Ï€œ€ìÌ€
Ëþ¡Ë€Ë€Ê€Ã€Æ€€€¿Ÿì¹ç€Ë€Ï¡€p_runtsk->leftotm€Ë1€ò³ÊÇŒ€¹€ë¡¥

€³€ÎœèÍý€Ï¡€¥«¡Œ¥Í¥ëŽÉÍý€Î³ä¹þ€ß€ò€¹€Ù€Æ¶Ø»ß€·€¿ŸõÂրǹԀŠÉ¬Í×€¬€¢€ë¡¥
³ä¹þ€ß¡¿CPUÎ㳰ȯÀžÄŸžå€Ë€¹€Ù€Æ€Î³ä¹þ€ß€¬¶Ø»ß€µ€ì€Ê€€¥×¥í¥»¥Ã¥µ€Ç€Ï¡€³ä
¹þ€ß€ò¶Ø»ß€·€¿žå€Ë€³€ÎœèÍý€ò¹Ô€ŠÉ¬Í×€¬€¢€ë¡¥

(d) ³ä¹þ€ßœèÍý¡¿CPUÎã³°œèÍý€ÎœÐžý

¥¿¥¹¥¯¥³¥ó¥Æ¥­¥¹¥È€ËÌá€ëŸì¹ç€Ë¡€p_runtsk->leftotm€¬0€Ç€Ê€±€ì€Ð¡€»Ä€ê¥×
¥í¥»¥Ã¥µ»þŽÖ€òp_runtsk->leftotm€È€·€Æ¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€òÆ°ºî³«»Ï€¹€ë¡¥

(e) ¥¿¥¹¥¯€ÎœªÎ»»þ

ovrtimer_flag€¬true€Ç€¢€ì€Ð¡Ê€Þ€¿€Ï¡€p_runtsk->leftotm€¬0€Ç€Ê€±€ì€Ð¡Ë¡€
¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€òÄä»ß€µ€»€ë¡¥»Ä€ê¥×¥í¥»¥Ã¥µ»þŽÖ€òp_runtsk->leftotm€Ë³Ê
ÇŒ€¹€ëɬÍ׀πʀ€¡Êmake_dormant€Ç0€¬³ÊÇŒ€µ€ì€ë¡Ë¡¥

(f) ¥¿¥¹¥¯€ÎŒÂ¹Ô³«»Ï»þ

p_runtsk->leftotm€¬0€Ç€Ê€±€ì€Ð¡€»Ä€ê¥×¥í¥»¥Ã¥µ»þŽÖ€òp_runtsk->leftotm€È
€·€Æ¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€òÆ°ºî³«»Ï€¹€ë¡¥

¡û¥¿¡Œ¥²¥Ã¥È°ÍžÉô€Î¥€¥ó¥¿¥Õ¥§¡Œ¥¹

¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥éµ¡Çœ€Î¥¿¡Œ¥²¥Ã¥È°ÍžÉô€Ç€Ï¡€¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥éÍрΥ¿
¥€¥Þ¡Ê°Ê²Œ¡€¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€ÈžÆ€Ö¡Ë€òÁàºî€¹€ë€¿€á€Îµ¡Çœ€òÄ󶡀¹€ë¡¥

€Þ€º¡€Œ¡€ÎÄê¿ô€ò¥Þ¥¯¥íÄêµÁ€¹€ë¡¥

(1) TMAX_OVRTIM

¥×¥í¥»¥Ã¥µ»þŽÖ€È€·€Æ¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥éÍÑ¥¿¥€¥Þ€ËÀßÄê€Ç€­€ëºÇÂç€ÎÃÍ¡¥Ã±
°Ì€Ï¥Þ¥€¥¯¥íÉÀȀ¹€ë¡¥¥¿¡Œ¥²¥Ã¥È°ÍžÉô€ÇÄêµÁ€·€Ê€€Ÿì¹ç€Ë€Ï¡€kernel.h€Ç
ULONG_MAX€ËÄêµÁ€¹€ë¡¥

€Þ€¿¡€Œ¡€Î5€Ä€ÎŽØ¿ô€òÍÑ°Õ€¹€ë¡¥

(1) void target_ovrtimer_initialize(intptr_t exinf)

¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€ÎœéŽü²œœèÍý€ò¹Ô€Š¡¥¥¿¥€¥Þ€ÎÆ°ºî³«»Ï€Ï¹Ô€ï€Ê€€¡¥

€³€ÎŽØ¿ô€Ï¡€target_timer.cfgÃæ€Ëµ­œÒ€¹€ëÀÅŪAPI€Ë€è€ê¡€œéŽü²œ¥ë¡Œ¥Á¥ó€È
€·€Æ¥«¡Œ¥Í¥ë€ËÅÐÏ¿€¹€ë€³€È€òÁÛÄꀷ€Æ€€€ë¡¥

(2) void target_ovrtimer_terminate(intptr_t exinf)

¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€ÎÄä»ßœèÍý€ò¹Ô€Š¡¥

€³€ÎŽØ¿ô€Ï¡€target_timer.cfgÃæ€Ëµ­œÒ€¹€ëÀÅŪAPI€Ë€è€ê¡€œªÎ»œèÍý¥ë¡Œ¥Á¥ó
€È€·€Æ¥«¡Œ¥Í¥ë€ËÅÐÏ¿€¹€ë€³€È€òÁÛÄꀷ€Æ€€€ë¡¥

(3) void target_ovrtimer_start(OVRTIM ovrtim)

¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€ò¡€ovrtim€Ç»ØÄꀷ€¿»þŽÖ€¬·Ð²á€·€¿€é³ä¹þ€ß€¬È¯Àž€¹€ë€è
€Š€ËÀßÄꀷ¡€Æ°ºî³«»Ï€¹€ë¡¥ovrtim€Îñ°Ì€Ï¥Þ¥€¥¯¥íÉÀȀ¹€ë¡¥

(4) OVRTIM target_ovrtimer_stop(void)

¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€òÄä»ß€·¡€¥¿¥€¥Þ€Î»Ä€ê»þŽÖ€òÆɀߜЀ¹¡¥€â€·»Ä€ê»þŽÖ€¬
0¡Ê€Þ€¿€Ï€œ€ìÌ€Ëþ¡Ë€Ë€Ê€Ã€Æ€€€¿Ÿì¹ç€Ë€Ï¡€1€òÊÖ€¹¡¥€Þ€¿¡€¥ª¡Œ¥Ð¥é¥ó¥¿¥€
¥Þ€«€é€Î³ä¹þ€ß€ò¥¯¥ê¥¢€¹€ë¡¥

(5) OVRTIM target_ovrtimer_get_current(void)

¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€Î»Ä€ê»þŽÖ€òÆɀߜЀ¹¡¥€â€·»Ä€ê»þŽÖ€¬0¡Ê€Þ€¿€Ï€œ€ìÌ€Ëþ¡Ë
€Ë€Ê€Ã€Æ€€€¿Ÿì¹ç€Ë€Ï¡€0€òÊÖ€¹¡¥¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€«€é€Î³ä¹þ€ß€Ï¥¯¥ê¥¢€·€Ê
€€¡¥

¡û»Ä€ê¥×¥í¥»¥Ã¥µ»þŽÖ€ÎÊÝž¡¿Éüµ¢€ÎŒÂÁõ¡Ê¥¿¡Œ¥²¥Ã¥ÈÈó°ÍžÉô¡Ë

Á°µ­€ÎœèÍýÆâÍÆ€ÎÃæ€Ç¡€(a)€È(c)€Ï¡€žÆœÐ€·Ÿò·ï€¬°ã€Š€À€±€ÇœèÍýÆâÍÆ€ÏƱ°ì
€Ç€¢€ë€¿€á¡€€³€ì€òŒÂžœ€¹€ëŽØ¿ôovrtimer_stop€ò¥¿¡Œ¥²¥Ã¥ÈÈó°ÍžÉô€ËÀ߀±¡€
¥¿¡Œ¥²¥Ã¥È°ÍžÉô€Î³ºÅö²Õœê€«€éžÆ€ÓœÐ€¹€è€Š€Ë€¹€ë¡¥

----------------------------------------
void
ovrtimer_stop(void)
{
        if (ovrtimer_flag) {
                assert(p_runtsk->leftotm > 0U);
                p_runtsk->leftotm = target_ovrtimer_stop();
                ovrtimer_flag = false;
        }
}
----------------------------------------

€Þ€¿(b),(d),(f)€â¡€žÆœÐ€·Ÿò·ï€¬°ã€Š€À€±€ÇœèÍýÆâÍÆ€ÏƱ°ì€Ç€¢€ë€¿€á¡€€³€ì
€òŒÂžœ€¹€ëŽØ¿ôovrtimer_start€ò¥¿¡Œ¥²¥Ã¥ÈÈó°ÍžÉô€ËÀ߀±¡€¥¿¡Œ¥²¥Ã¥È°Íž
Éô€Î³ºÅö²Õœê€«€éžÆ€ÓœÐ€¹€è€Š€Ë€¹€ë¡¥

----------------------------------------
void
ovrtimer_start(void)
{
        if (p_runtsk->leftotm > 0U) {
                target_ovrtimer_start(p_runtsk->leftotm);
                ovrtimer_flag = true;
        }
}
----------------------------------------

(e)€Ï¡€»Ä€ê¥×¥í¥»¥Ã¥µ»þŽÖ€òp_runtsk->leftotm€Ë³ÊÇŒ€¹€ëɬÍ׀πʀ€ÅÀ€Ç
(a),(c)€ÈœèÍýÆâÍÆ€¬°Û€Ê€ë€¬¡€p_runtsk->leftotm€Ïmake_dormant€Ç0€ËœéŽü²œ
€µ€ì€ë€¿€á¡€make_dormant€òžÆ€ÓœÐ€¹Á°€Ç€¢€ì€Ð¡€ovrtimer_stop€òήÍÑ€¹€ë€³
€È€¬€Ç€­€ë¡¥€œ€³€Ç¡€ext_tsk€ËŒ¡€Îœ€Àµ€ò²Ã€š€ë¡Êtask_manage.c¡Ë¡¥

----------------------------------------
ER
ext_tsk(void)
{
        ...
        (void) make_non_runnable(p_runtsk);
|#ifdef TOPPERS_SUPPORT_OVRHDR
|       ovrtimer_stop();
|#endif /* TOPPERS_SUPPORT_OVRHDR */
        make_dormant(p_runtsk);
        ...
}
----------------------------------------

¡û»Ä€ê¥×¥í¥»¥Ã¥µ»þŽÖ€ÎÊÝž¡¿Éüµ¢€ÎŒÂÁõ¡Ê¥¿¡Œ¥²¥Ã¥È°ÍžÉô¡Ë

(a) dispatch€Ø€ÎÆþžý

----------------------------------------
void
dispatch(void)
{
|#ifdef TOPPERS_SUPPORT_OVRHDR
|       ovrtimer_stop();                                        /* ¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€ÎÄä»ß */
|#endif /* TOPPERS_SUPPORT_OVRHDR */
        ¥¹¥¯¥é¥Ã¥Á¥ì¥ž¥¹¥¿€òœü€¯€¹€Ù€Æ€Î¥ì¥ž¥¹¥¿€ò¥¹¥¿¥Ã¥¯€ËÊÝž€¹€ë
        ...
}
----------------------------------------

(b) dispatch€«€é€ÎœÐžý

----------------------------------------
void
dispatch(void)
{
        ...

  dispatch_r:
        ¥¹¥¯¥é¥Ã¥Á¥ì¥ž¥¹¥¿€òœü€¯€¹€Ù€Æ€Î¥ì¥ž¥¹¥¿€ò¥¹¥¿¥Ã¥¯€«€éÉüµ¢€¹€ë
|#ifdef TOPPERS_SUPPORT_OVRHDR
|       ovrtimer_start();                                       /* ¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€ÎÆ°ºî³«»Ï */
|#endif /* TOPPERS_SUPPORT_OVRHDR */
        calltex(); ¡Ä (*b)
}
----------------------------------------

(c) ³ä¹þ€ßœèÍý¡¿CPUÎã³°œèÍý€ÎÆþžý

³ä¹þ€ßœèÍý¡¿CPUÎã³°œèÍý€ÎÆþžý€ÏŒ¡€ÎÄÌ€ê€Ëœ€Àµ€¹€ë¡¥

----------------------------------------
void
<³ä¹þ€ß€ÎœÐÆþžýœèÍý>(void)
{
        ¥¹¥¯¥é¥Ã¥Á¥ì¥ž¥¹¥¿€ò¥¹¥¿¥Ã¥¯€ËÊÝž€¹€ë
        if (¥¿¥¹¥¯¥³¥ó¥Æ¥­¥¹¥È€Ç³ä¹þ€ßȯÀž) {
|#ifdef TOPPERS_SUPPORT_OVRHDR
|               ¡ÊŸ¯€Ê€¯€È€â¡Ë¥«¡Œ¥Í¥ëŽÉÍý€Î³ä¹þ€ß€ò¶Ø»ß€·€¿ŸõÂրˀ¹€ë
|               ovrtimer_stop();                                /* ¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€ÎÄä»ß */
|               ¡ÊɬÍ׀ʀé¡Ëžµ€ÎŸõÂÖ€ËÌ္
|#endif /* TOPPERS_SUPPORT_OVRHDR */
                ¥¹¥¿¥Ã¥¯€òÈ󥿥¹¥¯¥³¥ó¥Æ¥­¥¹¥ÈÍрΥ¹¥¿¥Ã¥¯€ËÀڀꎹ€š¡€
                                                                È󥿥¹¥¯¥³¥ó¥Æ¥­¥¹¥È€ËÀڀꎹ€š€ë
        }
        ...
}
----------------------------------------
void
<CPUÎã³°€ÎœÐÆþžýœèÍý>(void)
{
        ¥¹¥¯¥é¥Ã¥Á¥ì¥ž¥¹¥¿€ò¥¹¥¿¥Ã¥¯€ËÊÝž€¹€ë
        if (¥¿¥¹¥¯¥³¥ó¥Æ¥­¥¹¥È€ÇCPUÎ㳰ȯÀž) {
|#ifdef TOPPERS_SUPPORT_OVRHDR
|               ¡ÊŸ¯€Ê€¯€È€â¡Ë¥«¡Œ¥Í¥ëŽÉÍý€Î³ä¹þ€ß€ò¶Ø»ß€·€¿ŸõÂրˀ¹€ë
|               ovrtimer_stop();                                /* ¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€ÎÄä»ß */
|               ¡ÊɬÍ׀ʀé¡Ëžµ€ÎŸõÂÖ€ËÌ္
|#endif /* TOPPERS_SUPPORT_OVRHDR */
                ¥¹¥¿¥Ã¥¯€òÈ󥿥¹¥¯¥³¥ó¥Æ¥­¥¹¥ÈÍрΥ¹¥¿¥Ã¥¯€ËÀڀꎹ€š¡€
                                                                È󥿥¹¥¯¥³¥ó¥Æ¥­¥¹¥È€ËÀڀꎹ€š€ë
        }
        ...
}
----------------------------------------

(d) ³ä¹þ€ßœèÍý¡¿CPUÎã³°œèÍý€ÎœÐžý

³ä¹þ€ßœèÍý¡¿CPUÎã³°œèÍý€ÎœÐžý€ÏŒ¡€ÎÄÌ€ê€Ëœ€Àµ€¹€ë¡¥

----------------------------------------
void
<³ä¹þ€ß€ÎœÐÆþžýœèÍý>(void)
{
        ...

                          ret_int_r:
                                ¥¹¥¯¥é¥Ã¥Á¥ì¥ž¥¹¥¿€òœü€¯€¹€Ù€Æ€Î¥ì¥ž¥¹¥¿€ò¥¹¥¿¥Ã¥¯€«€éÉüµ¢€¹€ë
                        }
|#ifdef TOPPERS_SUPPORT_OVRHDR
|                       ovrtimer_start();                       /* ¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€ÎÆ°ºî³«»Ï */
|#endif /* TOPPERS_SUPPORT_OVRHDR */
                        calltex(); ¡Ä (*b)
                }
|#ifdef TOPPERS_SUPPORT_OVRHDR
|               else {
|                       ¡ÊŸ¯€Ê€¯€È€â¡Ë¥«¡Œ¥Í¥ëŽÉÍý€Î³ä¹þ€ß€ò¶Ø»ß€·€¿ŸõÂրˀ¹€ë
|                       ovrtimer_start();                       /* ¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€ÎÆ°ºî³«»Ï */
|               }
|#endif /* TOPPERS_SUPPORT_OVRHDR */
        }
        ...
}
----------------------------------------
void
<CPUÎã³°€ÎœÐÆþžýœèÍý>(void)
{
        ...

                          ret_exc_r:
                                ¥¹¥¯¥é¥Ã¥Á¥ì¥ž¥¹¥¿€òœü€¯€¹€Ù€Æ€Î¥ì¥ž¥¹¥¿€ò¥¹¥¿¥Ã¥¯€«€éÉüµ¢€¹€ë
                        }
|#ifdef TOPPERS_SUPPORT_OVRHDR
|                       ovrtimer_start();                       /* ¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€ÎÆ°ºî³«»Ï */
|#endif /* TOPPERS_SUPPORT_OVRHDR */
                        calltex(); ¡Ä (*b)
                }
|#ifdef TOPPERS_SUPPORT_OVRHDR
|               else {
|                       ¡ÊŸ¯€Ê€¯€È€â¡Ë¥«¡Œ¥Í¥ëŽÉÍý€Î³ä¹þ€ß€ò¶Ø»ß€·€¿ŸõÂրˀ¹€ë
|                       ovrtimer_start();                       /* ¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€ÎÆ°ºî³«»Ï */
|               }
|#endif /* TOPPERS_SUPPORT_OVRHDR */
        }
        CPUÎã³°œèÍý€«€é€Î¥ê¥¿¡Œ¥ó€Ç¡€CPU¥í¥Ã¥¯ŸõÂÖ¡¿¥í¥Ã¥¯²òœüŸõÂÖ€¬
                                                                CPUÎ㳰ȯÀž»þ€ÎŸõÂÖ€ËÌá€ë€è€Š€ËœàÈ÷€¹€ë
        ¥¹¥¯¥é¥Ã¥Á¥ì¥ž¥¹¥¿€ò¥¹¥¿¥Ã¥¯€«€éÉüµ¢€¹€ë
        CPUÎã³°œèÍý€«€é€Î¥ê¥¿¡Œ¥ó
}
----------------------------------------

(e) ¥¿¥¹¥¯€ÎœªÎ»»þ

¥¿¡Œ¥²¥Ã¥ÈÈó°ÍžÉô€Îext_tsk€ÇÂбþ€·€¿¡¥

(f) ¥¿¥¹¥¯€ÎŒÂ¹Ô³«»Ï»þ

----------------------------------------
void
activate_context(TCB *p_tcb)
{
        ...

  start_r:
|#ifdef TOPPERS_SUPPORT_OVRHDR
|       ovrtimer_start();                                       /* ¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€ÎÆ°ºî³«»Ï */
|#endif /* TOPPERS_SUPPORT_OVRHDR */
        CPU¥í¥Ã¥¯²òœüŸõÂրˀ¹€ë
        Œ«¥¿¥¹¥¯¡Êp_runtsk¡Ë€Îµ¯Æ°ÈÖÃÏ€ò¡€³ÈÄ¥ŸðÊó€ò¥Ñ¥é¥á¡Œ¥¿€È€·€ÆžÆ€ÓœÐ€¹
        ext_tsk€ËʬŽô€¹€ë ... (*c)
}
----------------------------------------

¡û¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€ÎžÆœÐ€·€ÎŒÂÁõ

¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€¬Ëþλ€·¡€³ä¹þ€ß€¬È¯Àž€·€¿Ÿì¹ç€Ë€Ï¡€¥¿¡Œ¥²¥Ã¥È°ÍžÉô€Î
³ä¹þ€ß¥Ï¥ó¥É¥é¡Ê€Þ€¿€Ï¡€³ä¹þ€ß¥µ¡Œ¥Ó¥¹¥ë¡Œ¥Á¥ó¡Ë€«€é¡€¥¿¡Œ¥²¥Ã¥ÈÈó°Íž
Éô€Îcall_ovrhdr€òžÆ€ÓœÐ€¹¡¥

€³€³€Ç¡€¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ³ä¹þ€ß¥Ï¥ó¥É¥é€Îµ¯Æ°€È¡€sta_ovr¡¿stp_ovr€ÎžÆœÐ
€·€Î¶¥¹ç€ÎÌäÂꀬ€¢€ë¡¥¶ñÂÎÎã€È€·€Æ¡€¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€¬Ëþλ€·€¿ÄŸžå€Ë¡€
Ÿ€Î¹âÍ¥ÀèÅـγä¹þ€ß€¬È¯Àž€·¡€€œ€ÎœèÍýÃæ€Ç¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€¬ºÆÆ°ºî³«
»Ï¡Ê»Ä€ê¥×¥í¥»¥Ã¥µ€Ï¹¹¿·€µ€ì€ë¡Ë€µ€ì€¿Ÿì¹ç€äÄä»ß€µ€ì€¿Ÿì¹ç€¬ÌäÂê€Ë€Ê€ë¡¥
€³€ÎŸì¹ç¡€¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ³ä¹þ€ß¥Ï¥ó¥É¥é€ÎÃæ€Ç¡€¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€òžÆ
€ÓœÐ€µ€Ê€€€è€Š€Ë€¹€Ù€­€Ç€¢€ë¡¥

¥¿¡Œ¥²¥Ã¥ÈÈó°ÍžÉô€Îcall_ovrhdr€ÎŒÂÁõ€ÏŒ¡€ÎÄ̀ꡥ

----------------------------------------
void
call_ovrhdr(void)
{
        assert(sense_context());
        assert(!sense_lock());
        assert(ovrinib.ovrhdr != NULL);

        i_lock_cpu();
        if (p_runtsk!= NULL && p_runtsk->leftotm == 1U) {
                p_runtsk->leftotm = 0U;
                i_unlock_cpu();

                LOG_OVR_ENTER(p_runtsk);
                ((OVRHDR)(ovrinib.ovrhdr))(TSKID(p_runtsk), p_runtsk->p_tinib->exinf);
                LOG_OVR_LEAVE(p_runtsk);
        }
        else {
                /*
                 *  €³€Î¥ë¡Œ¥Á¥ó€¬žÆ€ÓœÐ€µ€ì€ëÁ°€Ë¡€¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€Îµ¯Æ°€¬
                 *  ¥­¥ã¥ó¥»¥ë€µ€ì€¿Ÿì¹ç
                 */
                i_unlock_cpu();
        }
}
----------------------------------------

p_runtsk€¬NULL€ÎŸì¹ç€ò¹ÍΞ€·€Æ€€€ë€Î€Ï¡€¥¹¥×¥ê¥¢¥¹³ä¹þ€ß€ËÂЀ¹€ë¥í¥Ð¥¹
¥ÈÀ­€ò³ÎÊÝ€¹€ë€¿€á€Ç€¢€ë¡¥

¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€ÎžÆœÐ€·žå€Ë¡€žÆœÐ€·Á°€ÎŸõÂÖ¡ÊCPU¥í¥Ã¥¯¡€³ä¹þ€ßÍ¥ÀèÅÙ
¥Þ¥¹¥¯¡Ë€ËÌဵ€Ê€€€Î€Ï¡€€³€Î¥ë¡Œ¥Á¥ó€«€é€Î¥ê¥¿¡Œ¥óžå€Ë¡€³ä¹þ€ßœÐžýœèÍý
€Çžµ€ÎŸõÂÖ€ËÌ္€¿€á€Ç€¢€ë¡¥

call_ovrhdr€Ï¡€³ä¹þ€ß¥Ï¥ó¥É¥é€«€é¡Ê€Þ€¿€Ï¡€³ä¹þ€ß¥Ï¥ó¥É¥é€È€·€Æ¡ËžÆ€ÓœÐ
€µ€ì€ë€¿€á¡€€³€Î¥ë¡Œ¥Á¥ó€ËÍè€ë€Þ€Ç€Ë¡€ovrtimer_stop€¬žÆ€Ð€ì€Æ€€€ë¡Ê€¹€Ê
€ï€Á¡€¥ª¡Œ¥Ð¥é¥ó¥¿¥€¥Þ€¬Ää»ß€·€Æ€€€ë¡Ë¡¥

³ä¹þ€ß¥Ï¥ó¥É¥é€ÎÀßÄê€Ï¡€°Ê²Œ€Î€è€Š€ÊÀÅŪAPI€ò¡€target_timer.hÃæ€Ëµ­œÒ€¹
€ë€³€È€Ç¹Ô€Š€â€Î€È€¹€ë¡Ê¥¿¡Œ¥²¥Ã¥È€Î»öŸð€ÇÊѹ¹€·€Æ€è€€¡Ë¡¥

----------------------------------------
#ifdef TOPPERS_SUPPORT_OVRHDR
ATT_INI({ TA_NULL, 0, target_ovrtimer_initialize });
ATT_TER({ TA_NULL, 0, target_ovrtimer_terminate });
CFG_INT(INTNO_OVRTIMER, { TA_ENAINT | INTATR_OVRTIMER, INTPRI_OVRTIMER });
DEF_INH(INHNO_OVRTIMER, { TA_NULL, target_ovrtimer_handler });
#endif /* TOPPERS_SUPPORT_OVRHDR */
----------------------------------------

€³€ì€é€ÎÀÅŪAPIÃæ€Î¡€INHNO_OVRTIMER¡€INTNO_OVRTIMER¡€INTPRI_OVRTIMER¡€
INTATR_OVRTIMER€Î4€Ä€ÎÄê¿ô€Ï¡€target_timer.hÃæ€ÇÄêµÁ€¹€ë¡¥

¡û¥ª¡Œ¥Ð¥Ø¥Ã¥É€ÎÄ㞺ÊýË¡

°ÊŸå€ÇÀâÌÀ€·€¿ÊýË¡€Ç€Ï¡€¥¿¡Œ¥²¥Ã¥È°ÍžÉô€Î¥¢¥»¥ó¥Ö¥êžÀžì€Çµ­œÒ€¹€ë€³€È
€òÁÛÄꀷ€¿¥³¡Œ¥É€«€é¡€¥¿¡Œ¥²¥Ã¥ÈÈó°ÍžÉô€Îovrtimer_start€È
ovrtimer_stop€òžÆ€ÓœÐ€·€Æ€€€ë€¬¡€€³€ì€é€ÎŽØ¿ô€Ïû€€€â€Î€Ç¡€¥¢¥»¥ó¥Ö¥êžÀ
žì€ÎÃæ€ËÅž³«€·€¿Êý€¬žúΚ€¬€è€€¡¥€³€ì€é€ÎŽØ¿ô€ò¥¢¥»¥ó¥Ö¥êžÀžì€ÎÃæ€ËÅž³«
€¹€ëŸì¹ç€Ë€Ï¡€€œ€ì€Ÿ€ì¡€OMIT_OVRTIMER_START€ÈOMIT_OVRTIMER_STOP€ò¥Þ¥¯¥í
ÄêµÁ€¹€ë¡¥

¡û¥Þ¥ë¥Á¥×¥í¥»¥Ã¥µÂбþ¥«¡Œ¥Í¥ë€Ø€ÎÂбþ€ËŽØ€¹€ë¥á¥â

¥Þ¥ë¥Á¥×¥í¥»¥Ã¥µÂбþ¥«¡Œ¥Í¥ë€Ë€ª€€€Æ¡€sta_ovr¡¿ista_ovr¡€stp_ovr¡¿
istp_ovr€ò¡€žÆ€ÓœÐ€·€¿œèÍýñ°Ì€È°Û€Ê€ë¥×¥í¥»¥Ã¥µ€Ë³ä€êÉÕ€±€é€ì€¿¥¿¥¹¥¯
€òÂП݀Ëȯ¹Ô€·€¿Ÿì¹ç€ÎŒÂÁõ€Ï¹©É×€òÍ×€¹€ë¡¥

ŽðËÜŪ€Ë€Ï¡€ÂПݥ¿¥¹¥¯€¬³ä€êÉÕ€±€é€ì€¿¥×¥í¥»¥Ã¥µ€ËÂЀ·€Æ¥×¥í¥»¥Ã¥µŽÖ³ä
¹þ€ß€ò€«€±€ë€³€È€Ë€è€Ã€Æ¡€ÂПݥ¿¥¹¥¯€Î¥ª¡Œ¥Ð¥é¥ó¥Ï¥ó¥É¥é€ÎÆ°ºî€ò³«»Ï¡¿
Ää»ß€µ€»€ë€³€È€¬É¬Í׀ǀ¢€ë€¬¡€³ä¹þ€ß€ÎÆþžýœèÍý€ÇžÆ€ÓœÐ€¹ovrtimer_stop€Ç¡€
ovrtimer_flag€È(p_runtsk->leftotm > 0U)€¬°ìŽÓ€·€Ê€¯€Ê€ë€¿€á¡€¹©É×€òÍ×€¹
€ë€â€Î€È»×€ï€ì€ë¡¥

°ÊŸå