Just freeing locks? Doesn't that corrupt data?

Isn't the idea that locks can just be freed at any time overly naive? Maybe that works for read locks but for write locks that would cause a lot of issues.

Usually write locks are held to make some changes to a data structure that should not be seen by anyone else in isolation but as a completed whole. If we just kill the program in the middle of such a change that would just leave the data structure in an undefined state forever, a much worse problem than a BPF program taking longer to finish than anticipated.