summaryrefslogtreecommitdiffstats
path: root/sys/vm
diff options
context:
space:
mode:
authormarkj <markj@FreeBSD.org>2017-04-17 16:59:18 +0000
committermarkj <markj@FreeBSD.org>2017-04-17 16:59:18 +0000
commit1e35d29d6289b2c15cca0f7e951e77e144f0b08e (patch)
tree5c213285cfad9391f7578789ffae34e833983d9b /sys/vm
parent1b553f0b27cb67062ef772daefecba52e60bb750 (diff)
downloadFreeBSD-src-1e35d29d6289b2c15cca0f7e951e77e144f0b08e.zip
FreeBSD-src-1e35d29d6289b2c15cca0f7e951e77e144f0b08e.tar.gz
MFC r316686, r316687, r316689
Fix a race between vm_map_wire() and vm_map_protect().
Diffstat (limited to 'sys/vm')
-rw-r--r--sys/vm/vm_map.c27
1 files changed, 18 insertions, 9 deletions
diff --git a/sys/vm/vm_map.c b/sys/vm/vm_map.c
index 9f49eac..cd72cf8 100644
--- a/sys/vm/vm_map.c
+++ b/sys/vm/vm_map.c
@@ -1655,6 +1655,8 @@ _vm_map_clip_start(vm_map_t map, vm_map_entry_t entry, vm_offset_t start)
vm_map_entry_t new_entry;
VM_MAP_ASSERT_LOCKED(map);
+ KASSERT(entry->end > start && entry->start < start,
+ ("_vm_map_clip_start: invalid clip of entry %p", entry));
/*
* Split off the front portion -- note that we must insert the new
@@ -1739,6 +1741,8 @@ _vm_map_clip_end(vm_map_t map, vm_map_entry_t entry, vm_offset_t end)
vm_map_entry_t new_entry;
VM_MAP_ASSERT_LOCKED(map);
+ KASSERT(entry->start < end && entry->end > end,
+ ("_vm_map_clip_end: invalid clip of entry %p", entry));
/*
* If there is no object backing this entry, we might as well create
@@ -1963,6 +1967,14 @@ vm_map_protect(vm_map_t map, vm_offset_t start, vm_offset_t end,
vm_map_lock(map);
+ /*
+ * Ensure that we are not concurrently wiring pages. vm_map_wire() may
+ * need to fault pages into the map and will drop the map lock while
+ * doing so, and the VM object may end up in an inconsistent state if we
+ * update the protection on the map entry in between faults.
+ */
+ vm_map_wait_busy(map);
+
VM_MAP_RANGE_CHECK(map, start, end);
if (vm_map_lookup_entry(map, start, &entry)) {
@@ -1974,8 +1986,8 @@ vm_map_protect(vm_map_t map, vm_offset_t start, vm_offset_t end,
/*
* Make a first pass to check for protection violations.
*/
- current = entry;
- while ((current != &map->header) && (current->start < end)) {
+ for (current = entry; current != &map->header && current->start < end;
+ current = current->next) {
if (current->eflags & MAP_ENTRY_IS_SUB_MAP) {
vm_map_unlock(map);
return (KERN_INVALID_ARGUMENT);
@@ -1984,17 +1996,15 @@ vm_map_protect(vm_map_t map, vm_offset_t start, vm_offset_t end,
vm_map_unlock(map);
return (KERN_PROTECTION_FAILURE);
}
- current = current->next;
}
-
/*
* Do an accounting pass for private read-only mappings that
* now will do cow due to allowed write (e.g. debugger sets
* breakpoint on text segment)
*/
- for (current = entry; (current != &map->header) &&
- (current->start < end); current = current->next) {
+ for (current = entry; current != &map->header && current->start < end;
+ current = current->next) {
vm_map_clip_end(map, current, end);
@@ -2047,8 +2057,8 @@ vm_map_protect(vm_map_t map, vm_offset_t start, vm_offset_t end,
* Go back and fix up protections. [Note that clipping is not
* necessary the second time.]
*/
- current = entry;
- while ((current != &map->header) && (current->start < end)) {
+ for (current = entry; current != &map->header && current->start < end;
+ current = current->next) {
old_prot = current->protection;
if (set_max)
@@ -2082,7 +2092,6 @@ vm_map_protect(vm_map_t map, vm_offset_t start, vm_offset_t end,
#undef MASK
}
vm_map_simplify_entry(map, current);
- current = current->next;
}
vm_map_unlock(map);
return (KERN_SUCCESS);
OpenPOWER on IntegriCloud