|
From: David W. <we...@cw...> - 2002-05-08 21:19:52
|
On Wed, May 08, 2002 at 03:29:18PM -0400, Phillip Susi wrote: > It should not be possible to delete a section while a page is being faulted > in from it, because when the section is mapped, the section object should > be referenced, thus preventing it from being freed. The fault doesn't need > to reference the section, because it is referenced as soon as it is mapped. > Yes but one thread in a process could be faulting on a section while the other unmaps it. Of course this would be a very stupid application and it still might cause an exception but it shouldn't cause the kernel itself to crash or exhibit unboundedly undefined behaviour. |