University of Cambridge > Talks.cam > Computer Laboratory NetOS Group Talklets > Bounding data races in space and time

Bounding data races in space and time

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

If you have a question about this talk, please contact Allison Randal.

If I read a variable twice, and the variable is not concurrently modified, then I expect to get the same value from both reads. Surprisingly enough, this isn’t true in either C++ or Java! In this talk, I’ll explain how the complicated effects of data races make this property fail, and talk about our new memory model (currently implemented for OCaml) for which this property holds.

(See https://dl.acm.org/citation.cfm?id=3192421 for the paper)

This talk is part of the Computer Laboratory NetOS Group Talklets series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

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