GitHub - cyfdecyf/mem-order: Using sequence lock to record multicore memory access order.

cyfdecyf / mem-order Public

Using sequence lock to record multicore memory access order.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 199 Commits
goinfer		goinfer
replay-log		replay-log
tsx		tsx
.gitignore		.gitignore
Makefile		Makefile
addcnt.c		addcnt.c
debug.h		debug.h
eval.sh		eval.sh
infer.c		infer.c
log.c		log.c
log.h		log.h
mem-order.sublime-project		mem-order.sublime-project
mem-record-rtmcluster.c		mem-record-rtmcluster.c
mem-record-rtmcommit.c		mem-record-rtmcommit.c
mem-record-rtmseq.c		mem-record-rtmseq.c
mem-record-seqbatch.c		mem-record-seqbatch.c
mem-record-seqlock.c		mem-record-seqlock.c
mem-record.c		mem-record.c
mem-record.h		mem-record.h
mem-replay-rtmcommit.c		mem-replay-rtmcommit.c
mem-replay.c		mem-replay.c
mem.c		mem.c
mem.h		mem.h
merge-commit.cpp		merge-commit.cpp
merge-memop.cpp		merge-memop.cpp
racey.c		racey.c
relay.c		relay.c
reorder-memop.cpp		reorder-memop.cpp
rules.make		rules.make
sort-record-log.sh		sort-record-log.sh
spinlock.h		spinlock.h
test.sh		test.sh
ticket-spinlock.h		ticket-spinlock.h
time.c		time.c
time.h		time.h
time.sh		time.sh
tls.c		tls.c
tls.h		tls.h