cachetools.cached with lock and info=True acquires lock too many times on cache miss
cachetools.cached with lock and info=True acquires lock too many times on cache miss: a task in Repo2RLEnv R2E-Gym / SWEGEN (Harbor dataset). When using cachetools.cached with both a lock and info=True , a cache miss causes the lock to be acquired 3 times instead of the expected 2 times . This is…
The task
When using `cachetools.cached` with both a `lock` and `info=True`, a cache miss causes the lock to be acquired **3 times** instead of the expected **2 times**. This is because the internal implementation uses a separate `with lock:` block just to increment the miss counter, even though this could be done within the…
Part of FineEnvs/repo2rlenv-r2e-gym.