Bug #3266


Filesystems broken due to "KKASSERT(count & TOK_COUNTMASK);"

Added by tkusumi over 2 years ago. Updated over 2 years ago.

Target version:
Start date:
Due date:
% Done:


Estimated time:


Many fs including HAMMER2 are broken due to this assert failure.
Confirmed the panic with HAMMER2 and ext2.
It didn't happen a few months ago.

433 static __inline
434 void
435 _lwkt_reltokref(lwkt_tokref_t ref, thread_t td)
436 {
454 /*
455 * We are a shared holder
456 /
457 count = atomic_fetchadd_long(&tok->t_count, TOK_INCR);
count prior */ <----------
459 }
460 }

Actions #1

Updated by tkusumi over 2 years ago

Looks like this happens with kernel module filesystems.

I'm going to comment out this KASSERT since it works fine without it.
This assert may be correct, but then the real bug needs to be fixed.

Actions #2

Updated by dillon over 2 years ago

Negative, that assertion cannot be removed. It asserts that there is a token to release. If there isn't one that means there is a get/rel mismatch somewhere that needs to be tracked down and located.


Actions #3

Updated by dillon over 2 years ago

What is needed is a kernel core to determine which call stack is misbehaving. It is possible that the mismatch is incured at a deeper level that has already returned back up the stack, so it can sometimes be difficult to locate. But any sort of mismatch is critical and needs to be found and fixed.


Actions #4

Updated by tkusumi over 2 years ago

I'll bisect it when I have time.
Shouldn't be super difficult if a commit within the past few months changed behavior.

Actions #5

Updated by dillon over 2 years ago

If you can find a way to easily reproduce the panic I can go looking too. I have not hit this panic at all yet. It really should have caught whatever the issue was with some of the earlier assertions in those code paths. Every token is 100% tracked in a per-thread array so its a bit worrying that a bug could make it that deep into the token release code.

There have been some notable changes in some of those paths. The rename code paths being the most notable (ad1212685b9caac64c086a), some changes to the exec code, and some optimizations in the GETATTR path.



Also available in: Atom PDF