[388] | 1 | /*
|
---|
| 2 | * TOPPERS/ASP Kernel
|
---|
| 3 | * Toyohashi Open Platform for Embedded Real-Time Systems/
|
---|
| 4 | * Advanced Standard Profile Kernel
|
---|
| 5 | *
|
---|
| 6 | * Copyright (C) 2005-2014 by Embedded and Real-Time Systems Laboratory
|
---|
| 7 | * Graduate School of Information Science, Nagoya Univ., JAPAN
|
---|
| 8 | *
|
---|
| 9 | * 上記著作権者は,以下の(1)~(4)の条件を満たす場合に限り,本ソフトウェ
|
---|
| 10 | * ア(本ソフトウェアを改変したものを含む.以下同じ)を使用・複製・改
|
---|
| 11 | * 変・再配布(以下,利用と呼ぶ)することを無償で許諾する.
|
---|
| 12 | * (1) 本ソフトウェアをソースコードの形で利用する場合には,上記の著作
|
---|
| 13 | * 権表示,この利用条件および下記の無保証規定が,そのままの形でソー
|
---|
| 14 | * スコード中に含まれていること.
|
---|
| 15 | * (2) 本ソフトウェアを,ライブラリ形式など,他のソフトウェア開発に使
|
---|
| 16 | * 用できる形で再配布する場合には,再配布に伴うドキュメント(利用
|
---|
| 17 | * 者マニュアルなど)に,上記の著作権表示,この利用条件および下記
|
---|
| 18 | * の無保証規定を掲載すること.
|
---|
| 19 | * (3) 本ソフトウェアを,機器に組み込むなど,他のソフトウェア開発に使
|
---|
| 20 | * 用できない形で再配布する場合には,次のいずれかの条件を満たすこ
|
---|
| 21 | * と.
|
---|
| 22 | * (a) 再配布に伴うドキュメント(利用者マニュアルなど)に,上記の著
|
---|
| 23 | * 作権表示,この利用条件および下記の無保証規定を掲載すること.
|
---|
| 24 | * (b) 再配布の形態を,別に定める方法によって,TOPPERSプロジェクトに
|
---|
| 25 | * 報告すること.
|
---|
| 26 | * (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
|
---|
| 27 | * 害からも,上記著作権者およびTOPPERSプロジェクトを免責すること.
|
---|
| 28 | * また,本ソフトウェアのユーザまたはエンドユーザからのいかなる理
|
---|
| 29 | * 由に基づく請求からも,上記著作権者およびTOPPERSプロジェクトを
|
---|
| 30 | * 免責すること.
|
---|
| 31 | *
|
---|
| 32 | * 本ソフトウェアは,無保証で提供されているものである.上記著作権者お
|
---|
| 33 | * よびTOPPERSプロジェクトは,本ソフトウェアに関して,特定の使用目的
|
---|
| 34 | * に対する適合性も含めて,いかなる保証も行わない.また,本ソフトウェ
|
---|
| 35 | * アの利用により直接的または間接的に生じたいかなる損害に関しても,そ
|
---|
| 36 | * の責任を負わない.
|
---|
| 37 | *
|
---|
| 38 | * $Id$
|
---|
| 39 | */
|
---|
| 40 |
|
---|
| 41 | /*
|
---|
| 42 | * ミューテックス機能
|
---|
| 43 | */
|
---|
| 44 |
|
---|
| 45 | #ifndef TOPPERS_MUTEX_H
|
---|
| 46 | #define TOPPERS_MUTEX_H
|
---|
| 47 |
|
---|
| 48 | #include "kernel_impl.h"
|
---|
| 49 | #include <queue.h>
|
---|
| 50 | #include "wait.h"
|
---|
| 51 |
|
---|
| 52 | /*
|
---|
| 53 | * ミューテックス初期化ブロック
|
---|
| 54 | *
|
---|
| 55 | * この構造体は,同期・通信オブジェクトの初期化ブロックの共通部分
|
---|
| 56 | * (WOBJINIB)を拡張(オブジェクト指向言語の継承に相当)したもので,
|
---|
| 57 | * 最初のフィールドが共通になっている.
|
---|
| 58 | */
|
---|
| 59 | typedef struct mutex_initialization_block {
|
---|
| 60 | ATR mtxatr; /* ミューテックス属性 */
|
---|
| 61 | uint_t ceilpri; /* ミューテックスの上限優先度(内部表現)*/
|
---|
| 62 | } MTXINIB;
|
---|
| 63 |
|
---|
| 64 | /*
|
---|
| 65 | * ミューテックス管理ブロック
|
---|
| 66 | *
|
---|
| 67 | * この構造体は,同期・通信オブジェクトの管理ブロックの共通部分(WOBJCB)
|
---|
| 68 | * を拡張(オブジェクト指向言語の継承に相当)したもので,最初の2つの
|
---|
| 69 | * フィールドが共通になっている.
|
---|
| 70 | */
|
---|
| 71 | struct mutex_control_block {
|
---|
| 72 | QUEUE wait_queue; /* ミューテックス待ちキュー */
|
---|
| 73 | const MTXINIB *p_mtxinib; /* 初期化ブロックへのポインタ */
|
---|
| 74 | TCB *p_loctsk; /* ミューテックスをロックしているタスク */
|
---|
| 75 | MTXCB *p_prevmtx; /* この前にロックしたミューテックス */
|
---|
| 76 | };
|
---|
| 77 |
|
---|
| 78 | /*
|
---|
| 79 | * ミューテックス待ち情報ブロックの定義
|
---|
| 80 | *
|
---|
| 81 | * この構造体は,同期・通信オブジェクトの待ち情報ブロックの共通部分
|
---|
| 82 | * (WINFO_WOBJ)を拡張(オブジェクト指向言語の継承に相当)したもので,
|
---|
| 83 | * すべてのフィールドが共通になっている.
|
---|
| 84 | */
|
---|
| 85 | typedef struct mutex_waiting_information {
|
---|
| 86 | WINFO winfo; /* 標準の待ち情報ブロック */
|
---|
| 87 | MTXCB *p_mtxcb; /* 待っているミューテックスの管理ブロック */
|
---|
| 88 | } WINFO_MTX;
|
---|
| 89 |
|
---|
| 90 | /*
|
---|
| 91 | * 使用していないミューテックス管理ブロックのリスト
|
---|
| 92 | */
|
---|
| 93 | extern QUEUE free_mtxcb;
|
---|
| 94 |
|
---|
| 95 | /*
|
---|
| 96 | * ミューテックスIDの最大値(kernel_cfg.c)
|
---|
| 97 | */
|
---|
| 98 | extern const ID tmax_mtxid;
|
---|
| 99 | extern const ID tmax_smtxid;
|
---|
| 100 |
|
---|
| 101 | /*
|
---|
| 102 | * ミューテックス初期化ブロックのエリア(kernel_cfg.c)
|
---|
| 103 | */
|
---|
| 104 | extern const MTXINIB mtxinib_table[];
|
---|
| 105 | extern MTXINIB amtxinib_table[];
|
---|
| 106 |
|
---|
| 107 | /*
|
---|
| 108 | * ミューテックス管理ブロックのエリア(kernel_cfg.c)
|
---|
| 109 | */
|
---|
| 110 | extern MTXCB mtxcb_table[];
|
---|
| 111 |
|
---|
| 112 | /*
|
---|
| 113 | * ミューテックス管理ブロックからミューテックスIDを取り出すためのマクロ
|
---|
| 114 | */
|
---|
| 115 | #define MTXID(p_mtxcb) ((ID)(((p_mtxcb) - mtxcb_table) + TMIN_MTXID))
|
---|
| 116 |
|
---|
| 117 | /*
|
---|
| 118 | * ミューテックス機能の初期化
|
---|
| 119 | */
|
---|
| 120 | extern void initialize_mutex(void);
|
---|
| 121 |
|
---|
| 122 | /*
|
---|
| 123 | * 上限優先度違反のチェック
|
---|
| 124 | *
|
---|
| 125 | * chg_priの中で上限優先度違反のチェックを行うために用いる関数であり,
|
---|
| 126 | * p_tcbで指定されるタスクがロックしている優先度上限ミューテックスと,
|
---|
| 127 | * ロックを待っている優先度上限ミューテックスの中で,上限優先度が
|
---|
| 128 | * bpriorityよりも低いものがあればfalseを,そうでなければtrueを返す.
|
---|
| 129 | */
|
---|
| 130 | extern bool_t mutex_check_ceilpri(TCB *p_tcb, uint_t bpriority);
|
---|
| 131 |
|
---|
| 132 | /*
|
---|
| 133 | * 優先度上限ミューテックスをロックしているかのチェック
|
---|
| 134 | *
|
---|
| 135 | * p_tcbで指定されるタスクが優先度上限ミューテックスをロックしていれば
|
---|
| 136 | * true,そうでなければfalseを返す.
|
---|
| 137 | */
|
---|
| 138 | extern bool_t mutex_scan_ceilmtx(TCB *p_tcb);
|
---|
| 139 |
|
---|
| 140 | /*
|
---|
| 141 | * ミューテックスをロック解除した場合の現在優先度変更処理
|
---|
| 142 | *
|
---|
| 143 | * p_tcbで指定されるタスクが,p_mtxcbで指定されるミューテックスをロッ
|
---|
| 144 | * ク解除した際の現在優先度変更処理を行う.
|
---|
| 145 | */
|
---|
| 146 | extern void mutex_drop_priority(TCB *p_tcb, MTXCB *p_mtxcb);
|
---|
| 147 |
|
---|
| 148 | /*
|
---|
| 149 | * ミューテックスのロック
|
---|
| 150 | *
|
---|
| 151 | * p_tcbで指定されるタスクに,p_mtxcbで指定されるミューテックスをロッ
|
---|
| 152 | * クさせる.
|
---|
| 153 | */
|
---|
| 154 | extern void mutex_acquire(TCB *p_tcb, MTXCB *p_mtxcb);
|
---|
| 155 |
|
---|
| 156 | /*
|
---|
| 157 | * ミューテックスのロック解除
|
---|
| 158 | *
|
---|
| 159 | * p_mtxcbで指定されるミューテックスをロック解除する.ロック解除した
|
---|
| 160 | * ミューテックスに,ロック待ち状態のタスクがある場合には,そのタスク
|
---|
| 161 | * にミューテックスをロックさせる.
|
---|
| 162 | */
|
---|
| 163 | extern void mutex_release(MTXCB *p_mtxcb);
|
---|
| 164 |
|
---|
| 165 | /*
|
---|
| 166 | * タスクがロックしているすべてのミューテックスのロック解除
|
---|
| 167 | *
|
---|
| 168 | * p_tcbで指定されるタスクに,それがロックしているすべてのミューテック
|
---|
| 169 | * スをロック解除させる.ロック解除したミューテックスに,ロック待ち状
|
---|
| 170 | * 態のタスクがある場合には,そのタスクにミューテックスをロックさせる.
|
---|
| 171 | *
|
---|
| 172 | * この関数は,タスクの終了時に使われるものであるため,p_tcbで指定され
|
---|
| 173 | * るタスクの優先度を変更する処理は行わない.ただし,この関数の中で他
|
---|
| 174 | * のタスクの優先度が変化し,実行すべきタスクが変わることがある.その
|
---|
| 175 | * ため,この関数から戻った後に,ディスパッチが必要か判別して,必要な
|
---|
| 176 | * 場合にはディスパッチを行わなければならない.
|
---|
| 177 | */
|
---|
| 178 | extern void mutex_release_all(TCB *p_tcb);
|
---|
| 179 |
|
---|
| 180 | #endif /* TOPPERS_MUTEX_H */
|
---|