Silence -Wreorder

Move data structures from execution.h to history.h

Merge branch 'master' into branch-weiyu

Store the set of predicate leaves in FuncNode

small edits

Revamp obj_map for just what it is used for

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

experiment with exponential decay model

remove test cases

Remove snapshot stack

Fix bug with code to get rid of main

bug fix

Bug fix to model.cc

Remove user_main_wrapper

More work towards removing main

Get rid of main

remove option

Remove mprotect snapshots

Bug fix

Using a for loop to prune writes that violate modification order is wrong

Remove unused code

Remove dead code

Tabbing

Fix NewFuzzer::selectWrite - check back edges

Switch to environmental variables

Fix compile under clang

Fix TLS

TSAN style tls destructor

assert_bug function fixes

Run tabbing pass

Remove lots of dead code

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

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

Implement both pthread_yield and c++ thread yield

bug fix

Add datarace support for atomics and calloc

bug fixe

Add pipe support

Version that finds the bug of iris

Not sure why this change prevents a segfault in iris

Avoid seg fault in the case where ensureModel is called in cds_func_entry and then a normal memory access comes before first recorded ModelAction

Bug fixing

Do not allow a thread to stash the next pending action if its last action was a SLEEP action. Fix the problem that when all the unfinished threads are sleeping (e.g. nanosleep), this execution is reported as redundant

Fix a typo

Add a collision list for FuncInsts with the same source line number

Some edits

Checking whether every write in the rf_set satisfies read modification order does not seem to cause much overhead

Add a hash function for 64-bit int to improve the performance of val_loc_map in FuncNode when running mb_rc_test

Change the implementation of sleep and remove NOOP

Modified the implementation of usleep and make ModelExecution process "THREAD SLEEP" actions

Remove a redundant SnapVector

Calculate store visibility probability and change the shift of a few hashtables in ModelExecution

The higher the sleep score, the more likely the fuzzer makes a thread sleep

Final fix; needs to be careful about the side effect of NewFuzzer::find_threads

Fix

Fixes

Add sleep score

Little adjustment

Fix bug

Add an exit node in predicate trees

Design a method to select predicate branches based on exploration counts

Avoid using a HashTable to associate FuncInsts with ModelActions; a slight improvement in performance

Turns out that calling Predicate::evaluate in FuncNode::follow_branch and NewFuzzer::prune_writes slows down the fuzzer

Performance fix; delete unused data structures

Select a new predicate branch when the selected branch in the predicate tree fails and the failed thread can not find any other thread to wait for

Some edits

Toward implementing the counter approach to monitor threads

Monitor threads when they enter functions and decide if others (if there is any) should keep waiting for them

Add some documentation for WaitObj

BFS with distance was not implemented correctly

Fix a bug

Every time a thread enters a function, check whether other threads should still wait for this thread or not.

Fix methods

Add some methods for WaitObj

Create WaitObj to store information about which thread is waiting for whom and is waiting by whom

Add default memory allocation and free functions for HSIterator and some other tiny stuff

Compute the threads that a paused thread my wait for

Toward computing which threads a paused thread may wait for

Do not unset FuncInst locations when new executions start; check if execution numbers match instead

Reorganize codes

Move one snapshotted data structure from ModelHistory to ModelExecution

Fix a memory bug

Free memory

Notify threads paused by the Fuzzer when the desired write is available

Clear headers

Change the return type of Predicate::evaluate

Concrete predicate class

Factor predicate expression types into a separate file

Able to evaluate predicate expression against a 'context' and generate concrete predicates

Need to free memory

Fix a bug

Fix a bug in pthread_mutex_unlock; initialize mutex if necessary when pthread_mutex_timedlock is called

Keep track of which FuncNodes may write to a memory location

Add comment about the difference between ModelAction::is_write and FuncInst::is_write

Construct the graph of methods based on the order that methods are called, rather than construct it as a call graph

Add edges between FuncNodes

Change action_list_buffer to snapshot memory instead of half-shapshot-half-non-snapshot

Make sure that actions that do writes are labeled correctly in predicate trees

Reorganize codes

Add atomic write actions to predicate trees