Current Topics on Multicore Semantics

Organizer:	Prof. Dr. Heiko Mantel
Form:	Block seminar on 14. and 17.2.2014; one paper, one talk, and one report (with guidance)
Registration:	via TUCaN, or Miriam Rifai-Schön (S2|02 E318)
Literature:	will be announced during the preparation meeting
Preparation Meeting:	Wednesday 16.10.2013 16:00 at S2|02 A313

Content

Accesses to shared memory on modern computers often may cause unexpected effects. Threads running on a multi-core processor may, for instance, perceive different content in shared memory at the same point in time. On conventional parallel computers, it is at least possible to combine the different views of threads to a conceptional view that is consistent (sequential consistency). The guarantees that hold for modern multi-core processors are weaker than sequential consistency. So called weak memory models capture such weaker guarantees. In the seminar, multiple weak memory models shall be analyzed, be discussed and be evaluated in comparison.