University of Cambridge > Talks.cam > Wolfson College Lunchtime Seminar Series - Wednesdays of Full Term > Understanding Multiprocessors: Science, Craft, Engineering, or Mathematics?

Understanding Multiprocessors: Science, Craft, Engineering, or Mathematics?

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Dr Andreas Bulling.

Computer systems are undergoing a shift: for many decades they became faster every year, while now they become more concurrent, with multiple processors in everything from smartphones to web servers. These have very subtle behaviour, for which one cannot simply reason in terms of a global-time causality order. For the last few years my colleagues and I have been trying to understanding how multiprocessors behave (and how they should behave), with an interesting mixture of experiment, discussions with IBM and ARM architects, mathematical modelling, and proof. I’ll give a general introduction to some of the phenomena that underlie the systems we use every day, and talk about how a judicious combination of those four approaches can help.

This talk is part of the Wolfson College Lunchtime Seminar Series - Wednesdays of Full Term series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2021 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity