Source code: https://github.com/mit-pdos/xv6-public.git In this version, semaphore and barrier are implemented, as well as new system call for using them in user space