bug fix...

merge

Bug fixes

More code towards freeing old actions

More code towards freeing old actions

More work towards freeing old ModelActions

Incorporate failed predicates in weights

Remove the code that checks store visibility, not being used at this time

towards freeing actions

Weight-based random walk

Delete set iterator pointers to prevent memory leaks and enable updating of predicate weights at function exits

Add ref counts to CycleGraph

Get rid of uninitialized actions and just use non-atomic writes instead

Towards erase method

Merge

Add references to lists

Fix warning

Add functions to SnapList plus tabbing

Fix segfault at the first lock action

Small edits

Fix a bug in predicate.cc and declare 3 hashtables in funcnode.h as non-snapshotted memory to avoid repeatedly constructing and destructing them

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