Class: HRPPlugin

Inherits:
DomainPlugin show all
Defined in:
lib/tecsgen/plugin/HRPPlugin.rb

Overview

HRPカーネル用ドメインプラグイン

Constant Summary collapse

@@generate_memory_module =

ATT_MODを生成済みかどうか # 2017.8.27

false
@@include_extsvc_fncd =

17.07.26 暫定

false
@@inter_domain_join_set =

—– Inter Domain Join Set —–#

{}

Constants inherited from Plugin

Plugin::PluginArgProc

Class Method Summary collapse

Instance Method Summary collapse

Methods inherited from Plugin

#cdl_error, #check_plugin_arg, #gen_cdl_file, #gen_ep_func?, #gen_postamble, #gen_preamble, #new_cell, #parse_plugin_arg, #print_msg, #set_locale, #set_silent

Methods inherited from Node

#cdl_error, #cdl_error2, #cdl_error3, #cdl_info, #cdl_info2, #cdl_warning, #cdl_warning2, #get_locale, #locale_str, #set_locale

Constructor Details

#initialize(region, name, option) ⇒ HRPPlugin

Returns a new instance of HRPPlugin.



46
47
48
49
50
51
52
53
54
55
56
57
58
59
 
# File 'lib/tecsgen/plugin/HRPPlugin.rb', line 46

def initialize(region, name, option)
  super
  dbgPrint "HRPPlugin: initialize: region=#{region.get_name}, domainName=#{name}, option=#{option}\n"
  @region = region
  @name   = name
  case option
  when "kernel", "user", "OutOfDomain"
    # OK
    @option = option
  else
    cdl_error("HRPPlugin: '$1' is unacceptable domain kind, specify 'kernel' or 'user'", option)
    @option = "kernel" # とりあえず kernel を設定しておく
  end
end

Class Method Details

.add_inter_domain_join_set(join) ⇒ Object

=>{domain_root=>count } Hash of inter domain join



277
278
279
280
281
282
283
284
285
286
 
# File 'lib/tecsgen/plugin/HRPPlugin.rb', line 277

def self.add_inter_domain_join_set(join)
  rhs_cell = join.get_cell
  dbgPrint "--------- add_inter_domain:#{join.get_owner.get_namespace_path} => #{join.get_cell.get_namespace_path}-----\n"
  domain_root = join.get_owner.get_region.get_domain_root # lhs cell's domain root
  if @@inter_domain_join_set[rhs_cell].nil?
    @@inter_domain_join_set[rhs_cell] = []
  end
  # 左辺のドメインルートを記録
  @@inter_domain_join_set[rhs_cell] << join
end

.gen_post_code(file) ⇒ Object 



141
142
 
# File 'lib/tecsgen/plugin/HRPPlugin.rb', line 141

def self.gen_post_code(file)
end

.get_inter_domain_join_roots(rhs_cell) ⇒ Object 



297
298
299
300
301
302
303
304
305
306
307
308
 
# File 'lib/tecsgen/plugin/HRPPlugin.rb', line 297

def self.get_inter_domain_join_roots(rhs_cell)
  dbgPrint "--------- get_inter_domain #{rhs_cell.get_namespace_path} -----\n"
  domain_roots = []
  set = get_inter_domain_join_set rhs_cell
  set.each{|join|
    dbgPrint "--------- get_inter_domain:#{join.get_owner.get_namespace_path} => #{join.get_cell.get_namespace_path}-----\n"
    # if join.get_owner.get_region.get_domain_root.get_domain_type.get_option == "user" then
      domain_roots << join.get_owner.get_region.get_domain_root
    # end
  }
  return domain_roots.uniq
end

.get_inter_domain_join_set(rhs_cell) ⇒ Object 



288
289
290
291
292
293
294
295
 
# File 'lib/tecsgen/plugin/HRPPlugin.rb', line 288

def self.get_inter_domain_join_set(rhs_cell)
  if @@inter_domain_join_set[rhs_cell]
    @@inter_domain_join_set[rhs_cell].uniq!
  else
    @@inter_domain_join_set[rhs_cell] = []
  end
  return @@inter_domain_join_set[rhs_cell]
end

.get_sac_str(cell) ⇒ Object 



310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
 
# File 'lib/tecsgen/plugin/HRPPlugin.rb', line 310

def self.get_sac_str(cell)
  domain_roots = self.get_inter_domain_join_roots cell
  delim = ""
  acv = ""
  cell_domain_root = cell.get_region.get_domain_root
  if cell_domain_root.get_domain_type.get_kind != :OutOfDomain
    domain_roots << cell.get_region.get_domain_root # 結合先のドメインも含める
  end
  domain_roots.each{|dr|
    case dr.get_domain_type.get_kind
    when :kernel
      acv += "#{delim}TACP_KERNEL"
      delim = "|"
    when :user
      acv += "#{delim}TACP(#{dr.get_name})"
      delim = "|"
      if cell_domain_root.get_domain_type.get_kind != :OutOfDomain &&
         dr.get_namespace_path != cell_domain_root.get_namespace_path
        cdl_error("HRP9999 '$1': kernel object joined from other user domain. kernel object joined from multi-user-domain must be placed out of domain", cell.get_name)
      end
    when :OutOfDomain
      if cell_domain_root.get_domain_type.get_kind == :OutOfDomain
        acv += "#{delim}TACP_SHARED"
        delim = "|"
      end
    else
      raise "unkown domain kind"
    end
  }
  if acv == ""
    # 呼び先セルが無所属かつ、呼び元も無所属のみ、または結合無しの場合
    acv = "TACP_SHARED"
  end
  sac_str = "{"
  delim = ""
  [:accessPattern1, :accessPattern2, :accessPattern3, :accessPattern4].each{|acp|
    init = (cell.get_attr_initializer acp).to_s
    if init != "OMIT"
      sac_str += delim + init
    else
      sac_str += delim + acv
    end
    delim = ", "
  }
  return sac_str + "}"
end

Instance Method Details

#add_through_plugin(join, current_region, next_region, through_type) ⇒ Object 



61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
 
# File 'lib/tecsgen/plugin/HRPPlugin.rb', line 61

def add_through_plugin(join, current_region, next_region, through_type)
  # join.get_owner:Cell  左辺のセル
  # join.get_definition:Port 呼び口
  # join.get_subscript:Integer or nil 呼び口配列の添数 (Join::@subscript の説明参照)
  # join.get_cell:Cell 右辺のセル
  # join.get_port_name:Symbol 受け口
  # get_rhs_subscript:Integer or nil 受け口配列の添数 (Join::@rhs_subscript の説明参照)
  # return []
  dbgPrint "MyDomainPlugin: add_through_plugin: #{current_region.get_name}=>#{next_region.get_name}, #{join.get_owner.get_name}.#{join.get_definition.get_name}=>#{join.get_cell.get_name}.#{join.get_port_name}, #{through_type}\n"

  # puts "=====Join Check Start====="
  # puts "caller: #{join.get_owner.get_name.to_s}, callee: #{join.get_cell.get_name.to_s}"
  # puts "=====Join Check param====="
  current_domain = current_region.get_domain_root.get_domain_type
  next_domain = next_region.get_domain_root.get_domain_type
  # puts current_domain.get_option.to_s
  # if !next_domain.nil?
  #     puts next_domain.get_option.to_s
  # else
  #     puts "next domain is nil!"
  # end

  HRPPlugin.add_inter_domain_join_set join
  # p join.get_cell.get_name
  # p join.get_cell.get_real_celltype(join.get_rhs_port1).get_name
  # if HRPKernelObjectManager.include_celltype?(join.get_cell.get_celltype.get_global_name)   #oyama: get_name => get_global_name
  if HRPKernelObjectManager.include_celltype?(join.
                                               get_cell.
                                               get_real_celltype(join.get_rhs_port1).
                                               get_global_name) # oyama: get_name => get_global_name
      # 結合先がカーネルオブジェクトセル
      # @plugin_body = HRP2SVCPlugin.new(cell_name, plugin_arg, next_cell, next_cell_port_name, signature, celltype, caller_cell)
      # 何もしないthrough
      # puts "***** #{join.get_cell.get_celltype.get_name} is kernel object"
    return []
      # return [ :HRP2SVCPlugin, "channelCelltype=tMessagebufferChannel,noClientSemaphore=true" ]
  # elsif @end_region.is_root?
  # elsif next_region.get_option == OutOfDomain
  # elsif next_domain.nil?
  elsif next_domain.get_option.to_s == "OutOfDomain"
  #     # 結合先が無所属
  #     # 何もしないthrough
  #     # @plugin_body = HRP2SVCPlugin.new(cell_name, plugin_arg, next_cell, next_cell_port_name, signature, celltype, caller_cell)
      # puts "***** nil"
    return []
  # elsif @start_region.get_param != :KERNEL_DOMAIN && @end_region.get_param == :KERNEL_DOMAIN
  elsif current_domain.get_option.to_s != "kernel" && next_domain.get_option.to_s == "kernel"
      # ユーザドメインからカーネルドメインへの結合
      # @plugin_body = HRP2SVCPlugin.new(cell_name, plugin_arg, next_cell, next_cell_port_name, signature, celltype, caller_cell)
      # puts "***** svc"
    return [:HRPSVCPlugin, ""]
  elsif current_domain != next_domain
      # 別のユーザドメインへの結合
      # @plugin_body = HRP2RPCPlugin.new(cell_name, plugin_arg, next_cell, next_cell_port_name, signature, celltype, caller_cell)
      # puts "***** rpc"
      # return [ :HRPRPCPlugin, "channelCelltype=tMessagebufferChannel,noClientSemaphore=true" ]
      # puts "HRPPlugin:RPC:PPAllocatorSize=256"
    return [:HRPRPCPlugin, "noClientSemaphore=false,PPAllocatorSize=256"]
  else
      # その他
      # 何もしないthrough
      # @plugin_body = HRP2SVCPlugin.new(cell_name, plugin_arg, next_cell, next_cell_port_name, signature, celltype, caller_cell)
    dbgPrint "warning: at HRP Join Check"
      return nil
  end

  # puts "=====Join Check End====="
end

#gen_factory ⇒ Object

ATT_MODの生成

gen_factory実行時には，すべてのセルタイププラグインを生成済みのはずなので，
カーネルAPIコードのメモリ保護を省略できる．



153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
 
# File 'lib/tecsgen/plugin/HRPPlugin.rb', line 153

def gen_factory
  super

  if @@include_extsvc_fncd == false
    file = AppFile.open("#{$gen}/tecsgen.cfg")
    file.print "/* HRPPlugin 001 */\n"
    file.print "#include \"extsvc_fncode.h\"\n" ## 2017.7.26
    file.close
    @@include_extsvc_fncd = true
  end

  if @@generate_memory_module == false

    # INCLUDE を出力
    #  すべてのドメインに対する cfg を先に生成しておく
    #  もし、ドメインに属するカーネルオブジェクトも、モジュールもない場合でも、cfg が出力される
    regions = DomainType.get_domain_regions[:HRP]
    file = AppFile.open("#{$gen}/tecsgen.cfg")
    file.print "/* HRPPlugin 002 */\n"
    regions.each{|region|
      if !region.is_root?
        nsp = region.get_global_name.to_s
        file2 = AppFile.open("#{$gen}/tecsgen_#{nsp}.cfg")
        file2.close
        case region.get_domain_type.get_kind
        when :kernel
          pre = "KERNEL_DOMAIN{\n    "
          post = "}\n"
        when :user
          pre = "DOMAIN(#{region.get_name}){\n    "
          post = "}\n"
        when :OutOfDomain
          pre = ""
          post = "\n"
        end
        file.puts "#{pre}INCLUDE(\"#{$gen}/tecsgen_#{nsp}.cfg\");\n#{post}"
      end
    }
    file.print "/* HRPPlugin 002 end */\n\n"
    file.close

    check_celltype_list = []

    #
    #  ATT_MODの生成
    #
    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のコード，データはメモリ保護しない # HRP3 oyama delete by Takada's request
        # next if HRPKernelObjectManager.include_celltype?( ct.get_name )

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

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

        # セル管理ブロックとスケルトンのメモリ保護
        # gen_celltype_names_domain 相当の処理
        if regions_hrp.include?(Region.get_root) == false && regions_hrp.length > 1
          # ドメインが複数で，OutOfDomainにセルが存在しないセルタイプの場合
          # 共有のセル管理ブロックとスケルトンコードを登録する
          file = AppFile.open("#{$gen}/tecsgen.cfg")
          file.printf "%-60s/* HRPPlugin 003 */\n", "ATT_MOD(\"#{ct.get_global_name}_tecsgen.o\");"
          file.close
        end

        regions_hrp.each {|reg|
          if reg.is_root?
            nsp = ""
          else
            nsp = "_#{reg.get_global_name}"
          end
          file = AppFile.open("#{$gen}/tecsgen#{nsp}.cfg")
          file.printf "%-50s/* HRPPlugin 004 */\n", "ATT_MOD(\"#{ct.get_global_name}#{nsp}_tecsgen.o\");"
          file.close
        }

        # セルタイプコードがない場合はスキップ
        next if ct.is_all_entry_inline? && !ct.is_active?

        # セルタイプコードのメモリ保護
        # gen_celltype_names_domain2 相当の処理
        if regions_hrp.include?(Region.get_root) == true || regions_hrp.length > 1
          # OutOfDomainにセルが存在するセルタイプの場合
          # または，複数のドメインにセルが存在するセルタイプの場合
          # セルタイプコードを共有するように登録する
          file = AppFile.open("#{$gen}/tecsgen.cfg")
        else
          # OutOfDomainでない単一のドメインにセルが存在するセルタイプの場合
          # セルタイプコードを専有するように登録する
          file = AppFile.open("#{$gen}/tecsgen_#{regions_hrp[0].get_global_name}.cfg")
        end

        file.printf "%-50s/* HRPPlugin 005 */\n", "ATT_MOD(\"#{ct.get_global_name}.o\");"
        file.close
      else
        # 何もしない
      end
    }

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

#get_kind ⇒ Object

ドメイン種別を返す

return::Symbol :kernel, :user, :OutOfDomain



137
138
139
 
# File 'lib/tecsgen/plugin/HRPPlugin.rb', line 137

def get_kind
  return @option.to_sym
end

#joinable?(current_region, next_region, through_type) ⇒ Boolean

Returns:

  • (Boolean) 


130
131
132
133
 
# File 'lib/tecsgen/plugin/HRPPlugin.rb', line 130

def joinable?(current_region, next_region, through_type)
  dbgPrint "MyDomainPlugin: joinable? from #{current_region.get_name} to #{next_region.get_name} (#{through_type})\n"
  return true
end