|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Petri-nets as an Intermediate Representation for Heterogeneous Architectures
If you have a question about this talk, please contact Dominic Orchard.
Modern computer systems are not only increasingly parallel, but also heterogeneous. Common examples include CPU -GPU combinations and IBM ’s Cell architecture. Placement, scheduling and indeed algorithm choices affect the overall execution time and, for portable programs, must adapt to the target machine at either load-time or run-time. We see these choices as preserving I/O determinism but exposing performance non-determinism.
We use Petri-nets as an intermediate representation for programs to give a unified view of performance non-determinism, including how to construct such nets given a model of a heterogeneous architecture. This includes some scenarios which other models cannot support.
Heuristics for finding optimal executions in these nets would not only solve the placement problem, but also programming model specific questions such as “which task should be given a lock first”.
This talk will be slightly less formal than normal, with more chance for discussion.
This talk is part of the Computer Laboratory Programming Research Group Seminar series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsCambridge Society for the Application of Research (CSAR) Logic and Semantics for Dummies God or multiverse?
Other talks“Of Lambs and Hedgehogs” Real-world Challenges In Electronic Systems: Pulling Through Innovation And Making Things Work Noiseless Vlasov-Poisson simulations with linearly transformed particles Quantitative Analysis of Transcriptomes and Proteomes in Proliferating and Quiescent Cells How do T cells read antigen affinity? Implications for tolerance and autoimmunity The influence of the Amundsen-Bellingshausen Seas Low on the climate of West Antarctica and its representation in coupled climate model simulations