Home | History | Annotate | Line # | Download | only in uvm
uvm_amap.h revision 1.23
      1  1.23  junyoung /*	$NetBSD: uvm_amap.h,v 1.23 2004/03/24 07:55:01 junyoung Exp $	*/
      2   1.1       mrg 
      3   1.1       mrg /*
      4   1.1       mrg  *
      5   1.1       mrg  * Copyright (c) 1997 Charles D. Cranor and Washington University.
      6   1.1       mrg  * All rights reserved.
      7   1.1       mrg  *
      8   1.1       mrg  * Redistribution and use in source and binary forms, with or without
      9   1.1       mrg  * modification, are permitted provided that the following conditions
     10   1.1       mrg  * are met:
     11   1.1       mrg  * 1. Redistributions of source code must retain the above copyright
     12   1.1       mrg  *    notice, this list of conditions and the following disclaimer.
     13   1.1       mrg  * 2. Redistributions in binary form must reproduce the above copyright
     14   1.1       mrg  *    notice, this list of conditions and the following disclaimer in the
     15   1.1       mrg  *    documentation and/or other materials provided with the distribution.
     16   1.1       mrg  * 3. All advertising materials mentioning features or use of this software
     17   1.1       mrg  *    must display the following acknowledgement:
     18   1.1       mrg  *      This product includes software developed by Charles D. Cranor and
     19   1.1       mrg  *      Washington University.
     20   1.1       mrg  * 4. The name of the author may not be used to endorse or promote products
     21   1.1       mrg  *    derived from this software without specific prior written permission.
     22   1.1       mrg  *
     23   1.1       mrg  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
     24   1.1       mrg  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
     25   1.1       mrg  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
     26   1.1       mrg  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
     27   1.1       mrg  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
     28   1.1       mrg  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
     29   1.1       mrg  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
     30   1.1       mrg  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
     31   1.1       mrg  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
     32   1.1       mrg  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     33   1.1       mrg  */
     34   1.1       mrg 
     35   1.4     perry #ifndef _UVM_UVM_AMAP_H_
     36   1.4     perry #define _UVM_UVM_AMAP_H_
     37   1.4     perry 
     38   1.1       mrg /*
     39   1.9     chuck  * uvm_amap.h: general amap interface and amap implementation-specific info
     40   1.9     chuck  */
     41   1.9     chuck 
     42   1.9     chuck /*
     43   1.9     chuck  * an amap structure contains pointers to a set of anons that are
     44   1.9     chuck  * mapped together in virtual memory (an anon is a single page of
     45   1.9     chuck  * anonymous virtual memory -- see uvm_anon.h).  in uvm we hide the
     46   1.9     chuck  * details of the implementation of amaps behind a general amap
     47   1.9     chuck  * interface.  this allows us to change the amap implementation
     48   1.9     chuck  * without having to touch the rest of the code.  this file is divided
     49   1.9     chuck  * into two parts: the definition of the uvm amap interface and the
     50   1.9     chuck  * amap implementation-specific definitions.
     51   1.9     chuck  */
     52   1.9     chuck 
     53  1.11   thorpej #ifdef _KERNEL
     54  1.11   thorpej 
     55   1.9     chuck /*
     56   1.9     chuck  * part 1: amap interface
     57   1.9     chuck  */
     58   1.9     chuck 
     59   1.9     chuck /*
     60   1.9     chuck  * forward definition of vm_amap structure.  only amap
     61   1.9     chuck  * implementation-specific code should directly access the fields of
     62  1.15       chs  * this structure.
     63   1.9     chuck  */
     64   1.9     chuck 
     65   1.9     chuck struct vm_amap;
     66   1.9     chuck 
     67   1.9     chuck /*
     68   1.9     chuck  * handle inline options... we allow amap ops to be inline, but we also
     69   1.9     chuck  * provide a hook to turn this off.  macros can also be used.
     70   1.9     chuck  */
     71   1.9     chuck 
     72  1.10     chuck #ifdef UVM_AMAP_INLINE			/* defined/undef'd in uvm_amap.c */
     73   1.9     chuck #define AMAP_INLINE static __inline	/* inline enabled */
     74  1.15       chs #else
     75   1.9     chuck #define AMAP_INLINE			/* inline disabled */
     76   1.9     chuck #endif /* UVM_AMAP_INLINE */
     77   1.9     chuck 
     78   1.9     chuck 
     79   1.9     chuck /*
     80  1.15       chs  * prototypes for the amap interface
     81   1.9     chuck  */
     82   1.9     chuck 
     83   1.9     chuck AMAP_INLINE
     84  1.12   thorpej void		amap_add 	/* add an anon to an amap */
     85  1.23  junyoung 			(struct vm_aref *, vaddr_t,
     86  1.23  junyoung 			 struct vm_anon *, boolean_t);
     87   1.9     chuck struct vm_amap	*amap_alloc	/* allocate a new amap */
     88  1.23  junyoung 			(vaddr_t, vaddr_t, int);
     89   1.9     chuck void		amap_copy	/* clear amap needs-copy flag */
     90  1.23  junyoung 			(struct vm_map *, struct vm_map_entry *, int,
     91  1.23  junyoung 			 boolean_t, vaddr_t, vaddr_t);
     92   1.9     chuck void		amap_cow_now	/* resolve all COW faults now */
     93  1.23  junyoung 			(struct vm_map *, struct vm_map_entry *);
     94  1.18       chs int		amap_extend	/* make amap larger */
     95  1.23  junyoung 			(struct vm_map_entry *, vsize_t, int);
     96   1.9     chuck int		amap_flags	/* get amap's flags */
     97  1.23  junyoung 			(struct vm_amap *);
     98   1.9     chuck void		amap_free	/* free amap */
     99  1.23  junyoung 			(struct vm_amap *);
    100   1.9     chuck void		amap_init	/* init amap module (at boot time) */
    101  1.23  junyoung 			(void);
    102   1.9     chuck void		amap_lock	/* lock amap */
    103  1.23  junyoung 			(struct vm_amap *);
    104   1.9     chuck AMAP_INLINE
    105   1.9     chuck struct vm_anon	*amap_lookup	/* lookup an anon @ offset in amap */
    106  1.23  junyoung 			(struct vm_aref *, vaddr_t);
    107   1.9     chuck AMAP_INLINE
    108   1.9     chuck void		amap_lookups	/* lookup multiple anons */
    109  1.23  junyoung 			(struct vm_aref *, vaddr_t,
    110  1.23  junyoung 			 struct vm_anon **, int);
    111   1.9     chuck AMAP_INLINE
    112   1.9     chuck void		amap_ref	/* add a reference to an amap */
    113  1.23  junyoung 			(struct vm_amap *, vaddr_t, vsize_t, int);
    114   1.9     chuck int		amap_refs	/* get number of references of amap */
    115  1.23  junyoung 			(struct vm_amap *);
    116   1.9     chuck void		amap_share_protect /* protect pages in a shared amap */
    117  1.23  junyoung 			(struct vm_map_entry *, vm_prot_t);
    118   1.9     chuck void		amap_splitref	/* split reference to amap into two */
    119  1.23  junyoung 			(struct vm_aref *, struct vm_aref *, vaddr_t);
    120   1.9     chuck AMAP_INLINE
    121   1.9     chuck void		amap_unadd	/* remove an anon from an amap */
    122  1.23  junyoung 			(struct vm_aref *, vaddr_t);
    123   1.9     chuck void		amap_unlock	/* unlock amap */
    124  1.23  junyoung 			(struct vm_amap *);
    125   1.9     chuck AMAP_INLINE
    126   1.9     chuck void		amap_unref	/* drop reference to an amap */
    127  1.23  junyoung 			(struct vm_amap *, vaddr_t, vsize_t, int);
    128   1.9     chuck void		amap_wipeout	/* remove all anons from amap */
    129  1.23  junyoung 			(struct vm_amap *);
    130   1.9     chuck 
    131   1.9     chuck /*
    132   1.9     chuck  * amap flag values
    133   1.9     chuck  */
    134   1.9     chuck 
    135   1.9     chuck #define AMAP_SHARED	0x1	/* amap is shared */
    136   1.9     chuck #define AMAP_REFALL	0x2	/* amap_ref: reference entire amap */
    137  1.19    atatat 
    138  1.19    atatat /*
    139  1.20    bouyer  * amap_extend flags
    140  1.19    atatat  */
    141  1.20    bouyer #define AMAP_EXTEND_BACKWARDS	0x00	/* add "size" to start of map */
    142  1.20    bouyer #define AMAP_EXTEND_FORWARDS	0x01	/* add "size" to end of map */
    143  1.20    bouyer #define AMAP_EXTEND_NOWAIT	0x02	/* not allowed to sleep */
    144   1.9     chuck 
    145  1.11   thorpej #endif /* _KERNEL */
    146   1.9     chuck 
    147   1.9     chuck /**********************************************************************/
    148   1.9     chuck 
    149   1.9     chuck /*
    150   1.9     chuck  * part 2: amap implementation-specific info
    151   1.9     chuck  */
    152   1.9     chuck 
    153   1.9     chuck /*
    154   1.9     chuck  * we currently provide an array-based amap implementation.  in this
    155   1.9     chuck  * implementation we provide the option of tracking split references
    156   1.9     chuck  * so that we don't lose track of references during partial unmaps
    157  1.10     chuck  * ... this is enabled with the "UVM_AMAP_PPREF" define.
    158   1.9     chuck  */
    159   1.9     chuck 
    160  1.10     chuck #define UVM_AMAP_PPREF		/* track partial references */
    161   1.9     chuck 
    162   1.9     chuck /*
    163   1.9     chuck  * here is the definition of the vm_amap structure for this implementation.
    164   1.9     chuck  */
    165   1.9     chuck 
    166   1.9     chuck struct vm_amap {
    167  1.16       chs 	struct simplelock am_l; /* simple lock [locks all vm_amap fields] */
    168   1.9     chuck 	int am_ref;		/* reference count */
    169   1.9     chuck 	int am_flags;		/* flags */
    170   1.9     chuck 	int am_maxslot;		/* max # of slots allocated */
    171   1.9     chuck 	int am_nslot;		/* # of slots currently in map ( <= maxslot) */
    172   1.9     chuck 	int am_nused;		/* # of slots currently in use */
    173   1.9     chuck 	int *am_slots;		/* contig array of active slots */
    174   1.9     chuck 	int *am_bckptr;		/* back pointer array to am_slots */
    175   1.9     chuck 	struct vm_anon **am_anon; /* array of anonymous pages */
    176  1.10     chuck #ifdef UVM_AMAP_PPREF
    177   1.9     chuck 	int *am_ppref;		/* per page reference count (if !NULL) */
    178   1.9     chuck #endif
    179   1.9     chuck };
    180   1.9     chuck 
    181   1.9     chuck /*
    182   1.9     chuck  * note that am_slots, am_bckptr, and am_anon are arrays.   this allows
    183   1.9     chuck  * fast lookup of pages based on their virual address at the expense of
    184   1.9     chuck  * some extra memory.   in the future we should be smarter about memory
    185  1.15       chs  * usage and fall back to a non-array based implementation on systems
    186   1.9     chuck  * that are short of memory (XXXCDC).
    187   1.9     chuck  *
    188   1.9     chuck  * the entries in the array are called slots... for example an amap that
    189   1.9     chuck  * covers four pages of virtual memory is said to have four slots.   here
    190   1.9     chuck  * is an example of the array usage for a four slot amap.   note that only
    191   1.9     chuck  * slots one and three have anons assigned to them.  "D/C" means that we
    192   1.9     chuck  * "don't care" about the value.
    193  1.15       chs  *
    194   1.9     chuck  *            0     1      2     3
    195   1.9     chuck  * am_anon:   NULL, anon0, NULL, anon1		(actual pointers to anons)
    196   1.9     chuck  * am_bckptr: D/C,  1,     D/C,  0		(points to am_slots entry)
    197   1.9     chuck  *
    198   1.9     chuck  * am_slots:  3, 1, D/C, D/C    		(says slots 3 and 1 are in use)
    199  1.15       chs  *
    200   1.9     chuck  * note that am_bckptr is D/C if the slot in am_anon is set to NULL.
    201   1.9     chuck  * to find the entry in am_slots for an anon, look at am_bckptr[slot],
    202   1.9     chuck  * thus the entry for slot 3 in am_slots[] is at am_slots[am_bckptr[3]].
    203   1.9     chuck  * in general, if am_anon[X] is non-NULL, then the following must be
    204   1.9     chuck  * true: am_slots[am_bckptr[X]] == X
    205   1.9     chuck  *
    206   1.9     chuck  * note that am_slots is always contig-packed.
    207   1.1       mrg  */
    208   1.1       mrg 
    209   1.1       mrg /*
    210   1.9     chuck  * defines for handling of large sparce amaps:
    211  1.15       chs  *
    212   1.9     chuck  * one of the problems of array-based amaps is that if you allocate a
    213   1.9     chuck  * large sparcely-used area of virtual memory you end up allocating
    214   1.9     chuck  * large arrays that, for the most part, don't get used.  this is a
    215   1.9     chuck  * problem for BSD in that the kernel likes to make these types of
    216   1.9     chuck  * allocations to "reserve" memory for possible future use.
    217   1.1       mrg  *
    218   1.9     chuck  * for example, the kernel allocates (reserves) a large chunk of user
    219   1.9     chuck  * VM for possible stack growth.  most of the time only a page or two
    220   1.9     chuck  * of this VM is actually used.  since the stack is anonymous memory
    221   1.9     chuck  * it makes sense for it to live in an amap, but if we allocated an
    222   1.9     chuck  * amap for the entire stack range we could end up wasting a large
    223   1.9     chuck  * amount of malloc'd KVM.
    224  1.15       chs  *
    225  1.15       chs  * for example, on the i386 at boot time we allocate two amaps for the stack
    226  1.15       chs  * of /sbin/init:
    227   1.1       mrg  *  1. a 7680 slot amap at protection 0 (reserve space for stack)
    228   1.1       mrg  *  2. a 512 slot amap at protection 7 (top of stack)
    229   1.1       mrg  *
    230  1.15       chs  * most of the array allocated for the amaps for this is never used.
    231   1.9     chuck  * the amap interface provides a way for us to avoid this problem by
    232  1.15       chs  * allowing amap_copy() to break larger amaps up into smaller sized
    233   1.9     chuck  * chunks (controlled by the "canchunk" option).   we use this feature
    234   1.9     chuck  * to reduce our memory usage with the BSD stack management.  if we
    235   1.9     chuck  * are asked to create an amap with more than UVM_AMAP_LARGE slots in it,
    236   1.9     chuck  * we attempt to break it up into a UVM_AMAP_CHUNK sized amap if the
    237   1.9     chuck  * "canchunk" flag is set.
    238   1.1       mrg  *
    239   1.1       mrg  * so, in the i386 example, the 7680 slot area is never referenced so
    240   1.9     chuck  * nothing gets allocated (amap_copy is never called because the protection
    241   1.9     chuck  * is zero).   the 512 slot area for the top of the stack is referenced.
    242   1.9     chuck  * the chunking code breaks it up into 16 slot chunks (hopefully a single
    243   1.9     chuck  * 16 slot chunk is enough to handle the whole stack).
    244   1.1       mrg  */
    245   1.1       mrg 
    246   1.9     chuck #define UVM_AMAP_LARGE	256	/* # of slots in "large" amap */
    247   1.9     chuck #define UVM_AMAP_CHUNK	16	/* # of slots to chunk large amaps in */
    248   1.1       mrg 
    249  1.11   thorpej #ifdef _KERNEL
    250  1.22   thorpej #include <sys/mallocvar.h>
    251  1.22   thorpej MALLOC_DECLARE(M_UVMAMAP);
    252   1.1       mrg 
    253   1.9     chuck /*
    254   1.9     chuck  * macros
    255   1.9     chuck  */
    256   1.9     chuck 
    257   1.9     chuck /* AMAP_B2SLOT: convert byte offset to slot */
    258  1.14       chs #define AMAP_B2SLOT(S,B) {						\
    259  1.14       chs 	KASSERT(((B) & (PAGE_SIZE - 1)) == 0);				\
    260  1.14       chs 	(S) = (B) >> PAGE_SHIFT;					\
    261   1.1       mrg }
    262   1.1       mrg 
    263   1.1       mrg /*
    264   1.9     chuck  * lock/unlock/refs/flags macros
    265   1.1       mrg  */
    266   1.1       mrg 
    267   1.9     chuck #define amap_flags(AMAP)	((AMAP)->am_flags)
    268   1.9     chuck #define amap_lock(AMAP)		simple_lock(&(AMAP)->am_l)
    269   1.9     chuck #define amap_refs(AMAP)		((AMAP)->am_ref)
    270   1.9     chuck #define amap_unlock(AMAP)	simple_unlock(&(AMAP)->am_l)
    271   1.1       mrg 
    272   1.1       mrg /*
    273   1.9     chuck  * if we enable PPREF, then we have a couple of extra functions that
    274   1.9     chuck  * we need to prototype here...
    275   1.1       mrg  */
    276   1.1       mrg 
    277  1.10     chuck #ifdef UVM_AMAP_PPREF
    278   1.1       mrg 
    279   1.9     chuck #define PPREF_NONE ((int *) -1)	/* not using ppref */
    280   1.9     chuck 
    281   1.9     chuck void		amap_pp_adjref		/* adjust references */
    282  1.23  junyoung 			(struct vm_amap *, int, vsize_t, int);
    283   1.9     chuck void		amap_pp_establish	/* establish ppref */
    284  1.23  junyoung 			(struct vm_amap *, vaddr_t);
    285   1.9     chuck void		amap_wiperange		/* wipe part of an amap */
    286  1.23  junyoung 			(struct vm_amap *, int, int);
    287  1.10     chuck #endif	/* UVM_AMAP_PPREF */
    288  1.11   thorpej 
    289  1.11   thorpej #endif /* _KERNEL */
    290   1.4     perry 
    291   1.4     perry #endif /* _UVM_UVM_AMAP_H_ */
    292