《表4 监测开销：基于在线模型检验技术的微内核验证》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于在线模型检验技术的微内核验证》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

对于监测的状态信息来说，预先使用监视器monitor＿read（）进行插桩，每当monitor＿read（）被执行时，则会将监测到的变量的值复制到缓冲区中。为了评估其开销，测量了从10个字节到100个字节复制大小不同的数据所需要的时间。分别测量添加监测状态信息和不添加监测点时API的执行时间，表4给出不同监测数据大小插桩前后监测开销。