Return to search

Verifying Permutation Rewritable Hazard Free Loops

<p>We present an extension to the language of Atomic Verifiable Operation (AVOp) streams to allow the expression of loops which are rewritable via an arbitrary permutation. Inspired by (and significantly extending) hardware register rotation to data buffers in multi-core programs, we hope to achieve similar performance benefits in expressing software pipelined programs across many cores. By adding loops to AVOp streams, we achieve significant stream compression, which eliminates an impediment to scalability of this abstraction. Furthermore, we present a fast extension to the previous AVOp verification process which ensures that no data hazards are present in the program’s patterns of communication. Our extension to the verification process is to verify loops without completely unrolling them. A proof of correctness for the verification process is presented.</p> / Master of Science (MSc)

Identiferoai:union.ndltd.org:mcmaster.ca/oai:macsphere.mcmaster.ca:11375/10755
Date10 1900
CreatorsDobrogost, Michal
ContributorsAnand, Christopher, Kahl, Wolfram, Soltys, Michael, Computer Science
Source SetsMcMaster University
Detected LanguageEnglish
Typethesis

Page generated in 0.0023 seconds