The lock that protects invalidation of chunks due to method changes from interfering with each other. The alternative to a global lock seems to imply deadlock conditions.