Page MenuHomeFreeBSD

D18568.diff
No OneTemporary

D18568.diff

Index: head/share/man/man9/pmap_enter.9
===================================================================
--- head/share/man/man9/pmap_enter.9
+++ head/share/man/man9/pmap_enter.9
@@ -26,7 +26,7 @@
.\"
.\" $FreeBSD$
.\"
-.Dd February 16, 2018
+.Dd December 16, 2018
.Dt PMAP_ENTER 9
.Os
.Sh NAME
@@ -119,6 +119,14 @@
for destroyed mappings if the implementation can ensure
that no other writeable managed mappings for the previously
mapped pages exist.
+.Pp
+If the request modifies an existing mapping to use a different physical
+page, an implementation of
+.Nm
+must invalidate the previous mapping before installing the new one.
+This ensures that all threads sharing the pmap keep a consistent
+view of the mapping, which is necessary for the correct handling
+of CoW (copy on write) faults.
.Pp
If the page
.Fa m

File Metadata

Mime Type
text/plain
Expires
Sat, Nov 29, 12:22 AM (5 h, 56 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
26309538
Default Alt Text
D18568.diff (833 B)

Event Timeline