My course notes
Luc Maranget
Course 00
My slides (
four by page
,
animated
) and
archive of demos
, Introduction to weak memory models.
Course 01
My slides (
four by page
,
animated
) and
archive of demos
, DRF programming.
Course 02
My slides (
four by page
,
animated
) and
archive of demos
, Out of DRF programming. Mid-term
exercices
with
template archive
.
Course 03
My slides (
four by page
,
animated
) and
archive of demos
. Axiomatic memory models.
Exercises
Some exercises on POSIX threads programming,
document (with solutions)
and
archive of demos, includes code templates for exercices and solutions
. Plus
some exercises
by Francesco Zappa-Nardelli (
solutions
)
This document was translated from L
A
T
E
X by
H
E
V
E
A
.