soot.options
Class LockAllocator

java.lang.Object
  soot.options.LockAllocator

public class LockAllocator
extends Object

Option parser for Lock Allocator.

Field Summary

static int	locking_scheme_coarse_grained
static int	locking_scheme_leave_original
static int	locking_scheme_medium_grained
static int	locking_scheme_single_static

Constructor Summary

LockAllocator(Map options)

Method Summary

boolean	avoid_deadlock() Perform Deadlock Avoidance -- Perform Deadlock Avoidance.
boolean	do_mhp() Perform May-Happen-in-Parallel Analysis -- Perform a May-Happen-in-Parallel analysis.
boolean	do_tlo() Perform Local Objects Analysis -- Perform a Local-Objects analysis.
boolean	enabled() Enabled -- .
int	locking_scheme() Locking Scheme -- Selects the granularity of the generated lock allocation.
boolean	open_nesting() Use Open Nesting -- Use an open nesting model.
boolean	print_debug() Print Debugging Info -- Print debugging info.
boolean	print_graph() Print Topological Graph -- Print topological graph of transactions.
boolean	print_table() Print Table -- Print table of transactions.

Methods inherited from class java.lang.Object

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

Field Detail

locking_scheme_medium_grained

public static final int locking_scheme_medium_grained

See Also:

Constant Field Values

locking_scheme_coarse_grained

public static final int locking_scheme_coarse_grained

See Also:

Constant Field Values

locking_scheme_single_static

public static final int locking_scheme_single_static

See Also:

Constant Field Values

locking_scheme_leave_original

public static final int locking_scheme_leave_original

See Also:

Constant Field Values

Constructor Detail

LockAllocator

public LockAllocator(Map options)

Method Detail

enabled

public boolean enabled()

Enabled -- .

avoid_deadlock

public boolean avoid_deadlock()

Perform Deadlock Avoidance -- Perform Deadlock Avoidance. Perform Deadlock Avoidance by enforcing a lock ordering where necessary.

open_nesting

public boolean open_nesting()

Use Open Nesting -- Use an open nesting model. Use an open nesting model, where inner transactions are allowed to commit independently of any outer transaction.

do_mhp

public boolean do_mhp()

Perform May-Happen-in-Parallel Analysis -- Perform a May-Happen-in-Parallel analysis. Perform a May-Happen-in-Parallel analysis to assist in allocating locks.

do_tlo

public boolean do_tlo()

Perform Local Objects Analysis -- Perform a Local-Objects analysis. Perform a Local-Objects analysis to assist in allocating locks.

print_graph

public boolean print_graph()

Print Topological Graph -- Print topological graph of transactions. Print a topological graph of the program's transactions in the format used by the graphviz package.

print_table

public boolean print_table()

Print Table -- Print table of transactions. Print a table of information about the program's transactions.

print_debug

public boolean print_debug()

Print Debugging Info -- Print debugging info. Print debugging info, including every statement visited.

locking_scheme

public int locking_scheme()

Locking Scheme -- Selects the granularity of the generated lock allocation. Selects the granularity of the generated lock allocation