Changeset 429 for EcnlProtoTool/trunk/asp3_dcre/kernel/task.trb

Timestamp:

Jul 3, 2020, 7:19:17 PM (4 years ago)

Author:

coas-nagasima

Message:

ASP3, TINET, mbed を更新

File:

• EcnlProtoTool/trunk/asp3_dcre/kernel/task.trb (modified) (8 diffs)

EcnlProtoTool/trunk/asp3_dcre/kernel/task.trb

@@ -6 +6 @@
 # 
 #   Copyright (C) 2015 by FUJI SOFT INCORPORATED, JAPAN
-#   Copyright (C) 2015,2016 by Embedded and Real-Time Systems Laboratory
+#   Copyright (C) 2015-2019 by Embedded and Real-Time Systems Laboratory
 #               Graduate School of Information Science, Nagoya Univ., JAPAN
 # 
@@ -54 +54 @@
     params[:stk] ||= "NULL"
 
-    # tskatrが無効の場合（E_RSATR）［NGKI1028］
+    # tskatrが無効の場合（E_RSATR）［NGKI1028］［NGKI3526］［ASPS0009］
+    # ［NGKI1016］
     #（TA_ACT，TA_NOACTQUE，TARGET_TSKATR以外のビットがセットされている場合）
     if (params[:tskatr] & ~($TA_ACT|$TA_NOACTQUE|$TARGET_TSKATR)) != 0
@@ -60 +61 @@
     end
 
-    # (TMIN_TPRI <= itskpri && itskpri <= TMAX_TPRI)でない場合［NGKI1034］
+    # itskpriが有効範囲外の場合（E_PAR）［NGKI1034］
+    #（TMIN_TPRI <= itskpri && itskpri <= TMAX_TPRIでない場合）
     if !($TMIN_TPRI <= params[:itskpri] && params[:itskpri] <= $TMAX_TPRI)
       error_illegal_id("E_PAR", params, :itskpri, :tskid)
@@ -66 +68 @@
 
     # stkszがターゲット定義の最小値（TARGET_MIN_STKSZ，未定義の場合は1）
-    # よりも小さい場合［NGKI1042］
+    # よりも小さい場合（E_PAR）［NGKI1042］
     if params[:stksz] < $TARGET_MIN_STKSZ
       error_wrong_id("E_PAR", params, :stksz, :tskid, "too small")
@@ -78 +80 @@
       params[:tinib_stk] = stkName
     else
-      # stkszがスタック領域のサイズとして正しくない場合［NGKI1056］
+      # stkszがターゲット定義の制約に合致しない場合（E_PAR）［NGKI1056］
       if (params[:stksz] & ($CHECK_STKSZ_ALIGN - 1)) != 0
         error_wrong_id("E_PAR", params, :stksz, :tskid, "not aligned")
@@ -85 +87 @@
       params[:tinib_stksz] = params[:stksz]
       params[:tinib_stk] = "(void *)(#{params[:stk]})"
+    end
+
+    # ターゲット依存の処理（ターゲット依存のエラーチェックを含む）
+    if defined? TargetTaskPrepare()
+      TargetTaskPrepare(key, params)
     end
   end
@@ -100 +107 @@
 end
 
+# タスクが1つも登録されていない場合［NGKI0033］
+if $cfgData[:CRE_TSK].size() == 0
+  error("no task is registered")
+end
+
 #
 #  タスク管理に関する情報の生成
 #
 $kernelCfgC.comment_header("Task Management Functions")
-if $cfgData[:CRE_TSK].size() == 0
-  error("no task is registered")
-end
 TaskObject.new.generate()
 
@@ -112 +121 @@
 $kernelCfgC.add("const ID _kernel_torder_table[TNUM_STSKID] = { ")
 $kernelCfgC.append("\t")
-$cfgData[:CRE_TSK].each_with_index do |(key, params), index|
+$cfgData[:CRE_TSK].each_with_index do |(_, params), index|
   $kernelCfgC.append(", ") if index > 0
   $kernelCfgC.append("#{params[:tskid]}")