int v3_raise_barrier(struct v3_vm_info * vm_info, struct guest_info * local_core) {
int ret = 0;
+
+ if ((vm_info->run_state != VM_RUNNING) &&
+ (vm_info->run_state != VM_SIMULATING)) {
+ return 0;
+ }
+
ret = v3_raise_barrier_nowait(vm_info, local_core);
if (ret != 0) {
int v3_lower_barrier(struct v3_vm_info * vm_info) {
struct v3_barrier * barrier = &(vm_info->barrier);
+
+ if ((vm_info->run_state != VM_RUNNING) &&
+ (vm_info->run_state != VM_SIMULATING)) {
+ return 0;
+ }
+
// Clear the active flag, so cores won't wait
barrier->active = 0;
return 0;
}
- V3_Print("Core %d waiting at barrier\n", core->vcpu_id);
+ V3_Print(core->vm_info, core, "Core %d waiting at barrier\n", core->vcpu_id);
/* Barrier has been activated.
* Wait here until it's lowered
// set cpu bit in barrier bitmap
v3_bitmap_set(&(barrier->cpu_map), core->vcpu_id);
- V3_Print("Core %d bit set as waiting\n", core->vcpu_id);
+ V3_Print(core->vm_info, core, "Core %d bit set as waiting\n", core->vcpu_id);
// wait for cpu bit to clear
while (v3_bitmap_check(&(barrier->cpu_map), core->vcpu_id)) {