projects
/
cdsspec-compiler.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
action: add NULL dereference assertion
2012-10-10
Brian Norris
action: add NULL dereference assertion
commit
|
commitdiff
|
tree
2012-10-10
Brian Norris
threads: correct 'thrd_yield()'
commit
|
commitdiff
|
tree
2012-10-10
Brian Norris
Merge remote-tracking branch 'origin/master'
commit
|
commitdiff
|
tree
2012-10-10
Brian Norris
impatomic: rename all 'swap' to 'exchange'
commit
|
commitdiff
|
tree
2012-10-10
Brian Norris
include: add multiple-inclusion guards
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
.gitignore: ignore 'benchmarks' folder
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
tests: use <stdatomic.h>
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
move libthreads.h -> include/threads.h
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
rename threads.h -> threads-model.h
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
include: add <atomic> header
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
model: JOIN/LOCK unification
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
datarace: reformat datarace printing
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
threads: allocate on user's snapshotting heap
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
schedule: bugfix - fix typo in wake
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
user_main: pass remaining arguments to the user program
commit
|
commitdiff
|
tree
2012-10-09
Brian Norris
main: rename 'real_main()' to 'model_main()'
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
mymemory: re-indent
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: stack-allocated vector should use ModelAlloc
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
utilize SnapshotAlloc STL allocator
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
mymemory: add SnapshotAlloc STL allocator
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
mymemory: implement snapshot_*() allocations on model...
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
mymemory: add basic model_snapshot_space
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
rename again (snapshot_space -> user_snapshot_space)
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
mymemory: kill system_malloc()
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
snapshot: use snapshot_space only in mprotect-based
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
snapshot: don't need any snapshotting space for fork...
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
rename 'mySpace' to 'snapshot_space'
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
mymemory: make DontFree() static
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
mymemory: reformat spacing
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
mymemory: kill system_free()
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
snapshot: remove global 'basemySpace'
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
test: linuxrwlocks: fixup spacing
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: remove todo
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
test: add "double release sequence" test
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
Merge branch 'norris'
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: add todo synchronization comment
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: be sure trace is "final feasible" before continuing...
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
tests: add some normal loads/stores to test data races
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: check data races during release sequence fixup
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: add release sequence model_thread ASSERT()
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: launch release sequence fixup actions when necessary
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: add special model-checker Thread to ModelChecker
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
schedule: do not allow model-checker thread to enter...
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
threads: add constructor for model-checker thread
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
threads: add flag for a special type of "model-checker...
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
action: add Thread parameter to constructor
commit
|
commitdiff
|
tree
2012-10-08
Brian Norris
model: add process_relseq_fixup()
commit
|
commitdiff
|
tree
2012-10-07
Brian Norris
common: improve backtrace function
commit
|
commitdiff
|
tree
2012-10-07
Brian Norris
add stacktrace header, under WTFPL
commit
|
commitdiff
|
tree
2012-10-07
Brian Norris
model: wire up rest of release seq. resolution backtracking
commit
|
commitdiff
|
tree
2012-10-07
Brian Norris
nodestack: add release sequence breakage backtracking
commit
|
commitdiff
|
tree
2012-10-07
Brian Norris
action: add MODEL_FIXUP_RELSEQ action_type
commit
|
commitdiff
|
tree
2012-10-07
Brian Norris
model: disabled threads are "future ordered"
commit
|
commitdiff
|
tree
2012-10-07
Brian Norris
model: use proper size_t printf format
commit
|
commitdiff
|
tree
2012-10-07
Brian Norris
schedule: add is_enabled() function
commit
|
commitdiff
|
tree
2012-10-06
Brian Norris
cyclegraph: fix indentation
commit
|
commitdiff
|
tree
2012-10-06
Brian Norris
cyclegraph: flag cycles for reflexive edges
commit
|
commitdiff
|
tree
2012-10-04
Brian Norris
nodestack: destroy Nodes properly in ~NodeStack()
commit
|
commitdiff
|
tree
2012-10-04
Brian Norris
nodestack: use initializer list
commit
|
commitdiff
|
tree
2012-10-04
Brian Norris
model: remove unnecessary boolean variable
commit
|
commitdiff
|
tree
2012-10-04
Brian Norris
model: assign "pending" return values in release_seq_heads()
commit
|
commitdiff
|
tree
2012-10-04
Brian Norris
model: update pending release sequence list type
commit
|
commitdiff
|
tree
2012-10-04
Brian Norris
model: add release_seq structure definition
commit
|
commitdiff
|
tree
2012-10-04
Brian Norris
fixup more id vs. thread_id_t
commit
|
commitdiff
|
tree
2012-10-04
Brian Norris
action: return synchronization status for ModelAction...
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
action: remove clockvector flag from print() method
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: rename release_seq_head() -> release_seq_heads()
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: do not assume THREAD_FINISH is always the last...
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
fixup usage of int vs. thread_id_t
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: add const qualifier to get_thread()
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: rearrange conditionals, fixup take_step()
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
Merge remote-tracking branch 'origin/master'
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
modeltypes: move small typedefs to own header
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: don't include schedule.h
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
nodestack: move has_priority() out of header
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: move get_thread() implementations out of header
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: move get_current_thread() implementation out...
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: update switch_to_master() comment
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
Makefile: eliminate malloc.c warning
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
mymemory: fix indentation for ModelAlloc
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
rename 'MyAlloc' to 'ModelAlloc'
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
mymemory: reword comments
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
snapshot: rename 'SnapShot' -> 'Snapshot'
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
common: remove excess semicolon
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
mymemory: define SNAPSHOTALLOC appropriately
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
replace malloc/calloc/free with snapshot_{malloc/calloc...
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
mymemory: make snapshot_{malloc,calloc,free} externally...
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
action: reword comments
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: debug print - pending release sequences
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
test: add a "pending release sequences" test
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
(bug) revert JOIN/LOCK simplification
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: one release sequence may help resolve another
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: THREAD_FINISH triggers release sequence check
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
assign sequence numbers after initial processing
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
action: edit some spacing
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: remove obsolete ModelChecker::do_complete_join()
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: unify JOIN- and LOCK-related sleep/wake code
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
model: refactor mutex thread-blocking code
commit
|
commitdiff
|
tree
2012-10-03
Brian Norris
action: don't print clock vector when it is invalid
commit
|
commitdiff
|
tree
2012-10-02
Brian Norris
clockvector: snapshot the whole object
commit
|
commitdiff
|
tree
next