c11tester.git
2 years agoImplement both pthread_yield and c++ thread yield
weiyu [Wed, 20 Nov 2019 20:40:46 +0000 (12:40 -0800)]
Implement both pthread_yield and c++ thread yield

2 years agobug fix
bdemsky [Wed, 20 Nov 2019 19:56:43 +0000 (11:56 -0800)]
bug fix

2 years agoAdd datarace support for atomics and calloc
bdemsky [Wed, 20 Nov 2019 19:50:00 +0000 (11:50 -0800)]
Add datarace support for atomics and calloc

2 years agobug fixe
root [Fri, 15 Nov 2019 08:25:47 +0000 (00:25 -0800)]
bug fixe

2 years agoAdd pipe support
bdemsky [Fri, 15 Nov 2019 08:22:51 +0000 (00:22 -0800)]
Add pipe support

2 years agoVersion that finds the bug of iris
weiyu [Thu, 14 Nov 2019 22:30:19 +0000 (14:30 -0800)]
Version that finds the bug of iris

2 years agoNot sure why this change prevents a segfault in iris
weiyu [Tue, 12 Nov 2019 07:37:54 +0000 (23:37 -0800)]
Not sure why this change prevents a segfault in iris

2 years agoAvoid seg fault in the case where ensureModel is called in cds_func_entry and then...
weiyu [Sun, 10 Nov 2019 21:55:25 +0000 (13:55 -0800)]
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

2 years agoBug fixing
weiyu [Fri, 8 Nov 2019 23:22:00 +0000 (15:22 -0800)]
Bug fixing

2 years agoDo not allow a thread to stash the next pending action if its last action was a SLEEP...
weiyu [Fri, 1 Nov 2019 20:58:16 +0000 (13:58 -0700)]
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

2 years agoFix a typo
weiyu [Thu, 31 Oct 2019 23:28:22 +0000 (16:28 -0700)]
Fix a typo

2 years agoAdd a collision list for FuncInsts with the same source line number
weiyu [Wed, 23 Oct 2019 19:26:48 +0000 (12:26 -0700)]
Add a collision list for FuncInsts with the same source line number

2 years agoSome edits
weiyu [Wed, 23 Oct 2019 00:29:49 +0000 (17:29 -0700)]
Some edits

2 years agoChecking whether every write in the rf_set satisfies read modification order does...
weiyu [Tue, 22 Oct 2019 23:18:38 +0000 (16:18 -0700)]
Checking whether every write in the rf_set satisfies read modification order does not seem to cause much overhead

2 years agoAdd a hash function for 64-bit int to improve the performance of val_loc_map in FuncN...
weiyu [Mon, 21 Oct 2019 22:08:34 +0000 (15:08 -0700)]
Add a hash function for 64-bit int to improve the performance of val_loc_map in FuncNode when running mb_rc_test

2 years agoChange the implementation of sleep and remove NOOP
weiyu [Fri, 18 Oct 2019 23:24:40 +0000 (16:24 -0700)]
Change the implementation of sleep and remove NOOP

2 years agoModified the implementation of usleep and make ModelExecution process "THREAD SLEEP...
weiyu [Fri, 18 Oct 2019 22:26:41 +0000 (15:26 -0700)]
Modified the implementation of usleep and make ModelExecution process "THREAD SLEEP" actions

2 years agoRemove a redundant SnapVector
weiyu [Fri, 18 Oct 2019 18:10:34 +0000 (11:10 -0700)]
Remove a redundant SnapVector

2 years agoCalculate store visibility probability and change the shift of a few hashtables in...
weiyu [Fri, 18 Oct 2019 01:38:18 +0000 (18:38 -0700)]
Calculate store visibility probability and change the shift of a few hashtables in ModelExecution

2 years agoThe higher the sleep score, the more likely the fuzzer makes a thread sleep
weiyu [Wed, 16 Oct 2019 18:09:35 +0000 (11:09 -0700)]
The higher the sleep score, the more likely the fuzzer makes a thread sleep

2 years agoFinal fix; needs to be careful about the side effect of NewFuzzer::find_threads
weiyu [Wed, 16 Oct 2019 00:38:18 +0000 (17:38 -0700)]
Final fix; needs to be careful about the side effect of NewFuzzer::find_threads

2 years agoFix
weiyu [Tue, 15 Oct 2019 23:27:04 +0000 (16:27 -0700)]
Fix

2 years agoFixes
weiyu [Tue, 15 Oct 2019 23:26:09 +0000 (16:26 -0700)]
Fixes

2 years agoAdd sleep score
weiyu [Tue, 15 Oct 2019 19:41:26 +0000 (12:41 -0700)]
Add sleep score

2 years agoLittle adjustment
weiyu [Tue, 15 Oct 2019 00:48:50 +0000 (17:48 -0700)]
Little adjustment

2 years agoFix bug
weiyu [Sat, 12 Oct 2019 02:35:06 +0000 (19:35 -0700)]
Fix bug

2 years agoAdd an exit node in predicate trees
weiyu [Fri, 11 Oct 2019 23:09:13 +0000 (16:09 -0700)]
Add an exit node in predicate trees

2 years agoDesign a method to select predicate branches based on exploration counts
weiyu [Fri, 11 Oct 2019 00:33:57 +0000 (17:33 -0700)]
Design a method to select predicate branches based on exploration counts

2 years agoAvoid using a HashTable to associate FuncInsts with ModelActions; a slight improvemen...
weiyu [Thu, 10 Oct 2019 18:50:04 +0000 (11:50 -0700)]
Avoid using a HashTable to associate FuncInsts with ModelActions; a slight improvement in performance

2 years agoTurns out that calling Predicate::evaluate in FuncNode::follow_branch and NewFuzzer...
weiyu [Thu, 10 Oct 2019 00:34:25 +0000 (17:34 -0700)]
Turns out that calling Predicate::evaluate in FuncNode::follow_branch and NewFuzzer::prune_writes slows down the fuzzer

2 years agoPerformance fix; delete unused data structures
weiyu [Thu, 10 Oct 2019 00:32:32 +0000 (17:32 -0700)]
Performance fix; delete unused data structures

2 years agoSelect a new predicate branch when the selected branch in the predicate tree fails...
weiyu [Wed, 9 Oct 2019 22:54:44 +0000 (15:54 -0700)]
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

2 years agoSome edits
weiyu [Wed, 9 Oct 2019 22:09:42 +0000 (15:09 -0700)]
Some edits

2 years agoToward implementing the counter approach to monitor threads
weiyu [Wed, 9 Oct 2019 02:00:15 +0000 (19:00 -0700)]
Toward implementing the counter approach to monitor threads

2 years agoMonitor threads when they enter functions and decide if others (if there is any)...
weiyu [Tue, 8 Oct 2019 22:11:06 +0000 (15:11 -0700)]
Monitor threads when they enter functions and decide if others (if there is any) should keep waiting for them

2 years agoAdd some documentation for WaitObj
weiyu [Tue, 8 Oct 2019 20:35:53 +0000 (13:35 -0700)]
Add some documentation for WaitObj

2 years agoBFS with distance was not implemented correctly
weiyu [Tue, 8 Oct 2019 20:28:49 +0000 (13:28 -0700)]
BFS with distance was not implemented correctly

2 years agoFix a bug
weiyu [Tue, 8 Oct 2019 20:01:21 +0000 (13:01 -0700)]
Fix a bug

2 years agoEvery time a thread enters a function, check whether other threads should still wait...
weiyu [Tue, 8 Oct 2019 01:28:20 +0000 (18:28 -0700)]
Every time a thread enters a function, check whether other threads should still wait for this thread or not.

2 years agoFix methods
weiyu [Mon, 7 Oct 2019 18:55:22 +0000 (11:55 -0700)]
Fix methods

2 years agoAdd some methods for WaitObj
weiyu [Sat, 5 Oct 2019 02:02:10 +0000 (19:02 -0700)]
Add some methods for WaitObj

2 years agoCreate WaitObj to store information about which thread is waiting for whom and is...
weiyu [Sat, 5 Oct 2019 01:39:15 +0000 (18:39 -0700)]
Create WaitObj to store information about which thread is waiting for whom and is waiting by whom

2 years agoAdd default memory allocation and free functions for HSIterator and some other tiny...
weiyu [Sat, 5 Oct 2019 01:36:29 +0000 (18:36 -0700)]
Add default memory allocation and free functions for HSIterator and some other tiny stuff

2 years agoCompute the threads that a paused thread my wait for
weiyu [Fri, 4 Oct 2019 00:51:41 +0000 (17:51 -0700)]
Compute the threads that a paused thread my wait for

2 years agoToward computing which threads a paused thread may wait for
weiyu [Thu, 3 Oct 2019 01:26:36 +0000 (18:26 -0700)]
Toward computing which threads a paused thread may wait for

2 years agoDo not unset FuncInst locations when new executions start; check if execution numbers...
weiyu [Wed, 2 Oct 2019 23:23:56 +0000 (16:23 -0700)]
Do not unset FuncInst locations when new executions start; check if execution numbers match instead

2 years agoReorganize codes
weiyu [Wed, 2 Oct 2019 02:16:54 +0000 (19:16 -0700)]
Reorganize codes

2 years agoMove one snapshotted data structure from ModelHistory to ModelExecution
weiyu [Wed, 2 Oct 2019 02:00:42 +0000 (19:00 -0700)]
Move one snapshotted data structure from ModelHistory to ModelExecution

2 years agoFix a memory bug
weiyu [Wed, 2 Oct 2019 01:43:44 +0000 (18:43 -0700)]
Fix a memory bug

2 years agoFree memory
weiyu [Tue, 1 Oct 2019 02:29:29 +0000 (19:29 -0700)]
Free memory

2 years agoNotify threads paused by the Fuzzer when the desired write is available
weiyu [Tue, 1 Oct 2019 02:28:24 +0000 (19:28 -0700)]
Notify threads paused by the Fuzzer when the desired write is available

2 years agoClear headers
weiyu [Mon, 30 Sep 2019 18:14:07 +0000 (11:14 -0700)]
Clear headers

2 years agoChange the return type of Predicate::evaluate
weiyu [Mon, 30 Sep 2019 18:05:30 +0000 (11:05 -0700)]
Change the return type of Predicate::evaluate

2 years agoConcrete predicate class
weiyu [Mon, 30 Sep 2019 17:41:07 +0000 (10:41 -0700)]
Concrete predicate class

2 years agoFactor predicate expression types into a separate file
weiyu [Mon, 30 Sep 2019 17:39:12 +0000 (10:39 -0700)]
Factor predicate expression types into a separate file

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