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.

Sam Blackshear 9bafbe0e1e [hil] don't move reads/writes outside of a critical section ... Summary: If you write ``` boolean readUnderLockOk() { synchronized (mLock) { return mField; } } ``` it will be turned into ``` lock() irvar0 = mField unlock() return irvar0 ``` in the bytecode. Since HIL eliminates reads/writes to temporaries, it will make the above code appear to perform a read of `mField` outside of the lock. This diff fixes the problem by forcing HIL to perform all pending reads/writes before you exit a critical section. Reviewed By: jberdine Differential Revision: D6138749 fbshipit-source-id: e8ad9a0		7 years ago
..
.inferconfig	[cleanup] rename thread-safety analysis	7 years ago
Alias.java	[cleanup] rename thread-safety analysis	7 years ago
AndroidModels.java	[cleanup] rename thread-safety analysis	7 years ago
Annotations.java	[cleanup] rename thread-safety analysis	7 years ago
Arrays.java	[cleanup] rename thread-safety analysis	7 years ago
Builders.java	[cleanup] rename thread-safety analysis	7 years ago
Constructors.java	[cleanup] rename thread-safety analysis	7 years ago
Containers.java	[cleanup] rename thread-safety analysis	7 years ago
Dispatch.java	[cleanup] rename thread-safety analysis	7 years ago
Escape.java	[cleanup] rename thread-safety analysis	7 years ago
Inference.java	[cleanup] rename thread-safety analysis	7 years ago
Locks.java	[hil] don't move reads/writes outside of a critical section	7 years ago
Makefile	[cleanup] rename thread-safety analysis	7 years ago
NotThreadSafeExample.java	[cleanup] rename thread-safety analysis	7 years ago
Ownership.java	[hil] don't move reads/writes outside of a critical section	7 years ago
RaceWithMainThread.java	[cleanup] rename thread-safety analysis	7 years ago
ReadWriteRaces.java	[cleanup] rename thread-safety analysis	7 years ago
SkippedClass.java	[cleanup] rename thread-safety analysis	7 years ago
SubFld.java	[cleanup] rename thread-safety analysis	7 years ago
SwitchEnum.java	[cleanup] rename thread-safety analysis	7 years ago
ThreadSafeExample.java	[cleanup] rename thread-safety analysis	7 years ago
ThreadSafeMethods.java	[cleanup] rename thread-safety analysis	7 years ago
issues.exp	[hil] don't move reads/writes outside of a critical section	7 years ago