c11tester.git
2 years agoAble to evaluate predicate expression against a 'context' and generate concrete predi...
weiyu [Fri, 27 Sep 2019 00:30:01 +0000 (17:30 -0700)]
Able to evaluate predicate expression against a 'context' and generate concrete predicates

2 years agoNeed to free memory
weiyu [Thu, 26 Sep 2019 23:57:17 +0000 (16:57 -0700)]
Need to free memory

2 years agoFix a bug
weiyu [Thu, 26 Sep 2019 19:52:24 +0000 (12:52 -0700)]
Fix a bug

2 years agoFix a bug in pthread_mutex_unlock; initialize mutex if necessary when pthread_mutex_t...
weiyu [Thu, 19 Sep 2019 00:59:52 +0000 (17:59 -0700)]
Fix a bug in pthread_mutex_unlock; initialize mutex if necessary when pthread_mutex_timedlock is called

2 years agoKeep track of which FuncNodes may write to a memory location
weiyu [Thu, 19 Sep 2019 00:55:27 +0000 (17:55 -0700)]
Keep track of which FuncNodes may write to a memory location

2 years agoAdd comment about the difference between ModelAction::is_write and FuncInst::is_write
weiyu [Tue, 17 Sep 2019 02:45:34 +0000 (19:45 -0700)]
Add comment about the difference between ModelAction::is_write and FuncInst::is_write

2 years agoConstruct the graph of methods based on the order that methods are called, rather...
weiyu [Mon, 16 Sep 2019 23:28:41 +0000 (16:28 -0700)]
Construct the graph of methods based on the order that methods are called, rather than construct it as a call graph

2 years agoAdd edges between FuncNodes
weiyu [Fri, 13 Sep 2019 02:02:10 +0000 (19:02 -0700)]
Add edges between FuncNodes

2 years agoChange action_list_buffer to snapshot memory instead of half-shapshot-half-non-snapshot
weiyu [Thu, 12 Sep 2019 21:03:28 +0000 (14:03 -0700)]
Change action_list_buffer to snapshot memory instead of half-shapshot-half-non-snapshot

2 years agoMake sure that actions that do writes are labeled correctly in predicate trees
weiyu [Wed, 11 Sep 2019 00:21:35 +0000 (17:21 -0700)]
Make sure that actions that do writes are labeled correctly in predicate trees

2 years agoReorganize codes
weiyu [Tue, 10 Sep 2019 01:32:24 +0000 (18:32 -0700)]
Reorganize codes

2 years agoAdd atomic write actions to predicate trees
weiyu [Tue, 10 Sep 2019 01:17:58 +0000 (18:17 -0700)]
Add atomic write actions to predicate trees

2 years agoRemove an unused data structure
weiyu [Mon, 9 Sep 2019 23:49:47 +0000 (16:49 -0700)]
Remove an unused data structure

2 years agoRemove unused codes
weiyu [Mon, 9 Sep 2019 23:41:00 +0000 (16:41 -0700)]
Remove unused codes

2 years agoModify the implementation of wait and timed wait operation
weiyu [Fri, 6 Sep 2019 18:43:03 +0000 (11:43 -0700)]
Modify the implementation of wait and timed wait operation

2 years agoDo not process read actions paused by the fuzzer
weiyu [Thu, 5 Sep 2019 01:34:24 +0000 (18:34 -0700)]
Do not process read actions paused by the fuzzer

2 years agoseems to work
weiyu [Thu, 5 Sep 2019 01:26:56 +0000 (18:26 -0700)]
seems to work

2 years agoWhen an atomic read action cannot read from a desired write, make this thread sleep...
weiyu [Thu, 5 Sep 2019 00:49:56 +0000 (17:49 -0700)]
When an atomic read action cannot read from a desired write, make this thread sleep; half working now, still got some bug to fix

2 years agosplit add_action_to_lists into to two functions and change the order of how things...
weiyu [Tue, 3 Sep 2019 20:53:45 +0000 (13:53 -0700)]
split add_action_to_lists into to two functions and change the order of how things are processed in check_current_action

2 years agoremove a redundant member function that I added before
weiyu [Fri, 30 Aug 2019 20:04:20 +0000 (13:04 -0700)]
remove a redundant member function that I added before

2 years agofix bug by changing MEMALLOC to SNAPSHOTALLOC
weiyu [Thu, 29 Aug 2019 23:02:17 +0000 (16:02 -0700)]
fix bug by changing MEMALLOC to SNAPSHOTALLOC

2 years agoimprove efficiency of selectWrite
weiyu [Thu, 29 Aug 2019 19:48:51 +0000 (12:48 -0700)]
improve efficiency of selectWrite

2 years agoremove unused member functions
weiyu [Thu, 29 Aug 2019 01:18:18 +0000 (18:18 -0700)]
remove unused member functions

2 years agomove codes around in history.cc, and NewFuzzer::selectWrite is half working
weiyu [Wed, 28 Aug 2019 22:27:43 +0000 (15:27 -0700)]
move codes around in history.cc, and NewFuzzer::selectWrite is half working

2 years agoremove unused member functions and add a new data structure
weiyu [Wed, 28 Aug 2019 22:20:03 +0000 (15:20 -0700)]
remove unused member functions and add a new data structure

2 years agoonly select a new predicate branch when new read actions are processed
weiyu [Wed, 28 Aug 2019 00:28:48 +0000 (17:28 -0700)]
only select a new predicate branch when new read actions are processed

2 years agosome edits to NewFuzzer
weiyu [Tue, 27 Aug 2019 00:27:21 +0000 (17:27 -0700)]
some edits to NewFuzzer

2 years agoperformace fix
weiyu [Tue, 27 Aug 2019 00:22:53 +0000 (17:22 -0700)]
performace fix

2 years agofix bug
weiyu [Mon, 26 Aug 2019 23:05:36 +0000 (16:05 -0700)]
fix bug

2 years agoadd a data structrue to keep track of the run-time position in the predicate tree...
weiyu [Mon, 26 Aug 2019 22:27:48 +0000 (15:27 -0700)]
add a data structrue to keep track of the run-time position in the predicate tree for each thread

2 years agoinitial commit for declaring member functions of Fuzzer as virtual
weiyu [Mon, 26 Aug 2019 20:26:44 +0000 (13:26 -0700)]
initial commit for declaring member functions of Fuzzer as virtual

2 years agoonly generate NULLITY predicate when it has ever been NULL; able to amend predicates...
weiyu [Sat, 24 Aug 2019 00:02:08 +0000 (17:02 -0700)]
only generate NULLITY predicate when it has ever been NULL; able to amend predicates that contain no predicate expressions

2 years agoget rid of an unused function
weiyu [Fri, 23 Aug 2019 22:50:19 +0000 (15:50 -0700)]
get rid of an unused function

2 years agorestructure the codes that generate predicates
weiyu [Fri, 23 Aug 2019 22:49:02 +0000 (15:49 -0700)]
restructure the codes that generate predicates

2 years agorestructure code and working on deconstructors
weiyu [Fri, 23 Aug 2019 01:19:06 +0000 (18:19 -0700)]
restructure code and working on deconstructors

2 years agoexperiment with generating equality predicates across memory locations; it seems...
weiyu [Thu, 22 Aug 2019 20:32:44 +0000 (13:32 -0700)]
experiment with generating equality predicates across memory locations; it seems to work, but codes can be reorganized

2 years agodeduce which locations may share the same value from val_loc_map
weiyu [Thu, 22 Aug 2019 19:53:17 +0000 (12:53 -0700)]
deduce which locations may share the same value from val_loc_map

2 years agoupdate FuncNodes when there is a write
weiyu [Thu, 22 Aug 2019 01:55:41 +0000 (18:55 -0700)]
update FuncNodes when there is a write

2 years agoadd helper functions; prepare for computing which memory locations may store the...
weiyu [Wed, 21 Aug 2019 20:52:25 +0000 (13:52 -0700)]
add helper functions; prepare for computing which memory locations may store the same values

2 years agoMerge branch 'master' into branch-weiyu
weiyu [Tue, 20 Aug 2019 22:26:09 +0000 (15:26 -0700)]
Merge branch 'master' into branch-weiyu

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 agoAdd mailing list
bdemsky [Tue, 20 Aug 2019 21:26:37 +0000 (14:26 -0700)]
Add mailing list

2 years agoRemove msqueue test case
bdemsky [Tue, 20 Aug 2019 21:21:46 +0000 (14:21 -0700)]
Remove msqueue test case

2 years agoFix compile and readme
bdemsky [Tue, 20 Aug 2019 04:47:31 +0000 (21:47 -0700)]
Fix compile and readme

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

2 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

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

2 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

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

2 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

2 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.

2 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

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

2 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

2 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

2 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

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

2 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

2 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

2 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

2 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

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

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

2 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

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

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

2 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.

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

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

2 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2 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

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

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

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

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

2 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

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

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

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

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

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

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