741,7 → 741,11 |
pages for which a frame is allocated. The duplicated mapping is stored |
in the share info structure B+tree called <varname>pagemap</varname>. |
Note that the reference count of the frames put into the |
<varname>pagemap</varname> must be incremented to prevent .</para> |
<varname>pagemap</varname> must be incremented in order to avoid a race condition. |
If the originating address space area had been destroyed before the <varname>pagemap</varname> |
information made it to the page tables of other address spaces that take part in |
the sharing, the reference count of the respective frames |
would have dropped to zero and some of them could have been allocated again.</para> |
</section> |
|
<section> |