2 * Copyright (c) 2000 Apple Computer, Inc. All rights reserved.
4 * @APPLE_LICENSE_HEADER_START@
6 * Copyright (c) 1999-2003 Apple Computer, Inc. All Rights Reserved.
8 * This file contains Original Code and/or Modifications of Original Code
9 * as defined in and that are subject to the Apple Public Source License
10 * Version 2.0 (the 'License'). You may not use this file except in
11 * compliance with the License. Please obtain a copy of the License at
12 * http://www.opensource.apple.com/apsl/ and read it before using this
15 * The Original Code and all software distributed under the License are
16 * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
17 * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
18 * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
19 * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
20 * Please see the License for the specific language governing rights and
21 * limitations under the License.
23 * @APPLE_LICENSE_HEADER_END@
29 * Mach Operating System
30 * Copyright (c) 1991,1990,1989,1988,1987 Carnegie Mellon University
31 * All Rights Reserved.
33 * Permission to use, copy, modify and distribute this software and its
34 * documentation is hereby granted, provided that both the copyright
35 * notice and this permission notice appear in all copies of the
36 * software, derivative works or modified versions, and any portions
37 * thereof, and that both notices appear in supporting documentation.
39 * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
40 * CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
41 * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
43 * Carnegie Mellon requests users of this software to return to
45 * Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU
46 * School of Computer Science
47 * Carnegie Mellon University
48 * Pittsburgh PA 15213-3890
50 * any improvements or extensions that they make and grant Carnegie Mellon
51 * the rights to redistribute these changes.
57 * Author: Avadis Tevanian, Jr., Michael Wayne Young
60 * Virtual memory object module definitions.
63 #ifndef _VM_VM_OBJECT_H_
64 #define _VM_VM_OBJECT_H_
66 #include <mach_pagemap.h>
67 #include <task_swapper.h>
69 #include <mach/kern_return.h>
70 #include <mach/boolean.h>
71 #include <mach/memory_object_types.h>
72 #include <mach/port.h>
73 #include <mach/vm_prot.h>
74 #include <mach/machine/vm_types.h>
75 #include <kern/queue.h>
76 #include <kern/lock.h>
77 #include <kern/assert.h>
78 #include <kern/ipc_mig.h>
79 #include <kern/misc_protos.h>
80 #include <kern/macro_help.h>
81 #include <ipc/ipc_types.h>
85 #include <vm/vm_external.h>
86 #endif /* MACH_PAGEMAP */
88 typedef memory_object_control_t pager_request_t
;
89 #define PAGER_REQUEST_NULL ((pager_request_t) 0)
94 * vm_object_t Virtual memory object.
97 typedef unsigned long long vm_object_size_t
;
101 queue_head_t memq
; /* Resident memory */
102 decl_mutex_data(, Lock
) /* Synchronization */
104 vm_object_size_t size
; /* Object size (only valid
107 vm_object_size_t frozen_size
; /* How much has been marked
108 * copy-on-write (only
109 * valid if copy_symmetric)
111 int ref_count
; /* Number of references */
113 int res_count
; /* Residency references (swap)*/
114 #endif /* TASK_SWAPPER */
115 unsigned int resident_page_count
;
116 /* number of resident pages */
118 struct vm_object
*copy
; /* Object that should receive
119 * a copy of my changed pages,
120 * for copy_delay, or just the
121 * temporary object that
122 * shadows this object, for
125 struct vm_object
*shadow
; /* My shadow */
126 vm_object_offset_t shadow_offset
; /* Offset into shadow */
128 memory_object_t pager
; /* Where to get data */
129 vm_object_offset_t paging_offset
; /* Offset into memory object */
130 pager_request_t pager_request
; /* Where data comes back */
132 memory_object_copy_strategy_t
133 copy_strategy
; /* How to handle data copy */
135 unsigned int absent_count
; /* The number of pages that
136 * have been requested but
137 * not filled. That is, the
138 * number of pages for which
139 * the "absent" attribute is
143 unsigned int paging_in_progress
;
144 /* The memory object ports are
145 * being used (e.g., for pagein
146 * or pageout) -- don't change
147 * any of these fields (i.e.,
148 * don't collapse, destroy or
152 /* boolean_t array */ all_wanted
:11, /* Bit array of "want to be
153 * awakened" notations. See
154 * VM_OBJECT_EVENT_* items
156 /* boolean_t */ pager_created
:1, /* Has pager been created? */
157 /* boolean_t */ pager_initialized
:1, /* Are fields ready to use? */
158 /* boolean_t */ pager_ready
:1, /* Will pager take requests? */
160 /* boolean_t */ pager_trusted
:1,/* The pager for this object
161 * is trusted. This is true for
162 * all internal objects (backed
163 * by the default pager)
165 /* boolean_t */ can_persist
:1, /* The kernel may keep the data
166 * for this object (and rights
167 * to the memory object) after
168 * all address map references
171 /* boolean_t */ internal
:1, /* Created by the kernel (and
172 * therefore, managed by the
173 * default memory manger)
175 /* boolean_t */ temporary
:1, /* Permanent objects may be
176 * changed externally by the
177 * memory manager, and changes
178 * made in memory must be
179 * reflected back to the memory
180 * manager. Temporary objects
184 /* boolean_t */ private:1, /* magic device_pager object,
185 * holds private pages only */
186 /* boolean_t */ pageout
:1, /* pageout object. contains
187 * private pages that refer to
188 * a real memory object. */
189 /* boolean_t */ alive
:1, /* Not yet terminated */
191 /* boolean_t */ lock_in_progress
:1,
192 /* Is a multi-page lock
193 * request in progress?
195 /* boolean_t */ lock_restart
:1,
196 /* Should lock request in
197 * progress restart search?
199 /* boolean_t */ shadowed
:1, /* Shadow may exist */
200 /* boolean_t */ silent_overwrite
:1,
201 /* Allow full page overwrite
202 * without data_request if
204 /* boolean_t */ advisory_pageout
:1,
205 /* Instead of sending page
206 * via OOL, just notify
207 * pager that the kernel
208 * wants to discard it, page
209 * remains in object */
210 /* boolean_t */ true_share
:1,
211 /* This object is mapped
212 * in more than one place
213 * and hence cannot be
215 /* boolean_t */ terminating
:1,
216 /* Allows vm_object_lookup
217 * and vm_object_deallocate
218 * to special case their
219 * behavior when they are
220 * called as a result of
221 * page cleaning during
224 /* boolean_t */ named
:1, /* An enforces an internal
225 * naming convention, by
226 * calling the right routines
228 * destruction, UBC references
229 * against the vm_object are
232 /* boolean_t */ shadow_severed
:1,
233 /* When a permanent object
234 * backing a COW goes away
235 * unexpectedly. This bit
236 * allows vm_fault to return
237 * an error rather than a
240 /* boolean_t */ phys_contiguous
:1,
241 /* Memory is wired and
242 * guaranteed physically
243 * contiguous. However
244 * it is not device memory
245 * and obeys normal virtual
246 * memory rules w.r.t pmap
249 /* boolean_t */ nophyscache
:1;
250 /* When mapped at the
251 * pmap level, don't allow
252 * primary caching. (for
258 queue_chain_t cached_list
; /* Attachment point for the
259 * list of objects cached as a
260 * result of their can_persist
264 queue_head_t msr_q
; /* memory object synchronise
267 vm_object_offset_t last_alloc
; /* last allocation offset */
268 vm_size_t cluster_size
; /* size of paging cluster */
270 vm_external_map_t existence_map
; /* bitmap of pages written to
272 #endif /* MACH_PAGEMAP */
273 int cow_hint
; /* last page present in */
274 /* shadow but not in object */
276 struct vm_object
*paging_object
; /* object which pages to be
277 * swapped out are temporary
278 * put in current object
281 /* hold object lock when altering */
282 unsigned int /* cache WIMG bits */
283 wimg_bits
:8, /* wimg plus some expansion*/
286 queue_head_t uplq
; /* List of outstanding upls */
287 #endif /* UBC_DEBUG */
291 vm_object_t kernel_object
; /* the single kernel object */
294 int vm_object_absent_max
; /* maximum number of absent pages
295 at a time for each object */
297 # define VM_MSYNC_INITIALIZED 0
298 # define VM_MSYNC_SYNCHRONIZING 1
299 # define VM_MSYNC_DONE 2
302 queue_chain_t msr_q
; /* object request queue */
303 queue_chain_t req_q
; /* vm_msync request queue */
305 vm_object_offset_t offset
;
306 vm_object_size_t length
;
307 vm_object_t object
; /* back pointer */
308 decl_mutex_data(, msync_req_lock
) /* Lock for this structure */
311 typedef struct msync_req
*msync_req_t
;
312 #define MSYNC_REQ_NULL ((msync_req_t) 0)
315 * Macros to allocate and free msync_reqs
317 #define msync_req_alloc(msr) \
319 (msr) = (msync_req_t)kalloc(sizeof(struct msync_req)); \
320 mutex_init(&(msr)->msync_req_lock, ETAP_VM_MSYNC); \
321 msr->flag = VM_MSYNC_INITIALIZED; \
324 #define msync_req_free(msr) \
325 (kfree((vm_offset_t)(msr), sizeof(struct msync_req)))
327 #define msr_lock(msr) mutex_lock(&(msr)->msync_req_lock)
328 #define msr_unlock(msr) mutex_unlock(&(msr)->msync_req_lock)
331 * Declare procedures that operate on VM objects.
334 __private_extern__
void vm_object_bootstrap(void);
336 __private_extern__
void vm_object_init(void);
338 __private_extern__ vm_object_t
vm_object_allocate(
339 vm_object_size_t size
);
343 __private_extern__
void vm_object_res_reference(
345 __private_extern__
void vm_object_res_deallocate(
347 #define VM_OBJ_RES_INCR(object) (object)->res_count++
348 #define VM_OBJ_RES_DECR(object) (object)->res_count--
350 #else /* TASK_SWAPPER */
352 #define VM_OBJ_RES_INCR(object)
353 #define VM_OBJ_RES_DECR(object)
354 #define vm_object_res_reference(object)
355 #define vm_object_res_deallocate(object)
357 #endif /* TASK_SWAPPER */
359 #define vm_object_reference_locked(object) \
361 vm_object_t RLObject = (object); \
362 assert((RLObject)->ref_count > 0); \
363 (RLObject)->ref_count++; \
364 vm_object_res_reference(RLObject); \
370 __private_extern__
void vm_object_reference(
373 #else /* MACH_ASSERT */
375 #define vm_object_reference(object) \
377 vm_object_t RObject = (object); \
379 vm_object_lock(RObject); \
380 vm_object_reference_locked(RObject); \
381 vm_object_unlock(RObject); \
385 #endif /* MACH_ASSERT */
387 __private_extern__
void vm_object_deallocate(
390 __private_extern__ kern_return_t
vm_object_release_name(
394 __private_extern__
void vm_object_pmap_protect(
396 vm_object_offset_t offset
,
399 vm_offset_t pmap_start
,
402 __private_extern__
void vm_object_page_remove(
404 vm_object_offset_t start
,
405 vm_object_offset_t end
);
407 __private_extern__
void vm_object_deactivate_pages(
409 vm_object_offset_t offset
,
410 vm_object_size_t size
,
411 boolean_t kill_page
);
413 __private_extern__ boolean_t
vm_object_coalesce(
414 vm_object_t prev_object
,
415 vm_object_t next_object
,
416 vm_object_offset_t prev_offset
,
417 vm_object_offset_t next_offset
,
418 vm_object_size_t prev_size
,
419 vm_object_size_t next_size
);
421 __private_extern__ boolean_t
vm_object_shadow(
423 vm_object_offset_t
*offset
,
424 vm_object_size_t length
);
426 __private_extern__
void vm_object_collapse(
429 __private_extern__ boolean_t
vm_object_copy_quickly(
430 vm_object_t
*_object
,
431 vm_object_offset_t src_offset
,
432 vm_object_size_t size
,
433 boolean_t
*_src_needs_copy
,
434 boolean_t
*_dst_needs_copy
);
436 __private_extern__ kern_return_t
vm_object_copy_strategically(
437 vm_object_t src_object
,
438 vm_object_offset_t src_offset
,
439 vm_object_size_t size
,
440 vm_object_t
*dst_object
,
441 vm_object_offset_t
*dst_offset
,
442 boolean_t
*dst_needs_copy
);
444 __private_extern__ kern_return_t
vm_object_copy_slowly(
445 vm_object_t src_object
,
446 vm_object_offset_t src_offset
,
447 vm_object_size_t size
,
449 vm_object_t
*_result_object
);
451 __private_extern__ vm_object_t
vm_object_copy_delayed(
452 vm_object_t src_object
,
453 vm_object_offset_t src_offset
,
454 vm_object_size_t size
);
458 __private_extern__ kern_return_t
vm_object_destroy(
460 kern_return_t reason
);
462 __private_extern__
void vm_object_pager_create(
465 __private_extern__
void vm_object_page_map(
467 vm_object_offset_t offset
,
468 vm_object_size_t size
,
469 vm_object_offset_t (*map_fn
)
470 (void *, vm_object_offset_t
),
473 __private_extern__ kern_return_t
vm_object_upl_request(
475 vm_object_offset_t offset
,
478 upl_page_info_t
*page_info
,
482 __private_extern__ boolean_t
vm_object_sync(
484 vm_object_offset_t offset
,
486 boolean_t should_flush
,
487 boolean_t should_return
);
489 __private_extern__ kern_return_t
vm_object_update(
491 vm_object_offset_t offset
,
492 vm_size_t size
, /* should be 64 */
493 memory_object_return_t should_return
,
497 __private_extern__ kern_return_t
vm_object_lock_request(
499 vm_object_offset_t offset
,
500 vm_object_size_t size
,
501 memory_object_return_t should_return
,
507 __private_extern__ vm_object_t
vm_object_enter(
508 memory_object_t pager
,
509 vm_object_size_t size
,
512 boolean_t check_named
);
516 * Event waiting handling
519 #define VM_OBJECT_EVENT_INITIALIZED 0
520 #define VM_OBJECT_EVENT_PAGER_READY 1
521 #define VM_OBJECT_EVENT_PAGING_IN_PROGRESS 2
522 #define VM_OBJECT_EVENT_ABSENT_COUNT 3
523 #define VM_OBJECT_EVENT_LOCK_IN_PROGRESS 4
524 #define VM_OBJECT_EVENT_UNCACHING 5
525 #define VM_OBJECT_EVENT_COPY_CALL 6
526 #define VM_OBJECT_EVENT_CACHING 7
528 #define vm_object_assert_wait(object, event, interruptible) \
529 (((object)->all_wanted |= 1 << (event)), \
530 assert_wait((event_t)((vm_offset_t)(object)+(event)),(interruptible)))
532 #define vm_object_wait(object, event, interruptible) \
533 (vm_object_assert_wait((object),(event),(interruptible)), \
534 vm_object_unlock(object), \
535 thread_block(THREAD_CONTINUE_NULL)) \
537 #define thread_sleep_vm_object(object, event, interruptible) \
538 thread_sleep_mutex((event_t)(event), &(object)->Lock, (interruptible))
540 #define vm_object_sleep(object, event, interruptible) \
541 (((object)->all_wanted |= 1 << (event)), \
542 thread_sleep_vm_object((object), \
543 ((vm_offset_t)(object)+(event)), (interruptible)))
545 #define vm_object_wakeup(object, event) \
547 if ((object)->all_wanted & (1 << (event))) \
548 thread_wakeup((event_t)((vm_offset_t)(object) + (event))); \
549 (object)->all_wanted &= ~(1 << (event)); \
552 #define vm_object_set_wanted(object, event) \
554 ((object)->all_wanted |= (1 << (event))); \
557 #define vm_object_wanted(object, event) \
558 ((object)->all_wanted & (1 << (event)))
561 * Routines implemented as macros
564 #define vm_object_paging_begin(object) \
566 (object)->paging_in_progress++; \
569 #define vm_object_paging_end(object) \
571 assert((object)->paging_in_progress != 0); \
572 if (--(object)->paging_in_progress == 0) { \
573 vm_object_wakeup(object, \
574 VM_OBJECT_EVENT_PAGING_IN_PROGRESS); \
578 #define vm_object_paging_wait(object, interruptible) \
580 while ((object)->paging_in_progress != 0) { \
583 _wr = vm_object_sleep((object), \
584 VM_OBJECT_EVENT_PAGING_IN_PROGRESS, \
587 /*XXX if ((interruptible) && (_wr != THREAD_AWAKENED))*/\
592 #define vm_object_absent_assert_wait(object, interruptible) \
594 vm_object_assert_wait( (object), \
595 VM_OBJECT_EVENT_ABSENT_COUNT, \
600 #define vm_object_absent_release(object) \
602 (object)->absent_count--; \
603 vm_object_wakeup((object), \
604 VM_OBJECT_EVENT_ABSENT_COUNT); \
608 * Object locking macros
611 #define vm_object_lock_init(object) mutex_init(&(object)->Lock, ETAP_VM_OBJ)
612 #define vm_object_lock(object) mutex_lock(&(object)->Lock)
613 #define vm_object_unlock(object) mutex_unlock(&(object)->Lock)
614 #define vm_object_lock_try(object) mutex_try(&(object)->Lock)
616 #endif /* _VM_VM_OBJECT_H_ */