Changeset 389 for azure_iot_hub/trunk/asp3_dcre/kernel/kernel_check.trb

Timestamp:

May 22, 2019, 10:03:37 PM (5 years ago)

Author:

coas-nagasima

Message:

ビルドが通るよう更新

File:

• azure_iot_hub/trunk/asp3_dcre/kernel/kernel_check.trb (modified) (24 diffs, 1 prop)

azure_iot_hub/trunk/asp3_dcre/kernel/kernel_check.trb

@@ -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 @@
 
 #
-#               コンフィギュレータのパス3の生成スクリプト
-#
-
-# 
-#  タイムスタンプファイルの指定
+#               コンフィギュレータのパス3の生成スクリプト
+#
+
+# 
+#  タイムスタンプファイルの指定
 # 
 $timeStampFileName = "check.timestamp"
 
 #
-#  データセクションのLMAからVMAへのコピー
+#  データセクションのLMAからVMAへのコピー
 #
 if !$lmaList.nil?
@@ -86 +71 @@
 
 #
-#  通知æƒ
-å ±ã®ãƒã‚§ãƒƒã‚¯é–¢æ•°
+#  通知情報のチェック関数
 #
 $tmax_tskid = $TMIN_TSKID + $cfgData[:CRE_TSK].size - 1
@@ -95 +79 @@
 
 def checkNotifyHandler(key, params, objid, exinf, nfyhdr)
-  # ãƒ‘ãƒ©ãƒ¡ãƒ¼ã‚¿ã‚’å¤‰æ•°ã«æ ¼ç´
+  # パラメータを変数に格納
   nfymode = params[:nfymode]
   nfymode1 = nfymode & 0x0f
@@ -103 +87 @@
   funcname = "_kernel_nfyhdr_#{params[objid]}"
 
-  # 通知処理のパラメータ数による補正処理
+  # 通知処理のパラメータ数による補正処理
   if nfymode1 == $TNFY_SETVAR || nfymode1 == $TNFY_SETFLG \
                                                                 || nfymode1 == $TNFY_SNDDTQ
-    # 通知処理のパラメータが2ã¤ã®å ´åˆ
+    # 通知処理のパラメータが2つの場合
     epar1 = params[:par3]
     epar2 = params[:par4]
   else
-    # 通知処理のパラメータが1ã¤ã®å ´åˆ
+    # 通知処理のパラメータが1つの場合
     epar1 = params[:par2]
     epar2 = params[:par3]
   end
 
-  #     タイムイベントハンドラのå
-ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯ï¼»NGKI3693ï¼½
+  #     タイムイベントハンドラの先頭番地のチェック［NGKI3693］
   if nfymode == $TNFY_HANDLER
     tmehdr = nfyhdr
@@ -129 +112 @@
   end
 
-  #     イベント通知処理の変数の番地とオブジェクトIDのチェック
+  #     イベント通知処理の変数の番地とオブジェクトIDのチェック
   if nfymode1 == $TNFY_SETVAR || nfymode1 == $TNFY_INCVAR
-    # 変数の設定／インクリメントによるタイムイベントの通知
+    # 変数の設定／インクリメントによるタイムイベントの通知
         p_var = exinf
     params1 = params.dup
     params1[:p_var] = par1
 
-    # 変数の番地のチェック［NGKI3699］［NGKI3897］
+    # 変数の番地のチェック［NGKI3699］［NGKI3897］
     if (p_var & ($CHECK_INTPTR_ALIGN - 1)) != 0
       error_wrong_id("E_PAR", params1, :p_var, objid, "not aligned")
@@ -144 +127 @@
     end
   elsif (nfymode1 == $TNFY_ACTTSK || nfymode1 == $TNFY_WUPTSK)
-    # タスクの起動／起床によるタイムイベントの通知
+    # タスクの起動／起床によるタイムイベントの通知
     tskid = exinf
     params1 = params.dup
     params1[:tskid] = par1
 
-    # タスクIDのチェック［NGKI3704］
+    # タスクIDのチェック［NGKI3704］
     if !($TMIN_TSKID <= tskid && tskid <= $tmax_tskid)
       error_illegal_id("E_ID", params1, :tskid, objid)
     end
   elsif nfymode1 == $TNFY_SIGSEM
-    # セマフォの資源の返却によるタイムイベントの通知
+    # セマフォの資源の返却によるタイムイベントの通知
     semid = exinf
     params1 = params.dup
     params1[:semid] = par1
 
-    # セマフォIDのチェック［NGKI3707］
+    # セマフォIDのチェック［NGKI3707］
     if !($TMIN_SEMID <= semid && semid <= $tmax_semid)
       error_illegal_id("E_ID", params1, :semid, objid)
     end
   elsif nfymode1 == $TNFY_SETFLG
-    # イベントフラグのセットによるタイムイベントの通知
+    # イベントフラグのセットによるタイムイベントの通知
     flgid = exinf
     params1 = params.dup
     params1[:flgid] = par1
 
-    # イベントフラグIDのチェック［NGKI3710］
+    # イベントフラグIDのチェック［NGKI3710］
     if !($TMIN_FLGID <= flgid && flgid <= $tmax_flgid)
       error_illegal_id("E_ID", params1, :flgid, objid)
     end
   elsif nfymode1 == $TNFY_SNDDTQ
-    # データキューへの送信によるタイムイベントの通知
+    # データキューへの送信によるタイムイベントの通知
     dtqid = exinf
     params1 = params.dup
     params1[:dtqid] = par1
 
-    # データキューIDのチェック［NGKI3713］
+    # データキューIDのチェック［NGKI3713］
     if !($TMIN_DTQID <= dtqid && dtqid <= $tmax_dtqid)
       error_illegal_id("E_ID", params1, :dtqid, objid)
@@ -185 +168 @@
   end
 
-  # エラー通知処理の変数の番地とオブジェクトIDのチェック
+  # エラー通知処理の変数の番地とオブジェクトIDのチェック
   if (nfymode2 == $TENFY_SETVAR || nfymode2 == $TENFY_INCVAR)
-    # 変数の設定／インクリメントによるエラーの通知
+    # 変数の設定／インクリメントによるエラーの通知
     p_var = PEEK(SYMBOL(funcname + "_p_evar"), $sizeof_intptr_t)
     params1 = params.dup
     params1[:p_var] = epar1
 
-    # 変数の番地のチェック［NGKI3701］［NGKI3897］
+    # 変数の番地のチェック［NGKI3701］［NGKI3897］
     if (p_var & ($CHECK_INTPTR_ALIGN - 1)) != 0
       error_wrong_id("E_PAR", params1, :p_var, objid, "not aligned")
@@ -200 +183 @@
     end
   elsif nfymode2 == $TENFY_ACTTSK || nfymode2 == $TENFY_WUPTSK
-    # タスクの起動／起床によるエラーの通知
+    # タスクの起動／起床によるエラーの通知
     tskid = PEEK(SYMBOL(funcname + "_etskid"), $sizeof_ID)
     params1 = params.dup
     params1[:tskid] = epar1
 
-    # タスクIDのチェック［NGKI3704］
+    # タスクIDのチェック［NGKI3704］
     if !($TMIN_TSKID <= tskid && tskid <= $tmax_tskid)
       error_illegal_id("E_ID", params1, :tskid, objid)
     end
   elsif nfymode2 == $TENFY_SIGSEM
-    # セマフォの資源の返却によるエラーの通知
+    # セマフォの資源の返却によるエラーの通知
         semid = PEEK(SYMBOL(funcname + "_esemid"), $sizeof_ID)
     params1 = params.dup
     params1[:semid] = epar1
 
-    # セマフォIDのチェック［NGKI3707］
+    # セマフォIDのチェック［NGKI3707］
     if !($TMIN_SEMID <= semid && semid <= $tmax_semid)
       error_illegal_id("E_ID", params1, :semid, objid)
     end
   elsif nfymode2 == $TENFY_SETFLG
-    # イベントフラグのセットによるエラーの通知
+    # イベントフラグのセットによるエラーの通知
     flgid = PEEK(SYMBOL(funcname + "_eflgid"), $sizeof_ID)
     params1 = params.dup
     params1[:flgid] = epar1
 
-    # イベントフラグIDのチェック［NGKI3710］
+    # イベントフラグIDのチェック［NGKI3710］
     if !($TMIN_FLGID <= flgid && flgid <= $tmax_flgid)
       error_illegal_id("E_ID", params1, :flgid, objid)
     end
   elsif nfymode2 == $TENFY_SNDDTQ
-    # データキューへの送信によるエラーの通知
+    # データキューへの送信によるエラーの通知
     dtqid = PEEK(SYMBOL(funcname + "_edtqid"), $sizeof_ID)
     params1 = params.dup
     params1[:dtqid] = epar1
 
-    # データキューIDのチェック［NGKI3715］
+    # データキューIDのチェック［NGKI3715］
     if !($TMIN_DTQID <= dtqid && dtqid <= $tmax_dtqid)
       error_illegal_id("E_ID", params1, :dtqid, objid)
@@ -243 +226 @@
 
 # 
-#  タスクに関するチェック
+#  タスクに関するチェック
 # 
 tinib = SYMBOL("_kernel_tinib_table")
@@ -249 +232 @@
   task = PEEK(tinib + $offsetof_TINIB_task, $sizeof_TASK)
 
-  # タスクのå
-ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯ï¼»NGKI1033ï¼½
+  # タスクの先頭番地のチェック［NGKI1033］
   if (task & ($CHECK_FUNC_ALIGN - 1)) != 0
     error_wrong_id("E_PAR", params, :task, :tskid, "not aligned")
@@ -258 +240 @@
   end
 
-  # ã‚¿ã‚¹ã‚¯ã®ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã®å
-ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯ï¼»NGKI1056ï¼½
+  # タスクのスタック領域の先頭番地のチェック［NGKI1056］
   if $USE_TSKINICTXB
     stk = GetStackTskinictxb(key, params, tinib)
@@ -276 +257 @@
 
 # 
-#  固定長メモリプールに関するチェック
+#  固定長メモリプールに関するチェック
 # 
 mpfinib = SYMBOL("_kernel_mpfinib_table")
@@ -282 +263 @@
   mpf = PEEK(mpfinib + $offsetof_MPFINIB_mpf, $sizeof_void_ptr)
 
-  # å›ºå®šé•·ãƒ¡ãƒ¢ãƒªãƒ—ãƒ¼ãƒ«é ˜åŸŸã®å
-ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯ï¼»NGKI2249ï¼½
+  # 固定長メモリプール領域の先頭番地のチェック［NGKI2249］
   if (mpf & ($CHECK_MPF_ALIGN - 1)) != 0
     error_wrong_id("E_PAR", params, :mpf, :mpfid, "not aligned")
@@ -295 +275 @@
 
 # 
-#  周期通知に関するチェック
+#  周期通知に関するチェック
 # 
 cycinib = SYMBOL("_kernel_cycinib_table")
@@ -302 +282 @@
   nfyhdr = PEEK(cycinib + $offsetof_CYCINIB_nfyhdr, $sizeof_NFYHDR)
 
-  #     通知æƒ
-å ±ã®ãƒã‚§ãƒƒã‚¯
+  #     通知情報のチェック
   checkNotifyHandler(key, params, :cycid, exinf, nfyhdr)
 
@@ -310 +289 @@
 
 # 
-#  アラーム通知に関するチェック
+#  アラーム通知に関するチェック
 # 
 alminib = SYMBOL("_kernel_alminib_table")
@@ -317 +296 @@
   nfyhdr = PEEK(alminib + $offsetof_ALMINIB_nfyhdr, $sizeof_NFYHDR)
 
-  #     通知æƒ
-å ±ã®ãƒã‚§ãƒƒã‚¯
+  #     通知情報のチェック
   checkNotifyHandler(key, params, :almid, exinf, nfyhdr)
 
@@ -325 +303 @@
 
 #
-#  割込みサービスルーチンに関するチェック
+#  割込みサービスルーチンに関するチェック
 #
 isrinib = SYMBOL("_kernel_isrinib_table")
@@ -331 +309 @@
   isr = PEEK(isrinib + $offsetof_ISRINIB_isr, $sizeof_ISR)
 
-  # 割込みサービスルーチンのå
-ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯ï¼»NGKI3004ï¼½
+  # 割込みサービスルーチンの先頭番地のチェック［NGKI3004］
   if (isr & ($CHECK_FUNC_ALIGN - 1)) != 0
     error_wrong_id("E_PAR", params, :isr, :isrid, "not aligned")
@@ -344 +321 @@
 
 # 
-#  éžã‚¿ã‚¹ã‚¯ã‚³ãƒ³ãƒ†ã‚­ã‚¹ãƒˆç”¨ã®ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã«é–¢ã™ã‚‹ãƒã‚§ãƒƒã‚¯
+#  非タスクコンテキスト用のスタック領域に関するチェック
 # 
 istkAddr = SYMBOL("_kernel_istk")
@@ -350 +327 @@
   istk = PEEK(istkAddr, $sizeof_void_ptr)
 
-  # éžã‚¿ã‚¹ã‚¯ã‚³ãƒ³ãƒ†ã‚­ã‚¹ãƒˆç”¨ã®ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã®å
-ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯ï¼»NGKI3222ï¼½
+  # 非タスクコンテキスト用のスタック領域の先頭番地のチェック［NGKI3222］
   if (istk & ($CHECK_STACK_ALIGN - 1)) != 0
     error_wrong("E_PAR", $cfgData[:DEF_ICS][1], :istk, "not aligned")
@@ -361 +337 @@
 
 # 
-#  ã‚«ãƒ¼ãƒãƒ«ãŒå‰²ã‚Šä»˜ã‘ã‚‹ãƒ¡ãƒ¢ãƒªé ˜åŸŸã«é–¢ã™ã‚‹ãƒã‚§ãƒƒã‚¯
+#  カーネルが割り付けるメモリ領域に関するチェック
 # 
 kmmAddr = SYMBOL("_kernel_kmm")
@@ -367 +343 @@
   kmm = PEEK(kmmAddr, $sizeof_void_ptr)
 
-  # ã‚«ãƒ¼ãƒãƒ«ãŒå‰²ã‚Šä»˜ã‘ã‚‹ãƒ¡ãƒ¢ãƒªé ˜åŸŸã®å
-ˆé ­ç•ªåœ°ã®ãƒã‚§ãƒƒã‚¯
+  # カーネルが割り付けるメモリ領域の先頭番地のチェック
   if (kmm & ($CHECK_MB_ALIGN - 1)) != 0
     error_wrong("E_PAR", $cfgData[:DEF_KMM][1], :kmm, "not aligned")