1998-08-14 01:12:15 +04:00
|
|
|
/* $NetBSD: vm_map.h,v 1.19 1998/08/13 21:12:15 thorpej Exp $ */
|
1994-06-29 10:39:25 +04:00
|
|
|
|
1993-03-21 12:45:37 +03:00
|
|
|
/*
|
1994-05-23 07:11:20 +04:00
|
|
|
* Copyright (c) 1991, 1993
|
|
|
|
* The Regents of the University of California. All rights reserved.
|
1993-03-21 12:45:37 +03:00
|
|
|
*
|
|
|
|
* This code is derived from software contributed to Berkeley by
|
|
|
|
* The Mach Operating System project at Carnegie-Mellon University.
|
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions
|
|
|
|
* are met:
|
|
|
|
* 1. Redistributions of source code must retain the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer.
|
|
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
|
|
* documentation and/or other materials provided with the distribution.
|
|
|
|
* 3. All advertising materials mentioning features or use of this software
|
|
|
|
* must display the following acknowledgement:
|
|
|
|
* This product includes software developed by the University of
|
|
|
|
* California, Berkeley and its contributors.
|
|
|
|
* 4. Neither the name of the University nor the names of its contributors
|
|
|
|
* may be used to endorse or promote products derived from this software
|
|
|
|
* without specific prior written permission.
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
|
|
|
|
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
|
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
|
|
|
|
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
|
|
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
|
|
|
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
|
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
|
|
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
|
|
|
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
|
|
* SUCH DAMAGE.
|
|
|
|
*
|
1997-07-06 16:38:25 +04:00
|
|
|
* @(#)vm_map.h 8.9 (Berkeley) 5/17/95
|
1993-03-21 12:45:37 +03:00
|
|
|
*
|
|
|
|
*
|
|
|
|
* Copyright (c) 1987, 1990 Carnegie-Mellon University.
|
|
|
|
* All rights reserved.
|
|
|
|
*
|
|
|
|
* Authors: Avadis Tevanian, Jr., Michael Wayne Young
|
|
|
|
*
|
|
|
|
* Permission to use, copy, modify and distribute this software and
|
|
|
|
* its documentation is hereby granted, provided that both the copyright
|
|
|
|
* notice and this permission notice appear in all copies of the
|
|
|
|
* software, derivative works or modified versions, and any portions
|
|
|
|
* thereof, and that both notices appear in supporting documentation.
|
|
|
|
*
|
|
|
|
* CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
|
|
|
|
* CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND
|
|
|
|
* FOR ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
|
|
|
|
*
|
|
|
|
* Carnegie Mellon requests users of this software to return to
|
|
|
|
*
|
|
|
|
* Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU
|
|
|
|
* School of Computer Science
|
|
|
|
* Carnegie Mellon University
|
|
|
|
* Pittsburgh PA 15213-3890
|
|
|
|
*
|
|
|
|
* any improvements or extensions that they make and grant Carnegie the
|
|
|
|
* rights to redistribute these changes.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Virtual memory map module definitions.
|
|
|
|
*/
|
|
|
|
|
1994-03-17 05:51:57 +03:00
|
|
|
#ifndef _VM_MAP_
|
|
|
|
#define _VM_MAP_
|
|
|
|
|
1998-02-10 17:08:44 +03:00
|
|
|
#if defined(_KERNEL) && !defined(_LKM)
|
|
|
|
#include "opt_uvm.h"
|
|
|
|
#endif
|
|
|
|
|
1998-02-06 03:14:43 +03:00
|
|
|
#ifdef UVM
|
|
|
|
#include <uvm/uvm_anon.h>
|
|
|
|
#endif
|
|
|
|
|
1993-03-21 12:45:37 +03:00
|
|
|
/*
|
|
|
|
* Types defined:
|
|
|
|
*
|
|
|
|
* vm_map_t the high-level address map data structure.
|
|
|
|
* vm_map_entry_t an entry in an address map.
|
|
|
|
* vm_map_version_t a timestamp of a map, for use with vm_map_lookup
|
|
|
|
*/
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Objects which live in maps may be either VM objects, or
|
|
|
|
* another map (called a "sharing map") which denotes read-write
|
|
|
|
* sharing with other maps.
|
1998-02-06 03:14:43 +03:00
|
|
|
*
|
|
|
|
* XXXCDC: private pager data goes here now
|
1993-03-21 12:45:37 +03:00
|
|
|
*/
|
|
|
|
|
|
|
|
union vm_map_object {
|
|
|
|
struct vm_object *vm_object; /* object object */
|
|
|
|
struct vm_map *share_map; /* share map */
|
|
|
|
struct vm_map *sub_map; /* belongs to another map */
|
1998-02-06 03:14:43 +03:00
|
|
|
#ifdef UVM
|
|
|
|
struct uvm_object *uvm_obj; /* UVM OBJECT */
|
|
|
|
#endif /* UVM */
|
1993-03-21 12:45:37 +03:00
|
|
|
};
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Address map entries consist of start and end addresses,
|
|
|
|
* a VM object (or sharing map) and offset into that object,
|
|
|
|
* and user-exported inheritance and protection information.
|
|
|
|
* Also included is control information for virtual copy operations.
|
|
|
|
*/
|
|
|
|
struct vm_map_entry {
|
|
|
|
struct vm_map_entry *prev; /* previous entry */
|
|
|
|
struct vm_map_entry *next; /* next entry */
|
1998-08-13 06:10:37 +04:00
|
|
|
vaddr_t start; /* start address */
|
|
|
|
vaddr_t end; /* end address */
|
1993-03-21 12:45:37 +03:00
|
|
|
union vm_map_object object; /* object I point to */
|
1998-08-13 06:10:37 +04:00
|
|
|
vsize_t offset; /* offset into object */
|
1998-02-06 03:14:43 +03:00
|
|
|
#if defined(UVM)
|
|
|
|
/* etype is a bitmap that replaces the following 4 items */
|
|
|
|
int etype; /* entry type */
|
|
|
|
#else
|
1993-03-21 12:45:37 +03:00
|
|
|
boolean_t is_a_map; /* Is "object" a map? */
|
|
|
|
boolean_t is_sub_map; /* Is "object" a submap? */
|
|
|
|
/* Only in sharing maps: */
|
|
|
|
boolean_t copy_on_write; /* is data copy-on-write */
|
|
|
|
boolean_t needs_copy; /* does object need to be copied */
|
1998-02-06 03:14:43 +03:00
|
|
|
#endif
|
1993-03-21 12:45:37 +03:00
|
|
|
/* Only in task maps: */
|
|
|
|
vm_prot_t protection; /* protection code */
|
|
|
|
vm_prot_t max_protection; /* maximum protection */
|
|
|
|
vm_inherit_t inheritance; /* inheritance */
|
|
|
|
int wired_count; /* can be paged if = 0 */
|
1998-02-06 03:14:43 +03:00
|
|
|
#ifdef UVM
|
|
|
|
struct vm_aref aref; /* anonymous overlay */
|
|
|
|
int advice; /* madvise advice */
|
|
|
|
#define uvm_map_entry_stop_copy flags
|
|
|
|
u_int8_t flags; /* flags */
|
|
|
|
|
|
|
|
#define UVM_MAP_STATIC 0x01 /* static map entry */
|
|
|
|
|
|
|
|
#endif /* UVM */
|
1993-03-21 12:45:37 +03:00
|
|
|
};
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Maps are doubly-linked lists of map entries, kept sorted
|
|
|
|
* by address. A single hint is provided to start
|
|
|
|
* searches again from the last successful search,
|
|
|
|
* insertion, or removal.
|
|
|
|
*/
|
|
|
|
struct vm_map {
|
|
|
|
struct pmap * pmap; /* Physical map */
|
|
|
|
lock_data_t lock; /* Lock for map data */
|
|
|
|
struct vm_map_entry header; /* List of entries */
|
|
|
|
int nentries; /* Number of entries */
|
1998-08-13 06:10:37 +04:00
|
|
|
vsize_t size; /* virtual size */
|
1993-03-21 12:45:37 +03:00
|
|
|
boolean_t is_main_map; /* Am I a main map? */
|
|
|
|
int ref_count; /* Reference count */
|
|
|
|
simple_lock_data_t ref_lock; /* Lock for ref_count field */
|
|
|
|
vm_map_entry_t hint; /* hint for quick lookups */
|
|
|
|
simple_lock_data_t hint_lock; /* lock for hint storage */
|
|
|
|
vm_map_entry_t first_free; /* First free space hint */
|
|
|
|
boolean_t entries_pageable; /* map entries pageable?? */
|
|
|
|
unsigned int timestamp; /* Version number */
|
|
|
|
#define min_offset header.start
|
|
|
|
#define max_offset header.end
|
|
|
|
};
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Map versions are used to validate a previous lookup attempt.
|
|
|
|
*
|
|
|
|
* Since lookup operations may involve both a main map and
|
|
|
|
* a sharing map, it is necessary to have a timestamp from each.
|
|
|
|
* [If the main map timestamp has changed, the share_map and
|
|
|
|
* associated timestamp are no longer valid; the map version
|
|
|
|
* does not include a reference for the imbedded share_map.]
|
|
|
|
*/
|
|
|
|
typedef struct {
|
|
|
|
int main_timestamp;
|
|
|
|
vm_map_t share_map;
|
|
|
|
int share_timestamp;
|
|
|
|
} vm_map_version_t;
|
|
|
|
|
|
|
|
/*
|
1994-03-17 05:51:57 +03:00
|
|
|
* Macros: vm_map_lock, etc.
|
|
|
|
* Function:
|
|
|
|
* Perform locking on the data portion of a map.
|
1993-03-21 12:45:37 +03:00
|
|
|
*/
|
1994-03-17 05:51:57 +03:00
|
|
|
|
1997-07-07 14:57:34 +04:00
|
|
|
#include <sys/time.h>
|
1997-07-06 16:38:25 +04:00
|
|
|
#include <sys/proc.h> /* XXX for curproc and p_pid */
|
|
|
|
|
|
|
|
#define vm_map_lock_drain_interlock(map) { \
|
|
|
|
lockmgr(&(map)->lock, LK_DRAIN|LK_INTERLOCK, \
|
1998-03-01 05:20:01 +03:00
|
|
|
&(map)->ref_lock); \
|
1997-07-06 16:38:25 +04:00
|
|
|
(map)->timestamp++; \
|
|
|
|
}
|
|
|
|
#ifdef DIAGNOSTIC
|
|
|
|
#define vm_map_lock(map) { \
|
1998-03-01 05:20:01 +03:00
|
|
|
if (lockmgr(&(map)->lock, LK_EXCLUSIVE, (void *)0) != 0) { \
|
1997-07-06 16:38:25 +04:00
|
|
|
panic("vm_map_lock: failed to get lock"); \
|
|
|
|
} \
|
|
|
|
(map)->timestamp++; \
|
|
|
|
}
|
|
|
|
#else
|
1994-03-17 05:51:57 +03:00
|
|
|
#define vm_map_lock(map) { \
|
1998-03-01 05:20:01 +03:00
|
|
|
lockmgr(&(map)->lock, LK_EXCLUSIVE, (void *)0); \
|
1994-03-17 05:51:57 +03:00
|
|
|
(map)->timestamp++; \
|
|
|
|
}
|
1997-07-06 16:38:25 +04:00
|
|
|
#endif /* DIAGNOSTIC */
|
|
|
|
#define vm_map_unlock(map) \
|
1998-03-01 05:20:01 +03:00
|
|
|
lockmgr(&(map)->lock, LK_RELEASE, (void *)0)
|
1997-07-06 16:38:25 +04:00
|
|
|
#define vm_map_lock_read(map) \
|
1998-03-01 05:20:01 +03:00
|
|
|
lockmgr(&(map)->lock, LK_SHARED, (void *)0)
|
1997-07-06 16:38:25 +04:00
|
|
|
#define vm_map_unlock_read(map) \
|
1998-03-01 05:20:01 +03:00
|
|
|
lockmgr(&(map)->lock, LK_RELEASE, (void *)0)
|
1997-07-06 16:38:25 +04:00
|
|
|
#define vm_map_set_recursive(map) { \
|
|
|
|
simple_lock(&(map)->lk_interlock); \
|
|
|
|
(map)->lk_flags |= LK_CANRECURSE; \
|
|
|
|
simple_unlock(&(map)->lk_interlock); \
|
|
|
|
}
|
|
|
|
#define vm_map_clear_recursive(map) { \
|
|
|
|
simple_lock(&(map)->lk_interlock); \
|
1997-07-21 03:23:45 +04:00
|
|
|
if ((map)->lk_exclusivecount <= 1) \
|
|
|
|
(map)->lk_flags &= ~LK_CANRECURSE; \
|
1997-07-06 16:38:25 +04:00
|
|
|
simple_unlock(&(map)->lk_interlock); \
|
|
|
|
}
|
1998-02-06 03:14:43 +03:00
|
|
|
#if defined(UVM) && defined(_KERNEL)
|
|
|
|
/* XXX: clean up later */
|
|
|
|
static boolean_t vm_map_lock_try __P((vm_map_t));
|
|
|
|
|
|
|
|
static __inline boolean_t vm_map_lock_try(map)
|
|
|
|
|
|
|
|
vm_map_t map;
|
|
|
|
|
|
|
|
{
|
1998-03-01 05:20:01 +03:00
|
|
|
if (lockmgr(&(map)->lock, LK_EXCLUSIVE|LK_NOWAIT, (void *)0) != 0)
|
1998-02-06 03:14:43 +03:00
|
|
|
return(FALSE);
|
|
|
|
map->timestamp++;
|
|
|
|
return(TRUE);
|
|
|
|
}
|
|
|
|
#endif
|
1993-03-21 12:45:37 +03:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Functions implemented as macros
|
|
|
|
*/
|
|
|
|
#define vm_map_min(map) ((map)->min_offset)
|
|
|
|
#define vm_map_max(map) ((map)->max_offset)
|
|
|
|
#define vm_map_pmap(map) ((map)->pmap)
|
|
|
|
|
|
|
|
/* XXX: number of kernel maps and entries to statically allocate */
|
1994-05-23 07:11:20 +04:00
|
|
|
#define MAX_KMAP 10
|
1998-02-06 03:14:43 +03:00
|
|
|
#if 0
|
1994-05-23 07:11:20 +04:00
|
|
|
#define MAX_KMAPENT 500
|
1998-02-06 03:14:43 +03:00
|
|
|
#else
|
|
|
|
#define MAX_KMAPENT 1000 /* XXXCDC: no crash */
|
|
|
|
#endif
|
1994-03-17 05:51:57 +03:00
|
|
|
|
1995-03-27 00:35:13 +04:00
|
|
|
#ifdef _KERNEL
|
1994-03-17 05:51:57 +03:00
|
|
|
boolean_t vm_map_check_protection __P((vm_map_t,
|
1998-08-13 06:10:37 +04:00
|
|
|
vaddr_t, vaddr_t, vm_prot_t));
|
|
|
|
int vm_map_copy __P((vm_map_t, vm_map_t, vaddr_t,
|
|
|
|
vsize_t, vaddr_t, boolean_t, boolean_t));
|
1994-05-23 07:11:20 +04:00
|
|
|
void vm_map_copy_entry __P((vm_map_t,
|
|
|
|
vm_map_t, vm_map_entry_t, vm_map_entry_t));
|
1994-03-17 05:51:57 +03:00
|
|
|
struct pmap;
|
|
|
|
vm_map_t vm_map_create __P((struct pmap *,
|
1998-08-13 06:10:37 +04:00
|
|
|
vaddr_t, vaddr_t, boolean_t));
|
1994-03-17 05:51:57 +03:00
|
|
|
void vm_map_deallocate __P((vm_map_t));
|
1998-08-13 06:10:37 +04:00
|
|
|
int vm_map_delete __P((vm_map_t, vaddr_t, vaddr_t));
|
1994-05-23 07:11:20 +04:00
|
|
|
vm_map_entry_t vm_map_entry_create __P((vm_map_t));
|
|
|
|
void vm_map_entry_delete __P((vm_map_t, vm_map_entry_t));
|
|
|
|
void vm_map_entry_dispose __P((vm_map_t, vm_map_entry_t));
|
|
|
|
void vm_map_entry_unwire __P((vm_map_t, vm_map_entry_t));
|
1994-03-17 05:51:57 +03:00
|
|
|
int vm_map_find __P((vm_map_t, vm_object_t,
|
1998-08-13 06:10:37 +04:00
|
|
|
vaddr_t, vaddr_t *, vsize_t, boolean_t));
|
1994-05-23 07:11:20 +04:00
|
|
|
int vm_map_findspace __P((vm_map_t,
|
1998-08-13 06:10:37 +04:00
|
|
|
vaddr_t, vsize_t, vaddr_t *));
|
1994-03-17 05:51:57 +03:00
|
|
|
int vm_map_inherit __P((vm_map_t,
|
1998-08-13 06:10:37 +04:00
|
|
|
vaddr_t, vaddr_t, vm_inherit_t));
|
1994-03-17 05:51:57 +03:00
|
|
|
void vm_map_init __P((struct vm_map *,
|
1998-08-13 06:10:37 +04:00
|
|
|
vaddr_t, vaddr_t, boolean_t));
|
1994-03-17 05:51:57 +03:00
|
|
|
int vm_map_insert __P((vm_map_t,
|
1998-08-14 01:12:15 +04:00
|
|
|
vm_object_t, vaddr_t, vaddr_t, vaddr_t));
|
1998-08-13 06:10:37 +04:00
|
|
|
int vm_map_lookup __P((vm_map_t *, vaddr_t, vm_prot_t,
|
|
|
|
vm_map_entry_t *, vm_object_t *, vaddr_t *, vm_prot_t *,
|
1994-03-17 05:51:57 +03:00
|
|
|
boolean_t *, boolean_t *));
|
|
|
|
void vm_map_lookup_done __P((vm_map_t, vm_map_entry_t));
|
|
|
|
boolean_t vm_map_lookup_entry __P((vm_map_t,
|
1998-08-13 06:10:37 +04:00
|
|
|
vaddr_t, vm_map_entry_t *));
|
1994-03-17 05:51:57 +03:00
|
|
|
int vm_map_pageable __P((vm_map_t,
|
1998-08-13 06:10:37 +04:00
|
|
|
vaddr_t, vaddr_t, boolean_t));
|
1994-05-23 07:11:20 +04:00
|
|
|
int vm_map_clean __P((vm_map_t,
|
1998-08-13 06:10:37 +04:00
|
|
|
vaddr_t, vaddr_t, boolean_t, boolean_t));
|
1994-03-17 05:51:57 +03:00
|
|
|
void vm_map_print __P((vm_map_t, boolean_t));
|
1994-05-23 07:11:20 +04:00
|
|
|
void _vm_map_print __P((vm_map_t, boolean_t,
|
|
|
|
void (*)(const char *, ...)));
|
1994-03-17 05:51:57 +03:00
|
|
|
int vm_map_protect __P((vm_map_t,
|
1998-08-13 06:10:37 +04:00
|
|
|
vaddr_t, vaddr_t, vm_prot_t, boolean_t));
|
1994-05-23 07:11:20 +04:00
|
|
|
void vm_map_reference __P((vm_map_t));
|
1998-08-13 06:10:37 +04:00
|
|
|
int vm_map_remove __P((vm_map_t, vaddr_t, vaddr_t));
|
|
|
|
void vm_map_simplify __P((vm_map_t, vaddr_t));
|
1994-05-23 07:11:20 +04:00
|
|
|
void vm_map_simplify_entry __P((vm_map_t, vm_map_entry_t));
|
1994-03-17 05:51:57 +03:00
|
|
|
void vm_map_startup __P((void));
|
|
|
|
int vm_map_submap __P((vm_map_t,
|
1998-08-13 06:10:37 +04:00
|
|
|
vaddr_t, vaddr_t, vm_map_t));
|
1994-03-17 05:51:57 +03:00
|
|
|
#endif
|
|
|
|
#endif /* _VM_MAP_ */
|