2 * This file is part of the Palacios Virtual Machine Monitor developed
3 * by the V3VEE Project with funding from the United States National
4 * Science Foundation and the Department of Energy.
6 * The V3VEE Project is a joint project between Northwestern University
7 * and the University of New Mexico. You can find out more at
10 * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
11 * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
12 * All rights reserved.
14 * Author: Jack Lange <jarusl@cs.northwestern.edu>
16 * This is free software. You are permitted to use,
17 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
20 #include <palacios/vmm_mem.h>
21 #include <palacios/vmm.h>
22 #include <palacios/vmm_util.h>
23 #include <palacios/vmm_decoder.h>
27 void init_shadow_region(struct shadow_region * entry,
28 addr_t guest_addr_start,
29 addr_t guest_addr_end,
30 guest_region_type_t guest_region_type,
31 host_region_type_t host_region_type)
33 entry->guest_type = guest_region_type;
34 entry->guest_start = guest_addr_start;
35 entry->guest_end = guest_addr_end;
36 entry->host_type = host_region_type;
38 entry->next=entry->prev = NULL;
41 int add_shadow_region_passthrough( struct guest_info * guest_info,
42 addr_t guest_addr_start,
43 addr_t guest_addr_end,
46 struct shadow_region * entry = (struct shadow_region *)V3_Malloc(sizeof(struct shadow_region));
48 init_shadow_region(entry, guest_addr_start, guest_addr_end,
49 GUEST_REGION_PHYSICAL_MEMORY, HOST_REGION_PHYSICAL_MEMORY);
50 entry->host_addr = host_addr;
52 return add_shadow_region(&(guest_info->mem_map), entry);
55 int hook_guest_mem(struct guest_info * info, addr_t guest_addr_start, addr_t guest_addr_end,
56 int (*read)(addr_t guest_addr, void * dst, uint_t length, void * priv_data),
57 int (*write)(addr_t guest_addr, void * src, uint_t length, void * priv_data),
60 struct shadow_region * entry = (struct shadow_region *)V3_Malloc(sizeof(struct shadow_region));
61 struct vmm_mem_hook * hook = (struct vmm_mem_hook *)V3_Malloc(sizeof(struct vmm_mem_hook));
63 memset(hook, 0, sizeof(struct vmm_mem_hook));
68 hook->priv_data = priv_data;
71 init_shadow_region(entry, guest_addr_start, guest_addr_end,
72 GUEST_REGION_PHYSICAL_MEMORY, HOST_REGION_HOOK);
74 entry->host_addr = (addr_t)hook;
76 return add_shadow_region(&(info->mem_map), entry);
80 struct vmm_mem_hook * get_mem_hook(struct guest_info * info, addr_t guest_addr) {
81 struct shadow_region * region = get_shadow_region_by_addr(&(info->mem_map), guest_addr);
84 PrintDebug("Could not find shadow region for addr: %x\n", guest_addr);
88 return (struct vmm_mem_hook *)(region->host_addr);
92 /* mem_addr is the guest physical memory address */
93 static int mem_hook_dispatch(struct guest_info * info,
94 addr_t fault_gva, addr_t fault_gpa,
95 pf_error_t access_info, struct vmm_mem_hook * hook)
98 // emulate and then dispatch
99 // or dispatch and emulate
102 if (access_info.write == 1) {
103 if (v3_emulate_memory_write(info, fault_gva, hook->write, fault_gpa, hook->priv_data) == -1) {
104 PrintError("Memory write emulation failed\n");
109 if (v3_emulate_memory_read(info, fault_gva, hook->read, fault_gpa, hook->priv_data) == -1) {
110 PrintError("Memory read emulation failed\n");
119 int handle_special_page_fault(struct guest_info * info,
120 addr_t fault_gva, addr_t fault_gpa,
121 pf_error_t access_info)
123 struct shadow_region * reg = get_shadow_region_by_addr(&(info->mem_map), fault_gpa);
125 switch (reg->host_type) {
126 case HOST_REGION_HOOK:
127 return mem_hook_dispatch(info, fault_gva, fault_gpa, access_info, (struct vmm_mem_hook *)(reg->host_addr));
138 void init_shadow_map(struct guest_info * info) {
139 struct shadow_map * map = &(info->mem_map);
141 map->num_regions = 0;
147 void free_shadow_map(struct shadow_map * map) {
148 struct shadow_region * cursor = map->head;
149 struct shadow_region * tmp = NULL;
153 cursor = cursor->next;
163 int add_shadow_region(struct shadow_map * map,
164 struct shadow_region * region)
166 struct shadow_region * cursor = map->head;
168 PrintDebug("Adding Shadow Region: (0x%x-0x%x)\n", region->guest_start, region->guest_end);
170 if ((!cursor) || (cursor->guest_start >= region->guest_end)) {
172 region->next = cursor;
179 // Check if it overlaps with the current cursor
180 if ((cursor->guest_end > region->guest_start) && (cursor->guest_start < region->guest_start)) {
181 // overlaps not allowed
185 if (!(cursor->next)) {
186 // add to the end of the list
187 cursor->next = region;
188 region->prev = cursor;
192 } else if (cursor->next->guest_start >= region->guest_end) {
194 region->next = cursor->next;
195 region->prev = cursor;
197 cursor->next->prev = region;
198 cursor->next = region;
203 } else if (cursor->next->guest_end <= region->guest_start) {
204 cursor = cursor->next;
206 // This cannot happen!
207 // we should panic here
212 // This cannot happen
213 // We should panic here
218 int delete_shadow_region(struct shadow_map * map,
226 struct shadow_region *get_shadow_region_by_index(struct shadow_map * map,
228 struct shadow_region * reg = map->head;
242 struct shadow_region * get_shadow_region_by_addr(struct shadow_map * map,
244 struct shadow_region * reg = map->head;
247 if ((reg->guest_start <= addr) && (reg->guest_end > addr)) {
249 } else if (reg->guest_start > addr) {
259 host_region_type_t get_shadow_addr_type(struct guest_info * info, addr_t guest_addr) {
260 struct shadow_region * reg = get_shadow_region_by_addr(&(info->mem_map), guest_addr);
263 return HOST_REGION_INVALID;
265 return reg->host_type;
269 addr_t get_shadow_addr(struct guest_info * info, addr_t guest_addr) {
270 struct shadow_region * reg = get_shadow_region_by_addr(&(info->mem_map), guest_addr);
275 return (guest_addr - reg->guest_start) + reg->host_addr;
280 host_region_type_t lookup_shadow_map_addr(struct shadow_map * map, addr_t guest_addr, addr_t * host_addr) {
281 struct shadow_region * reg = get_shadow_region_by_addr(map, guest_addr);
285 return HOST_REGION_INVALID;
287 switch (reg->host_type) {
288 case HOST_REGION_PHYSICAL_MEMORY:
289 *host_addr = (guest_addr - reg->guest_start) + reg->host_addr;
290 return reg->host_type;
291 case HOST_REGION_MEMORY_MAPPED_DEVICE:
292 case HOST_REGION_UNALLOCATED:
296 return reg->host_type;
302 void print_shadow_map(struct shadow_map * map) {
303 struct shadow_region * cur = map->head;
306 PrintDebug("Memory Layout (regions: %d) \n", map->num_regions);
309 PrintDebug("%d: 0x%x - 0x%x (%s) -> ", i, cur->guest_start, cur->guest_end - 1,
310 cur->guest_type == GUEST_REGION_PHYSICAL_MEMORY ? "GUEST_REGION_PHYSICAL_MEMORY" :
311 cur->guest_type == GUEST_REGION_NOTHING ? "GUEST_REGION_NOTHING" :
312 cur->guest_type == GUEST_REGION_MEMORY_MAPPED_DEVICE ? "GUEST_REGION_MEMORY_MAPPED_DEVICE" :
314 if (cur->host_type == HOST_REGION_PHYSICAL_MEMORY ||
315 cur->host_type == HOST_REGION_UNALLOCATED ||
316 cur->host_type == HOST_REGION_MEMORY_MAPPED_DEVICE) {
317 PrintDebug("0x%x", cur->host_addr);
320 cur->host_type == HOST_REGION_PHYSICAL_MEMORY ? "HOST_REGION_PHYSICAL_MEMORY" :
321 cur->host_type == HOST_REGION_UNALLOCATED ? "HOST_REGION_UNALLOACTED" :
322 cur->host_type == HOST_REGION_HOOK ? "HOST_REGION_HOOK" :
323 cur->host_type == HOST_REGION_MEMORY_MAPPED_DEVICE ? "HOST_REGION_MEMORY_MAPPED_DEVICE" :
324 cur->host_type == HOST_REGION_REMOTE ? "HOST_REGION_REMOTE" :
325 cur->host_type == HOST_REGION_SWAPPED ? "HOST_REGION_SWAPPED" :
352 struct vmm_os_hooks * os_hooks;
354 void * TestMalloc(uint_t size) {
358 void * TestAllocatePages(int size) {
359 return malloc(4096 * size);
363 void TestPrint(const char * fmt, ...) {
371 int mem_list_add_test_1( vmm_mem_list_t * list) {
375 PrintDebug("\n\nTesting Memory List\n");
379 offset = PAGE_SIZE * 6;
380 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + (PAGE_SIZE * 10));
381 add_mem_list_pages(list, offset, 10);
382 print_mem_list(list);
386 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + PAGE_SIZE * 4);
387 add_mem_list_pages(list, offset, 4);
388 print_mem_list(list);
390 offset = PAGE_SIZE * 20;
391 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + (PAGE_SIZE * 1));
392 add_mem_list_pages(list, offset, 1);
393 print_mem_list(list);
395 offset = PAGE_SIZE * 21;
396 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + (PAGE_SIZE * 3));
397 add_mem_list_pages(list, offset, 3);
398 print_mem_list(list);
401 offset = PAGE_SIZE * 10;
402 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + (PAGE_SIZE * 30));
403 add_mem_list_pages(list, offset, 30);
404 print_mem_list(list);
407 offset = PAGE_SIZE * 5;
408 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + (PAGE_SIZE * 1));
409 add_mem_list_pages(list, offset, 1);
410 print_mem_list(list);
418 int mem_layout_add_test_1(vmm_mem_layout_t * layout) {
424 PrintDebug("\n\nTesting Memory Layout\n");
426 init_mem_layout(layout);
430 PrintDebug("Adding 0x%x - 0x%x\n", start, end);
431 add_guest_mem_range(layout, start, end);
432 print_mem_layout(layout);
437 PrintDebug("Adding 0x%x - 0x%x\n", start, end);
438 add_guest_mem_range(layout, start, end);
439 print_mem_layout(layout);
443 PrintDebug("Adding 0x%x - 0x%x\n", start, end);
444 add_guest_mem_range(layout, start, end);
445 print_mem_layout(layout);
449 PrintDebug("Adding 0x%x - 0x%x\n", start, end);
450 add_guest_mem_range(layout, start, end);
451 print_mem_layout(layout);
456 PrintDebug("Adding 0x%x - 0x%x\n", start, end);
457 add_guest_mem_range(layout, start, end);
458 print_mem_layout(layout);
468 int main(int argc, char ** argv) {
469 struct vmm_os_hooks dummy_hooks;
470 os_hooks = &dummy_hooks;
472 vmm_mem_layout_t layout;
475 os_hooks->malloc = &TestMalloc;
476 os_hooks->free = &free;
477 os_hooks->print_debug = &TestPrint;
478 os_hooks->allocate_pages = &TestAllocatePages;
482 printf("mem_list_add_test_1: %d\n", mem_list_add_test_1(&list));
483 printf("layout_add_test_1: %d\n", mem_layout_add_test_1(&layout));