Context Navigation

← Previous Revision
Latest Revision
Next Revision →
Blame
Revision Log

check.h@ 136

Last change on this file since 136 was 136, checked in by ertl-honda, 8 years ago
ライブラリとOS及びベーシックなサンプルの追加．
File size: 8.9 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-2011 by Embedded and Real-Time Systems Laboratory
9	* Graduate School of Information Science, Nagoya Univ., JAPAN
10	*
11	* ä¸è¨èä½æ¨©è
12	ã¯ï¼ä»¥ä¸ã®(1)ï½(4)ã®æ¡ä»¶ãæºããå ´åã«éãï¼æ¬ã½ããã¦ã§
13	* ã¢ï¼æ¬ã½ããã¦ã§ã¢ãæ¹å¤ãããã®ãå«ãï¼ä»¥ä¸åãï¼ãä½¿ç¨ã»è¤è£½ã»æ¹
14	* å¤ã»åé
15	å¸ï¼ä»¥ä¸ï¼å©ç¨ã¨å¼ã¶ï¼ãããã¨ãç¡åã§è¨±è«¾ããï¼
16	* (1) æ¬ã½ããã¦ã§ã¢ãã½ã¼ã¹ã³ã¼ãã®å½¢ã§å©ç¨ããå ´åã«ã¯ï¼ä¸è¨ã®èä½
17	* æ¨©è¡¨ç¤ºï¼ãã®å©ç¨æ¡ä»¶ããã³ä¸è¨ã®ç¡ä¿è¨¼è¦å®ãï¼ãã®ã¾ã¾ã®å½¢ã§ã½ã¼
18	* ã¹ã³ã¼ãä¸ã«å«ã¾ãã¦ãããã¨ï¼
19	* (2) æ¬ã½ããã¦ã§ã¢ãï¼ã©ã¤ãã©ãªå½¢å¼ãªã©ï¼ä»ã®ã½ããã¦ã§ã¢éçºã«ä½¿
20	* ç¨ã§ããå½¢ã§åé
21	å¸ããå ´åã«ã¯ï¼åé
22	å¸ã«ä¼´ãããã¥ã¡ã³ãï¼å©ç¨
23	* è
24	ããã¥ã¢ã«ãªã©ï¼ã«ï¼ä¸è¨ã®èä½æ¨©è¡¨ç¤ºï¼ãã®å©ç¨æ¡ä»¶ããã³ä¸è¨
25	* ã®ç¡ä¿è¨¼è¦å®ãæ²è¼ãããã¨ï¼
26	* (3) æ¬ã½ããã¦ã§ã¢ãï¼æ©å¨ã«çµã¿è¾¼ããªã©ï¼ä»ã®ã½ããã¦ã§ã¢éçºã«ä½¿
27	* ç¨ã§ããªãå½¢ã§åé
28	å¸ããå ´åã«ã¯ï¼æ¬¡ã®ããããã®æ¡ä»¶ãæºããã
29	* ã¨ï¼
30	* (a) åé
31	å¸ã«ä¼´ãããã¥ã¡ã³ãï¼å©ç¨è
32	ããã¥ã¢ã«ãªã©ï¼ã«ï¼ä¸è¨ã®è
33	* ä½æ¨©è¡¨ç¤ºï¼ãã®å©ç¨æ¡ä»¶ããã³ä¸è¨ã®ç¡ä¿è¨¼è¦å®ãæ²è¼ãããã¨ï¼
34	* (b) åé
35	å¸ã®å½¢æ
36	ãï¼å¥ã«å®ããæ¹æ³ã«ãã£ã¦ï¼TOPPERSããã¸ã§ã¯ãã«
37	* å ±åãããã¨ï¼
38	* (4) æ¬ã½ããã¦ã§ã¢ã®å©ç¨ã«ããç´æ¥çã¾ãã¯éæ¥çã«çãããããªãæ
39	* å®³ãããï¼ä¸è¨èä½æ¨©è
40	ããã³TOPPERSããã¸ã§ã¯ããå
41	è²¬ãããã¨ï¼
42	* ã¾ãï¼æ¬ã½ããã¦ã§ã¢ã®ã¦ã¼ã¶ã¾ãã¯ã¨ã³ãã¦ã¼ã¶ããã®ãããªãç
43	* ç±ã«åºã¥ãè«æ±ãããï¼ä¸è¨èä½æ¨©è
44	ããã³TOPPERSããã¸ã§ã¯ãã
45	* å
46	è²¬ãããã¨ï¼
47	*
48	* æ¬ã½ããã¦ã§ã¢ã¯ï¼ç¡ä¿è¨¼ã§æä¾ããã¦ãããã®ã§ããï¼ä¸è¨èä½æ¨©è
49	ã
50	* ãã³TOPPERSããã¸ã§ã¯ãã¯ï¼æ¬ã½ããã¦ã§ã¢ã«é¢ãã¦ï¼ç¹å®ã®ä½¿ç¨ç®ç
51	* ã«å¯¾ããé©åæ§ãå«ãã¦ï¼ãããªãä¿è¨¼ãè¡ããªãï¼ã¾ãï¼æ¬ã½ããã¦ã§
52	* ã¢ã®å©ç¨ã«ããç´æ¥çã¾ãã¯éæ¥çã«çãããããªãæå®³ã«é¢ãã¦ãï¼ã
53	* ã®è²¬ä»»ãè² ããªãï¼
54	*
55	* @(#) $Id: check.h 2229 2011-08-14 08:42:37Z ertl-hiro $
56	*/
57
58	/*
59	* ã¨ã©ã¼ãã§ãã¯ç¨ãã¯ã
60	*/
61
62	#ifndef TOPPERS_CHECK_H
63	#define TOPPERS_CHECK_H
64
65	/*
66	* åªå
67	åº¦ã®ç¯å²ã®å¤å®
68	*/
69	#define VALID_TPRI(tpri) (TMIN_TPRI <= (tpri) && (tpri) <= TMAX_TPRI)
70
71	#ifndef VALID_INTPRI_CHGIPM
72	#define VALID_INTPRI_CHGIPM(intpri) \
73	(TMIN_INTPRI <= (intpri) && (intpri) <= TIPM_ENAALL)
74	#endif /* VALID_INTPRI_CHGIPM */
75
76	/*
77	* ã¿ã¹ã¯åªå
78	åº¦ã®ãã§ãã¯ï¼E_PARï¼
79	*/
80	#define CHECK_TPRI(tpri) do { \
81	if (!VALID_TPRI(tpri)) { \
82	ercd = E_PAR; \
83	goto error_exit; \
84	} \
85	} while (false)
86
87	#define CHECK_TPRI_INI(tpri) do { \
88	if (!(VALID_TPRI(tpri) \|\| (tpri) == TPRI_INI)) { \
89	ercd = E_PAR; \
90	goto error_exit; \
91	} \
92	} while (false)
93
94	#define CHECK_TPRI_SELF(tpri) do { \
95	if (!(VALID_TPRI(tpri) \|\| (tpri) == TPRI_SELF)) { \
96	ercd = E_PAR; \
97	goto error_exit; \
98	} \
99	} while (false)
100
101	/*
102	* ã¿ã¤ã ã¢ã¦ãæå®å¤ã®ãã§ãã¯ï¼E_PARï¼
103	*/
104	#define CHECK_TMOUT(tmout) do { \
105	if (!(TMO_FEVR <= (tmout))) { \
106	ercd = E_PAR; \
107	goto error_exit; \
108	} \
109	} while (false)
110
111	/*
112	* å²è¾¼ã¿åªå
113	åº¦ã®ãã§ãã¯ï¼E_PARï¼
114	*/
115	#define CHECK_INTPRI_CHGIPM(intpri) do { \
116	if (!VALID_INTPRI_CHGIPM(intpri)) { \
117	ercd = E_PAR; \
118	goto error_exit; \
119	} \
120	} while (false)
121
122	/*
123	* å²è¾¼ã¿çªå·ã®ãã§ãã¯ï¼E_PARï¼
124	*/
125	#define CHECK_INTNO_DISINT(intno) do { \
126	if (!VALID_INTNO_DISINT(intno)) { \
127	ercd = E_PAR; \
128	goto error_exit; \
129	} \
130	} while (false)
131
132	/*
133	* ãã®ä»ã®ãã©ã¡ã¼ã¿ã¨ã©ã¼ã®ãã§ãã¯ï¼E_PARï¼
134	*/
135	#define CHECK_PAR(exp) do { \
136	if (!(exp)) { \
137	ercd = E_PAR; \
138	goto error_exit; \
139	} \
140	} while (false)
141
142	/*
143	* ãªãã¸ã§ã¯ãIDã®ç¯å²ã®å¤å®
144	*/
145	#define VALID_TSKID(tskid) (TMIN_TSKID <= (tskid) && (tskid) <= tmax_tskid)
146	#define VALID_SEMID(semid) (TMIN_SEMID <= (semid) && (semid) <= tmax_semid)
147	#define VALID_FLGID(flgid) (TMIN_FLGID <= (flgid) && (flgid) <= tmax_flgid)
148	#define VALID_DTQID(dtqid) (TMIN_DTQID <= (dtqid) && (dtqid) <= tmax_dtqid)
149	#define VALID_PDQID(pdqid) (TMIN_PDQID <= (pdqid) && (pdqid) <= tmax_pdqid)
150	#define VALID_MBXID(mbxid) (TMIN_MBXID <= (mbxid) && (mbxid) <= tmax_mbxid)
151	#define VALID_MPFID(mpfid) (TMIN_MPFID <= (mpfid) && (mpfid) <= tmax_mpfid)
152	#define VALID_CYCID(cycid) (TMIN_CYCID <= (cycid) && (cycid) <= tmax_cycid)
153	#define VALID_ALMID(almid) (TMIN_ALMID <= (almid) && (almid) <= tmax_almid)
154
155	/*
156	* ãªãã¸ã§ã¯ãIDã®ãã§ãã¯ï¼E_IDï¼
157	*/
158	#define CHECK_TSKID(tskid) do { \
159	if (!VALID_TSKID(tskid)) { \
160	ercd = E_ID; \
161	goto error_exit; \
162	} \
163	} while (false)
164
165	#define CHECK_TSKID_SELF(tskid) do { \
166	if (!(VALID_TSKID(tskid) \|\| (tskid) == TSK_SELF)) { \
167	ercd = E_ID; \
168	goto error_exit; \
169	} \
170	} while (false)
171
172	#define CHECK_SEMID(semid) do { \
173	if (!VALID_SEMID(semid)) { \
174	ercd = E_ID; \
175	goto error_exit; \
176	} \
177	} while (false)
178
179	#define CHECK_FLGID(flgid) do { \
180	if (!VALID_FLGID(flgid)) { \
181	ercd = E_ID; \
182	goto error_exit; \
183	} \
184	} while (false)
185
186	#define CHECK_DTQID(dtqid) do { \
187	if (!VALID_DTQID(dtqid)) { \
188	ercd = E_ID; \
189	goto error_exit; \
190	} \
191	} while (false)
192
193	#define CHECK_PDQID(pdqid) do { \
194	if (!VALID_PDQID(pdqid)) { \
195	ercd = E_ID; \
196	goto error_exit; \
197	} \
198	} while (false)
199
200	#define CHECK_MBXID(mbxid) do { \
201	if (!VALID_MBXID(mbxid)) { \
202	ercd = E_ID; \
203	goto error_exit; \
204	} \
205	} while (false)
206
207	#define CHECK_MPFID(mpfid) do { \
208	if (!VALID_MPFID(mpfid)) { \
209	ercd = E_ID; \
210	goto error_exit; \
211	} \
212	} while (false)
213
214	#define CHECK_CYCID(cycid) do { \
215	if (!VALID_CYCID(cycid)) { \
216	ercd = E_ID; \
217	goto error_exit; \
218	} \
219	} while (false)
220
221	#define CHECK_ALMID(almid) do { \
222	if (!VALID_ALMID(almid)) { \
223	ercd = E_ID; \
224	goto error_exit; \
225	} \
226	} while (false)
227
228	/*
229	* å¼åºãã³ã³ããã¹ãã®ãã§ãã¯ï¼E_CTXï¼
230	*/
231	#define CHECK_TSKCTX() do { \
232	if (sense_context()) { \
233	ercd = E_CTX; \
234	goto error_exit; \
235	} \
236	} while (false)
237
238	#define CHECK_INTCTX() do { \
239	if (!sense_context()) { \
240	ercd = E_CTX; \
241	goto error_exit; \
242	} \
243	} while (false)
244
245	/*
246	* å¼åºãã³ã³ããã¹ãã¨CPUããã¯ç¶æ
247	ã®ãã§ãã¯ï¼E_CTXï¼
248	*/
249	#define CHECK_TSKCTX_UNL() do { \
250	if (sense_context() \|\| t_sense_lock()) { \
251	ercd = E_CTX; \
252	goto error_exit; \
253	} \
254	} while (false)
255
256	#define CHECK_INTCTX_UNL() do { \
257	if (!sense_context() \|\| i_sense_lock()) { \
258	ercd = E_CTX; \
259	goto error_exit; \
260	} \
261	} while (false)
262
263	/*
264	* ãã£ã¹ãããä¿çç¶æ
265	ã§ãªããã®ãã§ãã¯ï¼E_CTXï¼
266	*/
267	#define CHECK_DISPATCH() do { \
268	if (sense_context() \|\| t_sense_lock() \|\| !dspflg) { \
269	ercd = E_CTX; \
270	goto error_exit; \
271	} \
272	} while (false)
273
274	/*
275	* ãã®ä»ã®ã³ã³ããã¹ãã¨ã©ã¼ã®ãã§ãã¯ï¼E_CTXï¼
276	*/
277	#define CHECK_CTX(exp) do { \
278	if (!(exp)) { \
279	ercd = E_CTX; \
280	goto error_exit; \
281	} \
282	} while (false)
283
284	/*
285	* èªã¿ã¹ã¯ãæå®ãã¦ããªããã®ãã§ãã¯ï¼E_ILUSEï¼
286	*/
287	#define CHECK_NONSELF(p_tcb) do { \
288	if ((p_tcb) == p_runtsk) { \
289	ercd = E_ILUSE; \
290	goto error_exit; \
291	} \
292	} while (false)
293
294	/*
295	* ãã®ä»ã®ä¸æ£ä½¿ç¨ã¨ã©ã¼ã®ãã§ãã¯ï¼E_ILUSEï¼
296	*/
297	#define CHECK_ILUSE(exp) do { \
298	if (!(exp)) { \
299	ercd = E_ILUSE; \
300	goto error_exit; \
301	} \
302	} while (false)
303
304	#endif /* TOPPERS_CHECK_H */

Note: See TracBrowser for help on using the repository browser.

Context Navigation

source: rtos_arduino/trunk/asp_1.9.2/kernel/check.h@ 136

Download in other formats: