imop.lib.transform.simplify

Class RedundantSynchronizationRemoval

java.lang.Object

imop.lib.transform.simplify.RedundantSynchronizationRemoval

public class RedundantSynchronizationRemoval
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
RedundantSynchronizationRemoval()

Method Summary

Modifier and Type	Method and Description
static void	removeBarriers(Node root) This method removes redundant barriers from the root.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RedundantSynchronizationRemoval

public RedundantSynchronizationRemoval()

Method Detail

removeBarriers

public static void removeBarriers(Node root)

This method removes redundant barriers from the root. A barrier b is redundant, if there exists no pair of phases, (p1, p2), and a shared variable s, such that p1 ends at b, p2 starts at b, and there exists an anti-, true- or output- dependence on s between p1 and p2.

Parameters:

root - Root AST node under which redundant barriers have to be removed.