model-checker-benchmarks.git
9 years agoadd top-level Makefile
Brian Norris [Tue, 9 Oct 2012 23:24:25 +0000 (16:24 -0700)]
add top-level Makefile

9 years agobarrier: add .gitignore
Brian Norris [Tue, 9 Oct 2012 23:24:16 +0000 (16:24 -0700)]
barrier: add .gitignore

9 years agobarrier: add test driver, Makefile
Brian Norris [Tue, 9 Oct 2012 23:23:40 +0000 (16:23 -0700)]
barrier: add test driver, Makefile

My own additions to test barrier.h

9 years agobenchmarks.mk: fixup linker flag
Brian Norris [Tue, 9 Oct 2012 22:01:25 +0000 (15:01 -0700)]
benchmarks.mk: fixup linker flag

9 years agobarrier: fixup atomic initialization
Brian Norris [Tue, 9 Oct 2012 18:57:05 +0000 (11:57 -0700)]
barrier: fixup atomic initialization

9 years agobarrier: add hand-written barrier implementation
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

9 years agocommon benchmarks makefile definitions
Brian Norris [Tue, 9 Oct 2012 18:04:10 +0000 (11:04 -0700)]
common benchmarks makefile definitions

9 years agoadd "lock-free queue"
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

9 years ago.gitignore
Brian Norris [Tue, 9 Oct 2012 17:57:19 +0000 (10:57 -0700)]
.gitignore