source: asp3_wo_tecs/trunk/extension/dcre/kernel/mutex.tf@ 302

$
$   TOPPERS/ASP Kernel
$       Toyohashi Open Platform for Embedded Real-Time Systems/
$       Advanced Standard Profile Kernel
$ 
$   Copyright (C) 2007 by TAKAGI Nobuhisa
$   Copyright (C) 2007-2014 by Embedded and Real-Time Systems Laboratory
$               Graduate School of Information Science, Nagoya Univ., JAPAN
$ 
$   上記著作権者
は，以下の(1)〜(4)ã®æ¡ä»¶ã‚’æº€ãŸã™å ´åˆã«é™ã‚Šï¼Œæœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§
$   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
$   変・再é…
å¸ƒï¼ˆä»¥ä¸‹ï¼Œåˆ©ç”¨ã¨å‘¼ã¶ï¼‰ã™ã‚‹ã“とを無償で許諾する．
$   (1) æœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®å½¢ã§åˆ©ç”¨ã™ã‚‹å ´åˆã«ã¯ï¼Œä¸Šè¨˜ã®è‘—ä½œ
$       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
$       スコード中に含まれていること．
$   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
$       用できる形で再é…
å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œå†é…
å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨
$       者
マニュアルなど）に，上記の著作権表示，この利用条件および下記
$       の無保証規定を掲載すること．
$   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
$       用できない形で再é…
å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œæ¬¡ã®ã„ずれかの条件を満たすこ
$       と．
$     (a) 再é…
å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨è€…
マニュアルなど）に，上記の著
$         作権表示，この利用条件および下記の無保証規定を掲載すること．
$     (b) 再é…
å¸ƒã®å½¢æ…
‹ã‚’，別に定める方法によって，TOPPERSプロジェクトに
$         å ±å‘Šã™ã‚‹ã“ã¨ï¼Ž
$   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
$       害からも，上記著作権者
およびTOPPERSプロジェクトをå…
è²¬ã™ã‚‹ã“と．
$       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
$       由に基づく請求からも，上記著作権者
およびTOPPERSプロジェクトを
$       å…
è²¬ã™ã‚‹ã“と．
$ 
$   本ソフトウェアは，無保証で提供されているものである．上記著作権者
お
$   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
$   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
$   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
$   ã®è²¬ä»»ã‚’è² ã‚ãªã„ï¼Ž
$ 
$   $Id: mutex.tf 480 2016-01-03 07:37:12Z ertl-hiro $
$ 

$
$               ミューテックス機能のテンプレートファイル
$

$
$  AID_MTXの処理
$
$num_amtxid = 0$
$FOREACH i AMTX.ORDER_LIST$
$       // nomtxãŒè² ã®å ´åˆï¼ˆE_PAR）
        $IF AMTX.NOMTX[i] < 0$
                $ERROR AMTX.TEXT_LINE[i]$E_PAR:$SPC$
                        $FORMAT(_("illegal %1% `%2%\' in %3%"),
                                                                        "nomtx", AMTX.NOMTX[i], "AID_MTX")$
                $END$
        $END$
        $num_amtxid = num_amtxid + AMTX.NOMTX[i]$
$END$
$num_mtxid = LENGTH(MTX.ID_LIST) + num_amtxid$

$
$  kernel_cfg.hの生成
$
$FILE "kernel_cfg.h.new"$

#define TNUM_MTXID      $num_mtxid$$NL$
$FOREACH id MTX.ID_LIST$
        #define $id$    $+id$$NL$
$END$

$
$  kernel_cfg.cの生成
$
$FILE "kernel_cfg.c"$

/*$NL$
$SPC$*  Mutex Functions$NL$
$SPC$*/$NL$
$NL$

$
$  ミューテックスのID番号を保持する変数
$
$IF USE_EXTERNAL_ID$
        $FOREACH id MTX.ID_LIST$
                const ID $id$_id = $+id$;$NL$
        $END$
$END$

$
$  静的に生成されたミューテックスの数
$
#define TNUM_SMTXID     $LENGTH(MTX.ID_LIST)$$NL$
$NL$

$
$  ミューテックスID番号の最大値
$
const ID _kernel_tmax_mtxid = (TMIN_MTXID + TNUM_MTXID - 1);$NL$
const ID _kernel_tmax_smtxid = (TMIN_MTXID + TNUM_SMTXID - 1);$NL$
$NL$

$
$  ミューテックス初期化ブロック
$
$IF LENGTH(MTX.ID_LIST)$
        $FOREACH mtxid MTX.ID_LIST$
$               // mtxatrãŒç„¡åŠ¹ã®å ´åˆï¼ˆE_RSATR）［NGKI2025ï¼½
$               //（TA_NULL，TA_TPRI，TA_CEILINGã®ã„ãšã‚Œã§ã‚‚ãªã„å ´åˆï¼‰
                $IF !(MTX.MTXATR[mtxid] == 0 || MTX.MTXATR[mtxid] == TA_TPRI
                                                                                || MTX.MTXATR[mtxid] == TA_CEILING)$
                        $ERROR MTX.TEXT_LINE[mtxid]$E_RSATR:$SPC$
                                $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"),
                                                        "mtxatr", MTX.MTXATR[mtxid], mtxid, "CRE_MTX")$
                        $END$
                $END$

$               // ceilpriãŒæœªæŒ‡å®šã®å ´åˆã¯0と見なす
                $IF !LENGTH(MTX.CEILPRI[mtxid])$
                        $MTX.CEILPRI[mtxid] = 0$
                $END$

$               // 優å…
ˆåº¦ä¸Šé™ãƒŸãƒ¥ãƒ¼ãƒ†ãƒƒã‚¯ã‚¹ã§ï¼Œ(TMIN_TPRI <= ceilpri && ceilpri <=
$               // TMAX_TPRI)ã§ãªã„å ´åˆï¼ˆE_PAR）［NGKI2037ï¼½
                $IF MTX.MTXATR[mtxid] == TA_CEILING && (MTX.CEILPRI[mtxid] < TMIN_TPRI
                                                                                        || TMAX_TPRI < MTX.CEILPRI[mtxid])$
                        $ERROR MTX.TEXT_LINE[mtxid]$E_PAR:$SPC$
                                $FORMAT(_("illegal %1% `%2%\' of `%3%\' in %4%"),
                                                        "ceilpri", MTX.CEILPRI[mtxid], mtxid, "CRE_MTX")$
                        $END$
                $END$
        $END$

$       // ミューテックス初期化ブロック
        const MTXINIB _kernel_mtxinib_table[TNUM_SMTXID] = {$NL$
        $JOINEACH mtxid MTX.ID_LIST ",\n"$
                $TAB${$SPC$
                        ($MTX.MTXATR[mtxid]$),$SPC$
                        INT_PRIORITY($MTX.CEILPRI[mtxid]$)$SPC$
                }$END$$NL$
        };$NL$
$ELSE$
        TOPPERS_EMPTY_LABEL(const MTXINIB, _kernel_mtxinib_table);$NL$
$END$$NL$

$
$  動的生成ミューテックス用のミューテックス初期化ブロック
$
$IF num_amtxid > 0$
        MTXINIB _kernel_amtxinib_table[$num_amtxid$];$NL$
$ELSE$
        TOPPERS_EMPTY_LABEL(MTXINIB, _kernel_amtxinib_table);$NL$
$END$$NL$

$
$  ミューテックス管理ブロックとミューテックス機能初期化関数
$
$IF num_mtxid > 0$
        MTXCB _kernel_mtxcb_table[TNUM_MTXID];$NL$
        $initfuncs = APPEND(initfuncs, "_kernel_initialize_mutex();")$
$ELSE$
        TOPPERS_EMPTY_LABEL(MTXCB, _kernel_mtxcb_table);$NL$
$END$$NL$