source: extension/mutex/kernel/mutex.c @ 7

このファイルの 7 以降における最終更新内容は 7 で kominami が 2015/09/12 9:22:12 に更新しました

TOPPERS/ASP 1.9.1
ファイルサイズ: 13.3 KB
行 
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#include "kernel_impl.h"
46#include "check.h"
47#include "task.h"
48#include "wait.h"
49#include "mutex.h"
50
51/*
52 *  ¥È¥ì¡Œ¥¹¥í¥°¥Þ¥¯¥í€Î¥Ç¥Õ¥©¥ë¥ÈÄêµÁ
53 */
54#ifndef LOG_LOC_MTX_ENTER
55#define LOG_LOC_MTX_ENTER(mtxid)
56#endif /* LOG_LOC_MTX_ENTER */
57
58#ifndef LOG_LOC_MTX_LEAVE
59#define LOG_LOC_MTX_LEAVE(ercd)
60#endif /* LOG_LOC_MTX_LEAVE */
61
62#ifndef LOG_PLOC_MTX_ENTER
63#define LOG_PLOC_MTX_ENTER(mtxid)
64#endif /* LOG_PLOC_MTX_ENTER */
65
66#ifndef LOG_PLOC_MTX_LEAVE
67#define LOG_PLOC_MTX_LEAVE(ercd)
68#endif /* LOG_PLOC_MTX_LEAVE */
69
70#ifndef LOG_TLOC_MTX_ENTER
71#define LOG_TLOC_MTX_ENTER(mtxid, tmout)
72#endif /* LOG_TLOC_MTX_ENTER */
73
74#ifndef LOG_TLOC_MTX_LEAVE
75#define LOG_TLOC_MTX_LEAVE(ercd)
76#endif /* LOG_TLOC_MTX_LEAVE */
77
78#ifndef LOG_UNL_MTX_ENTER
79#define LOG_UNL_MTX_ENTER(mtxid)
80#endif /* LOG_UNL_MTX_ENTER */
81
82#ifndef LOG_UNL_MTX_LEAVE
83#define LOG_UNL_MTX_LEAVE(ercd)
84#endif /* LOG_UNL_MTX_LEAVE */
85
86#ifndef LOG_INI_MTX_ENTER
87#define LOG_INI_MTX_ENTER(mtxid)
88#endif /* LOG_INI_MTX_ENTER */
89
90#ifndef LOG_INI_MTX_LEAVE
91#define LOG_INI_MTX_LEAVE(ercd)
92#endif /* LOG_INI_MTX_LEAVE */
93
94#ifndef LOG_REF_MTX_ENTER
95#define LOG_REF_MTX_ENTER(mtxid, pk_rmtx)
96#endif /* LOG_REF_MTX_ENTER */
97
98#ifndef LOG_REF_MTX_LEAVE
99#define LOG_REF_MTX_LEAVE(ercd, pk_rmtx)
100#endif /* LOG_REF_MTX_LEAVE */
101
102/*
103 *  ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€Î¿ô
104 */
105#define tnum_mtx        ((uint_t)(tmax_mtxid - TMIN_MTXID + 1))
106
107/*
108 *  ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹ID€«€é¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹ŽÉÍý¥Ö¥í¥Ã¥¯€òŒè€êœÐ€¹€¿€á€Î¥Þ¥¯¥í
109 */
110#define INDEX_MTX(mtxid)        ((uint_t)((mtxid) - TMIN_MTXID))
111#define get_mtxcb(mtxid)        (&(mtxcb_table[INDEX_MTX(mtxid)]))
112
113/*
114 *  ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹ŽÉÍý¥Ö¥í¥Ã¥¯Ãæ€Îmutex_queue€Ø€Î¥Ý¥€¥ó¥¿€«€é¡€¥ß¥å¡Œ¥Æ¥Ã
115 *  ¥¯¥¹ŽÉÍý¥Ö¥í¥Ã¥¯€Ø€Î¥Ý¥€¥ó¥¿€òŒè€êœÐ€¹€¿€á€Î¥Þ¥¯¥í
116 */
117#define MTXCB_QUEUE(p_queue) \
118                        ((MTXCB *)(((char *) p_queue) - offsetof(MTXCB, mutex_queue)))
119
120/*
121 *  ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€Î¥×¥í¥È¥³¥ë€òÈœÃÇ€¹€ë¥Þ¥¯¥í
122 */
123#define MTXPROTO_MASK                   0x03U
124#define MTXPROTO(p_mtxcb)               ((p_mtxcb)->p_mtxinib->mtxatr & MTXPROTO_MASK)
125#define MTX_CEILING(p_mtxcb)    (MTXPROTO(p_mtxcb) == TA_CEILING)
126
127/*
128 *  ¥Õ¥Ã¥¯¥ë¡Œ¥Á¥óžÆœÐ€·ÍÑ€ÎÊÑ¿ô
129 */
130#ifdef TOPPERS_mtxhook
131
132bool_t  (*mtxhook_check_ceilpri)(TCB *p_tcb, uint_t bpriority) = NULL;
133bool_t  (*mtxhook_scan_ceilmtx)(TCB *p_tcb) = NULL;
134bool_t  (*mtxhook_release_all)(TCB *p_tcb) = NULL;
135
136#endif /* TOPPERS_mtxhook */
137
138/*
139 *  ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹µ¡Çœ€ÎœéŽü²œ
140 */
141#ifdef TOPPERS_mtxini
142
143void
144initialize_mutex(void)
145{
146        uint_t  i;
147        MTXCB   *p_mtxcb;
148
149        mtxhook_check_ceilpri = mutex_check_ceilpri;
150        mtxhook_scan_ceilmtx = mutex_scan_ceilmtx;
151        mtxhook_release_all = mutex_release_all;
152
153        for (i = 0; i < tnum_mtx; i++) {
154                p_mtxcb = &(mtxcb_table[i]);
155                queue_initialize(&(p_mtxcb->wait_queue));
156                p_mtxcb->p_mtxinib = &(mtxinib_table[i]);
157                p_mtxcb->p_loctsk = NULL;
158        }
159}
160
161#endif /* TOPPERS_mtxini */
162
163/*
164 *  ŸåžÂÍ¥ÀèÅÙ°ãÈ¿€Î¥Á¥§¥Ã¥¯
165 */
166#ifdef TOPPERS_mtxchk
167
168bool_t
169mutex_check_ceilpri(TCB *p_tcb, uint_t bpriority)
170{
171        QUEUE   *p_queue;
172        MTXCB   *p_mtxcb;
173
174        /*
175         *  ¥¿¥¹¥¯€¬¥í¥Ã¥¯€·€Æ€€€ëÍ¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ÎÃæ€Ç¡€ŸåžÂÍ¥Àè
176         *  ÅÙ€¬bpriority€è€ê€âÄ　€â€Î€¬€¢€ì€Ð¡€false€òÊÖ€¹¡¥
177         */
178        p_queue = p_tcb->mutex_queue.p_next;
179        while (p_queue != &(p_tcb->mutex_queue)) {
180                p_mtxcb = MTXCB_QUEUE(p_queue);
181                if (MTX_CEILING(p_mtxcb) && bpriority < p_mtxcb->p_mtxinib->ceilpri) {
182                        return(false);
183                }
184                p_queue = p_queue->p_next;
185        }
186
187        /*
188         *  ¥¿¥¹¥¯€¬Í¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€Î¥í¥Ã¥¯€òÂԀÀƀ€€ëŸì¹ç€Ë¡€€œ
189         *  €ÎŸåžÂÍ¥ÀèÅÙ€¬bpriority€è€ê€âÄ〯€±€ì€Ð¡€false€òÊÖ€¹¡¥
190         */
191        if (TSTAT_WAIT_MTX(p_tcb->tstat)) {
192                p_mtxcb = ((WINFO_MTX *)(p_tcb->p_winfo))->p_mtxcb;
193                if (MTX_CEILING(p_mtxcb) && bpriority < p_mtxcb->p_mtxinib->ceilpri) {
194                        return(false);
195                }
196        }
197
198        /*
199         *  €€€º€ì€ÎŸò·ï€Ë€âÅö€Æ€Ï€Þ€é€Ê€±€ì€Ðtrue€òÊÖ€¹¡¥
200         */
201        return(true);
202}
203
204#endif /* TOPPERS_mtxchk */
205
206/*
207 *  Í¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ò¥í¥Ã¥¯€·€Æ€€€ë€«€Î¥Á¥§¥Ã¥¯
208 */
209#ifdef TOPPERS_mtxscan
210
211bool_t
212mutex_scan_ceilmtx(TCB *p_tcb)
213{
214        QUEUE   *p_queue;
215        MTXCB   *p_mtxcb;
216
217        p_queue = p_tcb->mutex_queue.p_next;
218        while (p_queue != &(p_tcb->mutex_queue)) {
219                p_mtxcb = MTXCB_QUEUE(p_queue);
220                if (MTX_CEILING(p_mtxcb)) {
221                        return(true);
222                }
223                p_queue = p_queue->p_next;
224        }
225        return(false);
226}
227
228#endif /* TOPPERS_mtxscan */
229
230/*
231 *  ¥¿¥¹¥¯€ÎžœºßÍ¥ÀèÅـη׻»
232 */
233#ifdef TOPPERS_mtxcalc
234
235uint_t
236mutex_calc_priority(TCB *p_tcb)
237{
238        uint_t  priority;
239        QUEUE   *p_queue;
240        MTXCB   *p_mtxcb;
241
242        priority = p_tcb->bpriority;
243        p_queue = p_tcb->mutex_queue.p_next;
244        while (p_queue != &(p_tcb->mutex_queue)) {
245                p_mtxcb = MTXCB_QUEUE(p_queue);
246                if (MTX_CEILING(p_mtxcb) && p_mtxcb->p_mtxinib->ceilpri < priority) {
247                        priority = p_mtxcb->p_mtxinib->ceilpri;
248                }
249                p_queue = p_queue->p_next;
250        }
251        return(priority);
252}
253
254#endif /* TOPPERS_mtxcalc */
255
256/*
257 *  Í×ÁÇÍ¥ÀèÅÙ€¬Ÿå€¬€ë¡Ê€Þ€¿€ÏÁý€š€ë¡ËŸì¹ç€ÎžœºßÍ¥ÀèÅÙÊѹ¹œèÍý
258 */
259Inline bool_t
260mutex_raise_priority(TCB *p_tcb, uint_t newpri)
261{
262        if (newpri < p_tcb->priority) {
263                return(change_priority(p_tcb, newpri, true));
264        }
265        return(false);
266}
267
268/*
269 *  Í×ÁÇÍ¥ÀèÅÙ€¬²Œ€¬€ë¡Ê€Þ€¿€Ïžº€ë¡ËŸì¹ç€ÎžœºßÍ¥ÀèÅÙÊѹ¹œèÍý
270 */
271Inline bool_t
272mutex_drop_priority(TCB *p_tcb, uint_t oldpri)
273{
274        uint_t  newpri;
275
276        if (oldpri == p_tcb->priority) {
277                newpri = mutex_calc_priority(p_tcb);
278                if (newpri != p_tcb->priority) {
279                        return(change_priority(p_tcb, newpri, true));
280                }
281        }
282        return(false);
283}
284
285/*
286 *  ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ò¥í¥Ã¥¯€·€¿Ÿì¹ç€ÎœèÍý
287 */
288Inline bool_t
289mutex_acquire(TCB *p_loctsk, MTXCB *p_mtxcb)
290{
291        p_mtxcb->p_loctsk = p_loctsk;
292        queue_insert_next(&(p_loctsk->mutex_queue), &(p_mtxcb->mutex_queue));
293        if (MTX_CEILING(p_mtxcb)) {
294                return(mutex_raise_priority(p_loctsk, p_mtxcb->p_mtxinib->ceilpri));
295        }
296        return(false);
297}
298
299/*
300 *  ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€Î¥í¥Ã¥¯²òœü
301 */
302#ifdef TOPPERS_mtxrel
303
304bool_t
305mutex_release(MTXCB *p_mtxcb)
306{
307        TCB             *p_tcb;
308
309        if (queue_empty(&(p_mtxcb->wait_queue))) {
310                p_mtxcb->p_loctsk = NULL;
311                return(false);
312        }
313        else {
314                /*
315                 *  ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹ÂÔ€Á¥­¥å¡Œ€ÎÀèƬ¥¿¥¹¥¯¡Êp_tcb¡Ë€Ë¡€¥ß¥å¡Œ¥Æ¥Ã
316                 *  ¥¯¥¹€ò¥í¥Ã¥¯€µ€»€ë¡¥
317                 */
318                p_tcb = (TCB *) queue_delete_next(&(p_mtxcb->wait_queue));
319                wait_dequeue_tmevtb(p_tcb);
320                p_tcb->p_winfo->wercd = E_OK;
321
322                p_mtxcb->p_loctsk = p_tcb;
323                queue_insert_prev(&(p_tcb->mutex_queue), &(p_mtxcb->mutex_queue));
324                if (MTX_CEILING(p_mtxcb)) {
325                        if (p_mtxcb->p_mtxinib->ceilpri < p_tcb->priority) {
326                                p_tcb->priority = p_mtxcb->p_mtxinib->ceilpri;
327                        }
328                }
329                return(make_non_wait(p_tcb));
330        }
331}
332
333#endif /* TOPPERS_mtxrel */
334
335/*
336 *  ¥¿¥¹¥¯€¬¥í¥Ã¥¯€·€Æ€€€ë€¹€Ù€Æ€Î¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€Î¥í¥Ã¥¯²òœü
337 */
338#ifdef TOPPERS_mtxrela
339
340bool_t
341mutex_release_all(TCB *p_tcb)
342{
343        MTXCB   *p_mtxcb;
344        bool_t  dspreq = false;
345
346        while (!queue_empty(&(p_tcb->mutex_queue))) {
347                p_mtxcb = MTXCB_QUEUE(p_tcb->mutex_queue.p_next);
348                queue_delete(&(p_mtxcb->mutex_queue));
349                if (mutex_release(p_mtxcb)) {
350                        dspreq = true;
351                }
352        }
353        return(dspreq);
354}
355
356#endif /* TOPPERS_mtxrela */
357
358/*
359 *  ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€Î¥í¥Ã¥¯
360 */
361#ifdef TOPPERS_loc_mtx
362
363ER
364loc_mtx(ID mtxid)
365{
366        MTXCB   *p_mtxcb;
367        WINFO_MTX winfo_mtx;
368        ER              ercd;
369
370        LOG_LOC_MTX_ENTER(mtxid);
371        CHECK_DISPATCH();
372        CHECK_MTXID(mtxid);
373        p_mtxcb = get_mtxcb(mtxid);
374
375        t_lock_cpu();
376        if (MTX_CEILING(p_mtxcb)
377                                && p_runtsk->bpriority < p_mtxcb->p_mtxinib->ceilpri) {
378                ercd = E_ILUSE;
379        }
380        else if (p_mtxcb->p_loctsk == NULL) {
381                (void) mutex_acquire(p_runtsk, p_mtxcb);
382                /*
383                 *  Í¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ò¥í¥Ã¥¯€·€¿Ÿì¹ç¡€p_runtsk€ÎÍ¥ÀèÅÙ
384                 *  €¬Ÿå€¬€ë²ÄÇœÀ­€¬€¢€ë€¬¡€¥Ç¥£¥¹¥Ñ¥Ã¥Á€¬É¬Í׀ˀʀ뀳€È€Ï€Ê€€¡¥
385                 */
386                assert(!(p_runtsk != p_schedtsk && dspflg));
387                ercd = E_OK;
388        }
389        else if (p_mtxcb->p_loctsk == p_runtsk) {
390                ercd = E_OBJ;
391        }
392        else {
393                p_runtsk->tstat = (TS_WAITING | TS_WAIT_MTX);
394                wobj_make_wait((WOBJCB *) p_mtxcb, (WINFO_WOBJ *) &winfo_mtx);
395                dispatch();
396                ercd = winfo_mtx.winfo.wercd;
397        }
398        t_unlock_cpu();
399
400  error_exit:
401        LOG_LOC_MTX_LEAVE(ercd);
402        return(ercd);
403}
404
405#endif /* TOPPERS_loc_mtx */
406
407/*
408 *  ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€Î¥í¥Ã¥¯¡Ê¥Ý¡Œ¥ê¥ó¥°¡Ë
409 */
410#ifdef TOPPERS_ploc_mtx
411
412ER
413ploc_mtx(ID mtxid)
414{
415        MTXCB   *p_mtxcb;
416        ER              ercd;
417
418        LOG_PLOC_MTX_ENTER(mtxid);
419        CHECK_TSKCTX_UNL();
420        CHECK_MTXID(mtxid);
421        p_mtxcb = get_mtxcb(mtxid);
422
423        t_lock_cpu();
424        if (MTX_CEILING(p_mtxcb)
425                                && p_runtsk->bpriority < p_mtxcb->p_mtxinib->ceilpri) {
426                ercd = E_ILUSE;
427        }
428        else if (p_mtxcb->p_loctsk == NULL) {
429                (void) mutex_acquire(p_runtsk, p_mtxcb);
430                /*
431                 *  Í¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ò¥í¥Ã¥¯€·€¿Ÿì¹ç¡€p_runtsk€ÎÍ¥ÀèÅÙ
432                 *  €¬Ÿå€¬€ë²ÄÇœÀ­€¬€¢€ë€¬¡€¥Ç¥£¥¹¥Ñ¥Ã¥Á€¬É¬Í׀ˀʀ뀳€È€Ï€Ê€€¡¥
433                 */
434                assert(!(p_runtsk != p_schedtsk && dspflg));
435                ercd = E_OK;
436        }
437        else if (p_mtxcb->p_loctsk == p_runtsk) {
438                ercd = E_OBJ;
439        }
440        else {
441                ercd = E_TMOUT;
442        }
443        t_unlock_cpu();
444
445  error_exit:
446        LOG_PLOC_MTX_LEAVE(ercd);
447        return(ercd);
448}
449
450#endif /* TOPPERS_ploc_mtx */
451
452/*
453 *  ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€Î¥í¥Ã¥¯¡Ê¥¿¥€¥à¥¢¥Š¥È€¢€ê¡Ë
454 */
455#ifdef TOPPERS_tloc_mtx
456
457ER
458tloc_mtx(ID mtxid, TMO tmout)
459{
460        MTXCB   *p_mtxcb;
461        WINFO_MTX winfo_mtx;
462        TMEVTB  tmevtb;
463        ER              ercd;
464
465        LOG_TLOC_MTX_ENTER(mtxid, tmout);
466        CHECK_DISPATCH();
467        CHECK_MTXID(mtxid);
468        CHECK_TMOUT(tmout);
469        p_mtxcb = get_mtxcb(mtxid);
470
471        t_lock_cpu();
472        if (MTX_CEILING(p_mtxcb)
473                                && p_runtsk->bpriority < p_mtxcb->p_mtxinib->ceilpri) {
474                ercd = E_ILUSE;
475        }
476        else if (p_mtxcb->p_loctsk == NULL) {
477                (void) mutex_acquire(p_runtsk, p_mtxcb);
478                /*
479                 *  Í¥ÀèÅÙŸåžÂ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ò¥í¥Ã¥¯€·€¿Ÿì¹ç¡€p_runtsk€ÎÍ¥ÀèÅÙ
480                 *  €¬Ÿå€¬€ë²ÄÇœÀ­€¬€¢€ë€¬¡€¥Ç¥£¥¹¥Ñ¥Ã¥Á€¬É¬Í׀ˀʀ뀳€È€Ï€Ê€€¡¥
481                 */
482                assert(!(p_runtsk != p_schedtsk && dspflg));
483                ercd = E_OK;
484        }
485        else if (p_mtxcb->p_loctsk == p_runtsk) {
486                ercd = E_OBJ;
487        }
488        else if (tmout == TMO_POL) {
489                ercd = E_TMOUT;
490        }
491        else {
492                p_runtsk->tstat = (TS_WAITING | TS_WAIT_MTX);
493                wobj_make_wait_tmout((WOBJCB *) p_mtxcb, (WINFO_WOBJ *) &winfo_mtx,
494                                                                                                                &tmevtb, tmout);
495                dispatch();
496                ercd = winfo_mtx.winfo.wercd;
497        }
498        t_unlock_cpu();
499
500  error_exit:
501        LOG_TLOC_MTX_LEAVE(ercd);
502        return(ercd);
503}
504
505#endif /* TOPPERS_tloc_mtx */
506
507/*
508 *  ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€Î¥í¥Ã¥¯²òœü
509 */
510#ifdef TOPPERS_unl_mtx
511
512ER
513unl_mtx(ID mtxid)
514{
515        MTXCB   *p_mtxcb;
516        bool_t  dspreq = false;
517        ER              ercd;
518   
519        LOG_UNL_MTX_ENTER(mtxid);
520        CHECK_TSKCTX_UNL();
521        CHECK_MTXID(mtxid);
522        p_mtxcb = get_mtxcb(mtxid);
523
524        t_lock_cpu();
525        if (p_mtxcb->p_loctsk != p_runtsk) {
526                ercd = E_OBJ;
527        }
528        else {
529                queue_delete(&(p_mtxcb->mutex_queue));
530                if (MTX_CEILING(p_mtxcb)) {
531                        if (mutex_drop_priority(p_runtsk, p_mtxcb->p_mtxinib->ceilpri)) {
532                                dspreq = true;
533                        }
534                }
535                if (mutex_release(p_mtxcb)) {
536                        dspreq = true;
537                }
538                if (dspreq) {
539                        dispatch();
540                }
541                ercd = E_OK;
542        }
543        t_unlock_cpu();
544
545  error_exit:
546        LOG_UNL_MTX_LEAVE(ercd);
547        return(ercd);
548}
549
550#endif /* TOPPERS_unl_mtx */
551
552/*
553 *  ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ÎœéŽü²œ
554 */
555#ifdef TOPPERS_ini_mtx
556
557ER
558ini_mtx(ID mtxid)
559{
560        MTXCB   *p_mtxcb;
561        TCB             *p_loctsk;
562        bool_t  dspreq;
563        ER              ercd;
564   
565        LOG_INI_MTX_ENTER(mtxid);
566        CHECK_TSKCTX_UNL();
567        CHECK_MTXID(mtxid);
568        p_mtxcb = get_mtxcb(mtxid);
569
570        t_lock_cpu();
571        dspreq = init_wait_queue(&(p_mtxcb->wait_queue));
572        p_loctsk = p_mtxcb->p_loctsk;
573        if (p_loctsk != NULL) {
574                queue_delete(&(p_mtxcb->mutex_queue));
575                p_mtxcb->p_loctsk = NULL;
576                if (MTX_CEILING(p_mtxcb)) {
577                        if (mutex_drop_priority(p_loctsk, p_mtxcb->p_mtxinib->ceilpri)) {
578                                dspreq = true;
579                        }
580                }
581        }
582        if (dspreq) {
583                dispatch();
584        }
585        ercd = E_OK;
586        t_unlock_cpu();
587
588  error_exit:
589        LOG_INI_MTX_LEAVE(ercd);
590        return(ercd);
591}
592
593#endif /* TOPPERS_ini_mtx */
594
595/*
596 *  ¥ß¥å¡Œ¥Æ¥Ã¥¯¥¹€ÎŸõÂÖ»²ŸÈ
597 */
598#ifdef TOPPERS_ref_mtx
599
600ER
601ref_mtx(ID mtxid, T_RMTX *pk_rmtx)
602{
603        MTXCB   *p_mtxcb;
604        ER              ercd;
605   
606        LOG_REF_MTX_ENTER(mtxid, pk_rmtx);
607        CHECK_TSKCTX_UNL();
608        CHECK_MTXID(mtxid);
609        p_mtxcb = get_mtxcb(mtxid);
610
611        t_lock_cpu();
612        pk_rmtx->htskid = (p_mtxcb->p_loctsk != NULL) ? TSKID(p_mtxcb->p_loctsk)
613                                                                                                        : TSK_NONE;
614        pk_rmtx->wtskid = wait_tskid(&(p_mtxcb->wait_queue));
615        ercd = E_OK;
616        t_unlock_cpu();
617
618  error_exit:
619        LOG_REF_MTX_LEAVE(ercd, pk_rmtx);
620        return(ercd);
621}
622
623#endif /* TOPPERS_ref_mtx */
※ 詳しい使い方は TracBrowser を参照してください。