| 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> |