University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Reasoning beyond data-race freedom

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Reasoning beyond data-race freedom

Download to your calendar using vCal

If you have a question about this talk, please contact Victor Gomes .

If I read a variable twice, and there are no concurrent writes to that variable, must both reads return the same value? Perhaps surprisingly, the memory models for C++ and Java do not ensure this, due to their weak guarantees in the presence of data races. These models give strong guarantees only for globally data race free programs: a data race on any variable can affect accesses to any other (C++), or to the same variable at other times (C++, Java).

In this talk, I’ll describe our work-in-progress to specify and implement a memory model for OCaml which gives useful guarantees about program behaviour even in the presence of data races, culminating in the “local DRF ” property: the data-race free parts of a program have sequential semantics, even if the rest of the program has races.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Wolfson Lecture Theatre, Dept. of Chemistry & Zoom Faculty of Education, 184 Hills Road CB2 8PQ Room GS1 Heart and Lung Research Institute (R.101 and 102) or Virtually via Zoom: https://sanger.zoom.us/j/94260900712?pwd=gnPhoaPGxLffXYk5t6yMy948c58aGW.1

Other talks

TBC Title TBC Group Work Group Work Title to be confirmed Beyond Hubble: Studying the Earliest Galaxies with the James Webb Space Telescope
 

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