Seminar tomorrow

[Jan Kofron]

Dear all,

Let me invite you to another seminar in this semester that will take 
place tomorrow, Tuesday, May 20, at 14:00 in S510 [1]. Andrej Pečimúth 
will talk about "A Pragmatic Approach to Replay Compilation". Please 
find the details below

[1] https://d3s.mff.cuni.cz/seminar/

Thanks, best regards!
Jan

====

A Pragmatic Approach to Replay Compilation (Rehearsal Talk)

Dynamic compilers generate code based on the information provided by the 
virtual machine (VM) running the corresponding application. Due to the 
environment's non-deterministic nature, every compilation result is 
typically unique. This is a problem when reproducibility is desired, 
such as when debugging a crash of the JIT compiler or diagnosing 
performance problems. As a solution, we present a pragmatic approach to 
replay compilation that is suitable for integration in a 
production-grade VM. Our approach is based on instrumenting the VM's 
compiler interface, allowing us to record the compiler's queries and 
their results to the VM. We serialize them and use them to replicate the 
compiler's query results in a replayed compilation. Assuming the 
compiler is deterministic, this approach systematically ensures that the 
replayed compilation result is equivalent to the recorded one. The 
dynamic compiler is invoked directly without the need to execute the 
original application. A compiler developer can replay a compilation with 
additional diagnostic options or evaluate metrics such as compilation 
speed. We developed a working prototype for GraalVM, showing that replay 
compilation can be implemented without requiring extensive compiler or 
VM changes. We are working with the GraalVM developers to integrate it 
into the open-source compiler to unlock these benefits and new use cases 
for the community.

-- 
Jan Kofron, Ph.D.
Associate Professor
Department of Distributed and Dependable Systems
Faculty of Mathematics and Physics
Charles University
Malostranske namesti 25
118 00 Praha 1, Czech Republic
Phone: +420 95155 4285
http://d3s.mff.cuni.cz/~kofron
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature.asc
Type: application/pgp-signature
Size: 236 bytes
Desc: OpenPGP digital signature
URL: <http://d3s.mff.cuni.cz/pipermail/seminar/attachments/20250519/7ea69454/attachment.sig>