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: %p\n", (void *)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%p-0x%p)\n",
169 (void *)region->guest_start, (void *)region->guest_end);
171 if ((!cursor) || (cursor->guest_start >= region->guest_end)) {
173 region->next = cursor;
180 // Check if it overlaps with the current cursor
181 if ((cursor->guest_end > region->guest_start) && (cursor->guest_start < region->guest_start)) {
182 // overlaps not allowed
186 if (!(cursor->next)) {
187 // add to the end of the list
188 cursor->next = region;
189 region->prev = cursor;
193 } else if (cursor->next->guest_start >= region->guest_end) {
195 region->next = cursor->next;
196 region->prev = cursor;
198 cursor->next->prev = region;
199 cursor->next = region;
204 } else if (cursor->next->guest_end <= region->guest_start) {
205 cursor = cursor->next;
207 // This cannot happen!
208 // we should panic here
213 // This cannot happen
214 // We should panic here
219 int delete_shadow_region(struct shadow_map * map,
227 struct shadow_region *get_shadow_region_by_index(struct shadow_map * map,
229 struct shadow_region * reg = map->head;
243 struct shadow_region * get_shadow_region_by_addr(struct shadow_map * map,
245 struct shadow_region * reg = map->head;
248 if ((reg->guest_start <= addr) && (reg->guest_end > addr)) {
250 } else if (reg->guest_start > addr) {
260 host_region_type_t get_shadow_addr_type(struct guest_info * info, addr_t guest_addr) {
261 struct shadow_region * reg = get_shadow_region_by_addr(&(info->mem_map), guest_addr);
264 return HOST_REGION_INVALID;
266 return reg->host_type;
270 addr_t get_shadow_addr(struct guest_info * info, addr_t guest_addr) {
271 struct shadow_region * reg = get_shadow_region_by_addr(&(info->mem_map), guest_addr);
276 return (guest_addr - reg->guest_start) + reg->host_addr;
281 host_region_type_t lookup_shadow_map_addr(struct shadow_map * map, addr_t guest_addr, addr_t * host_addr) {
282 struct shadow_region * reg = get_shadow_region_by_addr(map, guest_addr);
286 return HOST_REGION_INVALID;
288 switch (reg->host_type) {
289 case HOST_REGION_PHYSICAL_MEMORY:
290 *host_addr = (guest_addr - reg->guest_start) + reg->host_addr;
291 return reg->host_type;
292 case HOST_REGION_MEMORY_MAPPED_DEVICE:
293 case HOST_REGION_UNALLOCATED:
297 return reg->host_type;
303 void print_shadow_map(struct shadow_map * map) {
304 struct shadow_region * cur = map->head;
307 PrintDebug("Memory Layout (regions: %d) \n", map->num_regions);
310 PrintDebug("%d: 0x%p - 0x%p (%s) -> ", i,
311 (void *)cur->guest_start, (void *)(cur->guest_end - 1),
312 cur->guest_type == GUEST_REGION_PHYSICAL_MEMORY ? "GUEST_REGION_PHYSICAL_MEMORY" :
313 cur->guest_type == GUEST_REGION_NOTHING ? "GUEST_REGION_NOTHING" :
314 cur->guest_type == GUEST_REGION_MEMORY_MAPPED_DEVICE ? "GUEST_REGION_MEMORY_MAPPED_DEVICE" :
316 if (cur->host_type == HOST_REGION_PHYSICAL_MEMORY ||
317 cur->host_type == HOST_REGION_UNALLOCATED ||
318 cur->host_type == HOST_REGION_MEMORY_MAPPED_DEVICE) {
319 PrintDebug("0x%p", (void *)(cur->host_addr));
322 cur->host_type == HOST_REGION_PHYSICAL_MEMORY ? "HOST_REGION_PHYSICAL_MEMORY" :
323 cur->host_type == HOST_REGION_UNALLOCATED ? "HOST_REGION_UNALLOACTED" :
324 cur->host_type == HOST_REGION_HOOK ? "HOST_REGION_HOOK" :
325 cur->host_type == HOST_REGION_MEMORY_MAPPED_DEVICE ? "HOST_REGION_MEMORY_MAPPED_DEVICE" :
326 cur->host_type == HOST_REGION_REMOTE ? "HOST_REGION_REMOTE" :
327 cur->host_type == HOST_REGION_SWAPPED ? "HOST_REGION_SWAPPED" :
354 struct vmm_os_hooks * os_hooks;
356 void * TestMalloc(uint_t size) {
360 void * TestAllocatePages(int size) {
361 return malloc(4096 * size);
365 void TestPrint(const char * fmt, ...) {
373 int mem_list_add_test_1( vmm_mem_list_t * list) {
377 PrintDebug("\n\nTesting Memory List\n");
381 offset = PAGE_SIZE * 6;
382 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + (PAGE_SIZE * 10));
383 add_mem_list_pages(list, offset, 10);
384 print_mem_list(list);
388 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + PAGE_SIZE * 4);
389 add_mem_list_pages(list, offset, 4);
390 print_mem_list(list);
392 offset = PAGE_SIZE * 20;
393 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + (PAGE_SIZE * 1));
394 add_mem_list_pages(list, offset, 1);
395 print_mem_list(list);
397 offset = PAGE_SIZE * 21;
398 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + (PAGE_SIZE * 3));
399 add_mem_list_pages(list, offset, 3);
400 print_mem_list(list);
403 offset = PAGE_SIZE * 10;
404 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + (PAGE_SIZE * 30));
405 add_mem_list_pages(list, offset, 30);
406 print_mem_list(list);
409 offset = PAGE_SIZE * 5;
410 PrintDebug("Adding 0x%x - 0x%x\n", offset, offset + (PAGE_SIZE * 1));
411 add_mem_list_pages(list, offset, 1);
412 print_mem_list(list);
420 int mem_layout_add_test_1(vmm_mem_layout_t * layout) {
426 PrintDebug("\n\nTesting Memory Layout\n");
428 init_mem_layout(layout);
432 PrintDebug("Adding 0x%x - 0x%x\n", start, end);
433 add_guest_mem_range(layout, start, end);
434 print_mem_layout(layout);
439 PrintDebug("Adding 0x%x - 0x%x\n", start, end);
440 add_guest_mem_range(layout, start, end);
441 print_mem_layout(layout);
445 PrintDebug("Adding 0x%x - 0x%x\n", start, end);
446 add_guest_mem_range(layout, start, end);
447 print_mem_layout(layout);
451 PrintDebug("Adding 0x%x - 0x%x\n", start, end);
452 add_guest_mem_range(layout, start, end);
453 print_mem_layout(layout);
458 PrintDebug("Adding 0x%x - 0x%x\n", start, end);
459 add_guest_mem_range(layout, start, end);
460 print_mem_layout(layout);
470 int main(int argc, char ** argv) {
471 struct vmm_os_hooks dummy_hooks;
472 os_hooks = &dummy_hooks;
474 vmm_mem_layout_t layout;
477 os_hooks->malloc = &TestMalloc;
478 os_hooks->free = &free;
479 os_hooks->print_debug = &TestPrint;
480 os_hooks->allocate_pages = &TestAllocatePages;
484 printf("mem_list_add_test_1: %d\n", mem_list_add_test_1(&list));
485 printf("layout_add_test_1: %d\n", mem_layout_add_test_1(&layout));