X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_mem.h;h=14423feb6523077ef9839d0f59627229d1643005;hb=79665f03e54cd35513b44f25d5f1ab2d591eba5c;hp=7a6a81cb80f76a1149acec6bd74c1cfa845605bd;hpb=a109eb919a162bd7de58d62020801bc2e633be50;p=palacios.git diff --git a/palacios/include/palacios/vmm_mem.h b/palacios/include/palacios/vmm_mem.h index 7a6a81c..14423fe 100644 --- a/palacios/include/palacios/vmm_mem.h +++ b/palacios/include/palacios/vmm_mem.h @@ -1,105 +1,139 @@ +/* + * This file is part of the Palacios Virtual Machine Monitor developed + * by the V3VEE Project with funding from the United States National + * Science Foundation and the Department of Energy. + * + * The V3VEE Project is a joint project between Northwestern University + * and the University of New Mexico. You can find out more at + * http://www.v3vee.org + * + * Copyright (c) 2008, Jack Lange + * Copyright (c) 2008, The V3VEE Project + * All rights reserved. + * + * Author: Jack Lange + * + * This is free software. You are permitted to use, + * redistribute, and modify it as specified in the file "V3VEE_LICENSE". + */ + + #ifndef __VMM_MEM_H #define __VMM_MEM_H -#include +#ifdef __V3VEE__ -typedef ulong_t addr_t; -/* +#include - Guest Shadow Host - Virtual Physical Virtual Physical Virtual Physical - OK OK - OK NOK - NOK OK - NOK NOK +#include +#include +#include + +struct guest_info; +struct v3_vm_info; -*/ -// These are the types of physical memory address regions -// from the perspective of the guest -typedef enum guest_region_type { - GUEST_REGION_NOTHING, - GUEST_REGION_PHYSICAL_MEMORY, - GUEST_REGION_MEMORY_MAPPED_DEVICE} guest_region_type_t; // These are the types of physical memory address regions // from the perspective of the HOST -typedef enum host_region_type { - HOST_REGION_INVALID, // This region is INVALID (this is a return type, to denote errors) - HOST_REGION_NOTHING, // This region is mapped as not present (always generate page faults) - HOST_REGION_PHYSICAL_MEMORY, // Region is a section of host memory - HOST_REGION_MEMORY_MAPPED_DEVICE, // Region is allocated for DMA - HOST_REGION_UNALLOCATED, // Region is mapped on demand - HOST_REGION_REMOTE, // Region is located on a remote machine - HOST_REGION_SWAPPED, // Region is swapped -} host_region_type_t; - - - -typedef struct shadow_region { - guest_region_type_t guest_type; - addr_t guest_start; - addr_t guest_end; - - host_region_type_t host_type; - union host_addr_t { - struct physical_addr { - addr_t host_start; - } phys_addr; - // Other addresses, like on disk, etc, would go here - } host_addr; - struct shadow_region *next, *prev; -} shadow_region_t; - - - -typedef struct shadow_map { - uint_t num_regions; - - shadow_region_t * head; -} shadow_map_t; - - -void init_shadow_region(shadow_region_t * entry, - addr_t guest_addr_start, - addr_t guest_addr_end, - guest_region_type_t guest_region_type, - host_region_type_t host_region_type); - -void init_shadow_region_physical(shadow_region_t * entry, - addr_t guest_addr_start, - addr_t guest_addr_end, - guest_region_type_t guest_region_type, - addr_t host_addr_start, - host_region_type_t host_region_type); +typedef enum shdw_region_type { + SHDW_REGION_WRITE_HOOK, // This region is mapped as read-only (page faults on write) + SHDW_REGION_FULL_HOOK, // This region is mapped as not present (always generate page faults) + SHDW_REGION_ALLOCATED, // Region is a section of host memory +} v3_shdw_region_type_t; + +#define V3_MEM_CORE_ANY ((uint16_t)-1) + + +struct v3_shadow_region { + addr_t guest_start; + addr_t guest_end; + + v3_shdw_region_type_t host_type; -void init_shadow_map(shadow_map_t * map); -void free_shadow_map(shadow_map_t * map); + addr_t host_addr; // This either points to a host address mapping + + // Called when data is read from a memory page + int (*read_hook)(struct guest_info * core, addr_t guest_addr, void * dst, uint_t length, void * priv_data); + // Called when data is written to a memory page + int (*write_hook)(struct guest_info * core, addr_t guest_addr, void * src, uint_t length, void * priv_data); + + void * priv_data; + + int core_id; + + struct rb_node tree_node; // This for memory regions mapped to the global map +}; + + +struct v3_mem_map { + struct v3_shadow_region base_region; + + struct rb_root shdw_regions; + + void * hook_hvas; // this is an array of pages, equal to the number of cores +}; + + +int v3_init_mem_map(struct v3_vm_info * vm); +void v3_delete_mem_map(struct v3_vm_info * vm); + + + + +int v3_add_shadow_mem(struct v3_vm_info * vm, uint16_t core_id, + addr_t guest_addr_start, addr_t guest_addr_end, addr_t host_addr); + +int v3_hook_full_mem(struct v3_vm_info * vm, uint16_t core_id, + addr_t guest_addr_start, addr_t guest_addr_end, + int (*read)(struct guest_info * core, addr_t guest_addr, void * dst, uint_t length, void * priv_data), + int (*write)(struct guest_info * core, addr_t guest_addr, void * src, uint_t length, void * priv_data), + void * priv_data); + +int v3_hook_write_mem(struct v3_vm_info * vm, uint16_t core_id, + addr_t guest_addr_start, addr_t guest_addr_end, addr_t host_addr, + int (*write)(struct guest_info * core, addr_t guest_addr, void * src, uint_t length, void * priv_data), + void * priv_data); + + +int v3_unhook_mem(struct v3_vm_info * vm, uint16_t core_id, addr_t guest_addr_start); + + + + + +void v3_delete_shadow_region(struct v3_vm_info * vm, struct v3_shadow_region * reg); + + + + +struct v3_shadow_region * v3_get_shadow_region(struct v3_vm_info * vm, uint16_t core_id, addr_t guest_addr); +addr_t v3_get_shadow_addr(struct v3_shadow_region * reg, uint16_t core_id, addr_t guest_addr); + + + + + +void v3_print_mem_map(struct v3_vm_info * vm); -shadow_region_t * get_shadow_region_by_addr(shadow_map_t * map, addr_t guest_addr); -shadow_region_t * get_shadow_region_by_index(shadow_map_t * map, uint_t index); -host_region_type_t lookup_shadow_map_addr(shadow_map_t * map, addr_t guest_addr, addr_t * host_addr); -// Semantics: -// Adding a region that overlaps with an existing region results is undefined -// and will probably fail -int add_shadow_region(shadow_map_t * map, shadow_region_t * entry); +const uchar_t * v3_shdw_region_type_to_str(v3_shdw_region_type_t type); -// Semantics: -// Deletions result in splitting -int delete_shadow_region(shadow_map_t * map, - addr_t guest_start, - addr_t guest_end); -void print_shadow_map(shadow_map_t * map); +int handle_special_page_fault(struct guest_info * info, addr_t fault_addr, addr_t gp_addr, pf_error_t access_info); +int v3_handle_mem_wr_hook(struct guest_info * info, addr_t guest_va, addr_t guest_pa, + struct v3_shadow_region * reg, pf_error_t access_info); +int v3_handle_mem_full_hook(struct guest_info * info, addr_t guest_va, addr_t guest_pa, + struct v3_shadow_region * reg, pf_error_t access_info); +#endif // ! __V3VEE__ #endif