Skip to main content

module demo::lang::MissGrant::ParallelMerge

rascal-0.34.0

Usage​

import demo::lang::MissGrant::ParallelMerge;

Dependencies​

import demo::lang::MissGrant::AST;
import List;

function parMerge​

public Controller parMerge(Controller ctl1, Controller ctl2) =
   controller(dup(ctl1.events + ctl2.events),
    dup(ctl1.resets + ctl2.resets),
    dup(ctl1.commands + ctl2.commands),
        mergeStates(ctl1, ctl2));

function mergeStates​

private list[State] mergeStates(Controller ctl1, Controller ctl2) {
  memo = {};
  states = [];
  env1 = stateEnv(ctl1);
  env2 = stateEnv(ctl2);
  
  str merge(State s1, State s2) {
        nn = newName(s1, s2);
      
        if (nn in memo)
          return nn;
        memo += {nn};
    
        e1 = consumes(s1);
        e2 = consumes(s2);
        both = e1 & e2;
      
        trs = [ transition(e, merge(env1[u1], env2[u2])) | e <- both, 
                      transition(e, u1) <- s1.transitions, 
                      transition(e, u2) <- s2.transitions ]
            + [ transition(e, merge(env1[u1], s2)) | e <- e1 - both, 
                      transition(e, u1) <- s1.transitions ] 
            + [ transition(e, merge(s1, env2[u2])) | e <- e2 - both, 
                      transition(e, u2) <- s2.transitions ];
    
        states += [state(nn, dup(s1.actions + s2.actions), trs)];
        return nn;
  }
  
  merge(initial(ctl1), initial(ctl2));
  
  return states;
}

function newName​

private str newName(State s1, State s2) = "<s1.name>$<s2.name>";