Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


hooked checkpoint code up to the linux module and added user space tools
[palacios.git] / palacios / include / palacios / vmm.h
1 /*
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.  
5  *
6  * The V3VEE Project is a joint project between Northwestern University
7  * and the University of New Mexico.  You can find out more at 
8  * http://www.v3vee.org
9  *
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.
13  *
14  * Author: Jack Lange <jarusl@cs.northwestern.edu>
15  *
16  * This is free software.  You are permitted to use,
17  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
18  */
19
20 #ifndef __VMM_H__
21 #define __VMM_H__
22
23
24 /*#include <palacios/vm_guest.h>*/
25
26 struct guest_info;
27
28
29 #ifdef __V3VEE__
30 #include <palacios/vmm_mem.h>
31 #include <palacios/vmm_types.h>
32
33 //#include <palacios/vmm_types.h>
34 #include <palacios/vmm_string.h>
35
36
37
38
39 /* utility definitions */
40
41
42 #define V3_Print(fmt, args...)                                  \
43     do {                                                        \
44         extern struct v3_os_hooks * os_hooks;                   \
45         if ((os_hooks) && (os_hooks)->print) {                  \
46             (os_hooks)->print((fmt), ##args);                   \
47         }                                                       \
48     } while (0) 
49
50
51 #define PrintDebug(fmt, args...)                        \
52     do {                                                \
53         extern struct v3_os_hooks * os_hooks;           \
54         if ((os_hooks) && (os_hooks)->print) {  \
55             (os_hooks)->print((fmt), ##args);   \
56         }                                               \
57     } while (0)                                         
58
59
60 #define PrintError(fmt, args...)                                        \
61     do {                                                                \
62         extern struct v3_os_hooks * os_hooks;                           \
63         if ((os_hooks) && (os_hooks)->print) {                  \
64             (os_hooks)->print("%s(%d): " fmt, __FILE__, __LINE__, ##args); \
65         }                                                               \
66     } while (0)                                         
67
68
69
70 /* 4KB-aligned */
71 #define V3_AllocPages(num_pages)                                        \
72     ({                                                                  \
73         extern struct v3_os_hooks * os_hooks;                           \
74         void * ptr = 0;                                                 \
75         if ((os_hooks) && (os_hooks)->allocate_pages) {                 \
76             ptr = (os_hooks)->allocate_pages(num_pages,PAGE_SIZE_4KB);  \
77         }                                                               \
78         ptr;                                                            \
79     })
80
81
82 #define V3_AllocAlignedPages(num_pages, align)                          \
83     ({                                                                  \
84         extern struct v3_os_hooks * os_hooks;                           \
85         void * ptr = 0;                                                 \
86         if ((os_hooks) && (os_hooks)->allocate_pages) {                 \
87             ptr = (os_hooks)->allocate_pages(num_pages,align);          \
88         }                                                               \
89         ptr;                                                            \
90     })
91
92
93 #define V3_FreePages(page, num_pages)                   \
94     do {                                                \
95         extern struct v3_os_hooks * os_hooks;           \
96         if ((os_hooks) && (os_hooks)->free_pages) {     \
97             (os_hooks)->free_pages(page, num_pages);    \
98         }                                               \
99     } while(0)
100
101
102 #define V3_VAddr(addr) ({                                       \
103             extern struct v3_os_hooks * os_hooks;               \
104             void * var = 0;                                     \
105             if ((os_hooks) && (os_hooks)->paddr_to_vaddr) {     \
106                 var = (os_hooks)->paddr_to_vaddr(addr);         \
107             }                                                   \
108             var;                                                \
109         })
110
111
112 #define V3_PAddr(addr) ({                                       \
113             extern struct v3_os_hooks * os_hooks;               \
114             void * var = 0;                                     \
115             if ((os_hooks) && (os_hooks)->vaddr_to_paddr) {     \
116                 var = (os_hooks)->vaddr_to_paddr(addr);         \
117             }                                                   \
118             var;                                                \
119         })
120
121
122
123 #define V3_Malloc(size) ({                              \
124             extern struct v3_os_hooks * os_hooks;       \
125             void * var = 0;                             \
126             if ((os_hooks) && (os_hooks)->malloc) {     \
127                 var = (os_hooks)->malloc(size);         \
128             }                                           \
129             if (!var) PrintError("MALLOC FAILURE. Memory LEAK!!\n");    \
130             var;                                        \
131         })
132
133 // We need to check the hook structure at runtime to ensure its SAFE
134 #define V3_Free(addr)                           \
135     do {                                        \
136         extern struct v3_os_hooks * os_hooks;   \
137         if ((os_hooks) && (os_hooks)->free) {   \
138             (os_hooks)->free(addr);             \
139         }                                       \
140     } while (0)
141
142 // uint_t V3_CPU_KHZ();
143 #define V3_CPU_KHZ() ({                                                 \
144             unsigned int khz = 0;                                       \
145             extern struct v3_os_hooks * os_hooks;                       \
146             if ((os_hooks) && (os_hooks)->get_cpu_khz) {                \
147                 khz = (os_hooks)->get_cpu_khz();                        \
148             }                                                           \
149             khz;                                                        \
150         })                                                              \
151         
152
153
154
155 #define V3_Hook_Interrupt(vm, irq) ({                                   \
156             int ret = 0;                                                \
157             extern struct v3_os_hooks * os_hooks;                       \
158             if ((os_hooks) && (os_hooks)->hook_interrupt) {             \
159                 ret = (os_hooks)->hook_interrupt(vm, irq);              \
160             }                                                           \
161             ret;                                                        \
162         })                                                              \
163         
164
165 #define V3_ACK_IRQ(irq)                                         \
166     do {                                                        \
167         extern struct v3_os_hooks * os_hooks;                   \
168         if ((os_hooks) && (os_hooks)->ack_irq) {                \
169             (os_hooks)->ack_irq(irq);                           \
170         }                                                       \
171     } while (0)
172
173
174
175 #define V3_Get_CPU() ({                                                 \
176             int ret = 0;                                                \
177             extern struct v3_os_hooks * os_hooks;                       \
178             if ((os_hooks) && (os_hooks)->get_cpu) {                    \
179                 ret = (os_hooks)->get_cpu();                            \
180             }                                                           \
181             ret;                                                        \
182         })
183
184
185 #ifdef V3_CONFIG_MULTITHREAD_OS
186
187 #define V3_CREATE_THREAD(fn, arg, name)                                 \
188     do {                                                                \
189         extern struct v3_os_hooks * os_hooks;                           \
190         if ((os_hooks) && (os_hooks)->start_kernel_thread) {            \
191             (os_hooks)->start_kernel_thread(fn, arg, name);             \
192         }                                                               \
193     } while (0)
194
195
196
197
198 #define V3_Call_On_CPU(cpu, fn, arg)                    \
199     do {                                                \
200         extern struct v3_os_hooks * os_hooks;           \
201         if ((os_hooks) && (os_hooks)->call_on_cpu) {    \
202             (os_hooks)->call_on_cpu(cpu, fn, arg);      \
203         }                                               \
204     } while (0)
205
206
207
208 #define V3_CREATE_THREAD_ON_CPU(cpu, fn, arg, name) ({                  \
209             void * thread = NULL;                                       \
210             extern struct v3_os_hooks * os_hooks;                       \
211             if ((os_hooks) && (os_hooks)->start_thread_on_cpu) {        \
212                 thread = (os_hooks)->start_thread_on_cpu(cpu, fn, arg, name); \
213             }                                                           \
214             thread;                                                     \
215         })
216
217 #define V3_MOVE_THREAD_TO_CPU(pcpu, thread) ({                          \
218         int ret = -1;                                                   \
219         extern struct v3_os_hooks * os_hooks;                           \
220         if((os_hooks) && (os_hooks)->move_thread_to_cpu) {              \
221             ret = (os_hooks)->move_thread_to_cpu(pcpu, thread);         \
222         }                                                               \
223         ret;                                                            \
224     })
225     
226 #endif
227
228 /* ** */
229
230
231 #define V3_ASSERT(x)                                                    \
232     do {                                                                \
233         extern struct v3_os_hooks * os_hooks;                           \
234         if (!(x)) {                                                     \
235             PrintDebug("Failed assertion in %s: %s at %s, line %d, RA=%lx\n", \
236                        __func__, #x, __FILE__, __LINE__,                \
237                        (ulong_t) __builtin_return_address(0));          \
238             while(1){                                                   \
239                 if ((os_hooks) && (os_hooks)->yield_cpu) {              \
240                         (os_hooks)->yield_cpu();                        \
241                 }                                                       \
242             }                                                           \
243         }                                                               \
244     } while(0)                                                          \
245         
246
247
248
249
250 typedef enum v3_vm_class {V3_INVALID_VM, V3_PC_VM, V3_CRAY_VM} v3_vm_class_t;
251
252
253 // Maybe make this a define....
254 typedef enum v3_cpu_arch {V3_INVALID_CPU, V3_SVM_CPU, V3_SVM_REV3_CPU, V3_VMX_CPU, V3_VMX_EPT_CPU, V3_VMX_EPT_UG_CPU} v3_cpu_arch_t;
255
256
257 v3_cpu_mode_t v3_get_host_cpu_mode();
258
259 void v3_yield(struct guest_info * info);
260 void v3_yield_cond(struct guest_info * info);
261 void v3_print_cond(const char * fmt, ...);
262
263
264 #ifdef V3_CONFIG_MULTITHREAD_OS
265 void v3_interrupt_cpu(struct v3_vm_info * vm, int logical_cpu, int vector);
266 #endif
267
268
269 v3_cpu_arch_t v3_get_cpu_type(int cpu_id);
270
271
272 int v3_vm_enter(struct guest_info * info);
273 int v3_reset_vm_core(struct guest_info * core, addr_t rip);
274
275
276 #endif /*!__V3VEE__ */
277
278
279
280 struct v3_vm_info;
281
282 /* This will contain function pointers that provide OS services */
283 struct v3_os_hooks {
284     void (*print)(const char * format, ...)
285         __attribute__ ((format (printf, 1, 2)));
286   
287     void *(*allocate_pages)(int num_pages, unsigned int alignment);
288     void (*free_pages)(void * page, int num_pages);
289
290     void *(*malloc)(unsigned int size);
291     void (*free)(void * addr);
292
293     void *(*paddr_to_vaddr)(void * addr);
294     void *(*vaddr_to_paddr)(void * addr);
295
296     int (*hook_interrupt)(struct v3_vm_info * vm, unsigned int irq);
297     int (*ack_irq)(int irq);
298
299     unsigned int (*get_cpu_khz)(void);
300
301
302     void (*yield_cpu)(void); 
303
304     void *(*mutex_alloc)(void);
305     void (*mutex_free)(void * mutex);
306     void (*mutex_lock)(void * mutex, int must_spin);
307     void (*mutex_unlock)(void * mutex);
308
309     unsigned int (*get_cpu)(void);
310
311
312
313     void (*start_kernel_thread)(int (*fn)(void * arg), void * arg, char * thread_name); 
314     void (*interrupt_cpu)(struct v3_vm_info * vm, int logical_cpu, int vector);
315     void (*call_on_cpu)(int logical_cpu, void (*fn)(void * arg), void * arg);
316     void * (*start_thread_on_cpu)(int cpu_id, int (*fn)(void * arg), void * arg, char * thread_name);
317     int (*move_thread_to_cpu)(int cpu_id,  void * thread);
318 };
319
320
321 /*
322  *
323  * This is the interrupt state that the VMM's interrupt handlers need to see
324  */
325 struct v3_interrupt {
326     unsigned int irq;
327     unsigned int error;
328
329     unsigned int should_ack;  /* Should the vmm ack this interrupt, or will
330                                * the host OS do it? */
331 };
332
333
334
335
336 void Init_V3(struct v3_os_hooks * hooks,  int num_cpus);
337 void Shutdown_V3( void );
338
339
340 struct v3_vm_info * v3_create_vm(void * cfg, void * priv_data, char * name);
341 int v3_start_vm(struct v3_vm_info * vm, unsigned int cpu_mask);
342 int v3_stop_vm(struct v3_vm_info * vm);
343 int v3_pause_vm(struct v3_vm_info * vm);
344 int v3_continue_vm(struct v3_vm_info * vm);
345
346 int v3_save_vm(struct v3_vm_info * vm, char * store, char * url);
347 int v3_load_vm(struct v3_vm_info * vm, char * store, char * url);
348
349 int v3_move_vm_core(struct v3_vm_info * vm, int vcore_id, int target_cpu);
350
351 int v3_free_vm(struct v3_vm_info * vm);
352
353 int v3_deliver_irq(struct v3_vm_info * vm, struct v3_interrupt * intr);
354
355
356 #endif