2 * Copyright (c) 2000 Apple Computer, Inc. All rights reserved.
4 * @APPLE_LICENSE_HEADER_START@
6 * The contents of this file constitute Original Code as defined in and
7 * are subject to the Apple Public Source License Version 1.1 (the
8 * "License"). You may not use this file except in compliance with the
9 * License. Please obtain a copy of the License at
10 * http://www.apple.com/publicsource and read it before using this file.
12 * This Original Code and all software distributed under the License are
13 * distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY KIND, EITHER
14 * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
15 * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
16 * FITNESS FOR A PARTICULAR PURPOSE OR NON-INFRINGEMENT. Please see the
17 * License for the specific language governing rights and limitations
20 * @APPLE_LICENSE_HEADER_END@
26 * Mach Operating System
27 * Copyright (c) 1991,1990,1989,1988 Carnegie Mellon University
28 * All Rights Reserved.
30 * Permission to use, copy, modify and distribute this software and its
31 * documentation is hereby granted, provided that both the copyright
32 * notice and this permission notice appear in all copies of the
33 * software, derivative works or modified versions, and any portions
34 * thereof, and that both notices appear in supporting documentation.
36 * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
37 * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
38 * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
40 * Carnegie Mellon requests users of this software to return to
42 * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU
43 * School of Computer Science
44 * Carnegie Mellon University
45 * Pittsburgh PA 15213-3890
47 * any improvements or extensions that they make and grant Carnegie Mellon
48 * the rights to redistribute these changes.
54 * Author: Avadis Tevanian, Jr., Michael Wayne Young
57 * Resident memory system definitions.
60 #ifndef _VM_VM_PAGE_H_
61 #define _VM_VM_PAGE_H_
63 #include <mach/boolean.h>
64 #include <mach/vm_prot.h>
65 #include <mach/vm_param.h>
66 #include <vm/vm_object.h>
67 #include <kern/queue.h>
68 #include <kern/lock.h>
70 #include <kern/macro_help.h>
73 * Each page entered on the inactive queue obtains a ticket from a
74 * particular ticket roll. Pages granted tickets from a particular
75 * roll generally flow through the queue as a group. In this way when a
76 * page with a ticket from a particular roll is pulled from the top of the
77 * queue it is extremely likely that the pages near the top will have tickets
78 * from the same or adjacent rolls. In this way the proximity to the top
79 * of the queue can be loosely ascertained by determining the identity of
80 * the roll the pages ticket came from.
84 extern int vm_page_ticket_roll
;
85 extern int vm_page_ticket
;
88 #define VM_PAGE_TICKETS_IN_ROLL 512
89 #define VM_PAGE_TICKET_ROLL_IDS 16
92 * Management of resident (logical) pages.
94 * A small structure is kept for each resident
95 * page, indexed by page number. Each structure
96 * is an element of several lists:
98 * A hash table bucket used to quickly
99 * perform object/offset lookups
101 * A list of all pages for a given object,
102 * so they can be quickly deactivated at
103 * time of deallocation.
105 * An ordered list of pages due for pageout.
107 * In addition, the structure contains the object
108 * and offset to which this page belongs (for pageout),
109 * and sundry status bits.
111 * Fields in this structure are locked either by the lock on the
112 * object that the page belongs to (O) or by the lock on the page
113 * queues (P). [Some fields require that both locks be held to
114 * change that field; holding either lock is sufficient to read.]
118 queue_chain_t pageq
; /* queue info for FIFO
119 * queue or free list (P) */
120 queue_chain_t listq
; /* all pages in same object (O) */
121 struct vm_page
*next
; /* VP bucket link (O) */
123 vm_object_t object
; /* which object am I in (O&P) */
124 vm_object_offset_t offset
; /* offset into that object (O,P) */
126 unsigned int wire_count
:16, /* how many wired down maps use me? (O&P) */
127 page_ticket
:4, /* age of the page on the */
128 /* inactive queue. */
129 /* boolean_t */ inactive
:1, /* page is in inactive list (P) */
130 active
:1, /* page is in active list (P) */
131 laundry
:1, /* page is being cleaned now (P)*/
132 free
:1, /* page is on free list (P) */
133 reference
:1, /* page has been used (P) */
134 pageout
:1, /* page wired & busy for pageout (P) */
135 gobbled
:1, /* page used internally (P) */
136 private:1, /* Page should not be returned to
137 * the free list (O) */
142 page_error
:8, /* error from I/O operations */
143 /* boolean_t */ busy
:1, /* page is in transit (O) */
144 wanted
:1, /* someone is waiting for page (O) */
145 tabled
:1, /* page is in VP table (O) */
146 fictitious
:1, /* Physical page doesn't exist (O) */
147 no_isync
:1, /* page has not been instruction synced */
148 absent
:1, /* Data has been requested, but is
149 * not yet available (O) */
150 error
:1, /* Data manager was unable to provide
151 * data due to error (O) */
152 dirty
:1, /* Page must be cleaned (O) */
153 cleaning
:1, /* Page clean has begun (O) */
154 precious
:1, /* Page is precious; data must be
155 * returned even if clean (O) */
156 clustered
:1, /* page is not the faulted page (O) */
157 overwriting
:1, /* Request to unlock has been made
158 * without having data. (O)
159 * [See vm_fault_page_overwrite] */
160 restart
:1, /* Page was pushed higher in shadow
161 chain by copy_call-related pagers;
162 start again at top of chain */
163 lock_supplied
:1,/* protection supplied by pager (O) */
164 /* vm_prot_t */ page_lock
:3, /* Uses prohibited by pager (O) */
165 /* vm_prot_t */ unlock_request
:3,/* Outstanding unlock request (O) */
166 unusual
:1, /* Page is absent, error, restart or
168 discard_request
:1,/* a memory_object_discard_request()
170 list_req_pending
:1, /* pagein/pageout alt mechanism */
171 /* allows creation of list */
172 /* requests on pages that are */
173 /* actively being paged. */
174 dump_cleaning
:1; /* set by the pageout daemon when */
175 /* a page being cleaned is */
176 /* encountered and targeted as */
177 /* a pageout candidate */
178 /* we've used up all 32 bits */
180 vm_offset_t phys_addr
; /* Physical address of page, passed
181 * to pmap_enter (read-only) */
184 typedef struct vm_page
*vm_page_t
;
186 #define VM_PAGE_NULL ((vm_page_t) 0)
187 #define NEXT_PAGE(m) ((vm_page_t) (m)->pageq.next)
190 * XXX The unusual bit should not be necessary. Most of the bit
191 * XXX fields above really want to be masks.
195 * For debugging, this macro can be defined to perform
196 * some useful check on a page structure.
199 #define VM_PAGE_CHECK(mem)
202 * Each pageable resident page falls into one of three lists:
205 * Available for allocation now.
207 * Not referenced in any map, but still has an
208 * object/offset-page mapping, and may be dirty.
209 * This is the list of pages that should be
212 * A list of pages which have been placed in
213 * at least one physical map. This list is
214 * ordered, in LRU-like fashion.
218 vm_page_t vm_page_queue_free
; /* memory free queue */
220 vm_page_t vm_page_queue_fictitious
; /* fictitious free queue */
222 queue_head_t vm_page_queue_active
; /* active memory queue */
224 queue_head_t vm_page_queue_inactive
; /* inactive memory queue */
225 queue_head_t vm_page_queue_zf
; /* inactive memory queue for zero fill */
228 vm_offset_t first_phys_addr
; /* physical address for first_page */
230 vm_offset_t last_phys_addr
; /* physical address for last_page */
233 int vm_page_free_count
; /* How many pages are free? */
235 int vm_page_fictitious_count
;/* How many fictitious pages are free? */
237 int vm_page_active_count
; /* How many pages are active? */
239 int vm_page_inactive_count
; /* How many pages are inactive? */
241 int vm_page_wire_count
; /* How many pages are wired? */
243 int vm_page_free_target
; /* How many do we want free? */
245 int vm_page_free_min
; /* When to wakeup pageout */
247 int vm_page_inactive_target
;/* How many do we want inactive? */
249 int vm_page_free_reserved
; /* How many pages reserved to do pageout */
251 int vm_page_laundry_count
; /* How many pages being laundered? */
253 decl_mutex_data(,vm_page_queue_lock
)
254 /* lock on active and inactive page queues */
255 decl_mutex_data(,vm_page_queue_free_lock
)
256 /* lock on free page queue */
257 decl_simple_lock_data(extern,vm_page_preppin_lock
) /* lock for prep/pin */
258 decl_mutex_data(,vm_page_zero_fill_lock
)
260 extern unsigned int vm_page_free_wanted
;
261 /* how many threads are waiting for memory */
263 extern vm_offset_t vm_page_fictitious_addr
;
264 /* (fake) phys_addr of fictitious pages */
267 * Prototypes for functions exported by this module.
269 extern void vm_page_bootstrap(
273 extern void vm_page_module_init(void);
275 extern void vm_page_create(
279 extern vm_page_t
vm_page_lookup(
281 vm_object_offset_t offset
);
283 extern vm_page_t
vm_page_grab_fictitious(void);
285 extern void vm_page_release_fictitious(
288 extern boolean_t
vm_page_convert(
291 extern void vm_page_more_fictitious(void);
293 extern int vm_pool_low(void);
295 extern vm_page_t
vm_page_grab(void);
297 extern void vm_page_release(
300 extern void vm_page_release_limbo(
303 extern void vm_page_limbo_exchange(
307 extern boolean_t
vm_page_wait(
310 extern vm_page_t
vm_page_alloc(
312 vm_object_offset_t offset
);
314 extern void vm_page_init(
316 vm_offset_t phys_addr
);
318 extern void vm_page_free(
321 extern void vm_page_activate(
324 extern void vm_page_deactivate(
327 extern void vm_page_rename(
329 vm_object_t new_object
,
330 vm_object_offset_t new_offset
);
332 extern void vm_page_insert(
335 vm_object_offset_t offset
);
337 extern void vm_page_replace(
340 vm_object_offset_t offset
);
342 extern void vm_page_remove(
345 extern void vm_page_zero_fill(
348 extern void vm_page_part_zero_fill(
353 extern void vm_page_copy(
355 vm_page_t dest_page
);
357 extern void vm_page_part_copy(
364 extern void vm_page_wire(
367 extern void vm_page_unwire(
370 extern void vm_set_page_size(void);
372 extern void vm_page_gobble(
376 * Functions implemented as macros. m->wanted and m->busy are
377 * protected by the object lock.
380 #define PAGE_ASSERT_WAIT(m, interruptible) \
381 (((m)->wanted = TRUE), \
382 assert_wait((event_t) (m), (interruptible)))
384 #define PAGE_SLEEP(o, m, interruptible) \
385 (((m)->wanted = TRUE), \
386 thread_sleep_vm_object((o), (m), (interruptible)))
388 #define PAGE_WAKEUP_DONE(m) \
392 (m)->wanted = FALSE; \
393 thread_wakeup((event_t) (m)); \
397 #define PAGE_WAKEUP(m) \
400 (m)->wanted = FALSE; \
401 thread_wakeup((event_t) (m)); \
405 #define VM_PAGE_FREE(p) \
407 vm_page_lock_queues(); \
409 vm_page_unlock_queues(); \
412 #define VM_PAGE_GRAB_FICTITIOUS(M) \
414 while ((M = vm_page_grab_fictitious()) == VM_PAGE_NULL) \
415 vm_page_more_fictitious(); \
418 #define VM_PAGE_THROTTLED() \
419 (vm_page_free_count < (vm_page_free_target - \
420 ((vm_page_free_target-vm_page_free_min)>>2)))
422 #define VM_PAGE_WAIT() ((void)vm_page_wait(THREAD_UNINT))
424 #define vm_page_lock_queues() mutex_lock(&vm_page_queue_lock)
425 #define vm_page_unlock_queues() mutex_unlock(&vm_page_queue_lock)
426 #define vm_page_pin_lock() simple_lock(&vm_page_preppin_lock)
427 #define vm_page_pin_unlock() simple_unlock(&vm_page_preppin_lock)
429 #define VM_PAGE_QUEUES_REMOVE(mem) \
432 assert(!mem->inactive); \
433 queue_remove(&vm_page_queue_active, \
434 mem, vm_page_t, pageq); \
435 mem->active = FALSE; \
436 if (!mem->fictitious) \
437 vm_page_active_count--; \
440 if (mem->inactive) { \
441 assert(!mem->active); \
442 if (mem->zero_fill) { \
443 queue_remove(&vm_page_queue_zf, \
444 mem, vm_page_t, pageq); \
446 queue_remove(&vm_page_queue_inactive, \
447 mem, vm_page_t, pageq); \
449 mem->inactive = FALSE; \
450 if (!mem->fictitious) \
451 vm_page_inactive_count--; \
455 #endif /* _VM_VM_PAGE_H_ */