0 branches
Tree
Top files
Clone with HTTPS:
.gitignore
examples: add a thread_safety/ folder with several examples of using different thread synchronisation mechanisms (#22561)
2 years ago
10 bytes
atomic_counter.v
examples: fix some of the instructions in `examples/thread_safety/` (#22571)
2 years ago
1.83 KB
concurrent_shared_data.v
examples: add a thread_safety/ folder with several examples of using different thread synchronisation mechanisms (#22561)
2 years ago
1.07 KB
queue.v
examples: fix some of the instructions in `examples/thread_safety/` (#22571)
2 years ago
2.54 KB
readme.md
examples: fix some of the instructions in `examples/thread_safety/` (#22571)
2 years ago
489 bytes
Run
v -prod -gc none -cc gcc ./queue.v && \
./queue
Valgrind
# Helgrind: a tool for detecting synchronisation errors in programs that use the POSIX pthreads threading primitives.
valgrind --tool=helgrind ./queue
# DRD: a tool for detecting errors in multithreaded programs. The tool works for any program that uses the POSIX threading primitives or that uses threading concepts built on top of the POSIX threading primitives.
valgrind --tool=drd ./queue