Examples with GDFLoopNode org.apache.sysml.hops.globalopt.gdfgraph.GDFLoopNode used on opensource projects

Example 1 with GDFLoopNode

use of org.apache.sysml.hops.globalopt.gdfgraph.GDFLoopNode in project incubator-systemml by apache.

the class GDFEnumOptimizer method enumNodePlans.

private static PlanSet enumNodePlans(GDFNode node, MemoStructure memo, double maxCosts) throws DMLRuntimeException {
    ArrayList<Plan> plans = new ArrayList<Plan>();
    ExecType CLUSTER = OptimizerUtils.isSparkExecutionMode() ? ExecType.SPARK : ExecType.MR;
    // CASE 1: core hop enumeration (other than persistent/transient read/write) 
    if (node.getNodeType() == NodeType.HOP_NODE && !(node.getHop() instanceof DataOp)) {
        //core rewrite enumeration for cp and mr
        enumHopNodePlans(node, plans);
    } else //CASE 2: dataop hop enumeration 
    if (node.getHop() instanceof DataOp) {
        DataOp dhop = (DataOp) node.getHop();
        if (dhop.getDataOpType() == DataOpTypes.PERSISTENTREAD) {
            //for persistent read the interesting properties are fixed by the input
            //but we can decide on output properties
            ExecType et = (dhop.getMemEstimate() > OptimizerUtils.getLocalMemBudget() || HopRewriteUtils.alwaysRequiresReblock(dhop)) ? CLUSTER : ExecType.CP;
            int[] blocksizes = (et == CLUSTER) ? BLOCK_SIZES : new int[] { BLOCK_SIZES[0] };
            for (Integer bs : blocksizes) {
                RewriteConfig rcmr = new RewriteConfig(et, bs, FileFormatTypes.BINARY);
                InterestingProperties ipsmr = rcmr.deriveInterestingProperties();
                Plan mrplan = new Plan(node, ipsmr, rcmr, null);
                plans.add(mrplan);
            }
        } else if (dhop.getDataOpType() == DataOpTypes.PERSISTENTWRITE) {
            //for persistent write the interesting properties are fixed by the given
            //write specification
            ExecType et = (dhop.getMemEstimate() > OptimizerUtils.getLocalMemBudget()) ? CLUSTER : ExecType.CP;
            RewriteConfig rcmr = new RewriteConfig(et, (int) dhop.getRowsInBlock(), dhop.getInputFormatType());
            InterestingProperties ipsmr = rcmr.deriveInterestingProperties();
            Plan mrplan = new Plan(node, ipsmr, rcmr, null);
            plans.add(mrplan);
        } else if (dhop.getDataOpType() == DataOpTypes.TRANSIENTREAD || dhop.getDataOpType() == DataOpTypes.TRANSIENTWRITE) {
            //note: full enumeration for transient read and write; otherwise the properties
            //of these hops are never set because pass-through plans refer to different hops
            enumHopNodePlans(node, plans);
        }
    } else //ENUMERATE LOOP PLANS
    if (node.getNodeType() == NodeType.LOOP_NODE) {
        //TODO consistency checks inputs and outputs (updated vars)
        GDFLoopNode lnode = (GDFLoopNode) node;
        //no additional pruning (validity, optimality) required
        for (GDFNode in : lnode.getLoopInputs().values()) enumOpt(in, memo, maxCosts);
        //step 1: enumerate loop plan, incl partitioning/checkpoints/reblock for inputs
        RewriteConfig rc = new RewriteConfig(ExecType.CP, -1, null);
        InterestingProperties ips = rc.deriveInterestingProperties();
        Plan lplan = new Plan(node, ips, rc, null);
        plans.add(lplan);
        //(predicate might be null if single variable)
        if (lnode.getLoopPredicate() != null)
            enumOpt(lnode.getLoopPredicate(), memo, maxCosts);
        //step 3: recursive call optimize on outputs
        //(return union of all output plans, later selected by output var)
        PlanSet Pout = new PlanSet();
        for (GDFNode out : lnode.getLoopOutputs().values()) Pout = Pout.union(enumOpt(out, memo, maxCosts));
        plans.addAll(Pout.getPlans());
    //note: global pruning later done when returning to enumOpt
    //for the entire loop node			
    } else //CREATE DUMMY CROSSBLOCK PLAN
    if (node.getNodeType() == NodeType.CROSS_BLOCK_NODE) {
    //do nothing (leads to pass-through on crossProductChild)
    }
    return new PlanSet(plans);
}

Example 2 with GDFLoopNode

use of org.apache.sysml.hops.globalopt.gdfgraph.GDFLoopNode in project incubator-systemml by apache.

the class GDFEnumOptimizer method enumOpt.

/**
	 * Core dynamic programming enumeration algorithm
	 * for global data flow optimization.
	 * 
	 * @param node the GDF node
	 * @param memo the memo structure
	 * @param maxCosts max costs
	 * @return the plan set
	 * @throws DMLRuntimeException if DMLRuntimeException occurs
	 */
public static PlanSet enumOpt(GDFNode node, MemoStructure memo, double maxCosts) throws DMLRuntimeException {
    //memoization of already enumerated subgraphs
    if (memo.constainsEntry(node))
        return memo.getEntry(node);
    //enumerate node plans
    PlanSet P = enumNodePlans(node, memo, maxCosts);
    //combine local node plan with optimal child plans
    for (GDFNode c : node.getInputs()) {
        //recursive optimization
        PlanSet Pc = enumOpt(c, memo, maxCosts);
        if (c instanceof GDFLoopNode)
            Pc = Pc.selectChild(node);
        //combine parent-child plans
        P = P.crossProductChild(Pc);
        _enumeratedPlans += P.size();
        //prune invalid plans
        pruneInvalidPlans(P);
    }
    //prune suboptimal plans
    pruneSuboptimalPlans(P, maxCosts);
    //memoization of created entries
    memo.putEntry(node, P);
    return P;
}

Example 3 with GDFLoopNode

use of org.apache.sysml.hops.globalopt.gdfgraph.GDFLoopNode in project incubator-systemml by apache.

the class Explain method explainGDFNode.

//////////////
// internal explain GDFNODE
/**
	 * Do a post-order traverse through the GDFNode DAG and explain each GDFNode.
	 * Note: nodes referring to literalops are suppressed.
	 * 
	 * @param gnode GDF node
	 * @param level offset
	 * @param memo memoization table
	 * @return string explanation
	 * @throws DMLRuntimeException if DMLRuntimeException occurs
	 */
private static String explainGDFNode(GDFNode gnode, int level, HashSet<Long> memo) throws DMLRuntimeException {
    //basic memoization via memo table since gnode has no visit status
    if (memo.contains(gnode.getID()) || gnode.getNodeType() == NodeType.HOP_NODE && gnode.getHop() instanceof LiteralOp) {
        return "";
    }
    StringBuilder sb = new StringBuilder();
    String offset = createOffset(level);
    for (GDFNode input : gnode.getInputs()) sb.append(explainGDFNode(input, level, memo));
    //indentation
    sb.append(offset);
    //hop id
    String deps = null;
    if (SHOW_DATA_DEPENDENCIES) {
        sb.append("(" + gnode.getID() + ") ");
        StringBuilder childs = new StringBuilder();
        childs.append(" (");
        boolean childAdded = false;
        for (GDFNode input : gnode.getInputs()) {
            childs.append(childAdded ? "," : "");
            childs.append(input.getID());
            childAdded = true;
        }
        childs.append(")");
        if (childAdded)
            deps = childs.toString();
    }
    //operation string
    if (//LOOP NODES
    gnode instanceof GDFLoopNode) {
        GDFLoopNode lgnode = (GDFLoopNode) gnode;
        String offset2 = createOffset(level + 1);
        //loop header
        sb.append(lgnode.explain(deps) + "\n");
        sb.append(offset2 + "PRED:\n");
        sb.append(explainGDFNode(lgnode.getLoopPredicate(), level + 2, memo));
        sb.append(offset2 + "BODY:\n");
        //note: memo table and already done child explain prevents redundancy
        for (Entry<String, GDFNode> root : lgnode.getLoopOutputs().entrySet()) {
            sb.append(explainGDFNode(root.getValue(), level + 2, memo));
        }
    } else //GENERAL CASE (BASIC/CROSSBLOCK NODES)
    {
        sb.append(gnode.explain(deps));
        sb.append('\n');
    }
    /*
		//matrix characteristics
		sb.append(" [" + hop.getDim1() + "," 
		               + hop.getDim2() + "," 
				       + hop.getRowsInBlock() + "," 
		               + hop.getColsInBlock() + "," 
				       + hop.getNnz() + "]");
		
		//memory estimates
		sb.append(" [" + showMem(hop.getInputMemEstimate(), false) + "," 
		               + showMem(hop.getIntermediateMemEstimate(), false) + "," 
				       + showMem(hop.getOutputMemEstimate(), false) + " -> " 
		               + showMem(hop.getMemEstimate(), true) + "]");
		
		//exec type
		if (hop.getExecType() != null)
			sb.append(", " + hop.getExecType());
		*/
    //memoization
    memo.add(gnode.getID());
    return sb.toString();
}