Add model checker check before trylock

initialize the newly added element in the vector when resizing func_nodes

bug fix

remove some datarace code

fix merge issue

volatile support

fix conflict

add function calls for volatile loads and stores

Support for reading from nonatomic stores...A little slow due to all of the backtrace calls.

add a special order for volatile loads and stores

able to get a FuncNode by function id

move the 'link_insts' method to FuncNode class

change the data structure for storing last read values. The old one 'loc_thrd_read_map' may sometimes contain wrong values

add pthread_cond_broadcast

More code towards support non-atomic stores

add a data structure to store the values read by last read actions of each thread for each memory location

Add support for converting normal writes into ModelActions after the fact

name variables

function id should start with 1 rather than 0

Track whether a write was from an atomic

Make atomics actually write to memory for compatibility with normal accesses

eliminate redundancy

Towards not reporting the same datarace twice

run tabbing pass

allow the fuzzer to continue if only a few data races are detected

fix a bug about RaceRecord capacity

add asserts

ignore futex notify if no successful futex wait was performed in the same location in the first place

use the hashset and hashtable implementation from satcheck repo

fix a bug in cds_func_exit

fix a bug

Merge branch 'new_fuzzer' into branch-weiyu

commit stuff before merge

Get data race detector working...  Commented out function call code since it crashes...  I think you miss the case in which there is an exit w/o an entry because the function has an atomic that creates the model checker object...

augment hashtable with keyset

add entry atomic instructions to FuncNode

update Makefile and fix compilation error for printf.o temporarily

merge and resolve conflict

add a new data structure in execution.h, which is used by history.cc to link FuncInsts

factor out codes for FuncInst class

temporarily remove assertion for 'lock access before initialization'; to be improve in the future

add func_map_rev to map function ids to function names

Maintain list of writes

Optimize SC lookup

clean up code

get rid of nodestack

Fork handler mitigations

Fix printf compile issue

bug fix

memoize hb in writes

resolve git conflict

fix git conflict

Don't call printf

move check

add pthread_detach function

Fix bug

bug fixes

move work_list (thrd_func_list) from history.h to execution.h, and fix the memory issue for HashTable usage

tabbing plus lots of memory fixes

towards not calling system malloc

change data structures

bug fixes

revamp scheduler so we can start threads early

update Makefile

factor codes in history.* and move it to funcnode.*

change func_atomics and work_list to vectors

Get gdax to not crash

add more functions

Redo params

more fixes

bug fixes

more bug fixes

Merge branch 'new_fuzzer' of /home/git/random-fuzzer into new_fuzzer

changes

More changes

get rid of some compile errors and warnings

redo model object initialization

add a new class 'ModelHistory'

fix a bug for ATOMIC_RMWCAS

update test cases

add run time library for function entries and exits

add a separate rule for futex.o

change exit we call so we don't call into client code

fix CAS operation

fix tabbing

Merge branch 'new_fuzzer' of ssh://plrg.eecs.uci.edu:/home/git/random-fuzzer into new_fuzzer

edits

performance improvements

Merge branch 'new_fuzzer' of /home/git/random-fuzzer into new_fuzzer

prune mod order

changes

Optimizations

run tabbing pass

fixup merge a bit

Merge branch 'branch-weiyu' into new_fuzzer

merge

implement usleep and sleep system calls as no operation which returns control to model thread

rename pthead.h to mypthread.h

add source line number as a parameter to ModelAction

add a missing line