Final Work Schedule

Final Work Schedule

Final planning to be produced on monday 25/2.

Until then, we will work on:

Martin: Survey: project health, performance.

Philip: Extension wrap-up identification & elaboration.

For monday, have a list of work days prepared Homework.

Extension implementation status:

• fold (iterate-based)

  • Nikola doesn't tread IterateE with a DelayedE inside consistently, with detectSharing sometimes rewriting to a LetE. Results in cannot-compile errors. Possibly fixable by reconstructing LamE-invariant inside compileExp.

• fold2,unfoldP,mapNest (hand-coded push arrays)

  • Nikola's handling of variables doesn't allow for cross-iteration data dependencies in sequential for-loops. Possibly fixable by switching to IterateE, but would be nice to fix properly.

• sequential

  • Currently implemented as SequentialExecE in S.Exp, and manifest in compilation through the CEnv state. The compileExp case for ForE then compiles parallel or sequential loops depending on ForLoop setting and whether the loop body turns sequential. Quite possibly unsafe and open to abuse.