cache analysis: comments

lib/analysis/ecb.rb

@@ -38,7 +38,7 @@ class ECBAnalysis
   # Calculates set of accessed cache blocks locally for this stream of
   # instructions. Modifications of the cache by calls are ignored.
   def ecb(instructions, cache_config)
-    cache = Cache.new(cache_config)
+    cache = Cache.new(cache_config) # Only used for address calculation
     ecb = Set.new
     instructions.each do |instr|
       tag, set, addr = cache.split_address(instr.address)

lib/analysis/wca.rb

@@ -374,9 +374,11 @@ class WCA
 
         wcet[wcet_for_obj] = [cycles, power_states.to_a]
         node.successors.select { |s| s.isr_entry? }.each { |int|
+          # find successors of isr_entries that activate tasks
           activators = topological_sort(int, GCFGLocalTrait.new).select { |n|
             n.abb.nil? ? false : n.abb.task_activation?
           }
+          # find nodes of activated tasks which are the global successors of the activation nodes
           activations = activators.map { |act|
             topological_sort(act, GCFGLocalTrait.new).map { |n| n.successors(:global) }
           }.flatten