ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Wed 8 Jul 2015 14:30 - 15:00 at Bohemia - Implementation Chair(s): Christian Hammer

Exceptions in OO languages provide a convenient mechanism to deal with anomalous situations. However, many of the loop optimization techniques cannot be applied in the presence of conditional ‘throw’ statements in the body of the loop, owing to possible cross iteration control dependences. Compilers either ignore such throw statements and apply traditional loop optimizations (semantic non-preserving), or conservatively avoid invoking any of these optimizations altogether (inefficient). In this paper, we present a generalized scheme to do exception- safe loop optimizations and present a scheme of optimized exception-safe loop tiling (oESLT), as a specialization thereof. oESLT tiles the input loops, assuming that exceptions will never be thrown. To ensure the semantics preservation (in case an exception is thrown), oESLT generates code to rollback the updates done in the ad- vanced iterations (iterations that the unoptimized code would not have executed, but executed speculatively by the oESLT generated code) and safely-execute the delayed iterations (ones that the unoptimized code would have executed, but not executed by the code generated by oESLT). For the rollback phase to work efficiently, oESLT identifies a minimal number of elements to backup and generates the necessary code. We implement oESLT, along with a naive scheme (nESLT, where we backup every element and do a full rollback and safe-execution in case an exception is thrown), in the Graphite framework of GCC 4.8. To help in this process, we define a new program region called ESCoPs (Extended Static Control Parts) that helps identify loops with multiple exit points and interface with the underlying polyhedral representation. We use the popular PolyBench suite to present a comparative evaluation of nESLT and oESLT against the unoptimized versions.

Wed 8 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00
ImplementationResearch Track at Bohemia
Chair(s): Christian Hammer Saarland University
13:30
30m
Talk
Concrete Types for TypeScript
Research Track
Gregor Richards University of Waterloo, Francesco Zappa Nardelli Inria, Jan Vitek Northeastern University
14:00
30m
Talk
Simple and Effective Type Check Removal through Lazy Basic Block Versioning
Research Track
14:30
30m
Talk
Loop tiling in the presence of exceptions
Research Track
Abhilash Bhandari IIT Madras, V Krishna Nandivada IIT Madras