BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Petri-nets as an Intermediate Representation for Heterogeneous Arc
 hitectures - Pete Calvert (Computer Lab\, Cambridge)
DTSTART:20110218T151500Z
DTEND:20110218T161500Z
UID:TALK29894@talks.cam.ac.uk
CONTACT:Dominic Orchard
DESCRIPTION:Modern computer systems are not only increasingly parallel\, b
 ut also heterogeneous. Common examples include CPU-GPU combinations and IB
 M's Cell architecture. Placement\, scheduling and indeed algorithm choices
  affect the overall execution time and\, for portable programs\, must adap
 t to the target machine at either load-time or run-time. We see these choi
 ces as preserving I/O determinism but exposing performance non-determinism
 .\n\nWe use Petri-nets as an intermediate representation for programs to g
 ive a unified view of performance non-determinism\, including how to const
 ruct such nets given a model of a heterogeneous architecture. This include
 s some scenarios which other models cannot support.\n\nHeuristics for find
 ing optimal executions in these nets would not only solve the placement pr
 oblem\, but also programming model specific questions such as "which task 
 should be given a lock first". \n\nThis talk will be slightly less formal 
 than normal\, with more chance for discussion.
LOCATION:SS03\, Computer Laboratory
END:VEVENT
END:VCALENDAR