medvednikov

/

v2

/

examples

/

thread_safety
0 commits 0 issues 0 pull requests 0 contributors Discussions Projects CI
0 branches
Tree Top files
Code
Clone with HTTPS:
56 years ago
..
.gitignore examples: add a thread_safety/ folder with several examples of using different thread synchronisation mechanisms (#22561) 1 year ago 10 bytes
atomic_counter.v examples: fix some of the instructions in `examples/thread_safety/` (#22571) 1 year ago 1.83 KB
concurrent_shared_data.v examples: add a thread_safety/ folder with several examples of using different thread synchronisation mechanisms (#22561) 1 year ago 1.07 KB
queue.v examples: fix some of the instructions in `examples/thread_safety/` (#22571) 1 year ago 2.54 KB
readme.md examples: fix some of the instructions in `examples/thread_safety/` (#22571) 1 year 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