projects
/
c11tester.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Update readme
[c11tester.git]
/ schedule.cc
2020-09-15
weiyu
Fix a bug in memcpy, implement memset, and remove model...
commit
|
commitdiff
2020-09-15
weiyu
Try to catch data races for memcpy
commit
|
commitdiff
2020-09-10
weiyu
Implement spurious wakeup for ATOMIC_WAIT
commit
|
commitdiff
2020-09-03
weiyu
Find a faster way to get currently executing thread...
commit
|
commitdiff
2020-09-02
weiyu
Small changes; slightly faster than tsan11rec in jsbenc...
commit
|
commitdiff
2019-11-26
bdemsky
Run tabbing pass
commit
|
commitdiff
2019-11-21
bdemsky
Merge branch 'master' of ssh://plrg.eecs.uci.edu:/home...
commit
|
commitdiff
2019-11-01
weiyu
Do not allow a thread to stash the next pending action...
commit
|
commitdiff
2019-09-05
weiyu
When an atomic read action cannot read from a desired...
commit
|
commitdiff
2019-07-08
weiyu
merge and resolve conflict
commit
|
commitdiff
2019-07-03
root
get rid of nodestack
commit
|
commitdiff
2019-06-19
root
merge
commit
|
commitdiff
2019-06-14
weiyu
Merge branch 'new_fuzzer' of /home/git/random-fuzzer...
commit
|
commitdiff
2019-06-12
bdemsky
fix tabbing comment issue
commit
|
commitdiff
2019-06-11
bdemsky
fix tabbing
commit
|
commitdiff
2019-06-06
bdemsky
refactor choices into own class
commit
|
commitdiff
2019-06-04
bdemsky
towards fuzzing only
commit
|
commitdiff
2019-06-04
bdemsky
Remove promises
commit
|
commitdiff
2019-06-01
Brian Demsky
partial conversion to fuzzer
commit
|
commitdiff
2018-11-09
weiyu
improve randomization
commit
|
commitdiff
2013-04-16
Brian Norris
Merge cleanup branch
commit
|
commitdiff
2013-04-16
Brian Norris
schedule: drop the ModelChecker::check_promises_thread_...
commit
|
commitdiff
2013-04-16
Brian Norris
model: drop public get_current_node() interface
commit
|
commitdiff
2013-03-09
Brian Norris
mymemory: enforce that user allocations come from user...
commit
|
commitdiff
2013-03-06
Brian Norris
Merge remote 'yield' work
commit
|
commitdiff
2013-03-06
Brian Demsky
add yield support
commit
|
commitdiff
2013-03-04
Brian Norris
nodestack: print thread status info in Node::print
commit
|
commitdiff
2013-02-28
Brian Norris
model/schedule: comput "reduadant" measurement, print...
commit
|
commitdiff
2013-02-26
Brian Norris
schedule: remove commented-out code
commit
|
commitdiff
2013-02-25
Brian Demsky
repush changes
commit
|
commitdiff
2013-02-25
Brian Demsky
fix conflicts
commit
|
commitdiff
2013-02-25
Brian Demsky
fix norris mentioned bug
commit
|
commitdiff
2013-02-25
Brian Norris
Revert "fix scheduling stuff to get nice round robin...
commit
|
commitdiff
2013-02-25
Brian Demsky
fix scheduling stuff to get nice round robin scheduler...
commit
|
commitdiff
2013-02-16
Brian Norris
scheduler: refactor round-robin loop
commit
|
commitdiff
2013-02-15
Brian Norris
schedule: simplify Scheduler::select_next_thread()
commit
|
commitdiff
2013-02-15
Brian Norris
schedule: split Scheduler::next_thread() into separate...
commit
|
commitdiff
2013-02-14
Brian Norris
schedule: assert that model-checker thread doesn't...
commit
|
commitdiff
2013-02-12
Brian Norris
Merge branch 'fences'
commit
|
commitdiff
2013-01-19
Brian Norris
schedule: improve scheduler printing
commit
|
commitdiff
2013-01-19
Brian Norris
schedule: allow Schedule::print() even in non-DEBUG...
commit
|
commitdiff
2012-12-15
Brian Norris
clean up some DEBUG() messages
commit
|
commitdiff
2012-12-13
Brian Norris
schedule: spacing
commit
|
commitdiff
2012-12-06
Brian Norris
schedule: add is_sleep_set(thread)
commit
|
commitdiff
2012-12-06
Brian Norris
schedule: add const
commit
|
commitdiff
2012-11-15
Brian Demsky
Merge branch 'master' of /home/git/model-checker
commit
|
commitdiff
2012-11-15
Brian Demsky
merge
commit
|
commitdiff
2012-11-14
Brian Norris
schedule: improve is_enabled() routines
commit
|
commitdiff
2012-11-03
Brian Norris
Merge remote-tracking branch 'origin/master' into pldi13
commit
|
commitdiff
2012-11-03
Brian Demsky
various fixes. linux rw locks should work again with...
commit
|
commitdiff
2012-11-03
Brian Norris
Merge remote-tracking branch 'origin/master' into pldi13
commit
|
commitdiff
2012-11-03
Brian Demsky
changes to fix at least a bug
commit
|
commitdiff
2012-10-12
Brian Norris
fixup 'int' vs. 'thread_id_t' usage
commit
|
commitdiff
2012-10-10
Brian Norris
Merge remote-tracking branch 'origin/master'
commit
|
commitdiff
2012-10-10
Brian Demsky
make scheduler choose fair schedules when threads with...
commit
|
commitdiff
2012-10-09
Brian Norris
rename threads.h -> threads-model.h
commit
|
commitdiff
2012-10-09
Brian Norris
schedule: bugfix - fix typo in wake
commit
|
commitdiff
2012-10-08
Brian Demsky
merge massive speedup with release sequence support...
commit
|
commitdiff
2012-10-08
Brian Demsky
add support for sleep sets...
commit
|
commitdiff
2012-10-08
Brian Norris
Merge branch 'norris'
commit
|
commitdiff
2012-10-08
Brian Norris
schedule: do not allow model-checker thread to enter...
commit
|
commitdiff
2012-10-07
Brian Norris
schedule: add is_enabled() function
commit
|
commitdiff
2012-10-06
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
2012-10-06
Brian Demsky
create enumeration for enabled information...switch...
commit
|
commitdiff
2012-10-04
Brian Demsky
Merge branch 'master' of /home/git/model-checker
commit
|
commitdiff
2012-10-04
Brian Norris
fixup more id vs. thread_id_t
commit
|
commitdiff
2012-10-03
Brian Demsky
Merge branch 'master' of /home/git/model-checker
commit
|
commitdiff
2012-10-03
Brian Norris
replace malloc/calloc/free with snapshot_{malloc/calloc...
commit
|
commitdiff
2012-09-25
Brian Norris
Merge branch 'norris'
commit
|
commitdiff
2012-09-24
Brian Demsky
fairness changes...
commit
|
commitdiff
2012-09-20
Brian Norris
fix compilation (includes)
commit
|
commitdiff
2012-09-19
Brian Demsky
merge stuff
commit
|
commitdiff
2012-09-19
Brian Demsky
more bugs
commit
|
commitdiff
2012-09-19
Brian Demsky
my schedule changes
commit
|
commitdiff
2012-09-19
Brian Demsky
ichange
commit
|
commitdiff
2012-09-18
Brian Demsky
changes
commit
|
commitdiff
2012-09-12
Brian Norris
threads, model, schedule: refactor thread joining
commit
|
commitdiff
2012-09-12
Brian Norris
schedule: add sleep() function
commit
|
commitdiff
2012-09-07
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
2012-09-06
Brian Norris
Merge branch 'norris'
commit
|
commitdiff
2012-09-06
Brian Norris
schedule: add wait and wake functions
commit
|
commitdiff
2012-09-04
Brian Norris
model/schedule: revise 'nextThread' data flow
commit
|
commitdiff
2012-08-16
Brian Norris
Merge branch 'norris'
commit
|
commitdiff
2012-08-16
Brian Norris
schedule: make print() const
commit
|
commitdiff
2012-08-16
Brian Norris
schedule, threads: update comments, const's
commit
|
commitdiff
2012-05-21
Brian Norris
fixup EOL whitespace
commit
|
commitdiff
2012-05-21
Brian Norris
Merge commit: branch 'work'
commit
|
commitdiff
2012-05-21
Brian Demsky
remove lines from other files
commit
|
commitdiff
2012-05-21
Brian Demsky
fix various problems with my 64-bit clean hack
commit
|
commitdiff
2012-05-18
Brian Demsky
merging stuff...made need to clean up some stuff.....
commit
|
commitdiff
2012-05-09
Subramanian Ganapathy
Adding STL stuff and operator news of snapshot to model...
commit
|
commitdiff
2012-05-04
Brian Norris
schedule: fix printf warning (size_t uses %zu)
commit
|
commitdiff
2012-04-24
Brian Norris
schedule: only print when DEBUG is enabled
commit
|
commitdiff
2012-04-24
Brian Norris
schedule: reset scheduler when thread is removed
commit
|
commitdiff
2012-04-24
Brian Norris
unify style for returning pointers
commit
|
commitdiff
2012-04-23
Brian Norris
improve scheduler debugging
commit
|
commitdiff
2012-04-23
Brian Norris
schedule: bugfix - set 'current' thread in all cases
commit
|
commitdiff
2012-04-23
Brian Norris
schedule: refactor next_thread() for better debug printing
commit
|
commitdiff
2012-04-23
Brian Norris
schedule: print debug info
commit
|
commitdiff
2012-04-20
Brian Norris
model: implement, use schedule_next_thread()
commit
|
commitdiff
next