Write a Blog >>
APLAS 2020
Mon 30 November - Wed 2 December 2020
Mon 30 Nov 2020 16:30 - 17:00 at online - Debugging, Profiling and Constraint Solving Chair(s): Tachio Terauchi

We present P3, a new profiler suite for parallel applications on the Java Virtual Machine. P3 specifically targets metrics related to parallelism, concurrency, and synchronization. In particular, P3 profiles the use of concurrent entities (e.g., threads, tasks, actors, futures), constructs and classes to implement synchronization (including locks, thread parking, and the synchronizers from the java.util.concurrent package), lock-free operations (such as atomic and volatile memory accesses), as well as synchronized and concurrent collections. To the best of our knowledge, our suite is the first tool detecting the use of volatile memory accesses, futures, synchronizers, and utility classes commonly used in concurrent programming. Moreover, P3 is platform-independent and incurs only moderate profiling overhead. P3 can be readily applied to popular benchmark suites and to public code repositories, facilitating new analyses in the wild. We describe the design and implementation of P3 and discuss how our tool was fundamental in the selection of workloads composing the Renaissance benchmark suite. Moreover, we use P3 to analyze the variability of different metrics for multiple iterations of the Renaissance benchmarks.

Mon 30 Nov

Displayed time zone: Osaka, Sapporo, Tokyo change

15:30 - 17:00
Debugging, Profiling and Constraint SolvingResearch Papers at online
Chair(s): Tachio Terauchi Waseda University
15:30
30m
Talk
A Counterexample-Guided Debugger for Non-Recursive Datalog
Research Papers
Van-Dang Tran National Institute of Informatics, Japan, Hiroyuki Kato National Institute of Informatics, Japan, Zhenjiang Hu Peking University
16:00
30m
Talk
A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving
Research Papers
Yu-Fang Chen Academia Sinica, Taiwan, Vojtěch Havlena Brno University of Technology, Ondřej Lengál Brno University of Technology, Andrea Turrini State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
16:30
30m
Talk
P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine (Tool Paper)
Research Papers
Andrea Rosà University of Lugano, Switzerland, Walter Binder University of Lugano, Switzerland