tech-kern archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Veriexec "lock_state" misuse


The current code confuses "lock_state" for something that it isn't. I
discussed this a while ago with hannken@ and blymn@ and came up with
the attached patch. We change the semantics to require locking and add
a KASSERT to make sure they're followed. Missing locking bits are
added in two places to comply.

I'm not seeking feedback on this one as there's more Veriexec locking
work pending. It's posted merely for the chance that someone might
want this in netbsd-6.


Attachment: veriexec_lock_state.diff
Description: Binary data

Home | Main Index | Thread Index | Old Index