Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Correct Compilation of Relaxed Memory Concurrency
Speaker:Soham Chakraborty
coming from:Max Planck Institute for Software Systems
Speakers Bio:
Event Type:SWS Student Defense Talks - Thesis Proposal
Visibility:SWS
We use this to send out email in the morning.
Level:Public Audience
Language:English
Date, Time and Location
Date:Thursday, 16 November 2017
Time:14:00
Duration:60 Minutes
Location:Kaiserslautern
Building:G26
Room:111
Abstract
Compilation of shared memory concurrent programs faces
many challenges in the presence of relaxed memory models.
On the one hand, relaxed memory models enable multiple
transformations on shared memory accesses and fences.
On the other hand, not all transformations which are correct
for sequential programs are correct in the concurrent setting.
Thus, compiler writers have to perform careful analysis to
determine which transformations are correct.

In my thesis, I explore the correctness of the multiple steps
during the compilation of concurrent C/C++ programs (termed
C11). First, I consider the correctness of C11 source to source
transformations. Next, I study the compilation of C11 programs
by LLVM, a state-of-the-art optimizing compiler. LLVM performs
a number of optimizing transformations before generating the
target code for architectures such as X86 and PowerPC. To
perform these transformations, LLVM follows an informal
refinement of C11 concurrency semantics. I formalize the
LLVM concurrency semantics and study at the abstract level
the correctness of various LLVM transformations. Finally,
I develop a validator to check if LLVM optimizations are
indeed performing only transformations that are correct
according to the LLVM and/or the C11 model.
Contact
Name(s):
Video Broadcast
Video Broadcast:YesTo Location:Saarbr├╝cken
To Building:E1 5To Room:029
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
Created by:Maria-Louise Albrecht/MPI-KLSB, 11/02/2017 03:37 PMLast modified by:Maria-Louise Albrecht/MPI-KLSB, 11/02/2017 03:42 PM
  • Maria-Louise Albrecht, 11/02/2017 03:42 PM -- Created document.