source: azure_iot_hub/trunk/asp3_dcre/tecsgen/tecslib/plugin/HRP2TaskPlugin.rb@ 388

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

#require "HRP2KernelObjectPlugin"
require_tecsgen_lib "HRP2KernelObjectPlugin.rb"
#== celltype プラグインのå…
±é€šã®è¦ªã‚¯ãƒ©ã‚¹
class HRP2TaskPlugin < HRP2KernelObjectPlugin
    # @@ep = [:eActivateTask, :eControlTask, :eManageTask, :eReferTask ]
    # ATT_MODを生成済みかどうか
    @@generate_memory_module = false

    ##
    #
    # file : output file (ex.tecsgen.cfg)
    # cell : 
    # val  : 
    # tab  : 
    def print_cfg_cre(file, cell, val, tab)
        #val[:id] = val[:id].gsub( /(^|[^\$])\$id\$/, "\\1#{@celltype.get_name.to_s}_#{cell.get_global_name.to_s}" )
        #val[:id] = @celltype.subst_name( val[:id], @celltype.get_name_array( cell ) )
        # $cbp$の代わり
        index = cell.get_id - @celltype.get_id_base
        #cell_CB_name = "#{@celltype.get_global_name}_pCB_tab[#{index}]"
        cell_CB_name = "#{index}"
        # CRE_XXX/DEF_XXXの生成
        dbgPrint "assign task plugin\n"
        domainOption = cell.get_region.get_domain_root.get_domain_type.get_option
        # if cell.get_region.get_region_type == :DOMAIN
# cell.show_tree 1
        if domainOption != "OutOfDomain"
            # ä¿è­·ãƒ‰ãƒ¡ã‚¤ãƒ³ã«å±žã™ã‚‹å ´åˆ
            if domainOption == "trusted"
                # カーネルドメイン
                if val[:userStackSize] != "OMIT"
                    raise "system task cannot have user stack."
                end
p "CRE_TSK 0 user=#{val[:userStackSize]} system=#{val[:systemStackSize]}"
                file.print <<EOT
#{tab}CRE_TSK(#{val[:id]}, { #{val[:taskAttribute]}, #{cell_CB_name}, tTask_start_task, #{val[:priority]}, #{val[:systemStackSize]}, NULL });
EOT
            else
                # ユーザドメイン
                if val[:userStackSize] == "OMIT"
                    raise "user task must have user stack."
                end
p "CRE_TSK 1"
                if val[:systemStackSize] == "OMIT"
                    file.print <<EOT
#{tab}CRE_TSK(#{val[:id]}, { #{val[:taskAttribute]}, #{cell_CB_name}, tTask_start_task, #{val[:priority]}, #{val[:userStackSize]}, NULL });
EOT
                else
p "CRE_TSK 2"
                    file.print <<EOT
#{tab}CRE_TSK(#{val[:id]}, { #{val[:taskAttribute]}, #{cell_CB_name}, tTask_start_task, #{val[:priority]}, #{val[:userStackSize]}, NULL, #{val[:systemStackSize]}, NULL });
EOT
                end
            end
        else
            # ç„¡æ‰€å±žã®å ´åˆ
            raise "task #{val[:id]} must belong to a domain."
        end
   
        # 例外用のを生成
        file.print <<EOT
#{tab}DEF_TEX(#{val[:id]}, { #{val[:exceptionAttribute]}, tTask_start_exception });
EOT
    end

    def print_cfg_sac(file, val, acv)
       file.puts "SAC_TSK(#{val[:id]}, { #{acv[0]}, #{acv[1]}, #{acv[2]}, #{acv[3]} });"
    end

=begin
    #tTaskの受け口リスト 
    def get_entry_ports_name_list()
        @@ep
    end
=end
    # 
    #  ATT_MODの生成
    #  gen_factory実行時には，すべてのセルタイププラグインを生成済みのはずなので，
    #  カーネルAPIコードのメモリ保護を省略できる．
    #
    def gen_factory file
        super
        if @@generate_memory_module == false
            check_celltype_list = []

            Cell.get_cell_list2.each { |cell|
                # すべてのセルを走査してセルタイプをチェック
                ct = cell.get_celltype
                if ct.class == Celltype && check_celltype_list.include?( ct ) == false
                    # チェック済みセルタイプに登録
                    check_celltype_list << ct

                    # æœªãƒã‚§ãƒƒã‚¯ã®ã‚»ãƒ«ã‚¿ã‚¤ãƒ—ã ã£ãŸå ´åˆ
                    # puts "check for ATT_MOD : #{ct.classget_global_name}"
                    puts "check for ATT_MOD : #{ct.get_global_name}"
                        
                    # カーネルAPIのコード，データはメモリ保護しない
                    next if HRP2KernelObjectPlugin.include_celltype?( ct )

                    # 必
要のないセルタイプのコード，データはメモリ保護しない
                    next if ! ct.need_generate?

                    # HRP2のドメインリージョンを取得
                    regions = ct.get_domain_roots
                    regions_hrp2 = regions[ :HRP2 ]
                    dbgPrint "HRP2 domain in #{ct.get_name}: "
                    regions_hrp2.each { |reg|
                        dbgPrint reg.get_name
                    }
                    puts ""

                    # セル管理ブロックとスケルトンのメモリ保護
                    # gen_celltype_names_domain 相当の処理
                    if regions_hrp2.include?( Region.get_root ) == false && regions_hrp2.length > 1
                        # ドメインが複数で，OutOfDomainã«ã‚»ãƒ«ãŒå­˜åœ¨ã—ãªã„ã‚»ãƒ«ã‚¿ã‚¤ãƒ—ã®å ´åˆ
                        # å…
±æœ‰ã®ã‚»ãƒ«ç®¡ç†ãƒ–ロックとスケルトンコードを登録する
                        file = AppFile.open( "#{$gen}/tecsgen.cfg" )
                        file.print "ATT_MOD(\"#{ct.get_global_name}_tecsgen.o\");\n"
                        file.close
                    end

                    regions_hrp2.each { |reg|
                        if reg.is_root? 
                            nsp = ""
                        else
                            nsp = "_#{reg.get_namespace_path.get_global_name}"
                        end
                        file = AppFile.open( "#{$gen}/tecsgen#{nsp}.cfg" )
                        file.print "ATT_MOD(\"#{ct.get_global_name}#{nsp}_tecsgen.o\");\n"
                        file.close
                    }

                    # ã‚»ãƒ«ã‚¿ã‚¤ãƒ—ã‚³ãƒ¼ãƒ‰ãŒãªã„å ´åˆã¯ã‚¹ã‚­ãƒƒãƒ—
                    next if ct.is_all_entry_inline? && ! ct.is_active?

                    # セルタイプコードのメモリ保護
                    # gen_celltype_names_domain2 相当の処理
                    if regions_hrp2.include?( Region.get_root ) == true || regions_hrp2.length > 1
                        # OutOfDomainã«ã‚»ãƒ«ãŒå­˜åœ¨ã™ã‚‹ã‚»ãƒ«ã‚¿ã‚¤ãƒ—ã®å ´åˆ
                        # ã¾ãŸã¯ï¼Œè¤‡æ•°ã®ãƒ‰ãƒ¡ã‚¤ãƒ³ã«ã‚»ãƒ«ãŒå­˜åœ¨ã™ã‚‹ã‚»ãƒ«ã‚¿ã‚¤ãƒ—ã®å ´åˆ
                        # セルタイプコードをå…
±æœ‰ã™ã‚‹ã‚ˆã†ã«ç™»éŒ²ã™ã‚‹
                        file = AppFile.open( "#{$gen}/tecsgen.cfg" )
                    else
                        # OutOfDomainã§ãªã„å˜ä¸€ã®ãƒ‰ãƒ¡ã‚¤ãƒ³ã«ã‚»ãƒ«ãŒå­˜åœ¨ã™ã‚‹ã‚»ãƒ«ã‚¿ã‚¤ãƒ—ã®å ´åˆ
                        # セルタイプコードを専有するように登録する
                        file = AppFile.open( "#{$gen}/tecsgen_#{regions_hrp2[0].get_namespace_path.get_global_name}.cfg" )
                    end

                    file.print "ATT_MOD(\"#{ct.get_global_name}.o\");\n"
                    file.close
                else
                    # 何もしない
                end
            }

            @@generate_memory_module = true
        else
            # 何もしない
        end
    end
    
end