projects
/
model-checker-benchmarks.git
/ log
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
| log |
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
model-checker-benchmarks.git
12 years ago
barrier: add hand-written barrier implementation
commit
|
commitdiff
|
tree
Brian Norris
[
Tue, 9 Oct 2012 18:15:36 +0000
(11:15 -0700)]
barrier: add hand-written barrier implementation
Grabbed from:
http://stackoverflow.com/questions/
8115267
/writing-a-spinning-thread-barrier-using-c11-atomics
12 years ago
common benchmarks makefile definitions
commit
|
commitdiff
|
tree
Brian Norris
[
Tue, 9 Oct 2012 18:04:10 +0000
(11:04 -0700)]
common benchmarks makefile definitions
12 years ago
add "lock-free queue"
commit
|
commitdiff
|
tree
Brian Norris
[
Tue, 9 Oct 2012 17:57:56 +0000
(10:57 -0700)]
add "lock-free queue"
From:
http://www.codeproject.com/Articles/153898/Yet-another-implementation-of-a-lock-free-circular
License:
http://opensource.org/licenses/bsd-license.php
12 years ago
.gitignore
commit
|
commitdiff
|
tree
Brian Norris
[
Tue, 9 Oct 2012 17:57:19 +0000
(10:57 -0700)]
.gitignore