source: EcnlProtoTool/trunk/asp3_dcre/kernel/check.h@ 429

Last change on this file since 429 was 429, checked in by coas-nagasima, 4 years ago

ASP3, TINET, mbed を更新
  • Property svn:eol-style set to native
  • Property svn:mime-type set to text/x-chdr;charset=UTF-8
File size: 8.0 KB
Line 
1/*
2 * TOPPERS/ASP Kernel
3 * Toyohashi Open Platform for Embedded Real-Time Systems/
4 * Advanced Standard Profile Kernel
5 *
6 * Copyright (C) 2000-2003 by Embedded and Real-Time Systems Laboratory
7 * Toyohashi Univ. of Technology, JAPAN
8 * Copyright (C) 2005-2019 by Embedded and Real-Time Systems Laboratory
9 * Graduate School of Information Science, Nagoya Univ., JAPAN
10 *
11 * 上記著作権者は，以下の(1)～(4)の条件を満たす場合に限り，本ソフトウェ
12 * ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
13 * 変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
14 * (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
15 * 権表示，この利用条件および下記の無保証規定が，そのままの形でソー
16 * スコード中に含まれていること．
17 * (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
18 * 用できる形で再配布する場合には，再配布に伴うドキュメント（利用
19 * 者マニュアルなど）に，上記の著作権表示，この利用条件および下記
20 * の無保証規定を掲載すること．
21 * (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
22 * 用できない形で再配布する場合には，次のいずれかの条件を満たすこ
23 * と．
24 * (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
25 * 作権表示，この利用条件および下記の無保証規定を掲載すること．
26 * (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
27 * 報告すること．
28 * (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
29 * 害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
30 * また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
31 * 由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
32 * 免責すること．
33 *
34 * 本ソフトウェアは，無保証で提供されているものである．上記著作権者お
35 * よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
36 * に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
37 * アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
38 * の責任を負わない．
39 *
40 * $Id$
41 */
42
43/*
44 * エラーチェック用マクロ
45 */
46
47#ifndef TOPPERS_CHECK_H
48#define TOPPERS_CHECK_H
49
50#include "kernel_impl.h"
51
52/*
53 * オブジェクトIDの範囲の判定
54 */
55#define VALID_TSKID(tskid) (TMIN_TSKID <= (tskid) && (tskid) <= tmax_tskid)
56#define VALID_SEMID(semid) (TMIN_SEMID <= (semid) && (semid) <= tmax_semid)
57#define VALID_FLGID(flgid) (TMIN_FLGID <= (flgid) && (flgid) <= tmax_flgid)
58#define VALID_DTQID(dtqid) (TMIN_DTQID <= (dtqid) && (dtqid) <= tmax_dtqid)
59#define VALID_PDQID(pdqid) (TMIN_PDQID <= (pdqid) && (pdqid) <= tmax_pdqid)
60#define VALID_MTXID(mtxid) (TMIN_MTXID <= (mtxid) && (mtxid) <= tmax_mtxid)
61#define VALID_MPFID(mpfid) (TMIN_MPFID <= (mpfid) && (mpfid) <= tmax_mpfid)
62#define VALID_CYCID(cycid) (TMIN_CYCID <= (cycid) && (cycid) <= tmax_cycid)
63#define VALID_ALMID(almid) (TMIN_ALMID <= (almid) && (almid) <= tmax_almid)
64#define VALID_ISRID(isrid) (TMIN_ISRID <= (isrid) && (isrid) <= tmax_isrid)
65
66/*
67 * 優先度の範囲の判定
68 */
69#define VALID_TPRI(tpri) (TMIN_TPRI <= (tpri) && (tpri) <= TMAX_TPRI)
70
71#define VALID_DPRI(dpri) (TMIN_DPRI <= (dpri) && (dpri) <= TMAX_DPRI)
72
73#define VALID_ISRPRI(isrpri) \
74 (TMIN_ISRPRI <= (isrpri) && (isrpri) <= TMAX_ISRPRI)
75
76/*
77 * 相対時間の範囲の判定
78 */
79#define VALID_RELTIM(reltim) ((reltim) <= TMAX_RELTIM)
80
81/*
82 * タイムアウト指定値の範囲の判定
83 */
84#define VALID_TMOUT(tmout) ((tmout) <= TMAX_RELTIM || (tmout) == TMO_FEVR)
85
86/*
87 * アラインしているかの判定
88 */
89#define ALIGNED(val, align) ((((uintptr_t)(val)) & ((align) - 1U)) == 0U)
90
91#ifdef CHECK_STKSZ_ALIGN
92#define STKSZ_ALIGN(stksz) ALIGNED(stksz, CHECK_STKSZ_ALIGN)
93#else /* CHECK_STKSZ_ALIGN */
94#define STKSZ_ALIGN(stksz) true
95#endif /* CHECK_STKSZ_ALIGN */
96
97#ifdef CHECK_INTPTR_ALIGN
98#define INTPTR_ALIGN(p_var) ALIGNED(p_var, CHECK_INTPTR_ALIGN)
99#else /* CHECK_INTPTR_ALIGN */
100#define INTPTR_ALIGN(p_var) true
101#endif /* CHECK_INTPTR_ALIGN */
102
103#ifdef CHECK_FUNC_ALIGN
104#define FUNC_ALIGN(func) ALIGNED(func, CHECK_FUNC_ALIGN)
105#else /* CHECK_FUNC_ALIGN */
106#define FUNC_ALIGN(func) true
107#endif /* CHECK_FUNC_ALIGN */
108
109#ifdef CHECK_STACK_ALIGN
110#define STACK_ALIGN(stack) ALIGNED(stack, CHECK_STACK_ALIGN)
111#else /* CHECK_STACK_ALIGN */
112#define STACK_ALIGN(stack) true
113#endif /* CHECK_STACK_ALIGN */
114
115#ifdef CHECK_MPF_ALIGN
116#define MPF_ALIGN(mpf) ALIGNED(mpf, CHECK_MPF_ALIGN)
117#else /* CHECK_MPF_ALIGN */
118#define MPF_ALIGN(mpf) true
119#endif /* CHECK_MPF_ALIGN */
120
121#ifdef CHECK_MB_ALIGN
122#define MB_ALIGN(mb) ALIGNED(mb, CHECK_MB_ALIGN)
123#else /* CHECK_MB_ALIGN */
124#define MB_ALIGN(mb) true
125#endif /* CHECK_MB_ALIGN */
126
127/*
128 * NULLでないことの判定
129 */
130#ifdef CHECK_INTPTR_NONNULL
131#define INTPTR_NONNULL(p_var) ((p_var) != NULL)
132#else /* CHECK_INTPTR_NONNULL */
133#define INTPTR_NONNULL(p_var) true
134#endif /* CHECK_INTPTR_NONNULL */
135
136#ifdef CHECK_FUNC_NONNULL
137#define FUNC_NONNULL(func) ((func) != NULL)
138#else /* CHECK_FUNC_NONNULL */
139#define FUNC_NONNULL(func) true
140#endif /* CHECK_FUNC_NONNULL */
141
142/*
143 * 呼出しコンテキストのチェック（E_CTX）
144 */
145#define CHECK_TSKCTX() do { \
146 if (sense_context()) { \
147 ercd = E_CTX; \
148 goto error_exit; \
149 } \
150} while (false)
151
152/*
153 * CPUロック状態のチェック（E_CTX）
154 */
155#define CHECK_UNL() do { \
156 if (sense_lock()) { \
157 ercd = E_CTX; \
158 goto error_exit; \
159 } \
160} while (false)
161
162/*
163 * 呼出しコンテキストとCPUロック状態のチェック（E_CTX）
164 */
165#define CHECK_TSKCTX_UNL() do { \
166 if (sense_context() || sense_lock()) { \
167 ercd = E_CTX; \
168 goto error_exit; \
169 } \
170} while (false)
171
172/*
173 * ディスパッチ保留状態でないかのチェック（E_CTX）
174 */
175#define CHECK_DISPATCH() do { \
176 if (sense_context() || sense_lock() || !dspflg) { \
177 ercd = E_CTX; \
178 goto error_exit; \
179 } \
180} while (false)
181
182/*
183 * その他のコンテキストエラーのチェック（E_CTX）
184 */
185#define CHECK_CTX(exp) do { \
186 if (!(exp)) { \
187 ercd = E_CTX; \
188 goto error_exit; \
189 } \
190} while (false)
191
192/*
193 * 不正ID番号のチェック（E_ID）
194 */
195#define CHECK_ID(exp) do { \
196 if (!(exp)) { \
197 ercd = E_ID; \
198 goto error_exit; \
199 } \
200} while (false)
201
202/*
203 * 属性が無効なビットが立っていないかのチェック（E_RSATR）
204 */
205#define CHECK_VALIDATR(atr, valid_atr) do { \
206 if (((atr) & ~(valid_atr)) != 0U) { \
207 ercd = E_RSATR; \
208 goto error_exit; \
209 } \
210} while (false)
211
212/*
213 * パラメータエラーのチェック（E_PAR）
214 */
215#define CHECK_PAR(exp) do { \
216 if (!(exp)) { \
217 ercd = E_PAR; \
218 goto error_exit; \
219 } \
220} while (false)
221
222/*
223 * サービスコール不正使用のチェック（E_ILUSE）
224 */
225#define CHECK_ILUSE(exp) do { \
226 if (!(exp)) { \
227 ercd = E_ILUSE; \
228 goto error_exit; \
229 } \
230} while (false)
231
232/*
233 * オブジェクト状態エラーのチェック（E_OBJ）
234 */
235#define CHECK_OBJ(exp) do { \
236 if (!(exp)) { \
237 ercd = E_OBJ; \
238 goto error_exit; \
239 } \
240} while (false)
241
242#endif /* TOPPERS_CHECK_H */
Note: See TracBrowser for help on using the repository browser.