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,1987 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 * Virtual memory object module definitions.
60 #ifndef _VM_VM_OBJECT_H_
61 #define _VM_VM_OBJECT_H_
63 #include <mach_pagemap.h>
64 #include <task_swapper.h>
66 #include <mach/kern_return.h>
67 #include <mach/boolean.h>
68 #include <mach/memory_object_types.h>
69 #include <mach/port.h>
70 #include <mach/vm_prot.h>
71 #include <mach/machine/vm_types.h>
72 #include <kern/queue.h>
73 #include <kern/lock.h>
74 #include <kern/assert.h>
75 #include <kern/ipc_mig.h>
76 #include <kern/misc_protos.h>
77 #include <kern/macro_help.h>
78 #include <ipc/ipc_types.h>
82 #include <vm/vm_external.h>
83 #endif /* MACH_PAGEMAP */
85 typedef memory_object_control_t pager_request_t
;
86 #define PAGER_REQUEST_NULL ((pager_request_t) 0)
91 * vm_object_t Virtual memory object.
94 typedef unsigned long long vm_object_size_t
;
98 queue_head_t memq
; /* Resident memory */
99 decl_mutex_data(, Lock
) /* Synchronization */
101 vm_object_size_t size
; /* Object size (only valid
104 vm_object_size_t frozen_size
; /* How much has been marked
105 * copy-on-write (only
106 * valid if copy_symmetric)
108 int ref_count
; /* Number of references */
110 int res_count
; /* Residency references (swap)*/
111 #endif /* TASK_SWAPPER */
112 unsigned int resident_page_count
;
113 /* number of resident pages */
115 struct vm_object
*copy
; /* Object that should receive
116 * a copy of my changed pages,
117 * for copy_delay, or just the
118 * temporary object that
119 * shadows this object, for
122 struct vm_object
*shadow
; /* My shadow */
123 vm_object_offset_t shadow_offset
; /* Offset into shadow */
125 memory_object_t pager
; /* Where to get data */
126 vm_object_offset_t paging_offset
; /* Offset into memory object */
127 pager_request_t pager_request
; /* Where data comes back */
129 memory_object_copy_strategy_t
130 copy_strategy
; /* How to handle data copy */
132 unsigned int absent_count
; /* The number of pages that
133 * have been requested but
134 * not filled. That is, the
135 * number of pages for which
136 * the "absent" attribute is
140 unsigned int paging_in_progress
;
141 /* The memory object ports are
142 * being used (e.g., for pagein
143 * or pageout) -- don't change
144 * any of these fields (i.e.,
145 * don't collapse, destroy or
149 /* boolean_t array */ all_wanted
:11, /* Bit array of "want to be
150 * awakened" notations. See
151 * VM_OBJECT_EVENT_* items
153 /* boolean_t */ pager_created
:1, /* Has pager been created? */
154 /* boolean_t */ pager_initialized
:1, /* Are fields ready to use? */
155 /* boolean_t */ pager_ready
:1, /* Will pager take requests? */
157 /* boolean_t */ pager_trusted
:1,/* The pager for this object
158 * is trusted. This is true for
159 * all internal objects (backed
160 * by the default pager)
162 /* boolean_t */ can_persist
:1, /* The kernel may keep the data
163 * for this object (and rights
164 * to the memory object) after
165 * all address map references
168 /* boolean_t */ internal
:1, /* Created by the kernel (and
169 * therefore, managed by the
170 * default memory manger)
172 /* boolean_t */ temporary
:1, /* Permanent objects may be
173 * changed externally by the
174 * memory manager, and changes
175 * made in memory must be
176 * reflected back to the memory
177 * manager. Temporary objects
181 /* boolean_t */ private:1, /* magic device_pager object,
182 * holds private pages only */
183 /* boolean_t */ pageout
:1, /* pageout object. contains
184 * private pages that refer to
185 * a real memory object. */
186 /* boolean_t */ alive
:1, /* Not yet terminated */
188 /* boolean_t */ lock_in_progress
:1,
189 /* Is a multi-page lock
190 * request in progress?
192 /* boolean_t */ lock_restart
:1,
193 /* Should lock request in
194 * progress restart search?
196 /* boolean_t */ shadowed
:1, /* Shadow may exist */
197 /* boolean_t */ silent_overwrite
:1,
198 /* Allow full page overwrite
199 * without data_request if
201 /* boolean_t */ advisory_pageout
:1,
202 /* Instead of sending page
203 * via OOL, just notify
204 * pager that the kernel
205 * wants to discard it, page
206 * remains in object */
207 /* boolean_t */ true_share
:1,
208 /* This object is mapped
209 * in more than one place
210 * and hence cannot be
212 /* boolean_t */ terminating
:1,
213 /* Allows vm_object_lookup
214 * and vm_object_deallocate
215 * to special case their
216 * behavior when they are
217 * called as a result of
218 * page cleaning during
221 /* boolean_t */ named
:1, /* An enforces an internal
222 * naming convention, by
223 * calling the right routines
225 * destruction, UBC references
226 * against the vm_object are
229 /* boolean_t */ shadow_severed
:1,
230 /* When a permanent object
231 * backing a COW goes away
232 * unexpectedly. This bit
233 * allows vm_fault to return
234 * an error rather than a
237 /* boolean_t */ phys_contiguous
:1,
238 /* Memory is wired and
239 * guaranteed physically
240 * contiguous. However
241 * it is not device memory
242 * and obeys normal virtual
243 * memory rules w.r.t pmap
246 /* boolean_t */ nophyscache
:1;
247 /* When mapped at the
248 * pmap level, don't allow
249 * primary caching. (for
255 queue_chain_t cached_list
; /* Attachment point for the
256 * list of objects cached as a
257 * result of their can_persist
261 queue_head_t msr_q
; /* memory object synchronise
264 vm_object_offset_t last_alloc
; /* last allocation offset */
265 vm_size_t cluster_size
; /* size of paging cluster */
267 vm_external_map_t existence_map
; /* bitmap of pages written to
269 #endif /* MACH_PAGEMAP */
270 int cow_hint
; /* last page present in */
271 /* shadow but not in object */
273 struct vm_object
*paging_object
; /* object which pages to be
274 * swapped out are temporary
275 * put in current object
279 queue_head_t uplq
; /* List of outstanding upls */
280 #endif /* UBC_DEBUG */
284 vm_object_t kernel_object
; /* the single kernel object */
287 int vm_object_absent_max
; /* maximum number of absent pages
288 at a time for each object */
290 # define VM_MSYNC_INITIALIZED 0
291 # define VM_MSYNC_SYNCHRONIZING 1
292 # define VM_MSYNC_DONE 2
295 queue_chain_t msr_q
; /* object request queue */
296 queue_chain_t req_q
; /* vm_msync request queue */
298 vm_object_offset_t offset
;
299 vm_object_size_t length
;
300 vm_object_t object
; /* back pointer */
301 decl_mutex_data(, msync_req_lock
) /* Lock for this structure */
304 typedef struct msync_req
*msync_req_t
;
305 #define MSYNC_REQ_NULL ((msync_req_t) 0)
308 * Macros to allocate and free msync_reqs
310 #define msync_req_alloc(msr) \
312 (msr) = (msync_req_t)kalloc(sizeof(struct msync_req)); \
313 mutex_init(&(msr)->msync_req_lock, ETAP_VM_MSYNC); \
314 msr->flag = VM_MSYNC_INITIALIZED; \
317 #define msync_req_free(msr) \
318 (kfree((vm_offset_t)(msr), sizeof(struct msync_req)))
320 #define msr_lock(msr) mutex_lock(&(msr)->msync_req_lock)
321 #define msr_unlock(msr) mutex_unlock(&(msr)->msync_req_lock)
324 * Declare procedures that operate on VM objects.
327 __private_extern__
void vm_object_bootstrap(void);
329 __private_extern__
void vm_object_init(void);
331 __private_extern__ vm_object_t
vm_object_allocate(
332 vm_object_size_t size
);
336 __private_extern__
void vm_object_res_reference(
338 __private_extern__
void vm_object_res_deallocate(
340 #define VM_OBJ_RES_INCR(object) (object)->res_count++
341 #define VM_OBJ_RES_DECR(object) (object)->res_count--
343 #else /* TASK_SWAPPER */
345 #define VM_OBJ_RES_INCR(object)
346 #define VM_OBJ_RES_DECR(object)
347 #define vm_object_res_reference(object)
348 #define vm_object_res_deallocate(object)
350 #endif /* TASK_SWAPPER */
352 #define vm_object_reference_locked(object) \
354 vm_object_t RLObject = (object); \
355 assert((RLObject)->ref_count > 0); \
356 (RLObject)->ref_count++; \
357 vm_object_res_reference(RLObject); \
363 __private_extern__
void vm_object_reference(
366 #else /* MACH_ASSERT */
368 #define vm_object_reference(object) \
370 vm_object_t RObject = (object); \
372 vm_object_lock(RObject); \
373 vm_object_reference_locked(RObject); \
374 vm_object_unlock(RObject); \
378 #endif /* MACH_ASSERT */
380 __private_extern__
void vm_object_deallocate(
383 __private_extern__ kern_return_t
vm_object_release_name(
387 __private_extern__
void vm_object_pmap_protect(
389 vm_object_offset_t offset
,
392 vm_offset_t pmap_start
,
395 __private_extern__
void vm_object_page_remove(
397 vm_object_offset_t start
,
398 vm_object_offset_t end
);
400 __private_extern__
void vm_object_deactivate_pages(
402 vm_object_offset_t offset
,
403 vm_object_size_t size
,
404 boolean_t kill_page
);
406 __private_extern__ boolean_t
vm_object_coalesce(
407 vm_object_t prev_object
,
408 vm_object_t next_object
,
409 vm_object_offset_t prev_offset
,
410 vm_object_offset_t next_offset
,
411 vm_object_size_t prev_size
,
412 vm_object_size_t next_size
);
414 __private_extern__ boolean_t
vm_object_shadow(
416 vm_object_offset_t
*offset
,
417 vm_object_size_t length
);
419 __private_extern__
void vm_object_collapse(
422 __private_extern__ boolean_t
vm_object_copy_quickly(
423 vm_object_t
*_object
,
424 vm_object_offset_t src_offset
,
425 vm_object_size_t size
,
426 boolean_t
*_src_needs_copy
,
427 boolean_t
*_dst_needs_copy
);
429 __private_extern__ kern_return_t
vm_object_copy_strategically(
430 vm_object_t src_object
,
431 vm_object_offset_t src_offset
,
432 vm_object_size_t size
,
433 vm_object_t
*dst_object
,
434 vm_object_offset_t
*dst_offset
,
435 boolean_t
*dst_needs_copy
);
437 __private_extern__ kern_return_t
vm_object_copy_slowly(
438 vm_object_t src_object
,
439 vm_object_offset_t src_offset
,
440 vm_object_size_t size
,
442 vm_object_t
*_result_object
);
444 __private_extern__ vm_object_t
vm_object_copy_delayed(
445 vm_object_t src_object
,
446 vm_object_offset_t src_offset
,
447 vm_object_size_t size
);
451 __private_extern__ kern_return_t
vm_object_destroy(
453 kern_return_t reason
);
455 __private_extern__
void vm_object_pager_create(
458 __private_extern__
void vm_object_page_map(
460 vm_object_offset_t offset
,
461 vm_object_size_t size
,
462 vm_object_offset_t (*map_fn
)
463 (void *, vm_object_offset_t
),
466 __private_extern__ kern_return_t
vm_object_upl_request(
468 vm_object_offset_t offset
,
471 upl_page_info_t
*page_info
,
475 __private_extern__ boolean_t
vm_object_sync(
477 vm_object_offset_t offset
,
479 boolean_t should_flush
,
480 boolean_t should_return
);
482 __private_extern__ kern_return_t
vm_object_update(
484 vm_object_offset_t offset
,
485 vm_size_t size
, /* should be 64 */
486 memory_object_return_t should_return
,
490 __private_extern__ kern_return_t
vm_object_lock_request(
492 vm_object_offset_t offset
,
493 vm_object_size_t size
,
494 memory_object_return_t should_return
,
500 __private_extern__ vm_object_t
vm_object_enter(
501 memory_object_t pager
,
502 vm_object_size_t size
,
505 boolean_t check_named
);
509 * Event waiting handling
512 #define VM_OBJECT_EVENT_INITIALIZED 0
513 #define VM_OBJECT_EVENT_PAGER_READY 1
514 #define VM_OBJECT_EVENT_PAGING_IN_PROGRESS 2
515 #define VM_OBJECT_EVENT_ABSENT_COUNT 3
516 #define VM_OBJECT_EVENT_LOCK_IN_PROGRESS 4
517 #define VM_OBJECT_EVENT_UNCACHING 5
518 #define VM_OBJECT_EVENT_COPY_CALL 6
519 #define VM_OBJECT_EVENT_CACHING 7
521 #define vm_object_assert_wait(object, event, interruptible) \
523 (object)->all_wanted |= 1 << (event); \
524 assert_wait((event_t)((vm_offset_t)(object)+(event)),(interruptible)); \
527 #define vm_object_wait(object, event, interruptible) \
529 vm_object_assert_wait((object),(event),(interruptible)); \
530 vm_object_unlock(object); \
531 thread_block((void (*)(void)) 0); \
534 #define vm_object_wakeup(object, event) \
536 if ((object)->all_wanted & (1 << (event))) \
537 thread_wakeup((event_t)((vm_offset_t)(object) + (event))); \
538 (object)->all_wanted &= ~(1 << (event)); \
541 #define vm_object_set_wanted(object, event) \
543 ((object)->all_wanted |= (1 << (event))); \
546 #define vm_object_wanted(object, event) \
547 ((object)->all_wanted & (1 << (event)))
550 * Routines implemented as macros
553 #define vm_object_paging_begin(object) \
555 (object)->paging_in_progress++; \
558 #define vm_object_paging_end(object) \
560 assert((object)->paging_in_progress != 0); \
561 if (--(object)->paging_in_progress == 0) { \
562 vm_object_wakeup(object, \
563 VM_OBJECT_EVENT_PAGING_IN_PROGRESS); \
567 #define vm_object_paging_wait(object, interruptible) \
569 while ((object)->paging_in_progress != 0) { \
570 vm_object_wait( (object), \
571 VM_OBJECT_EVENT_PAGING_IN_PROGRESS, \
573 vm_object_lock(object); \
575 /*XXX if ((interruptible) && */ \
576 /*XXX (current_thread()->wait_result != THREAD_AWAKENED))*/ \
581 #define vm_object_absent_assert_wait(object, interruptible) \
583 vm_object_assert_wait( (object), \
584 VM_OBJECT_EVENT_ABSENT_COUNT, \
589 #define vm_object_absent_release(object) \
591 (object)->absent_count--; \
592 vm_object_wakeup((object), \
593 VM_OBJECT_EVENT_ABSENT_COUNT); \
597 * Object locking macros
600 #define vm_object_lock_init(object) mutex_init(&(object)->Lock, ETAP_VM_OBJ)
601 #define vm_object_lock(object) mutex_lock(&(object)->Lock)
602 #define vm_object_unlock(object) mutex_unlock(&(object)->Lock)
603 #define vm_object_lock_try(object) mutex_try(&(object)->Lock)
605 #endif /* _VM_VM_OBJECT_H_ */