Skip to content
  • Guido Trotter's avatar
    Initial GanetiLockManager implementation · 7ee7c0c7
    Guido Trotter authored
    Includes some locking-related constants and explanations on how the
    LockManager should be used, the class itself and its test cases.
    The class includes:
      - a basic constructor
      - functions to acquire and release lists of locks at the same level
      - functions to add and remove list of locks at modifiable levels
      - dynamic checks against out-of-order acquisitions and other illegal ops
    Its testing library checks that the LockManager behaves correctly and that the
    external assumptions it relies on are respected.
    Reviewed-by: imsnah