hypercall_preempt_check()相关

本文探讨了在Xen虚拟机环境中,hypercall_preempt_check()的作用和Continuation的概念。当存在软中断或PV VCPU的upcall时,该检查会触发创建Continuation以确保Hypercall的正确执行。受影响的Hypercalls包括__HYPERVISOR_hvm_op等,这些操作可能影响虚拟机状态一致性,例如在未处理所有event时执行__HYPERVISOR_console_io可能导致数据丢失。文章讨论了其他Hypercall为何不会出现类似问题,并指出错误的可能性。
摘要由CSDN通过智能技术生成

在阅读超级调用函数do_mmu_update的代码时,看到下面这段代码,不是很理解

if ( hypercall_preempt_check() ) {
            rc = hypercall_create_continuation(
                __HYPERVISOR_mmu_update, "hihi",
                ureqs, (count - i) | MMU_UPDATE_PREEMPTED, pdone, foreigndom);
            break;
}

于是继续google之。。。

我个人理解的计算机科学中的Continuation,即是把一个计算过程具体化(reifier),得到一组可以用来重构这个计算过程的结构。通常情况下,它包含了处理器的栈,还包含了当前的执行点(具体化一点,就是所有寄存器的值),这样处理器就可以在任何时候重构这个计算过程。

一些高级语言,如Python、Ruby、Haskell、LISP等,在VM中对Continuation提供了支持。目前使用的计算机,还是必须手工编写代码才能支持Continuation。

Xen提供了一个hypercall_create_continuation函数,用来resume当前的hypercall。具体做的事情无非就是为客户虚拟机准备好上下文(栈及寄存器),然后重新执行陷入指令。要让虚拟重新执行陷入指令的处理又分为再种情况:假如是PV的虚拟机,把EIP减2,重新执行int 0×82或者syscall指令;假如是HVM,那么不需要对EIP作处理,因为

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值