Write a Blog >>
CC 2017
Sun 5 - Mon 6 February 2017 Austin, Texas, United States
Mon 6 Feb 2017 10:20 - 10:48 at 404 - Program Analysis Chair(s): Jose Nelson Amaral

<p>There are many applications of program (or heap) partitioning, such as computation offloading, region-based memory management, and OS-driven memory locality optimizations. Although these applications are conceptually different, fundamentally, they must generate code such that objects in the heap (and hence the code that operates on those objects) get partitioned depending on how those objects are used. Regardless of the intended application goal, the granularity at which the heap is partitioned is the key factor in partition quality, and hence it needs to be carefully chosen.</p> <p>Previous work suggested two main granularities: class-based and allocation site–based, where objects from the same class (or those allocated at the same allocation site) are co-located. Both approaches share a critical drawback: data structures that are used in different ways can share the same class, or the same allocation sites for internal objects, and hence are forced to be co-located despite their different usage patterns.</p> <p>We introduce the notion of <em>data structure–aware </em>partitioning to allow different data structures to be placed in different partitions, even by existing tools and analyses that inherently operate in a class-based or allocation site–based manner. Our strategy consists of an analysis that infers <i>ownership</i> properties between objects to identify data structures, and a code generation phase that encodes this ownership information into objects' data types and allocation sites without changing the semantics of the code.</p> <p>We evaluate the quality of data structure–aware partitions by comparing it to the state-of-the-art allocation site–based partitioning on a subset of the DaCapo Benchmarks. Across a set of randomized trials, we had a median range of 5% to 25% reduction of cross-partition accesses, and, depending on partitioning decisions, up to a 95% reduction.</p>

Mon 6 Feb
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

10:20 - 11:45: Research Papers - Program Analysis at 404
Chair(s): Jose Nelson AmaralUniversity of Alberta
CC-2017-papers10:20 - 10:48
Nouraldin JaberPurdue University, USA, Milind KulkarniPurdue University
CC-2017-papers10:48 - 11:16
Lian LiInstitute of Computing Technology at Chinese Academy of Sciences, China, Yi LuOracle, Jingling XueUNSW Australia
CC-2017-papers11:16 - 11:45
Alessandro Di FedericoPolitecnico di Milano, Italy, Mathias PayerPurdue University, Giovanni AgostaPolitecnico di Milano, Italy