Lockset_algorithm

Eraser: A dynamic data race detector for multi-threaded programs

To compile

g++ main.cpp Lock.cpp Thread.cpp DataRaceDetector.cpp SharedVariable.cpp -o main -pthread

./main

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
.vscode		.vscode
Accesstype.h		Accesstype.h
DataRaceDetector.cpp		DataRaceDetector.cpp
DataRaceDetector.h		DataRaceDetector.h
LICENSE		LICENSE
Lock.cpp		Lock.cpp
Lock.h		Lock.h
README.md		README.md
SharedVariable.cpp		SharedVariable.cpp
SharedVariable.h		SharedVariable.h
Thread.cpp		Thread.cpp
Thread.h		Thread.h
main		main
main.cpp		main.cpp