source: rubycfg_asp/trunk/asp_dcre/kernel/kernel.trb@ 313

# -*- coding: utf-8 -*-
#
#   TOPPERS/ASP Kernel
#       Toyohashi Open Platform for Embedded Real-Time Systems/
#       Advanced Standard Profile Kernel
# 
#   Copyright (C) 2015 by FUJI SOFT INCORPORATED, JAPAN
#   Copyright (C) 2015,2016 by Embedded and Real-Time Systems Laboratory
#               Graduate School of Information Science, Nagoya Univ., JAPAN
# 
#   上記著作権者
は，以下の(1)～(4)ã®æ¡ä»¶ã‚’æº€ãŸã™å ´åˆã«é™ã‚Šï¼Œæœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§
#   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
#   変・再é…
å¸ƒï¼ˆä»¥ä¸‹ï¼Œåˆ©ç”¨ã¨å‘¼ã¶ï¼‰ã™ã‚‹ã“とを無償で許諾する．
#   (1) æœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®å½¢ã§åˆ©ç”¨ã™ã‚‹å ´åˆã«ã¯ï¼Œä¸Šè¨˜ã®è‘—ä½œ
#       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
#       スコード中に含まれていること．
#   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
#       用できる形で再é…
å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œå†é…
å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨
#       者
マニュアルなど）に，上記の著作権表示，この利用条件および下記
#       の無保証規定を掲載すること．
#   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
#       用できない形で再é…
å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œæ¬¡ã®ã„ずれかの条件を満たすこ
#       と．
#     (a) 再é…
å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨è€…
マニュアルなど）に，上記の著
#         作権表示，この利用条件および下記の無保証規定を掲載すること．
#     (b) 再é…
å¸ƒã®å½¢æ…
‹ã‚’，別に定める方法によって，TOPPERSプロジェクトに
#         å ±å‘Šã™ã‚‹ã“ã¨ï¼Ž
#   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
#       害からも，上記著作権者
およびTOPPERSプロジェクトをå…
è²¬ã™ã‚‹ã“と．
#       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
#       由に基づく請求からも，上記著作権者
およびTOPPERSプロジェクトを
#       å…
è²¬ã™ã‚‹ã“と．
# 
#   本ソフトウェアは，無保証で提供されているものである．上記著作権者
お
#   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
#   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
#   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
#   ã®è²¬ä»»ã‚’è² ã‚ãªã„ï¼Ž
# 
#   $Id: kernel.trb 716 2016-03-31 06:16:23Z ertl-hiro $
# 

#
#               コンフィギュレータのパス2の生成スクリプト
#

#
#  タイムスタンプファイルの指定
#
$timeStampFileName = "kernel_cfg.timestamp"

#
#  kernel_cfg.hのå…
ˆé ­éƒ¨åˆ†ã®ç”Ÿæˆ
#
$kernelCfgH = GenFile.new("kernel_cfg.h")
$kernelCfgH.add(<<EOS)
/* kernel_cfg.h */
#ifndef TOPPERS_KERNEL_CFG_H
#define TOPPERS_KERNEL_CFG_H
EOS

#
#  kernel_cfg.cのå…
ˆé ­éƒ¨åˆ†ã®ç”Ÿæˆ
#
$kernelCfgC = GenFile.new("kernel_cfg.c")
$kernelCfgC.add(<<EOS)
/* kernel_cfg.c */
#include "kernel/kernel_int.h"
#include "kernel_cfg.h"

#if TKERNEL_PRID != 0x07u
#error The kernel does not match this configuration file.
#endif
EOS

#
#  インクルードディレクティブ（#include）
#
$kernelCfgC.comment_header("Include Directives (#include)")
$includeFiles.each do |file|
  $kernelCfgC.add("#include #{file}")
end
$kernelCfgC.add()

#
#  ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã®ç¢ºä¿é–¢æ•°
#
#  ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã®å®šç¾©åˆ†ã¨ï¼Œã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã®ã‚µã‚¤ã‚ºè¨˜è¿°ã‚’é…
åˆ—で返す．
#
unless defined? AllocStack()
  def AllocStack(stack, size)
    # 大きい方に丸めたサイズで確保する［NGKI1050］［NGKI3220］
    $kernelCfgC.add("/*static*/ STK_T #{stack}[COUNT_STK_T(#{size})];")
    return("ROUND_STK_T(#{size})")
  end
end

#
#  カーネルオブジェクトに関する情
å ±ã®ç”Ÿæˆï¼ˆä»®æƒ³ã‚¯ãƒ©ã‚¹ï¼‰
#
class KernelObject
  def initialize(obj, object, obj_s = obj)
    @obj = obj
    @OBJ = obj.tr("a-z", "A-Z")
    @object = object
    @obj_s = obj_s
    @OBJ_S = obj_s.tr("a-z", "A-Z")
    @objid = (obj + "id").to_sym
    @api = "CRE_#{@OBJ}".to_sym
    @inibList = { "#{@OBJ_S}INIB" => "a#{@obj_s}inib_table"}
  end

  def generate()
    # AID_@OBJの処理
    numAutoObjid = 0
    $cfgData["AID_#{@OBJ}".to_sym].each do |key, params|
      numAutoObjid += params["no#{@obj}".to_sym]
    end
    numObjid = $cfgData[@api].size + numAutoObjid

    # kernel_cfg.hの生成
    $kernelCfgH.add("#define TNUM_#{@OBJ}ID\t#{numObjid}")

    # オブジェクトのID番号のマクロ定義の生成
    $cfgData[@api].sort.each do |key, params|
      if params[@objid]
        $kernelCfgH.add("#define #{params[@objid]}\t#{params[@objid].val}")
      end
    end
    $kernelCfgH.add()

    # オブジェクトのID番号を保持する変数
    if $USE_EXTERNAL_ID
      $cfgData[@api].sort.each do |key, params|
        if params[@objid]
          $kernelCfgC.add("const ID #{params[@objid]}_id" \
                                                                                " = #{params[@objid].val};")
                end
      end
      $kernelCfgC.add()
    end

    # 静的に生成されたオブジェクトの数
    $kernelCfgC.add("#define TNUM_S#{@OBJ}ID\t#{$cfgData[@api].size}")

    # オブジェクトID番号の最大値
    $kernelCfgC.add("const ID _kernel_tmax_#{@obj}id" \
                                                        " = (TMIN_#{@OBJ}ID + TNUM_#{@OBJ}ID - 1);")
    $kernelCfgC.add2("const ID _kernel_tmax_s#{@obj}id" \
                                                        " = (TMIN_#{@OBJ}ID + TNUM_S#{@OBJ}ID - 1);")

    # ãƒ‡ãƒ¼ã‚¿æ§‹é€ 
    if $cfgData[@api].size > 0
      # äº‹å‰æº–å‚™ï¼ˆã‚¨ãƒ©ãƒ¼ãƒã‚§ãƒƒã‚¯ï¼Œãƒ¡ãƒ¢ãƒªé ˜åŸŸã®ç”Ÿæˆï¼‰
      $cfgData[@api].sort.each do |key, params|
        prepare(key, params)
      end

      # オブジェクトå…
¨ä½“に対して必
è¦ãªãƒ¡ãƒ¢ãƒªé ˜åŸŸã®ç”Ÿæˆï¼ˆã‚ªãƒ—ã‚·ãƒ§ãƒ³ï¼‰
      if respond_to?(:generateData)
        generateData()
      end

      # オブジェクト初期化ブロックの生成
      $kernelCfgC.add("const #{@OBJ_S}INIB _kernel_#{@obj_s}inib_table" \
                                                                                                        "[TNUM_S#{@OBJ}ID] = {")
      $cfgData[@api].sort.each_with_index do |(key, params), index|
        $kernelCfgC.add(",") if index > 0
        $kernelCfgC.append("\t{ " + generateInib(key, params) + " }")
      end
      $kernelCfgC.add
      $kernelCfgC.add2("};")
    else
      $kernelCfgC.add2("TOPPERS_EMPTY_LABEL(const #{@OBJ_S}INIB, " \
                                                                                "_kernel_#{@obj_s}inib_table);")
    end

    # 動的生成オブジェクト用のオブジェクト初期化ブロック
    @inibList.each do |type, array|
      if numAutoObjid > 0
        $kernelCfgC.add2("#{type} _kernel_#{array}[#{numAutoObjid}];")
      else
        $kernelCfgC.add2("TOPPERS_EMPTY_LABEL(#{type}, _kernel_#{array});")
      end
    end

    if numObjid > 0
      # オブジェクト管理ブロックの生成
      $kernelCfgC.add2("#{@OBJ_S}CB _kernel_#{@obj_s}cb_table" \
                                                                                                        "[TNUM_#{@OBJ}ID];")

      # ã‚ªãƒ–ã‚¸ã‚§ã‚¯ãƒˆåˆæœŸåŒ–é–¢æ•°ã®è¿½åŠ 
      $initializeFunctions.push("_kernel_initialize_#{@object}();")
    else
      $kernelCfgC.add2("TOPPERS_EMPTY_LABEL(#{@OBJ_S}CB, " \
                                                                                "_kernel_#{@obj_s}cb_table);")
    end
  end
end

#
#  各機能モジュールのコンフィギュレーション
#
$initializeFunctions = []
IncludeTrb("kernel/task.trb")
IncludeTrb("kernel/semaphore.trb")
IncludeTrb("kernel/eventflag.trb")
IncludeTrb("kernel/dataqueue.trb")
IncludeTrb("kernel/pridataq.trb")
IncludeTrb("kernel/mailbox.trb")
IncludeTrb("kernel/mempfix.trb")
IncludeTrb("kernel/cyclic.trb")
IncludeTrb("kernel/alarm.trb")
IncludeTrb("kernel/interrupt.trb")
IncludeTrb("kernel/exception.trb")

#
#  éžã‚¿ã‚¹ã‚¯ã‚³ãƒ³ãƒ†ã‚­ã‚¹ãƒˆç”¨ã®ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸ
#
$kernelCfgC.comment_header("Stack Area for Non-task Context")

if $cfgData[:DEF_ICS].size == 0
  # DEF_ICSãŒãªã„å ´åˆã®ãƒ‡ãƒ•ã‚©ãƒ«ãƒˆå€¤ã®è¨­å®š
  if $DEFAULT_ISTK.nil?
    # ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã®è‡ªå‹•å‰²ä»˜ã‘
    istksz = AllocStack("_kernel_istack", "DEFAULT_ISTKSZ")
    istk = "_kernel_istack"
  else
    istksz = "DEFAULT_ISTKSZ"
    istk = "DEFAULT_ISTK"
  end
else
  # 静的API「DEF_ICS」が複数ある（E_OBJ）［NGKI3216］
  if $cfgData[:DEF_ICS].size > 1
    error("E_OBJ: too many DEF_ICS")
  end

  # DEF_ICSãŒã‚ã‚‹å ´åˆã®å‡¦ç†
  params = $cfgData[:DEF_ICS][1]

  # パラメータが省略された時のデフォルト値の設定
  params[:istk] ||= "NULL"

  # istkszがターゲット定義の最小値（TARGET_MIN_ISTKSZï¼Œæœªå®šç¾©ã®å ´åˆã¯1）
  # ã‚ˆã‚Šã‚‚å°ã•ã„å ´åˆï¼ˆE_PAR）［NGKI3254ï¼½
  if params[:istksz] < $TARGET_MIN_ISTKSZ
    error_wrong("E_PAR", params, :istksz, "too small")
  end

  if params[:istk] == "NULL"
    # ã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã®è‡ªå‹•å‰²ä»˜ã‘
    istksz = AllocStack("_kernel_istack", params[:istksz])
    istk = "_kernel_istack"
  else
    # istkszãŒã‚¹ã‚¿ãƒƒã‚¯é ˜åŸŸã®ã‚µã‚¤ã‚ºã¨ã—ã¦æ­£ã—ããªã„å ´åˆï¼ˆE_PAR）［NGKI3222ï¼½
    if (params[:istksz] & ($CHECK_STKSZ_ALIGN - 1)) != 0
      error_wrong("E_PAR", params, :istksz, "not aligned")
    end

    istksz = "(#{params[:istksz]})"
    istk = "(void *)(#{params[:istk]})"
  end
end

$kernelCfgC.add(<<EOS)
const size_t _kernel_istksz = #{istksz};
STK_T *const _kernel_istk = #{istk};

#ifdef TOPPERS_ISTKPT
STK_T *const _kernel_istkpt = TOPPERS_ISTKPT(#{istk}, #{istksz});
#endif /* TOPPERS_ISTKPT */
EOS

#
#  ã‚«ãƒ¼ãƒãƒ«ãŒå‰²ã‚Šä»˜ã‘ã‚‹ãƒ¡ãƒ¢ãƒªé ˜åŸŸ
#
$kernelCfgC.comment_header("Memory Area Allocated by Kernel")

if $cfgData[:DEF_KMM].size == 0
  # DEF_KMMãŒãªã„å ´åˆã®ãƒ‡ãƒ•ã‚©ãƒ«ãƒˆå€¤ã®è¨­å®š
  kmmsz = "0"
  kmm = "NULL"
else
  # 静的API「DEF_KMM」が複数ある（E_OBJ）
  if ($cfgData[:DEF_KMM].size > 1)
    error("E_OBJ: too many DEF_KMM")
  end

  # DEF_KMMãŒã‚ã‚‹å ´åˆã®å‡¦ç†
  params = $cfgData[:DEF_KMM][1]

  # パラメータが省略された時のデフォルト値の設定
  params[:kmm] ||= "NULL"

  # kmmszが0ã®å ´åˆï¼ˆE_PAR）
  if params[:kmmsz] == 0
    error_wrong("E_PAR", params, :kmmsz, "zero")
  end

  if params[:kmm] == "NULL"
    # ã‚«ãƒ¼ãƒãƒ«ãŒå‰²ã‚Šä»˜ã‘ã‚‹ãƒ¡ãƒ¢ãƒªé ˜åŸŸã®è‡ªå‹•å‰²ä»˜ã‘
    $kernelCfgC.add("static MB_T _kernel_memory" \
                                        "[TOPPERS_COUNT_SZ(#{params[:kmmsz]}, sizeof(MB_T))];")
    kmmsz = "TOPPERS_ROUND_SZ(#{params[:kmmsz]}, sizeof(MB_T))"
    kmm = "_kernel_memory"
  else
    # kmmszãŒã‚«ãƒ¼ãƒãƒ«ãŒå‰²ã‚Šä»˜ã‘ã‚‹ãƒ¡ãƒ¢ãƒªé ˜åŸŸã®ã‚µã‚¤ã‚ºã¨ã—ã¦æ­£ã—ããªã„å ´åˆ
    # （E_PAR）
    if (params[:kmmsz] & ($CHECK_MB_ALIGN - 1)) != 0
      error_wrong("E_PAR", params, :kmmsz, "not aligned")
    end

    kmmsz = "(#{params[:kmmsz]})"
    kmm = "(void *)(#{params[:kmm]})"
  end
end

$kernelCfgC.add(<<EOS)
const size_t _kernel_kmmsz = #{kmmsz};
MB_T *const _kernel_kmm = #{kmm};
EOS

#
#  タイムイベント管理
#
$kernelCfgC.comment_header("Time Event Management")
$kernelCfgC.add(<<EOS)
TMEVTN   _kernel_tmevt_heap[TNUM_TSKID + TNUM_CYCID + TNUM_ALMID];
EOS

#
#  各モジュールの初期化関数
#
$kernelCfgC.comment_header("Module Initialization Function")
$kernelCfgC.append(<<EOS)
void
_kernel_initialize_object(void)
{
EOS
$initializeFunctions.each do |func|
  $kernelCfgC.add("\t#{func}")
end
$kernelCfgC.add2("}")

#
#  初期化ルーチン機能
#
$kernelCfgC.comment_header("Initialization Routine")

# エラーチェック
$cfgData[:ATT_INI].each do |key, params|
  # iniatrãŒç„¡åŠ¹ã®å ´åˆï¼ˆE_RSATR）［NGKI3241ï¼½
  #（TA_NULLã§ãªã„å ´åˆï¼‰
  if (params[:iniatr] != $TA_NULL)
    error_illegal_sym("E_RSATR", params, :iniatr, :inirtn)
  end
end

# 初期化ルーチンの実行関数の生成
$kernelCfgC.append(<<EOS)
void
_kernel_call_inirtn(void)
{
EOS
$cfgData[:ATT_INI].each do |key, params|
  $kernelCfgC.add("\t((INIRTN)(#{params[:inirtn]}))" \
                                                                "((intptr_t)(#{params[:exinf]}));")
end
$kernelCfgC.add2("}")

#
#  終了処理ルーチン機能
#
$kernelCfgC.comment_header("Termination Routine")

# エラーチェック
$cfgData[:ATT_TER].each do |key, params|
  # teratrãŒç„¡åŠ¹ã®å ´åˆï¼ˆE_RSATR）［NGKI3248ï¼½
  #（TA_NULLã§ãªã„å ´åˆï¼‰
  if (params[:teratr] != $TA_NULL)
    error_illegal_sym("E_RSATR", params, :teratr, :terrtn)
  end
end

# 終了処理ルーチンの実行関数の生成
$kernelCfgC.append(<<EOS)
void
_kernel_call_terrtn(void)
{
EOS
$cfgData[:ATT_TER].reverse_each do |key, params|
  $kernelCfgC.add("\t((TERRTN)(#{params[:terrtn]}))" \
                                                                "((intptr_t)(#{params[:exinf]}));")
end
$kernelCfgC.add2("}")

#
#  kernel_cfg.hの末尾部分の生成
#
$kernelCfgH.append(<<EOS)
#endif /* TOPPERS_KERNEL_CFG_H */
EOS