BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Compound Memory Models - Andrés Goens\, University of Edinburgh
DTSTART:20230512T130000Z
DTEND:20230512T140000Z
UID:TALK199690@talks.cam.ac.uk
CONTACT:Jamie Vicary
DESCRIPTION:Today’s mobile\, desktop\, and server processors are heterog
 eneous\, consisting not only of CPUs but also GPUs and other accelerators.
  Such heterogeneous processors are starting to expose a shared memory inte
 rface across these devices. Given that each of these individual devices ty
 pically support a distinct instruction set architecture and a distinct mem
 ory consistency model\, it is not clear what the memory consistency model 
 of the heterogeneous machine should be. In this talk\, we answer this ques
 tion by formalizing “compound” consistency models: we present a compos
 itional operational model describing the resulting model when devices with
  distinct consistency models are fused together. We instantiate our model 
 with the compound x86TSO/PTX model – a CPU enforcing x86TSO and a GPU en
 forcing the PTX model. A key result is that the x86TSO/PTX compound model 
 retains compiler mappings from the language-based (scoped) C memory model.
  This means that threads mapped to the x86TSO device can continue to use t
 he already proven C-to-x86TSO compiler mapping\, and the same for PTX.\n\n
 Bio: Andrés Goens received an M.Sc. degree in mathematics in 2014 from RW
 TH Aachen University\, Aachen\, Germany\, and a Ph.D. (Dr.rer.nat.) degree
  (Hons.) in computer science from TU Dresden\, Dresden\, Germany\, in 2021
 . Since 2021 he has been working as a Research Associate at the University
  of Edinburgh. Before that\, he was at the Barkhausen Institut and the Cha
 ir for Compiler Construction\, TU Dresden. His research focuses on heterog
 eneity and concurrency from the perspective of mathematical structures\, a
 s well as semantics in compilers\, programming languages and software and 
 hardware (co-)design.
LOCATION:SS03\, Computer Laboratory
END:VEVENT
END:VCALENDAR