source: rtos_arduino/trunk/asp_1.9.2/kernel/mempfix.c@ 136

Last change on this file since 136 was 136, checked in by ertl-honda, 8 years ago

ライブラリとOS及びベーシックなサンプルの追加．
File size: 9.8 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: mempfix.c 2632 2014-04-13 11:30:37Z ertl-hiro $
56 */
57
58/*
59 * 固定長メモリプール機能
60 */
61
62#include "kernel_impl.h"
63#include "check.h"
64#include "task.h"
65#include "wait.h"
66#include "mempfix.h"
67
68/*
69 * トレースログマクロのデフォルト定義
70 */
71#ifndef LOG_GET_MPF_ENTER
72#define LOG_GET_MPF_ENTER(mpfid, p_blk)
73#endif /* LOG_GET_MPF_ENTER */
74
75#ifndef LOG_GET_MPF_LEAVE
76#define LOG_GET_MPF_LEAVE(ercd, blk)
77#endif /* LOG_GET_MPF_LEAVE */
78
79#ifndef LOG_PGET_MPF_ENTER
80#define LOG_PGET_MPF_ENTER(mpfid, p_blk)
81#endif /* LOG_PGET_MPF_ENTER */
82
83#ifndef LOG_PGET_MPF_LEAVE
84#define LOG_PGET_MPF_LEAVE(ercd, blk)
85#endif /* LOG_PGET_MPF_LEAVE */
86
87#ifndef LOG_TGET_MPF_ENTER
88#define LOG_TGET_MPF_ENTER(mpfid, p_blk, tmout)
89#endif /* LOG_TGET_MPF_ENTER */
90
91#ifndef LOG_TGET_MPF_LEAVE
92#define LOG_TGET_MPF_LEAVE(ercd, blk)
93#endif /* LOG_TGET_MPF_LEAVE */
94
95#ifndef LOG_REL_MPF_ENTER
96#define LOG_REL_MPF_ENTER(mpfid, blk)
97#endif /* LOG_REL_MPF_ENTER */
98
99#ifndef LOG_REL_MPF_LEAVE
100#define LOG_REL_MPF_LEAVE(ercd)
101#endif /* LOG_REL_MPF_LEAVE */
102
103#ifndef LOG_INI_MPF_ENTER
104#define LOG_INI_MPF_ENTER(mpfid)
105#endif /* LOG_INI_MPF_ENTER */
106
107#ifndef LOG_INI_MPF_LEAVE
108#define LOG_INI_MPF_LEAVE(ercd)
109#endif /* LOG_INI_MPF_LEAVE */
110
111#ifndef LOG_REF_MPF_ENTER
112#define LOG_REF_MPF_ENTER(mpfid, pk_rmpf)
113#endif /* LOG_REF_MPF_ENTER */
114
115#ifndef LOG_REF_MPF_LEAVE
116#define LOG_REF_MPF_LEAVE(ercd, pk_rmpf)
117#endif /* LOG_REF_MPF_LEAVE */
118
119/*
120 * 固定長メモリプールの数
121 */
122#define tnum_mpf ((uint_t)(tmax_mpfid - TMIN_MPFID + 1))
123
124/*
125 * 固定長メモリプールIDから固定長メモリプール管理ブロックを取り出すた
126 * めのマクロ
127 */
128#define INDEX_MPF(mpfid) ((uint_t)((mpfid) - TMIN_MPFID))
129#define get_mpfcb(mpfid) (&(mpfcb_table[INDEX_MPF(mpfid)]))
130
131/*
132 * 特殊なインデックス値の定義
133 */
134#define INDEX_NULL (~0U) /* 空きブロックリストの最後 */
135#define INDEX_ALLOC (~1U) /* 割当て済みのブロック */
136
137/*
138 * 固定長メモリプール機能の初期化
139 */
140#ifdef TOPPERS_mpfini
141
142void
143initialize_mempfix(void)
144{
145 uint_t i;
146 MPFCB *p_mpfcb;
147
148 for (i = 0; i < tnum_mpf; i++) {
149 p_mpfcb = &(mpfcb_table[i]);
150 queue_initialize(&(p_mpfcb->wait_queue));
151 p_mpfcb->p_mpfinib = &(mpfinib_table[i]);
152 p_mpfcb->fblkcnt = p_mpfcb->p_mpfinib->blkcnt;
153 p_mpfcb->unused = 0U;
154 p_mpfcb->freelist = INDEX_NULL;
155 }
156}
157
158#endif /* TOPPERS_mpfini */
159
160/*
161 * 固定長メモリプールからブロックを獲得
162 */
163#ifdef TOPPERS_mpfget
164
165void
166get_mpf_block(MPFCB *p_mpfcb, void **p_blk)
167{
168 uint_t blkidx;
169
170 if (p_mpfcb->freelist != INDEX_NULL) {
171 blkidx = p_mpfcb->freelist;
172 p_mpfcb->freelist = (p_mpfcb->p_mpfinib->p_mpfmb + blkidx)->next;
173 }
174 else {
175 blkidx = p_mpfcb->unused;
176 p_mpfcb->unused++;
177 }
178 *p_blk = (void *)((char *)(p_mpfcb->p_mpfinib->mpf)
179 + p_mpfcb->p_mpfinib->blksz * blkidx);
180 p_mpfcb->fblkcnt--;
181 (p_mpfcb->p_mpfinib->p_mpfmb + blkidx)->next = INDEX_ALLOC;
182}
183
184#endif /* TOPPERS_mpfget */
185
186/*
187 * 固定長メモリブロックの獲得
188 */
189#ifdef TOPPERS_get_mpf
190
191ER
192get_mpf(ID mpfid, void **p_blk)
193{
194 MPFCB *p_mpfcb;
195 WINFO_MPF winfo_mpf;
196 ER ercd;
197
198 LOG_GET_MPF_ENTER(mpfid, p_blk);
199 CHECK_DISPATCH();
200 CHECK_MPFID(mpfid);
201 p_mpfcb = get_mpfcb(mpfid);
202
203 t_lock_cpu();
204 if (p_mpfcb->fblkcnt > 0) {
205 get_mpf_block(p_mpfcb, p_blk);
206 ercd = E_OK;
207 }
208 else {
209 p_runtsk->tstat = (TS_WAITING | TS_WAIT_MPF);
210 wobj_make_wait((WOBJCB *) p_mpfcb, (WINFO_WOBJ *) &winfo_mpf);
211 dispatch();
212 ercd = winfo_mpf.winfo.wercd;
213 if (ercd == E_OK) {
214 *p_blk = winfo_mpf.blk;
215 }
216 }
217 t_unlock_cpu();
218
219 error_exit:
220 LOG_GET_MPF_LEAVE(ercd, *p_blk);
221 return(ercd);
222}
223
224#endif /* TOPPERS_get_mpf */
225
226/*
227 * 固定長メモリブロックの獲得（ポーリング）
228 */
229#ifdef TOPPERS_pget_mpf
230
231ER
232pget_mpf(ID mpfid, void **p_blk)
233{
234 MPFCB *p_mpfcb;
235 ER ercd;
236
237 LOG_PGET_MPF_ENTER(mpfid, p_blk);
238 CHECK_TSKCTX_UNL();
239 CHECK_MPFID(mpfid);
240 p_mpfcb = get_mpfcb(mpfid);
241
242 t_lock_cpu();
243 if (p_mpfcb->fblkcnt > 0) {
244 get_mpf_block(p_mpfcb, p_blk);
245 ercd = E_OK;
246 }
247 else {
248 ercd = E_TMOUT;
249 }
250 t_unlock_cpu();
251
252 error_exit:
253 LOG_PGET_MPF_LEAVE(ercd, *p_blk);
254 return(ercd);
255}
256
257#endif /* TOPPERS_pget_mpf */
258
259/*
260 * 固定長メモリブロックの獲得（タイムアウトあり）
261 */
262#ifdef TOPPERS_tget_mpf
263
264ER
265tget_mpf(ID mpfid, void **p_blk, TMO tmout)
266{
267 MPFCB *p_mpfcb;
268 WINFO_MPF winfo_mpf;
269 TMEVTB tmevtb;
270 ER ercd;
271
272 LOG_TGET_MPF_ENTER(mpfid, p_blk, tmout);
273 CHECK_DISPATCH();
274 CHECK_MPFID(mpfid);
275 CHECK_TMOUT(tmout);
276 p_mpfcb = get_mpfcb(mpfid);
277
278 t_lock_cpu();
279 if (p_mpfcb->fblkcnt > 0) {
280 get_mpf_block(p_mpfcb, p_blk);
281 ercd = E_OK;
282 }
283 else if (tmout == TMO_POL) {
284 ercd = E_TMOUT;
285 }
286 else {
287 p_runtsk->tstat = (TS_WAITING | TS_WAIT_MPF);
288 wobj_make_wait_tmout((WOBJCB *) p_mpfcb, (WINFO_WOBJ *) &winfo_mpf,
289 &tmevtb, tmout);
290 dispatch();
291 ercd = winfo_mpf.winfo.wercd;
292 if (ercd == E_OK) {
293 *p_blk = winfo_mpf.blk;
294 }
295 }
296 t_unlock_cpu();
297
298 error_exit:
299 LOG_TGET_MPF_LEAVE(ercd, *p_blk);
300 return(ercd);
301}
302
303#endif /* TOPPERS_tget_mpf */
304
305/*
306 * 固定長メモリブロックの返却
307 */
308#ifdef TOPPERS_rel_mpf
309
310ER
311rel_mpf(ID mpfid, void *blk)
312{
313 MPFCB *p_mpfcb;
314 SIZE blkoffset;
315 uint_t blkidx;
316 TCB *p_tcb;
317 ER ercd;
318
319 LOG_REL_MPF_ENTER(mpfid, blk);
320 CHECK_TSKCTX_UNL();
321 CHECK_MPFID(mpfid);
322 p_mpfcb = get_mpfcb(mpfid);
323 CHECK_PAR(p_mpfcb->p_mpfinib->mpf <= blk);
324 blkoffset = ((char *) blk) - (char *)(p_mpfcb->p_mpfinib->mpf);
325 CHECK_PAR(blkoffset % p_mpfcb->p_mpfinib->blksz == 0U);
326 CHECK_PAR(blkoffset / p_mpfcb->p_mpfinib->blksz < p_mpfcb->unused);
327 blkidx = (uint_t)(blkoffset / p_mpfcb->p_mpfinib->blksz);
328 CHECK_PAR((p_mpfcb->p_mpfinib->p_mpfmb + blkidx)->next == INDEX_ALLOC);
329
330 t_lock_cpu();
331 if (!queue_empty(&(p_mpfcb->wait_queue))) {
332 p_tcb = (TCB *) queue_delete_next(&(p_mpfcb->wait_queue));
333 ((WINFO_MPF *)(p_tcb->p_winfo))->blk = blk;
334 if (wait_complete(p_tcb)) {
335 dispatch();
336 }
337 ercd = E_OK;
338 }
339 else {
340 p_mpfcb->fblkcnt++;
341 (p_mpfcb->p_mpfinib->p_mpfmb + blkidx)->next = p_mpfcb->freelist;
342 p_mpfcb->freelist = blkidx;
343 ercd = E_OK;
344 }
345 t_unlock_cpu();
346
347 error_exit:
348 LOG_REL_MPF_LEAVE(ercd);
349 return(ercd);
350}
351
352#endif /* TOPPERS_rel_mpf */
353
354/*
355 * 固定長メモリプールの再初期化
356 */
357#ifdef TOPPERS_ini_mpf
358
359ER
360ini_mpf(ID mpfid)
361{
362 MPFCB *p_mpfcb;
363 bool_t dspreq;
364 ER ercd;
365
366 LOG_INI_MPF_ENTER(mpfid);
367 CHECK_TSKCTX_UNL();
368 CHECK_MPFID(mpfid);
369 p_mpfcb = get_mpfcb(mpfid);
370
371 t_lock_cpu();
372 dspreq = init_wait_queue(&(p_mpfcb->wait_queue));
373 p_mpfcb->fblkcnt = p_mpfcb->p_mpfinib->blkcnt;
374 p_mpfcb->unused = 0U;
375 p_mpfcb->freelist = INDEX_NULL;
376 if (dspreq) {
377 dispatch();
378 }
379 ercd = E_OK;
380 t_unlock_cpu();
381
382 error_exit:
383 LOG_INI_MPF_LEAVE(ercd);
384 return(ercd);
385}
386
387#endif /* TOPPERS_ini_mpf */
388
389/*
390 * 固定長メモリプールの状æ…
391‹å‚ç…
392§
393 */
394#ifdef TOPPERS_ref_mpf
395
396ER
397ref_mpf(ID mpfid, T_RMPF *pk_rmpf)
398{
399 MPFCB *p_mpfcb;
400 ER ercd;
401
402 LOG_REF_MPF_ENTER(mpfid, pk_rmpf);
403 CHECK_TSKCTX_UNL();
404 CHECK_MPFID(mpfid);
405 p_mpfcb = get_mpfcb(mpfid);
406
407 t_lock_cpu();
408 pk_rmpf->wtskid = wait_tskid(&(p_mpfcb->wait_queue));
409 pk_rmpf->fblkcnt = p_mpfcb->fblkcnt;
410 ercd = E_OK;
411 t_unlock_cpu();
412
413 error_exit:
414 LOG_REF_MPF_LEAVE(ercd, pk_rmpf);
415 return(ercd);
416}
417
418#endif /* TOPPERS_ref_mpf */
Note: See TracBrowser for help on using the repository browser.