1993-03-21 12:45:37 +03:00
|
|
|
/*
|
|
|
|
* Copyright (c) 1991 Regents of the University of California.
|
|
|
|
* All rights reserved.
|
|
|
|
*
|
|
|
|
* 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.
|
|
|
|
*
|
|
|
|
* @(#)vm_page.h 7.3 (Berkeley) 4/21/91
|
|
|
|
*
|
|
|
|
*
|
|
|
|
* 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.
|
|
|
|
*/
|
|
|
|
|
1993-04-19 07:45:34 +04:00
|
|
|
#ifndef _VM_VM_PAGE_H_
|
|
|
|
#define _VM_VM_PAGE_H_
|
|
|
|
|
1993-03-21 12:45:37 +03:00
|
|
|
/*
|
|
|
|
* Resident memory system definitions.
|
|
|
|
*/
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Management of resident (logical) pages.
|
|
|
|
*
|
|
|
|
* A small structure is kept for each resident
|
|
|
|
* page, indexed by page number. Each structure
|
|
|
|
* is an element of several lists:
|
|
|
|
*
|
|
|
|
* A hash table bucket used to quickly
|
|
|
|
* perform object/offset lookups
|
|
|
|
*
|
|
|
|
* A list of all pages for a given object,
|
|
|
|
* so they can be quickly deactivated at
|
|
|
|
* time of deallocation.
|
|
|
|
*
|
|
|
|
* An ordered list of pages due for pageout.
|
|
|
|
*
|
|
|
|
* In addition, the structure contains the object
|
|
|
|
* and offset to which this page belongs (for pageout),
|
|
|
|
* and sundry status bits.
|
|
|
|
*
|
|
|
|
* Fields in this structure are locked either by the lock on the
|
|
|
|
* object that the page belongs to (O) or by the lock on the page
|
|
|
|
* queues (P).
|
|
|
|
*/
|
|
|
|
|
|
|
|
struct vm_page {
|
|
|
|
queue_chain_t pageq; /* queue info for FIFO
|
|
|
|
* queue or free list (P) */
|
|
|
|
queue_chain_t hashq; /* hash table links (O)*/
|
|
|
|
queue_chain_t listq; /* all pages in same object (O)*/
|
|
|
|
|
|
|
|
vm_object_t object; /* which object am I in (O,P)*/
|
|
|
|
vm_offset_t offset; /* offset into that object (O,P) */
|
|
|
|
|
|
|
|
unsigned int wire_count:16, /* how many wired down maps use me?
|
|
|
|
(P) */
|
|
|
|
/* boolean_t */ inactive:1, /* page is in inactive list (P) */
|
|
|
|
active:1, /* page is in active list (P) */
|
|
|
|
laundry:1, /* page is being cleaned now (P)*/
|
|
|
|
#ifdef DEBUG
|
|
|
|
pagerowned:1, /* async paging op in progress */
|
|
|
|
ptpage:1, /* is a user page table page */
|
|
|
|
#endif
|
|
|
|
:0; /* (force to 'long' boundary) */
|
|
|
|
#ifdef ns32000
|
|
|
|
int pad; /* extra space for ns32000 bit ops */
|
|
|
|
#endif ns32000
|
|
|
|
boolean_t clean; /* page has not been modified */
|
|
|
|
unsigned int
|
|
|
|
/* boolean_t */ busy:1, /* page is in transit (O) */
|
|
|
|
wanted:1, /* someone is waiting for page (O) */
|
|
|
|
tabled:1, /* page is in VP table (O) */
|
|
|
|
copy_on_write:1,/* page must be copied before being
|
|
|
|
changed (O) */
|
|
|
|
fictitious:1, /* physical page doesn't exist (O) */
|
|
|
|
absent:1, /* virtual page doesn't exist (O) */
|
|
|
|
fake:1, /* page is a placeholder for page-in
|
|
|
|
(O) */
|
|
|
|
:0;
|
|
|
|
|
|
|
|
vm_offset_t phys_addr; /* physical address of page */
|
|
|
|
vm_prot_t page_lock; /* Uses prohibited by data manager */
|
|
|
|
vm_prot_t unlock_request; /* Outstanding unlock request */
|
|
|
|
};
|
|
|
|
|
|
|
|
typedef struct vm_page *vm_page_t;
|
|
|
|
|
|
|
|
#if VM_PAGE_DEBUG
|
|
|
|
#define VM_PAGE_CHECK(mem) { \
|
|
|
|
if ( (((unsigned int) mem) < ((unsigned int) &vm_page_array[0])) || \
|
|
|
|
(((unsigned int) mem) > ((unsigned int) &vm_page_array[last_page-first_page])) || \
|
|
|
|
(mem->active && mem->inactive) \
|
|
|
|
) panic("vm_page_check: not valid!"); \
|
|
|
|
}
|
|
|
|
#else VM_PAGE_DEBUG
|
|
|
|
#define VM_PAGE_CHECK(mem)
|
|
|
|
#endif VM_PAGE_DEBUG
|
|
|
|
|
|
|
|
#ifdef KERNEL
|
|
|
|
/*
|
|
|
|
* Each pageable resident page falls into one of three lists:
|
|
|
|
*
|
|
|
|
* free
|
|
|
|
* Available for allocation now.
|
|
|
|
* inactive
|
|
|
|
* Not referenced in any map, but still has an
|
|
|
|
* object/offset-page mapping, and may be dirty.
|
|
|
|
* This is the list of pages that should be
|
|
|
|
* paged out next.
|
|
|
|
* active
|
|
|
|
* A list of pages which have been placed in
|
|
|
|
* at least one physical map. This list is
|
|
|
|
* ordered, in LRU-like fashion.
|
|
|
|
*/
|
|
|
|
|
|
|
|
extern
|
|
|
|
queue_head_t vm_page_queue_free; /* memory free queue */
|
|
|
|
extern
|
|
|
|
queue_head_t vm_page_queue_active; /* active memory queue */
|
|
|
|
extern
|
|
|
|
queue_head_t vm_page_queue_inactive; /* inactive memory queue */
|
|
|
|
|
|
|
|
extern
|
|
|
|
vm_page_t vm_page_array; /* First resident page in table */
|
|
|
|
extern
|
|
|
|
long first_page; /* first physical page number */
|
|
|
|
/* ... represented in vm_page_array */
|
|
|
|
extern
|
|
|
|
long last_page; /* last physical page number */
|
|
|
|
/* ... represented in vm_page_array */
|
|
|
|
/* [INCLUSIVE] */
|
|
|
|
extern
|
|
|
|
vm_offset_t first_phys_addr; /* physical address for first_page */
|
|
|
|
extern
|
|
|
|
vm_offset_t last_phys_addr; /* physical address for last_page */
|
|
|
|
|
|
|
|
extern
|
|
|
|
int vm_page_free_count; /* How many pages are free? */
|
|
|
|
extern
|
|
|
|
int vm_page_active_count; /* How many pages are active? */
|
|
|
|
extern
|
|
|
|
int vm_page_inactive_count; /* How many pages are inactive? */
|
|
|
|
extern
|
|
|
|
int vm_page_wire_count; /* How many pages are wired? */
|
|
|
|
extern
|
|
|
|
int vm_page_free_target; /* How many do we want free? */
|
|
|
|
extern
|
|
|
|
int vm_page_free_min; /* When to wakeup pageout */
|
|
|
|
extern
|
|
|
|
int vm_page_inactive_target;/* How many do we want inactive? */
|
|
|
|
extern
|
|
|
|
int vm_page_free_reserved; /* How many pages reserved to do pageout */
|
|
|
|
extern
|
|
|
|
int vm_page_laundry_count; /* How many pages being laundered? */
|
|
|
|
|
|
|
|
#define VM_PAGE_TO_PHYS(entry) ((entry)->phys_addr)
|
|
|
|
|
|
|
|
#define IS_VM_PHYSADDR(pa) \
|
|
|
|
((pa) >= first_phys_addr && (pa) <= last_phys_addr)
|
|
|
|
|
|
|
|
#define PHYS_TO_VM_PAGE(pa) \
|
|
|
|
(&vm_page_array[atop(pa) - first_page ])
|
|
|
|
|
|
|
|
extern
|
|
|
|
simple_lock_data_t vm_page_queue_lock; /* lock on active and inactive
|
|
|
|
page queues */
|
|
|
|
extern
|
|
|
|
simple_lock_data_t vm_page_queue_free_lock;
|
|
|
|
/* lock on free page queue */
|
|
|
|
vm_offset_t vm_page_startup();
|
|
|
|
vm_page_t vm_page_lookup();
|
|
|
|
vm_page_t vm_page_alloc();
|
|
|
|
void vm_page_init();
|
|
|
|
void vm_page_free();
|
|
|
|
void vm_page_activate();
|
|
|
|
void vm_page_deactivate();
|
|
|
|
void vm_page_rename();
|
|
|
|
void vm_page_replace();
|
|
|
|
|
|
|
|
boolean_t vm_page_zero_fill();
|
|
|
|
void vm_page_copy();
|
|
|
|
|
|
|
|
void vm_page_wire();
|
|
|
|
void vm_page_unwire();
|
|
|
|
|
|
|
|
void vm_set_page_size();
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Functions implemented as macros
|
|
|
|
*/
|
|
|
|
|
|
|
|
#define PAGE_ASSERT_WAIT(m, interruptible) { \
|
|
|
|
(m)->wanted = TRUE; \
|
|
|
|
assert_wait((int) (m), (interruptible)); \
|
|
|
|
}
|
|
|
|
|
|
|
|
#define PAGE_WAKEUP(m) { \
|
|
|
|
(m)->busy = FALSE; \
|
|
|
|
if ((m)->wanted) { \
|
|
|
|
(m)->wanted = FALSE; \
|
|
|
|
thread_wakeup((int) (m)); \
|
|
|
|
} \
|
|
|
|
}
|
|
|
|
|
|
|
|
#define vm_page_lock_queues() simple_lock(&vm_page_queue_lock)
|
|
|
|
#define vm_page_unlock_queues() simple_unlock(&vm_page_queue_lock)
|
|
|
|
|
|
|
|
#define vm_page_set_modified(m) { (m)->clean = FALSE; }
|
|
|
|
#endif KERNEL
|
1993-04-19 07:45:34 +04:00
|
|
|
|
|
|
|
#endif /* !_VM_VM_PAGE_H_ */
|