towards supporting scanalysis...
[model-checker.git] / schedule.cc
2013-03-09 Brian Norrismymemory: enforce that user allocations come from user...
2013-03-06 Brian NorrisMerge remote 'yield' work
2013-03-06 Brian Demskyadd yield support
2013-03-04 Brian Norrisnodestack: print thread status info in Node::print
2013-02-28 Brian Norrismodel/schedule: comput "reduadant" measurement, print...
2013-02-26 Brian Norrisschedule: remove commented-out code
2013-02-25 Brian Demskyrepush changes
2013-02-25 Brian Demskyfix conflicts
2013-02-25 Brian Demskyfix norris mentioned bug
2013-02-25 Brian NorrisRevert "fix scheduling stuff to get nice round robin...
2013-02-25 Brian Demskyfix scheduling stuff to get nice round robin scheduler...
2013-02-16 Brian Norrisscheduler: refactor round-robin loop
2013-02-15 Brian Norrisschedule: simplify Scheduler::select_next_thread()
2013-02-15 Brian Norrisschedule: split Scheduler::next_thread() into separate...
2013-02-14 Brian Norrisschedule: assert that model-checker thread doesn't...
2013-02-12 Brian NorrisMerge branch 'fences'
2013-01-19 Brian Norrisschedule: improve scheduler printing
2013-01-19 Brian Norrisschedule: allow Schedule::print() even in non-DEBUG...
2012-12-15 Brian Norrisclean up some DEBUG() messages
2012-12-13 Brian Norrisschedule: spacing
2012-12-06 Brian Norrisschedule: add is_sleep_set(thread)
2012-12-06 Brian Norrisschedule: add const
2012-11-15 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-11-15 Brian Demskymerge
2012-11-14 Brian Norrisschedule: improve is_enabled() routines
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13
2012-11-03 Brian Demskyvarious fixes. linux rw locks should work again with...
2012-11-03 Brian NorrisMerge remote-tracking branch 'origin/master' into pldi13
2012-11-03 Brian Demskychanges to fix at least a bug
2012-10-12 Brian Norrisfixup 'int' vs. 'thread_id_t' usage
2012-10-10 Brian NorrisMerge remote-tracking branch 'origin/master'
2012-10-10 Brian Demskymake scheduler choose fair schedules when threads with...
2012-10-09 Brian Norrisrename threads.h -> threads-model.h
2012-10-09 Brian Norrisschedule: bugfix - fix typo in wake
2012-10-08 Brian Demskymerge massive speedup with release sequence support...
2012-10-08 Brian Demskyadd support for sleep sets...
2012-10-08 Brian NorrisMerge branch 'norris'
2012-10-08 Brian Norrisschedule: do not allow model-checker thread to enter...
2012-10-07 Brian Norrisschedule: add is_enabled() function
2012-10-06 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-10-06 Brian Demskycreate enumeration for enabled information...switch...
2012-10-04 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-04 Brian Norrisfixup more id vs. thread_id_t
2012-10-03 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian Norrisreplace malloc/calloc/free with snapshot_{malloc/calloc...
2012-09-25 Brian NorrisMerge branch 'norris'
2012-09-24 Brian Demskyfairness changes...
2012-09-20 Brian Norrisfix compilation (includes)
2012-09-19 Brian Demskymerge stuff
2012-09-19 Brian Demskymore bugs
2012-09-19 Brian Demskymy schedule changes
2012-09-19 Brian Demskyichange
2012-09-18 Brian Demskychanges
2012-09-12 Brian Norristhreads, model, schedule: refactor thread joining
2012-09-12 Brian Norrisschedule: add sleep() function
2012-09-07 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-09-06 Brian NorrisMerge branch 'norris'
2012-09-06 Brian Norrisschedule: add wait and wake functions
2012-09-04 Brian Norrismodel/schedule: revise 'nextThread' data flow
2012-08-16 Brian NorrisMerge branch 'norris'
2012-08-16 Brian Norrisschedule: make print() const
2012-08-16 Brian Norrisschedule, threads: update comments, const's
2012-05-21 Brian Norrisfixup EOL whitespace
2012-05-21 Brian NorrisMerge commit: branch 'work'
2012-05-21 Brian Demskyremove lines from other files
2012-05-21 Brian Demskyfix various problems with my 64-bit clean hack
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
2012-05-09 Subramanian GanapathyAdding STL stuff and operator news of snapshot to model...
2012-05-04 Brian Norrisschedule: fix printf warning (size_t uses %zu)
2012-04-24 Brian Norrisschedule: only print when DEBUG is enabled
2012-04-24 Brian Norrisschedule: reset scheduler when thread is removed
2012-04-24 Brian Norrisunify style for returning pointers
2012-04-23 Brian Norrisimprove scheduler debugging
2012-04-23 Brian Norrisschedule: bugfix - set 'current' thread in all cases
2012-04-23 Brian Norrisschedule: refactor next_thread() for better debug printing
2012-04-23 Brian Norrisschedule: print debug info
2012-04-20 Brian Norrismodel: implement, use schedule_next_thread()
2012-04-20 Brian Norrisschedule: replace queue with list
2012-04-17 Brian Norrisrename threads_internal.h -> threads.h
2012-04-16 Brian Norrismajor rewrite - 'struct thread' replaced with internal...
2012-04-10 Brian Norrisscheduler: kill 'replaceable' scheduler
2012-03-15 Brian Norrisschedule: use STL 'queue' instead of 'list'
2012-03-15 Brian Norrisremove unnecessary #includes
2012-03-15 Brian Norrisschedule: make 'current' a private member of the scheduler
2012-03-15 Brian Norrisschedule: use STL list class instead of custom queue
2012-03-14 Brian Norrisschedule: move schedule.c --> schedule.cc