private void releaseCleanBuffer(DataBuffer buf) throws IOException {
		synchronized (this) {
			int id = buf.getId();
			BufferNode node = getCachedBufferNode(id);

			if (node == null || !node.locked) {// verify buffer lock
				throw new AssertException();
			}

			// reintroduce unlocked buffer node into cache
			node.locked = false;
			--lockCount;
			returnToCache(node, buf);
		}
	}
Handle exception which indicates a potential corruption of the BufferMgr state
@param exception exception
@param errorText associated error text
@throws IOException exception thrown if instance of IOException
Ghidra/Framework/DB/src/main/java/db/buffers/BufferMgr.java