Your workers never use bufferNotEmpty[i]. They just lock each buffer and check isEmpty(). That turns bufferNotEmpty[i] into a no-op and also causes permit drift: producers keep calling bufferNotEmpty[i].release() but no one ever acquires those permits, so the semaphore count grows and no longer matches the true item count.