F.11 Chapter
Quick Quiz
.1:
What about non-persistent primitives represented by data
structures in mmap() regions of memory?
What happens when their is an exec() within a critical
section of such a primitive?
Answer:
If the exec()ed program maps those same regions of
memory, then this program could in principle simply release
the lock.
The question as to whether this approach is sound from a
software-engineering viewpoint is left as an exercise for
the reader.
Paul E. McKenney
2011-12-16