projects
/
c11tester.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
model: add read-acquire/fence-release support
[c11tester.git]
/
schedule.cc
2012-11-15
Brian Demsky
Merge branch 'master' of /home/git/model-checker
blob
|
commitdiff
|
raw
2012-11-15
Brian Demsky
merge
blob
|
commitdiff
|
raw
2012-11-14
Brian Norris
schedule: improve is_enabled() routines
blob
|
commitdiff
|
raw
2012-11-03
Brian Norris
Merge remote-tracking branch 'origin/master' into pldi13
blob
|
commitdiff
|
raw
|
diff to current
2012-11-03
Brian Demsky
various fixes. linux rw locks should work again with...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-03
Brian Norris
Merge remote-tracking branch 'origin/master' into pldi13
blob
|
commitdiff
|
raw
|
diff to current
2012-11-03
Brian Demsky
changes to fix at least a bug
blob
|
commitdiff
|
raw
|
diff to current
2012-10-12
Brian Norris
fixup 'int' vs. 'thread_id_t' usage
blob
|
commitdiff
|
raw
|
diff to current
2012-10-10
Brian Norris
Merge remote-tracking branch 'origin/master'
blob
|
commitdiff
|
raw
|
diff to current
2012-10-10
Brian Demsky
make scheduler choose fair schedules when threads with...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-09
Brian Norris
rename threads.h -> threads-model.h
blob
|
commitdiff
|
raw
|
diff to current
2012-10-09
Brian Norris
schedule: bugfix - fix typo in wake
blob
|
commitdiff
|
raw
|
diff to current
2012-10-08
Brian Demsky
merge massive speedup with release sequence support...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-08
Brian Demsky
add support for sleep sets...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-08
Brian Norris
Merge branch 'norris'
blob
|
commitdiff
|
raw
|
diff to current
2012-10-08
Brian Norris
schedule: do not allow model-checker thread to enter...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-07
Brian Norris
schedule: add is_enabled() function
blob
|
commitdiff
|
raw
|
diff to current
2012-10-06
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-06
Brian Demsky
create enumeration for enabled information...switch...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-04
Brian Demsky
Merge branch 'master' of /home/git/model-checker
blob
|
commitdiff
|
raw
|
diff to current
2012-10-04
Brian Norris
fixup more id vs. thread_id_t
blob
|
commitdiff
|
raw
|
diff to current
2012-10-03
Brian Demsky
Merge branch 'master' of /home/git/model-checker
blob
|
commitdiff
|
raw
|
diff to current
2012-10-03
Brian Norris
replace malloc/calloc/free with snapshot_{malloc/calloc...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-25
Brian Norris
Merge branch 'norris'
blob
|
commitdiff
|
raw
|
diff to current
2012-09-24
Brian Demsky
fairness changes...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-20
Brian Norris
fix compilation (includes)
blob
|
commitdiff
|
raw
|
diff to current
2012-09-19
Brian Demsky
merge stuff
blob
|
commitdiff
|
raw
|
diff to current
2012-09-19
Brian Demsky
more bugs
blob
|
commitdiff
|
raw
|
diff to current
2012-09-19
Brian Demsky
my schedule changes
blob
|
commitdiff
|
raw
|
diff to current
2012-09-19
Brian Demsky
ichange
blob
|
commitdiff
|
raw
|
diff to current
2012-09-18
Brian Demsky
changes
blob
|
commitdiff
|
raw
|
diff to current
2012-09-12
Brian Norris
threads, model, schedule: refactor thread joining
blob
|
commitdiff
|
raw
|
diff to current
2012-09-12
Brian Norris
schedule: add sleep() function
blob
|
commitdiff
|
raw
|
diff to current
2012-09-07
Brian Demsky
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
blob
|
commitdiff
|
raw
|
diff to current
2012-09-06
Brian Norris
Merge branch 'norris'
blob
|
commitdiff
|
raw
|
diff to current
2012-09-06
Brian Norris
schedule: add wait and wake functions
blob
|
commitdiff
|
raw
|
diff to current
2012-09-04
Brian Norris
model/schedule: revise 'nextThread' data flow
blob
|
commitdiff
|
raw
|
diff to current
2012-08-16
Brian Norris
Merge branch 'norris'
blob
|
commitdiff
|
raw
|
diff to current
2012-08-16
Brian Norris
schedule: make print() const
blob
|
commitdiff
|
raw
|
diff to current
2012-08-16
Brian Norris
schedule, threads: update comments, const's
blob
|
commitdiff
|
raw
|
diff to current
2012-05-21
Brian Norris
fixup EOL whitespace
blob
|
commitdiff
|
raw
|
diff to current
2012-05-21
Brian Norris
Merge commit: branch 'work'
blob
|
commitdiff
|
raw
|
diff to current
2012-05-21
Brian Demsky
remove lines from other files
blob
|
commitdiff
|
raw
|
diff to current
2012-05-21
Brian Demsky
fix various problems with my 64-bit clean hack
blob
|
commitdiff
|
raw
|
diff to current
2012-05-18
Brian Demsky
merging stuff...made need to clean up some stuff.....
blob
|
commitdiff
|
raw
|
diff to current
2012-05-09
Subramanian Ganapathy
Adding STL stuff and operator news of snapshot to model...
blob
|
commitdiff
|
raw
|
diff to current
2012-05-04
Brian Norris
schedule: fix printf warning (size_t uses %zu)
blob
|
commitdiff
|
raw
|
diff to current
2012-04-24
Brian Norris
schedule: only print when DEBUG is enabled
blob
|
commitdiff
|
raw
|
diff to current
2012-04-24
Brian Norris
schedule: reset scheduler when thread is removed
blob
|
commitdiff
|
raw
|
diff to current
2012-04-24
Brian Norris
unify style for returning pointers
blob
|
commitdiff
|
raw
|
diff to current
2012-04-23
Brian Norris
improve scheduler debugging
blob
|
commitdiff
|
raw
|
diff to current
2012-04-23
Brian Norris
schedule: bugfix - set 'current' thread in all cases
blob
|
commitdiff
|
raw
|
diff to current
2012-04-23
Brian Norris
schedule: refactor next_thread() for better debug printing
blob
|
commitdiff
|
raw
|
diff to current
2012-04-23
Brian Norris
schedule: print debug info
blob
|
commitdiff
|
raw
|
diff to current
2012-04-20
Brian Norris
model: implement, use schedule_next_thread()
blob
|
commitdiff
|
raw
|
diff to current
2012-04-20
Brian Norris
schedule: replace queue with list
blob
|
commitdiff
|
raw
|
diff to current
2012-04-17
Brian Norris
rename threads_internal.h -> threads.h
blob
|
commitdiff
|
raw
|
diff to current
2012-04-16
Brian Norris
major rewrite - 'struct thread' replaced with internal...
blob
|
commitdiff
|
raw
|
diff to current
2012-04-10
Brian Norris
scheduler: kill 'replaceable' scheduler
blob
|
commitdiff
|
raw
|
diff to current
2012-03-15
Brian Norris
schedule: use STL 'queue' instead of 'list'
blob
|
commitdiff
|
raw
|
diff to current
2012-03-15
Brian Norris
remove unnecessary #includes
blob
|
commitdiff
|
raw
|
diff to current
2012-03-15
Brian Norris
schedule: make 'current' a private member of the scheduler
blob
|
commitdiff
|
raw
|
diff to current
2012-03-15
Brian Norris
schedule: use STL list class instead of custom queue
blob
|
commitdiff
|
raw
|
diff to current
2012-03-14
Brian Norris
schedule: move schedule.c --> schedule.cc
blob
|
commitdiff
|
raw
|
diff to current
projects / c11tester.git / history