You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Nikos Gorogiannis 45ada8703e [starvation] allow aliasing of parameters across threads ... Summary: Introduce a new notion of equality for comparing abstract addresses in distinct threads: ``` (** Abstract address for a lock. There are two notions of equality: - Equality for comparing two addresses within the same thread/process/trace. Under this, identical globals and identical class objects compare equal. Locks represented by access paths rooted at method parameters must have equal access paths to compare equal. Paths rooted at locals are ignored. - Equality for comparing two addresses in two distinct threads/traces. Globals and class objects are compared in the same way, but locks represented by access paths rooted at parameters need only have equal access lists (ie [x.f.g == y.f.g]). This allows demonically aliasing parameters in *distinct* threads. This relation is used in [may_deadlock]. *) ``` Reviewed By: skcho Differential Revision: D19347307 fbshipit-source-id: 9f338731b		5 years ago
..
Dedup.java	[starvation] make deduplication depend on filtering config var	5 years ago
Interproc.java	[starvation] allow aliasing of parameters across threads	5 years ago
Intraproc.java	[starvation] allow aliasing of parameters across threads	5 years ago
Makefile	[starvation] make deduplication depend on filtering config var	5 years ago
issues.exp	[starvation] allow aliasing of parameters across threads	5 years ago