Package soot.options

Class LockAllocator

java.lang.Object

soot.options.LockAllocator

@Generated(value="Saxonica v3.0",
           comments="from soot_options.xml")
public class LockAllocator
extends Object

Option parser for Lock Allocator.

Field Summary

Fields

Modifier and Type	Field	Description
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

Constructors

Constructor	Description
LockAllocator(Map<String,String> options)

Method Summary

Modifier and Type	Method	Description
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<String,String> 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