#include <palacios/vmm_lowlevel.h>
#include <palacios/vmm_sprintf.h>
#include <palacios/vmm_extensions.h>
+#include <palacios/vmm_timeout.h>
+
#ifdef V3_CONFIG_SVM
#include <palacios/svm.h>
}
-
-void Init_V3(struct v3_os_hooks * hooks, int num_cpus) {
- int i;
+void Init_V3(struct v3_os_hooks * hooks, char * cpu_mask, int num_cpus) {
+ int i = 0;
+ int minor = 0;
+ int major = 0;
V3_Print("V3 Print statement to fix a Kitten page fault bug\n");
V3_init_checkpoint();
#endif
-
-
-
if ((hooks) && (hooks->call_on_cpu)) {
- for (i = 0; i < num_cpus; i++) {
- V3_Print("Initializing VMM extensions on cpu %d\n", i);
- hooks->call_on_cpu(i, &init_cpu, (void *)(addr_t)i);
+ for (i = 0; i < num_cpus; i++) {
+ major = i / 8;
+ minor = i % 8;
- if (v3_mach_type == V3_INVALID_CPU) {
- v3_mach_type = v3_cpu_types[i];
- }
+ if ((cpu_mask == NULL) || (*(cpu_mask + major) & (0x1 << minor))) {
+ V3_Print("Initializing VMM extensions on cpu %d\n", i);
+ hooks->call_on_cpu(i, &init_cpu, (void *)(addr_t)i);
- }
+ if (v3_mach_type == V3_INVALID_CPU) {
+ v3_mach_type = v3_cpu_types[i];
+ }
+ }
+ }
}
-
-
}
+
void Shutdown_V3() {
int i;
vm->run_state = VM_STOPPED;
+ // Sanity check to catch any weird execution states
+ if (v3_wait_for_barrier(vm, NULL) == 0) {
+ v3_lower_barrier(vm);
+ }
+
// XXX force exit all cores via a cross call/IPI XXX
while (1) {
return -1;
}
+ vm->run_state = VM_RUNNING;
+
v3_lower_barrier(vm);
+ return 0;
+}
+
+
+
+static int sim_callback(struct guest_info * core, void * private_data) {
+ struct v3_bitmap * timeout_map = private_data;
+
+ v3_bitmap_set(timeout_map, core->vcpu_id);
+
+ V3_Print("Simulation callback activated (guest_rip=%p)\n", (void *)core->rip);
+
+ while (v3_bitmap_check(timeout_map, core->vcpu_id) == 1) {
+ v3_yield(NULL);
+ }
+
+ return 0;
+}
+
+
+
+
+int v3_simulate_vm(struct v3_vm_info * vm, unsigned int msecs) {
+ struct v3_bitmap timeout_map;
+ int i = 0;
+ int all_blocked = 0;
+ uint64_t cycles = 0;
+ uint64_t cpu_khz = V3_CPU_KHZ();
+
+ if (vm->run_state != VM_PAUSED) {
+ PrintError("VM must be paused before simulation begins\n");
+ return -1;
+ }
+
+ /* AT this point VM is paused */
+
+ // initialize bitmap
+ v3_bitmap_init(&timeout_map, vm->num_cores);
+
+
+
+
+ // calculate cycles from msecs...
+ // IMPORTANT: Floating point not allowed.
+ cycles = (msecs * cpu_khz);
+
+
+
+ V3_Print("Simulating %u msecs (%llu cycles) [CPU_KHZ=%llu]\n", msecs, cycles, cpu_khz);
+
+ // set timeout
+
+ for (i = 0; i < vm->num_cores; i++) {
+ if (v3_add_core_timeout(&(vm->cores[i]), cycles, sim_callback, &timeout_map) == -1) {
+ PrintError("Could not register simulation timeout for core %d\n", i);
+ return -1;
+ }
+ }
+
+ V3_Print("timeouts set on all cores\n ");
+
+
+ // Run the simulation
+// vm->run_state = VM_SIMULATING;
vm->run_state = VM_RUNNING;
+ v3_lower_barrier(vm);
+
+
+ V3_Print("Barrier lowered: We are now Simulating!!\n");
+
+ // block until simulation is complete
+ while (all_blocked == 0) {
+ all_blocked = 1;
+
+ for (i = 0; i < vm->num_cores; i++) {
+ if (v3_bitmap_check(&timeout_map, i) == 0) {
+ all_blocked = 0;
+ }
+ }
+
+ if (all_blocked == 1) {
+ break;
+ }
+
+ v3_yield(NULL);
+ }
+
+
+ V3_Print("Simulation is complete\n");
+
+ // Simulation is complete
+ // Reset back to PAUSED state
+
+ v3_raise_barrier_nowait(vm, NULL);
+ vm->run_state = VM_PAUSED;
+
+ v3_bitmap_reset(&timeout_map);
+
+ v3_wait_for_barrier(vm, NULL);
return 0;
+
}
#ifdef V3_CONFIG_CHECKPOINT
// (void *)info->yield_cycle_period);
V3_Yield();
- info->yield_start_cycle = v3_get_host_time(&info->time_state);
+ info->yield_start_cycle += info->vm_info->yield_cycle_period;
}
}
V3_Yield();
if (info) {
- info->yield_start_cycle = v3_get_host_time(&info->time_state);
+ info->yield_start_cycle += info->vm_info->yield_cycle_period;
}
}
