Lock is basically just a semaphore whose initial counter is 1. lock_acquire is like P, while lock_release is like V. You probably want to go over my previous post about semaphore

more ...