thread-rcu: Fix the types in rcu.h and barrier counter #14

jserv merged 1 commit intosysprog21:mastersysprog21/concurrent-programs:masterfrom

linD026:masterlinD026/concurrent-programs:masterCopy head branch name to clipboard