c11tester.git
2 years agoallow ModelHistory to process non-atomic actions when they are created
weiyu [Tue, 20 Aug 2019 22:23:26 +0000 (15:23 -0700)]
allow ModelHistory to process non-atomic actions when they are created

2 years agoreset memory locations of FuncInsts when new executions start
weiyu [Tue, 20 Aug 2019 22:19:59 +0000 (15:19 -0700)]
reset memory locations of FuncInsts when new executions start

2 years agomemory locations should not outlive executions
weiyu [Tue, 20 Aug 2019 00:23:22 +0000 (17:23 -0700)]
memory locations should not outlive executions

2 years agochange the way to detect loops
weiyu [Fri, 16 Aug 2019 23:59:31 +0000 (16:59 -0700)]
change the way to detect loops

2 years agodefer the initial update of predicate tree for a better quality tree; generate nullit...
weiyu [Fri, 16 Aug 2019 19:23:29 +0000 (12:23 -0700)]
defer the initial update of predicate tree for a better quality tree; generate nullity predicates when new Predicate nodes are created instead of changing unset predicates to nullity later

2 years agotry to infer nullity predicate inside update_predicate_tree. Maybe rethink about...
weiyu [Fri, 16 Aug 2019 02:05:01 +0000 (19:05 -0700)]
try to infer nullity predicate inside update_predicate_tree. Maybe rethink about the way to check back edges

3 years agochange the structure of predicate expressions, and modify the way nullity predicates...
weiyu [Thu, 15 Aug 2019 02:16:47 +0000 (19:16 -0700)]
change the structure of predicate expressions, and modify the way nullity predicates are added

3 years agoexperiment with adding NULLITY predicate
weiyu [Wed, 14 Aug 2019 23:33:55 +0000 (16:33 -0700)]
experiment with adding NULLITY predicate

3 years agodo optimization for FuncNode::update_tree
weiyu [Tue, 13 Aug 2019 00:46:25 +0000 (17:46 -0700)]
do optimization for FuncNode::update_tree

3 years agorevert commit
weiyu [Mon, 12 Aug 2019 22:47:03 +0000 (15:47 -0700)]
revert commit

3 years agofix a bug about get_reads_from_value
weiyu [Mon, 12 Aug 2019 22:27:52 +0000 (15:27 -0700)]
fix a bug about get_reads_from_value

3 years agoget rid of read_val_map; A bug is discovered.
weiyu [Fri, 9 Aug 2019 23:06:34 +0000 (16:06 -0700)]
get rid of read_val_map; A bug is discovered.

3 years agofix bug - 'backedge' in predicate.cc uninitialized
weiyu [Fri, 9 Aug 2019 20:09:46 +0000 (13:09 -0700)]
fix bug - 'backedge' in predicate.cc uninitialized

3 years agofix bug
weiyu [Fri, 9 Aug 2019 01:45:42 +0000 (18:45 -0700)]
fix bug

3 years agoadd a dummy predicate entry node to make code simpler; back edges are also added
weiyu [Thu, 8 Aug 2019 23:16:58 +0000 (16:16 -0700)]
add a dummy predicate entry node to make code simpler; back edges are also added

3 years agorestructrue code of funcnode.cc, and planning for adding back edges in predicate...
weiyu [Thu, 8 Aug 2019 00:27:13 +0000 (17:27 -0700)]
restructrue code of funcnode.cc, and planning for adding back edges in predicate tree

3 years agoSplit FuncNode::get_or_add_inst into two separate functions. Call add_inst inside...
weiyu [Wed, 7 Aug 2019 02:02:42 +0000 (19:02 -0700)]
Split FuncNode::get_or_add_inst into two separate functions.  Call add_inst inside process_action so that func_insts corresponding to ATOMIC RMWRCAS actions are created before those actions are converted to ATOMIC RMWR or ATOMIC READ

3 years agomove modelhistory code back
weiyu [Tue, 6 Aug 2019 20:38:58 +0000 (13:38 -0700)]
move modelhistory code back

3 years agotoward updating predicate trees every time a function exits
weiyu [Tue, 6 Aug 2019 00:28:10 +0000 (17:28 -0700)]
toward updating predicate trees every time a function exits

3 years agomove the codes that add actions to thrd_func_act_lists from history.cc to ModelExecut...
weiyu [Mon, 5 Aug 2019 22:39:02 +0000 (15:39 -0700)]
move the codes that add actions to thrd_func_act_lists from history.cc to ModelExecution::add_action_to_lists

3 years agofix a bug and print predicate tree in xdot syntax
weiyu [Mon, 5 Aug 2019 20:15:08 +0000 (13:15 -0700)]
fix a bug and print predicate tree in xdot syntax

3 years agotoward building a naive predicate tree
weiyu [Sat, 3 Aug 2019 01:12:10 +0000 (18:12 -0700)]
toward building a naive predicate tree

3 years agoadd print
weiyu [Sat, 3 Aug 2019 01:10:22 +0000 (18:10 -0700)]
add print

3 years agomove code around
weiyu [Fri, 2 Aug 2019 06:11:13 +0000 (23:11 -0700)]
move code around

3 years agounlink the extra tmp file generated
weiyu [Thu, 1 Aug 2019 23:43:06 +0000 (16:43 -0700)]
unlink the extra tmp file generated

3 years agolittle fixes
weiyu [Thu, 1 Aug 2019 23:42:18 +0000 (16:42 -0700)]
little fixes

3 years agomerge
weiyu [Thu, 1 Aug 2019 18:54:03 +0000 (11:54 -0700)]
merge

3 years agoSwitch from pipes to temporary file to store program output to get rid length limits.
root [Thu, 1 Aug 2019 06:12:32 +0000 (23:12 -0700)]
Switch from pipes to temporary file to store program output to get rid length limits.

3 years agoGet GDAX working.
Brian Demsky [Thu, 1 Aug 2019 04:15:34 +0000 (21:15 -0700)]
Get GDAX working.

3 years agoadd sleep support
root [Thu, 1 Aug 2019 03:34:40 +0000 (20:34 -0700)]
add sleep support

3 years agochange the data structure of thrd_func_inst_list because more information about the...
weiyu [Thu, 1 Aug 2019 00:57:46 +0000 (17:57 -0700)]
change the data structure of thrd_func_inst_list because more information about the action trace is needed

3 years agoinitialize memory location first
weiyu [Wed, 31 Jul 2019 20:24:55 +0000 (13:24 -0700)]
initialize memory location first

3 years agobug fix
weiyu [Wed, 31 Jul 2019 20:02:27 +0000 (13:02 -0700)]
bug fix

3 years agofix bug
weiyu [Wed, 31 Jul 2019 08:27:03 +0000 (01:27 -0700)]
fix bug

3 years agomerge
weiyu [Wed, 31 Jul 2019 07:52:05 +0000 (00:52 -0700)]
merge

3 years agotabbing
root [Wed, 31 Jul 2019 05:40:15 +0000 (22:40 -0700)]
tabbing

3 years agobug fix for snapshotting code
root [Wed, 31 Jul 2019 05:40:01 +0000 (22:40 -0700)]
bug fix for snapshotting code

3 years agobug fix
root [Wed, 31 Jul 2019 04:12:43 +0000 (21:12 -0700)]
bug fix

3 years agochange some data structures
weiyu [Wed, 31 Jul 2019 01:52:56 +0000 (18:52 -0700)]
change some data structures

3 years agobug fixes
root [Wed, 31 Jul 2019 01:48:04 +0000 (18:48 -0700)]
bug fixes

3 years agoGet code to compile
bdemsky [Wed, 31 Jul 2019 01:23:10 +0000 (18:23 -0700)]
Get code to compile

3 years agobug fix
weiyu [Tue, 30 Jul 2019 22:03:03 +0000 (15:03 -0700)]
bug fix

3 years agoedits
root [Tue, 30 Jul 2019 21:19:46 +0000 (14:19 -0700)]
edits

3 years agoedits
root [Tue, 30 Jul 2019 21:03:06 +0000 (14:03 -0700)]
edits

3 years agomore code
root [Tue, 30 Jul 2019 20:57:18 +0000 (13:57 -0700)]
more code

3 years agomove write_history to funcnode.cc was a mistake
weiyu [Tue, 30 Jul 2019 20:50:24 +0000 (13:50 -0700)]
move write_history to funcnode.cc was a mistake

3 years agomore fixes
root [Tue, 30 Jul 2019 20:46:23 +0000 (13:46 -0700)]
more fixes

3 years agotowards getting rid of STL
root [Tue, 30 Jul 2019 20:32:11 +0000 (13:32 -0700)]
towards getting rid of STL

3 years agoremove STL vector
root [Tue, 30 Jul 2019 18:56:53 +0000 (11:56 -0700)]
remove STL vector

3 years agomore fixes
bdemsky [Tue, 30 Jul 2019 00:54:01 +0000 (17:54 -0700)]
more fixes

3 years agomove write_history to funcnode.cc and do experiment
weiyu [Tue, 30 Jul 2019 00:43:58 +0000 (17:43 -0700)]
move write_history to funcnode.cc and do experiment

3 years agoedits
bdemsky [Mon, 29 Jul 2019 21:47:55 +0000 (14:47 -0700)]
edits

3 years agoedits
root [Mon, 29 Jul 2019 21:40:11 +0000 (14:40 -0700)]
edits

3 years agofix bug
weiyu [Mon, 29 Jul 2019 19:54:59 +0000 (12:54 -0700)]
fix bug

3 years agoadd pthread_cond_destory
weiyu [Mon, 29 Jul 2019 19:44:25 +0000 (12:44 -0700)]
add pthread_cond_destory

3 years agoperformance fix
weiyu [Mon, 29 Jul 2019 19:44:05 +0000 (12:44 -0700)]
performance fix

3 years agoFix performance issue
root [Mon, 29 Jul 2019 19:32:51 +0000 (12:32 -0700)]
Fix performance issue

3 years agoMerge branch 'branch-weiyu' of /home/git/random-fuzzer into new_fuzzer
root [Mon, 29 Jul 2019 19:21:02 +0000 (12:21 -0700)]
Merge branch 'branch-weiyu' of /home/git/random-fuzzer into new_fuzzer

3 years agobug fix
root [Mon, 29 Jul 2019 04:07:16 +0000 (21:07 -0700)]
bug fix

3 years agobug fix
root [Sun, 28 Jul 2019 06:49:01 +0000 (23:49 -0700)]
bug fix

3 years agoedit
root [Sun, 28 Jul 2019 06:18:57 +0000 (23:18 -0700)]
edit

3 years agoimprove complexity
bdemsky [Sun, 28 Jul 2019 06:11:11 +0000 (23:11 -0700)]
improve complexity

3 years agobug fix
root [Sat, 27 Jul 2019 08:08:49 +0000 (01:08 -0700)]
bug fix

3 years agoremove print statements
root [Sat, 27 Jul 2019 07:35:24 +0000 (00:35 -0700)]
remove print statements

3 years agoLock model check when we terminate proxy thread
root [Sat, 27 Jul 2019 07:33:35 +0000 (00:33 -0700)]
Lock model check when we terminate proxy thread

3 years agoNew TLS strategy...
bdemsky [Sat, 27 Jul 2019 06:33:32 +0000 (23:33 -0700)]
New TLS strategy...

3 years agoMerge branch 'new_fuzzer' into branch-weiyu
weiyu [Sat, 27 Jul 2019 01:27:06 +0000 (18:27 -0700)]
Merge branch 'new_fuzzer' into branch-weiyu

3 years agoplanning to build a predicate generator based on values that have been written to...
weiyu [Sat, 27 Jul 2019 01:23:50 +0000 (18:23 -0700)]
planning to build a predicate generator based on values that have been written to memory locations historically

3 years agoBug fixes to atomic logic
root [Thu, 25 Jul 2019 20:59:59 +0000 (13:59 -0700)]
Bug fixes to atomic logic

3 years agoExperimental TLS support.
root [Thu, 25 Jul 2019 19:55:24 +0000 (12:55 -0700)]
Experimental TLS support.

3 years agolittle fixes
weiyu [Thu, 25 Jul 2019 01:04:18 +0000 (18:04 -0700)]
little fixes

3 years agoavoid the use of 'func_id_list_t *' to prevent potential seg faults
weiyu [Thu, 25 Jul 2019 00:09:41 +0000 (17:09 -0700)]
avoid the use of 'func_id_list_t *' to prevent potential seg faults

3 years agoMake everything do stores + add more buffer for printing
root [Wed, 24 Jul 2019 02:43:50 +0000 (19:43 -0700)]
Make everything do stores + add more buffer for printing

3 years agoMerge branch 'branch-weiyu' of /home/git/random-fuzzer into new_fuzzer
root [Tue, 23 Jul 2019 21:49:38 +0000 (14:49 -0700)]
Merge branch 'branch-weiyu' of /home/git/random-fuzzer into new_fuzzer

3 years agofix bug
weiyu [Tue, 23 Jul 2019 18:32:11 +0000 (11:32 -0700)]
fix bug

3 years agoMerge branch 'new_fuzzer' of /home/git/random-fuzzer into new_fuzzer
Brian Demsky [Tue, 23 Jul 2019 03:10:35 +0000 (20:10 -0700)]
Merge branch 'new_fuzzer' of /home/git/random-fuzzer into new_fuzzer

3 years agoAdd model checker check before trylock
root [Tue, 23 Jul 2019 03:10:16 +0000 (20:10 -0700)]
Add model checker check before trylock

3 years agoinitialize the newly added element in the vector when resizing func_nodes
weiyu [Tue, 23 Jul 2019 02:45:31 +0000 (19:45 -0700)]
initialize the newly added element in the vector when resizing func_nodes

3 years agoName change
bdemsky [Tue, 23 Jul 2019 00:22:36 +0000 (17:22 -0700)]
Name change

3 years agoRemove mention of CDSChecker
bdemsky [Tue, 23 Jul 2019 00:20:06 +0000 (17:20 -0700)]
Remove mention of CDSChecker

3 years agobug fix
Brian Demsky [Mon, 22 Jul 2019 23:44:54 +0000 (16:44 -0700)]
bug fix

3 years agoremove some datarace code
root [Mon, 22 Jul 2019 23:40:32 +0000 (16:40 -0700)]
remove some datarace code

3 years agofix merge issue
Brian Demsky [Mon, 22 Jul 2019 23:35:21 +0000 (16:35 -0700)]
fix merge issue

3 years agovolatile support
Brian Demsky [Mon, 22 Jul 2019 23:27:29 +0000 (16:27 -0700)]
volatile support

3 years agofix conflict
root [Mon, 22 Jul 2019 23:04:26 +0000 (16:04 -0700)]
fix conflict

3 years agoadd function calls for volatile loads and stores
weiyu [Mon, 22 Jul 2019 22:55:04 +0000 (15:55 -0700)]
add function calls for volatile loads and stores

3 years agoSupport for reading from nonatomic stores...A little slow due to all of the backtrace...
Brian Demsky [Mon, 22 Jul 2019 22:35:57 +0000 (15:35 -0700)]
Support for reading from nonatomic stores...A little slow due to all of the backtrace calls.

3 years agoadd a special order for volatile loads and stores
weiyu [Mon, 22 Jul 2019 19:17:49 +0000 (12:17 -0700)]
add a special order for volatile loads and stores

3 years agoable to get a FuncNode by function id
weiyu [Sat, 20 Jul 2019 00:39:33 +0000 (17:39 -0700)]
able to get a FuncNode by function id

3 years agomove the 'link_insts' method to FuncNode class
weiyu [Fri, 19 Jul 2019 23:56:43 +0000 (16:56 -0700)]
move the 'link_insts' method to FuncNode class

3 years agochange the data structure for storing last read values. The old one 'loc_thrd_read_ma...
weiyu [Fri, 19 Jul 2019 21:35:25 +0000 (14:35 -0700)]
change the data structure for storing last read values. The old one 'loc_thrd_read_map' may sometimes contain wrong values

3 years agoadd pthread_cond_broadcast
weiyu [Fri, 19 Jul 2019 18:17:58 +0000 (11:17 -0700)]
add pthread_cond_broadcast

3 years agoMore code towards support non-atomic stores
root [Fri, 19 Jul 2019 02:37:38 +0000 (19:37 -0700)]
More code towards support non-atomic stores

3 years agoadd a data structure to store the values read by last read actions of each thread...
weiyu [Fri, 19 Jul 2019 00:14:44 +0000 (17:14 -0700)]
add a data structure to store the values read by last read actions of each thread for each memory location

3 years agoAdd support for converting normal writes into ModelActions after the fact
bdemsky [Fri, 19 Jul 2019 00:04:37 +0000 (17:04 -0700)]
Add support for converting normal writes into ModelActions after the fact

3 years agoname variables
weiyu [Thu, 18 Jul 2019 18:57:17 +0000 (11:57 -0700)]
name variables

3 years agofunction id should start with 1 rather than 0
weiyu [Thu, 18 Jul 2019 18:36:41 +0000 (11:36 -0700)]
function id should start with 1 rather than 0

3 years agoTrack whether a write was from an atomic
bdemsky [Wed, 17 Jul 2019 00:03:54 +0000 (17:03 -0700)]
Track whether a write was from an atomic

3 years agoMake atomics actually write to memory for compatibility with normal accesses
bdemsky [Tue, 16 Jul 2019 23:34:29 +0000 (16:34 -0700)]
Make atomics actually write to memory for compatibility with normal accesses

3 years agoeliminate redundancy
bdemsky [Tue, 16 Jul 2019 23:17:42 +0000 (16:17 -0700)]
eliminate redundancy