Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications

@inproceedings{Low2005ExtractingSP,
  title={Extracting SMP parallelism for dense linear algebra algorithms from high-level specifications},
  author={Tze Meng Low and Robert A. van de Geijn and Field G. Van Zee},
  booktitle={PPOPP},
  year={2005}
}
We show how to exploit high-level information, available as part of the derivation of provably correct algorithms, so that SMP parallelism can be systematically identified. Recent research has shown that loop-based dense linear algebra algorithms can be systematically derived from the mathematical specification of the operation. Fundamental to the methodology is the determination of loop-invariants (in the sense of Dijkstra and Hoare) from which correct loops can be systematically derived. We… CONTINUE READING