Changeset 315 for rubycfg_asp/trunk/asp_dcre/kernel/time_event.c

Timestamp:

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

Author:

coas-nagasima

Message:

SVNプロパティを設定

File:

• rubycfg_asp/trunk/asp_dcre/kernel/time_event.c (modified) (31 diffs, 1 prop)

rubycfg_asp/trunk/asp_dcre/kernel/time_event.c

@@ -9 +9 @@
  *              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$
@@ -57 +42 @@
 
 /*
- *              タイムイベント管理モジュール
+ *              タイムイベント管理モジュール
  */
 
@@ -64 +49 @@
 
 /*
- *  タイムイベントヒープ操作マクロ
- */
-#define PARENT(index)           ((index) >> 1)          /* 親ノードを求める */
-#define LCHILD(index)           ((index) << 1)          /* 左の子ノードを求める */
+ *  タイムイベントヒープ操作マクロ
+ */
+#define PARENT(index)           ((index) >> 1)          /* 親ノードを求める */
+#define LCHILD(index)           ((index) << 1)          /* 左の子ノードを求める */
 #define TMEVT_NODE(index)       (tmevt_heap[(index) - 1])
 
 /*
- *  イベント発生時刻比較マクロ
- *
- *  イベント発生時刻は，min_timeからの相対値で比較する．すなわち，
- *  min_timeを最小値（最も近い時刻），mit_time-1ãŒæœ€å¤§å€¤ï¼ˆæœ€ã‚‚é ã„æ™‚åˆ»ï¼‰
- *  とみなして比較する．
+ *  イベント発生時刻比較マクロ
+ *
+ *  イベント発生時刻は，min_timeからの相対値で比較する．すなわち，
+ *  min_timeを最小値（最も近い時刻），mit_time-1が最大値（最も遠い時刻）
+ *  とみなして比較する．
  */
 #define EVTTIM_LT(t1, t2) (((t1) - min_time) < ((t2) - min_time))
@@ -83 +68 @@
 
 /*
- *  現在のシステム時刻（単位: 1ミリ秒）
- *
- *  厳密には，前のタイムティックのシステム時刻．
+ *  現在のシステム時刻（単位: 1ミリ秒）
+ *
+ *  厳密には，前のタイムティックのシステム時刻．
  */
 EVTTIM  current_time;
 
 /*
- *  タイムイベントヒープ中で有効な最小のシステム時刻（単位: 1ミリ秒）
+ *  タイムイベントヒープ中で有効な最小のシステム時刻（単位: 1ミリ秒）
  */
 EVTTIM  min_time;
 
 /*
- *  次のタイムティックのシステム時刻（単位: 1ミリ秒）
+ *  次のタイムティックのシステム時刻（単位: 1ミリ秒）
  */
 EVTTIM  next_time;
 
 /*
- *  システム時刻積算用変数（単位: 1/TIC_DENOミリ秒）
+ *  システム時刻積算用変数（単位: 1/TIC_DENOミリ秒）
  */
 #if TIC_DENO != 1U
@@ -107 +92 @@
 
 /*
- *  ã‚¿ã‚¤ãƒ ã‚¤ãƒ™ãƒ³ãƒˆãƒ’ãƒ¼ãƒ—ã®æœ€å¾Œã®ä½¿ç”¨é ˜åŸŸã®ã‚¤ãƒ³ãƒ‡ãƒƒã‚¯ã‚¹
+ *  タイムイベントヒープの最後の使用領域のインデックス
  */
 uint_t  last_index;
 
 /*
- *  タイマモジュールの初期化
+ *  タイマモジュールの初期化
  */
 void
@@ -129 +114 @@
 
 /*
- *  タイムイベントの挿å
-¥ä½ç½®ã‚’上向きに探索
- *
- *  時刻timeに発生するタイムイベントを挿å
-¥ã™ã‚‹ãƒŽãƒ¼ãƒ‰ã‚’空けるために，
- *  ヒープの上に向かって空ノードを移動させる．移動前の空ノードの位置を
- *  indexに渡すと，移動後の空ノードの位置（すなわち挿å
-¥ä½ç½®ï¼‰ã‚’返す．
+ *  タイムイベントの挿入位置を上向きに探索
+ *
+ *  時刻timeに発生するタイムイベントを挿入するノードを空けるために，
+ *  ヒープの上に向かって空ノードを移動させる．移動前の空ノードの位置を
+ *  indexに渡すと，移動後の空ノードの位置（すなわち挿入位置）を返す．
  */
 #ifdef TOPPERS_tmeup
@@ -147 +129 @@
         while (index > 1) {
                 /*
-                 *  親ノードのイベント発生時刻の方が早い（または同じ）ならば，
-                 *  indexが挿å
-¥ä½ç½®ãªã®ã§ãƒ«ãƒ¼ãƒ—を抜ける．
+                 *  親ノードのイベント発生時刻の方が早い（または同じ）ならば，
+                 *  indexが挿入位置なのでループを抜ける．
                  */
                 parent = PARENT(index);
@@ -157 +138 @@
 
                 /*
-                 *  親ノードをindexの位置に移動させる．
+                 *  親ノードをindexの位置に移動させる．
                  */
                 TMEVT_NODE(index) = TMEVT_NODE(parent);
@@ -163 +144 @@
 
                 /*
-                 *  indexを親ノードの位置に更新．
+                 *  indexを親ノードの位置に更新．
                  */
                 index = parent;
@@ -173 +154 @@
 
 /*
- *  タイムイベントの挿å
-¥ä½ç½®ã‚’下向きに探索
- *
- *  時刻timeに発生するタイムイベントを挿å
-¥ã™ã‚‹ãƒŽãƒ¼ãƒ‰ã‚’空けるために，
- *  ヒープの下に向かって空ノードを移動させる．移動前の空ノードの位置を 
- *  indexに渡すと，移動後の空ノードの位置（すなわち挿å
-¥ä½ç½®ï¼‰ã‚’返す．
+ *  タイムイベントの挿入位置を下向きに探索
+ *
+ *  時刻timeに発生するタイムイベントを挿入するノードを空けるために，
+ *  ヒープの下に向かって空ノードを移動させる．移動前の空ノードの位置を 
+ *  indexに渡すと，移動後の空ノードの位置（すなわち挿入位置）を返す．
  */
 #ifdef TOPPERS_tmedown
@@ -191 +169 @@
         while ((child = LCHILD(index)) <= last_index) {
                 /*
-                 *  左右の子ノードのイベント発生時刻を比較し，早い方の子ノード
-                 *  の位置をchildに設定する．以下の子ノードは，ここで選ばれた方
-                 *  の子ノードのこと．
+                 *  左右の子ノードのイベント発生時刻を比較し，早い方の子ノード
+                 *  の位置をchildに設定する．以下の子ノードは，ここで選ばれた方
+                 *  の子ノードのこと．
                  */
                 if (child + 1 <= last_index
@@ -202 +180 @@
 
                 /*
-                 *  子ノードのイベント発生時刻の方がé
-い（または同じ）ならば，
-                 *  indexが挿å
-¥ä½ç½®ãªã®ã§ãƒ«ãƒ¼ãƒ—を抜ける．
+                 *  子ノードのイベント発生時刻の方が遅い（または同じ）ならば，
+                 *  indexが挿入位置なのでループを抜ける．
                  */
                 if (EVTTIM_LE(time, TMEVT_NODE(child).time)) {
@@ -212 +188 @@
 
                 /*
-                 *  子ノードをindexの位置に移動させる．
+                 *  子ノードをindexの位置に移動させる．
                  */
                 TMEVT_NODE(index) = TMEVT_NODE(child);
@@ -218 +194 @@
 
                 /*
-                 *  indexを子ノードの位置に更新．
+                 *  indexを子ノードの位置に更新．
                  */
                 index = child;
@@ -228 +204 @@
 
 /*
- *  タイムイベントヒープへの登録
- *
- *  p_tmevtbで指定したタイムイベントブロックを，timeで指定した時間が経
- *  過後にイベントが発生するように，タイムイベントヒープに登録する．
+ *  タイムイベントヒープへの登録
+ *
+ *  p_tmevtbで指定したタイムイベントブロックを，timeで指定した時間が経
+ *  過後にイベントが発生するように，タイムイベントヒープに登録する．
  */
 #ifdef TOPPERS_tmeins
@@ -241 +217 @@
 
         /*
-         *  last_indexをインクリメントし，そこから上に挿å
-¥ä½ç½®ã‚’探す．
+         *  last_indexをインクリメントし，そこから上に挿入位置を探す．
          */
         index = tmevt_up(++last_index, time);
 
         /*
-         *  タイムイベントをindexの位置に挿å
-¥ã™ã‚‹ï¼Ž
+         *  タイムイベントをindexの位置に挿入する．
          */ 
         TMEVT_NODE(index).time = time;
@@ -258 +232 @@
 
 /*
- *  タイムイベントヒープからの削除
+ *  タイムイベントヒープからの削除
  */
 #ifdef TOPPERS_tmedel
@@ -270 +244 @@
 
         /*
-         *  å‰Šé™¤ã«ã‚ˆã‚Šã‚¿ã‚¤ãƒ ã‚¤ãƒ™ãƒ³ãƒˆãƒ’ãƒ¼ãƒ—ãŒç©ºã«ãªã‚‹å ´åˆã¯ä½•ã‚‚ã—ãªã„ï¼Ž
+         *  削除によりタイムイベントヒープが空になる場合は何もしない．
          */
         if (--last_index == 0) {
@@ -277 +251 @@
 
         /*
-         *  削除したノードの位置に最後のノード（last_index+1の位置のノード）
-         *  を挿å
-¥ã—，それを適切な位置へ移動させる．実際には，最後のノード
-         *  を実際に挿å
-¥ã™ã‚‹ã®ã§ã¯ãªãï¼Œå‰Šé™¤ã—たノードの位置が空ノードにな
-         *  るので，最後のノードを挿å
-¥ã™ã¹ãä½ç½®ã¸å‘けて空ノードを移動させ
-         *  る．
-         *  最後のノードのイベント発生時刻が，削除したノードの親ノードのイ
-         *  ãƒ™ãƒ³ãƒˆç™ºç”Ÿæ™‚åˆ»ã‚ˆã‚Šå‰ã®å ´åˆã«ã¯ï¼Œä¸Šã«å‘ã‹ã£ã¦æŒ¿å
-¥ä½ç½®ã‚’探す．そ
-         *  ã†ã§ãªã„å ´åˆã«ã¯ï¼Œä¸‹ã«å‘ã‹ã£ã¦æŽ¢ã™ï¼Ž
+         *  削除したノードの位置に最後のノード（last_index+1の位置のノード）
+         *  を挿入し，それを適切な位置へ移動させる．実際には，最後のノード
+         *  を実際に挿入するのではなく，削除したノードの位置が空ノードにな
+         *  るので，最後のノードを挿入すべき位置へ向けて空ノードを移動させ
+         *  る．
+         *  最後のノードのイベント発生時刻が，削除したノードの親ノードのイ
+         *  ベント発生時刻より前の場合には，上に向かって挿入位置を探す．そ
+         *  うでない場合には，下に向かって探す．
          */
         if (index > 1 && EVTTIM_LT(event_time,
                                                                 TMEVT_NODE(parent = PARENT(index)).time)) {
                 /*
-                 *  親ノードをindexの位置に移動させる．
+                 *  親ノードをindexの位置に移動させる．
                  */
                 TMEVT_NODE(index) = TMEVT_NODE(parent);
@@ -299 +269 @@
 
                 /*
-                 *  削除したノードの親ノードから上に向かって挿å
-¥ä½ç½®ã‚’探す．
+                 *  削除したノードの親ノードから上に向かって挿入位置を探す．
                  */
                 index = tmevt_up(parent, event_time);
@@ -306 +275 @@
         else {
                 /*
-                 *  削除したノードから下に向かって挿å
-¥ä½ç½®ã‚’探す．
+                 *  削除したノードから下に向かって挿入位置を探す．
                  */
                 index = tmevt_down(index, event_time);
@@ -313 +281 @@
 
         /*
-         *  最後のノードをindexの位置に挿å
-¥ã™ã‚‹ï¼Ž
+         *  最後のノードをindexの位置に挿入する．
          */ 
         TMEVT_NODE(index) = TMEVT_NODE(last_index + 1);
@@ -323 +290 @@
 
 /*
- *  タイムイベントヒープのå
-ˆé ­ã®ãƒŽãƒ¼ãƒ‰ã®å‰Šé™¤
+ *  タイムイベントヒープの先頭のノードの削除
  */
 Inline void
@@ -333 +299 @@
 
         /*
-         *  å‰Šé™¤ã«ã‚ˆã‚Šã‚¿ã‚¤ãƒ ã‚¤ãƒ™ãƒ³ãƒˆãƒ’ãƒ¼ãƒ—ãŒç©ºã«ãªã‚‹å ´åˆã¯ä½•ã‚‚ã—ãªã„ï¼Ž
+         *  削除によりタイムイベントヒープが空になる場合は何もしない．
          */
         if (--last_index == 0) {
@@ -340 +306 @@
 
         /*
-         *  ルートノードに最後のノード（last_index + 1 の位置のノード）を
-         *  挿å
-¥ã—，それを適切な位置へ移動させる．実際には，最後のノードを
-         *  実際に挿å
-¥ã™ã‚‹ã®ã§ã¯ãªãï¼Œãƒ«ãƒ¼ãƒˆãƒŽãƒ¼ãƒ‰ãŒç©ºãƒŽãƒ¼ãƒ‰ã«ãªã‚‹ã®ã§ï¼Œæœ€
-         *  後のノードを挿å
-¥ã™ã¹ãä½ç½®ã¸å‘けて空ノードを移動させる．
+         *  ルートノードに最後のノード（last_index + 1 の位置のノード）を
+         *  挿入し，それを適切な位置へ移動させる．実際には，最後のノードを
+         *  実際に挿入するのではなく，ルートノードが空ノードになるので，最
+         *  後のノードを挿入すべき位置へ向けて空ノードを移動させる．
          */
         index = tmevt_down(1, event_time);
 
         /*
-         *  最後のノードをindexの位置に挿å
-¥ã™ã‚‹ï¼Ž
+         *  最後のノードをindexの位置に挿入する．
          */ 
         TMEVT_NODE(index) = TMEVT_NODE(last_index + 1);
@@ -359 +321 @@
 
 /*
- *  タイムイベントまでの残り時間の計算
+ *  タイムイベントまでの残り時間の計算
  */
 #ifdef TOPPERS_tmeltim
@@ -371 +333 @@
         if (EVTTIM_LE(time, next_time)) {
                 /*
-                 *  æ¬¡ã®ã‚¿ã‚¤ãƒ ãƒ†ã‚£ãƒƒã‚¯ã§å‡¦ç†ã•ã‚Œã‚‹å ´åˆã«ã¯0を返す．
+                 *  次のタイムティックで処理される場合には0を返す．
                  */
                 return(0U);
@@ -383 +345 @@
 
 /*
- *  タイムティックの供給
+ *  タイムティックの供給
  */
 #ifdef TOPPERS_sigtim
@@ -398 +360 @@
 
         /*
-         *  current_timeを更新する．
+         *  current_timeを更新する．
          */
         current_time = next_time;
 
         /*
-         *  next_time，next_subtimeを更新する．
+         *  next_time，next_subtimeを更新する．
          */
 #if TIC_DENO == 1U
@@ -417 +379 @@
 
         /*
-         *  current_timeよりイベント発生時刻の早い（または同じ）タイムイベ
-         *  ントを，タイムイベントヒープから削除し，コールバック関数を呼び
-         *  出す．
+         *  current_timeよりイベント発生時刻の早い（または同じ）タイムイベ
+         *  ントを，タイムイベントヒープから削除し，コールバック関数を呼び
+         *  出す．
          */
         while (last_index > 0 && EVTTIM_LE(TMEVT_NODE(1).time, current_time)) {
@@ -428 +390 @@
 
         /*
-         *  min_timeを更新する．
+         *  min_timeを更新する．
          */
         min_time = current_time;