projects
/
model-checker.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
nodestack: add read_from_promises backtracking
[model-checker.git]
/
schedule.cc
2013-02-26
Brian Norris
schedule: remove commented-out code
blob
|
commitdiff
|
raw
2013-02-25
Brian Demsky
repush changes
blob
|
commitdiff
|
raw
|
diff to current
2013-02-25
Brian Demsky
fix conflicts
blob
|
commitdiff
|
raw
|
diff to current
2013-02-25
Brian Demsky
fix norris mentioned bug
blob
|
commitdiff
|
raw
|
diff to current
2013-02-25
Brian Norris
Revert "fix scheduling stuff to get nice round robin...
blob
|
commitdiff
|
raw
|
diff to current
2013-02-25
Brian Demsky
fix scheduling stuff to get nice round robin scheduler...
blob
|
commitdiff
|
raw
|
diff to current
2013-02-16
Brian Norris
scheduler: refactor round-robin loop
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Brian Norris
schedule: simplify Scheduler::select_next_thread()
blob
|
commitdiff
|
raw
|
diff to current
2013-02-15
Brian Norris
schedule: split Scheduler::next_thread() into separate...
blob
|
commitdiff
|
raw
|
diff to current
2013-02-14
Brian Norris
schedule: assert that model-checker thread doesn't...
blob
|
commitdiff
|
raw
|
diff to current
2013-02-12
Brian Norris
Merge branch 'fences'
blob
|
commitdiff
|
raw
|
diff to current
2013-01-19
Brian Norris
schedule: improve scheduler printing
blob
|
commitdiff
|
raw
|
diff to current
2013-01-19
Brian Norris
schedule: allow Schedule::print() even in non-DEBUG...
blob
|
commitdiff
|
raw
|
diff to current
2012-12-15
Brian Norris
clean up some DEBUG() messages
blob
|
commitdiff
|
raw
|
diff to current
2012-12-13
Brian Norris
schedule: spacing
blob
|
commitdiff
|
raw
|
diff to current
2012-12-06
Brian Norris
schedule: add is_sleep_set(thread)
blob
|
commitdiff
|
raw
|
diff to current
2012-12-06
Brian Norris
schedule: add const
blob
|
commitdiff
|
raw
|
diff to current
2012-11-15
Brian Demsky
Merge branch 'master' of /home/git/model-checker
blob
|
commitdiff
|
raw
|
diff to current
2012-11-15
Brian Demsky
merge
blob
|
commitdiff
|
raw
|
diff to current
2012-11-14
Brian Norris
schedule: improve is_enabled() routines
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
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 / model-checker.git / history