4376
24
5239
4
68690
document
5239
INVE_MEM_2008_60116.pdf
application/pdf
430160
20140922 10:15:20
https://oa.upm.es/4376/1/INVE_MEM_2008_60116.pdf
4376
1
application/pdf
application/pdf
en
public
INVE_MEM_2008_60116.pdf
archive
1903
disk0/00/00/43/76
20100929 11:34:33
20160420 13:38:02
20100929 11:34:33
conference_item
show
0

MéndezLojo
Mario

Lhoták
Ondrej

Hermenegildo
Manuel V.
Efficient Set Sharing Using ZBDDs
Springer
byncnd
pub
 telecomunicaciones
 informatica
public
paper
Set sharing is an abstract domain in which each concrete object is represented by the set of local variables from which it might be reachable. It is a useful abstraction to detect parallelism opportunities, since it contains definite information about which variables do not share in memory, i.e., about when the memory regions reachable from those variables are disjoint. Set sharing is a more precise alternative to pair sharing, in which each domain element is a set of all pairs of local variables from which a common object may be reachable. However, the exponential complexity of some set sharing operations has limited its wider application. This work introduces an efficient implementation of the set sharing domain using Zerosuppressed Binary Decision Diagrams (ZBDDs). Because ZBDDs were designed to represent sets of combinations (i.e., sets of sets), they naturally represent elements of the set sharing domain. We show how to synthesize the operations needed in the set sharing transfer functions from basic ZBDD operations. For some of the operations, we devise custom ZBDD algorithms that perform better in practice. We also compare our implementation of the abstract domain with an efficient, compact, bit setbased alternative, and show that the ZBDD version scales better in terms of both memory usage and running time.
published
2008
Berlin, Alemania
21th international workshop, Languages and compilers for parallel computing, LCPC 2008
Edmonton, Alberta, Canadá
31/07/200802/08/2008
conference
10.1007/9783540897408_4
Informatica
Inteligencia_Artificial
TRUE
9783540897392
Proceedings of 21th international workshop, Languages and compilers for parallel computing, LCPC 2008
http://www.cs.ualberta.ca/lcpc08/