The lock must be released because the same thread might reenter abort() in the signal handler, and without a release in the parent abort(), the program would hang.