Mark Surnin marksurnin

## mutex-lock.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                marksurnin
                / mutex-lock.md
            
            
              Last active
              October 1, 2016 12:17
            
          
    Architectural design of lock implementation

Data structures


lock_t (enum)
blocked_queue (linked list of pcb_t) for threads waiting on a resource

Functions


lock_init(l) initializes lock l – no thread initially holds it
lock_acquire(l):
if no thread holds l: