Changeset 315 for rubycfg_asp/trunk/asp_dcre/test/bit_kernel.c

Timestamp:

Jul 23, 2017, 2:29:40 PM (7 years ago)

Author:

coas-nagasima

Message:

SVNプロパティを設定

File:

• rubycfg_asp/trunk/asp_dcre/test/bit_kernel.c (modified) (24 diffs, 1 prop)

rubycfg_asp/trunk/asp_dcre/test/bit_kernel.c

@@ -7 +7 @@
  *              Graduate School of Information Science, Nagoya Univ., JAPAN
  * 
- *  上記著作権è€
-は，以下の(1)～(4)ã®æ¡ä»¶ã‚’æº€ãŸã™å ´åˆã«é™ã‚Šï¼Œæœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§
- *  ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
- *  変・再é
-å¸ƒï¼ˆä»¥ä¸‹ï¼Œåˆ©ç”¨ã¨å‘¼ã¶ï¼‰ã™ã‚‹ã“とを無償で許諾する．
- *  (1) æœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®å½¢ã§åˆ©ç”¨ã™ã‚‹å ´åˆã«ã¯ï¼Œä¸Šè¨˜ã®è‘—ä½œ
- *      権表示，この利用条件および下記の無保証規定が，そのままの形でソー
- *      スコード中に含まれていること．
- *  (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
- *      用できる形で再é
-å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œå†é
-å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨
- *      è€
-マニュアルなど）に，上記の著作権表示，この利用条件および下記
- *      の無保証規定を掲載すること．
- *  (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
- *      用できない形で再é
-å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œæ¬¡ã®ã„ずれかの条件を満たすこ
- *      と．
- *    (a) 再é
-å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨è€
-マニュアルなど）に，上記の著
- *        作権表示，この利用条件および下記の無保証規定を掲載すること．
- *    (b) 再é
-å¸ƒã®å½¢æ
-‹ã‚’，別に定める方法によって，TOPPERSプロジェクトに
- *        å ±å‘Šã™ã‚‹ã“ã¨ï¼Ž
- *  (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
- *      害からも，上記著作権è€
-およびTOPPERSプロジェクトをå
-è²¬ã™ã‚‹ã“と．
- *      また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
- *      由に基づく請求からも，上記著作権è€
-およびTOPPERSプロジェクトを
- *      å
-è²¬ã™ã‚‹ã“と．
+ *  上記著作権者は，以下の(1)～(4)の条件を満たす場合に限り，本ソフトウェ
+ *  ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
+ *  変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
+ *  (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
+ *      権表示，この利用条件および下記の無保証規定が，そのままの形でソー
+ *      スコード中に含まれていること．
+ *  (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
+ *      用できる形で再配布する場合には，再配布に伴うドキュメント（利用
+ *      者マニュアルなど）に，上記の著作権表示，この利用条件および下記
+ *      の無保証規定を掲載すること．
+ *  (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
+ *      用できない形で再配布する場合には，次のいずれかの条件を満たすこ
+ *      と．
+ *    (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
+ *        作権表示，この利用条件および下記の無保証規定を掲載すること．
+ *    (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
+ *        報告すること．
+ *  (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
+ *      害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
+ *      また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
+ *      由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
+ *      免責すること．
  * 
- *  本ソフトウェアは，無保証で提供されているものである．上記著作権è€
-お
- *  よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
- *  に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
- *  アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
- *  ã®è²¬ä»»ã‚’è² ã‚ãªã„ï¼Ž
+ *  本ソフトウェアは，無保証で提供されているものである．上記著作権者お
+ *  よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
+ *  に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
+ *  アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
+ *  の責任を負わない．
  * 
  *  @(#) $Id$
@@ -55 +40 @@
 
 /*
- *              カーネルの整合性検査
+ *              カーネルの整合性検査
  */
 
@@ -70 +55 @@
 
 /*
- *   エラーコードの定義
+ *   エラーコードの定義
  */
 #define E_SYS_LINENO    ERCD(E_SYS, -(__LINE__))
 
 /*
- *  管理ブロックのアドレスの正当性のチェック
+ *  管理ブロックのアドレスの正当性のチェック
  */
 #define VALID_TCB(p_tcb) \
@@ -106 +91 @@
 
 /*
- *  キューのチェックのための関数
+ *  キューのチェックのための関数
  *
- *  p_queueにp_entryが含まれているかを調べる．含まれていればtrue，含ま
- *  ã‚Œã¦ã„ãªã„å ´åˆã«ã¯falseã‚’è¿”ã™ï¼Žãƒ€ãƒ–ãƒ«ãƒªãƒ³ã‚¯ã®ä¸æ•´åˆã®å ´åˆã«ã‚‚ï¼Œ
- *  falseを返す．
+ *  p_queueにp_entryが含まれているかを調べる．含まれていればtrue，含ま
+ *  れていない場合にはfalseを返す．ダブルリンクの不整合の場合にも，
+ *  falseを返す．
  */
 static bool_t
@@ -119 +104 @@
         p_current = p_queue->p_next;
         if (p_current->p_prev != p_queue) {
-                return(false);                                  /* ダブルリンクの不整合 */
+                return(false);                                  /* ダブルリンクの不整合 */
         }
         while (p_current != p_queue) {
                 if (p_current == p_entry) {
-                        return(true);                           /* p_entryが含まれていた */
+                        return(true);                           /* p_entryが含まれていた */
                 }
 
                 /*
-                 *  ã‚­ãƒ¥ãƒ¼ã®æ¬¡ã®è¦ç´ ã«é€²ã‚€
+                 *  キューの次の要素に進む
                  */
                 p_next = p_current->p_next;
                 if (p_next->p_prev != p_current) {
-                        return(false);                           /* ダブルリンクの不整合 */
+                        return(false);                           /* ダブルリンクの不整合 */
                 }
                 p_current = p_next;
@@ -139 +124 @@
 
 /*
- *  スタック上を指しているかの検査
+ *  スタック上を指しているかの検査
  */
 static bool_t
@@ -152 +137 @@
 
 /*
- *  タスク毎の整合性検査
+ *  タスク毎の整合性検査
  */
 static ER
@@ -178 +163 @@
 
         /*
-         *  初期化ブロックへのポインタの検査
+         *  初期化ブロックへのポインタの検査
          */
         if (p_tinib != &(tinib_table[INDEX_TSK(tskid)])) {
@@ -185 +170 @@
 
         /*
-         *  tstatの検査
+         *  tstatの検査
          */
         switch (tstat & (TS_RUNNABLE | TS_WAITING | TS_SUSPENDED)) {
@@ -218 +203 @@
 
         /*
-         *  actqueの検査
+         *  actqueの検査
          */
         if (TSTAT_DORMANT(tstat) && p_tcb->actque) {
@@ -225 +210 @@
 
         /*
-         *  タスク優å
-ˆåº¦ã®æ¤œæŸ»
+         *  タスク優先度の検査
          */
         if (pri >= TNUM_TPRI) {
@@ -233 +217 @@
 
         /*
-         *  texptnの検査
+         *  texptnの検査
          */
         if (p_tcb->p_tinib->texrtn == NULL && p_tcb->texptn != 0U) {
@@ -240 +224 @@
 
         /*
-         *  休止状æ
-‹ã«ãŠã‘るチェック
+         *  休止状態におけるチェック
          */
         if (TSTAT_DORMANT(tstat)) {
@@ -253 +236 @@
 
         /*
-         *  実行できる状æ
-‹ã«ãŠã‘るチェック
+         *  実行できる状態におけるチェック
          */
         if (TSTAT_RUNNABLE(tstat)) {
@@ -263 +245 @@
 
         /*
-         *  å¾
-ち状æ
-‹ã«ãŠã‘るチェック
+         *  待ち状態におけるチェック
          */
         if (TSTAT_WAITING(tstat)) {
@@ -277 +257 @@
                         }
                         /*
-                         *  (*p_tmevtb)の検査（未完成）
+                         *  (*p_tmevtb)の検査（未完成）
                          */
                 }
@@ -377 +357 @@
 
         /*
-         *  tskctxbの検査
+         *  tskctxbの検査
          */
         if (!TSTAT_DORMANT(tstat) && p_tcb != p_runtsk) {
                 /*
-                 *  ターゲット依存の検査
+                 *  ターゲット依存の検査
                  */
 #if 0
@@ -393 +373 @@
 
 /*
- *  セマフォ毎の整合性検査
+ *  セマフォ毎の整合性検査
  */
 #define INDEX_SEM(semid)        ((uint_t)((semid) - TMIN_SEMID))
@@ -415 +395 @@
 
         /*
-         *  初期化ブロックへのポインタの検査
+         *  初期化ブロックへのポインタの検査
          */
         if (p_seminib != &(seminib_table[INDEX_SEM(semid)])) {
@@ -422 +402 @@
 
         /*
-         *  semcntの検査
+         *  semcntの検査
          */
         if (semcnt > p_seminib->maxsem) {
@@ -429 +409 @@
 
         /*
-         *  wait_queueの検査
+         *  wait_queueの検査
          */
         if (semcnt == 0) {
@@ -456 +436 @@
 
 /*
- *  整合性検査ルーチン本体
+ *  整合性検査ルーチン本体
  */
 ER
@@ -466 +446 @@
 
         /*
-         *  タスク毎の検査
+         *  タスク毎の検査
          */
         for (tskid = TMIN_TSKID; tskid <= tmax_tskid; tskid++) {
@@ -476 +456 @@
 
         /*
-         *  セマフォ毎の検査
+         *  セマフォ毎の検査
          */
         for (semid = TMIN_SEMID; semid <= tmax_semid; semid++) {