KVM源代码分析之TLB虚拟化（shoot4u）

戚正伟 2017-3-20 18:40

VEE 2016上有一个篇论文， shoot4u， 主要想法就是利用硬件特性来优化TLB虚拟化切换开销， 今后可能会被merge到kvm中。 我们小组正在计划一个KVM的源码分析计划，放在github上，见 https://github.com/GiantVM/KVM-Annotation， 采用开源的方式，对源码进行解读。 欢迎大家一起来注释kvm源码 。 针对这个优化，我 ...

个人分类: 学术探讨|3533 次阅读|没有评论

Intel GPU虚拟化方案 KVMGT 正式进入Linux 内核 4.10

戚正伟 2017-2-25 12:29

Linus Torvalds 在内核邮件列表上 宣布释出 Linux 4.10 。Linux 4.10 的 主要特性 包括：加入了 GPU虚拟化方案 Intel GVT-g for KVM (a.k.a. KVMGT)的支持； 【参见 http://www.solidot.org/story?sid=51408】 A Full GPU Virtualization Solution with Mediated Pass-Through KVMGT: a Full ...

个人分类: 学术探讨|13715 次阅读|没有评论

在vmware里面安装kvm虚拟机

戚正伟 2013-5-4 23:27

有一台lenovo的x220i笔记本，cpu为intel i3 处理器，支持intel 硬件虚拟化技术VT-x。 Host为windows7 32位，安装了vmware 9.0 和ubuntu， 首先按照常规方法安装kvm。 用kvm-ok检查如下： INFO: Your CPU does not support KVM extensions KVM acceleration can NOT be used 但还是可以跑虚拟机的，例如： ubun ...

个人分类: 学术探讨|16450 次阅读|没有评论

Aeviou中文滑行输入法发布了！

热度 2 戚正伟 2012-9-30 16:51

输入法团队发布了中秋版， 供大家试用，一开始可能不是很习惯，用一段时间还是很快的，开发团队他们用起来的速度就很快了，在平板触摸屏上使用，尤其方便。不过目前还没有苹果的ios版本，谁让苹果是一个封闭的系统呢。 下载链接：http://tcloud.sjtu.edu.cn/aeviou/aeviou.apk 我们测试了很多Android ...

个人分类: 学术探讨|7431 次阅读|4 个评论 热度 2

Aeviou中文滑行输入法即将在中秋节发布

戚正伟 2012-9-28 17:17

详情请关注我们的微薄： http://weibo.com/u/1961313133 我们的主页： http://tcloud.sjtu.edu.cn/a eviou 简介 ： 伴随中国影响力的与日俱增，中文输入法已成为计算机领域极具战略意义的产品。而在触摸屏上传统点击拼音或手写输入方式显露出速度慢、误击率高的缺点。本输入法依据拼音字母后继不超 ...

个人分类: 学术探讨|4010 次阅读|没有评论

类型系统 和unification/semi-unification算法-3

热度 1 戚正伟 2011-12-11 10:21

正好 CS 15-417 HOT Compilation 这门课本周结束，最后一课 Karl Crary 教授讲到了 type inference 。 结合这个主题，将 unification 算法再 review 一边。 Karl Crary 教授说到了不能确定 SML 的 type inference 算法是否 decidable 。因为它对 HM 算法进行了扩展。 Unification 算 ...

个人分类: 学术探讨|6010 次阅读|2 个评论 热度 1

递归，尾递归和CPS风格

戚正伟 2011-12-1 05:47

最近看到一个系统，递归运用规则，用 ocaml 写的， 说到为了避免堆栈溢出，采用了 CPS （ Continuation_passing_style ）风格。 于是深入了解一下递归与 CPS 的关系。 递归大家都熟悉，例如阶乘函数，递归写法如下（ ocaml 语法）： let rec fact ...

个人分类: 学术探讨|7289 次阅读|没有评论

类型系统 和unification/semi-unification算法-2

戚正伟 2011-7-18 06:06

上次说到 : lambda x,y,z : x(y(z)) , 其对应的类型是什么呢？ 这里面的 z 可以看作一个普通变量（也可能是一个函数）， y 和 x 肯定是一个函数变量。 假定 z 的类型是 c ，则 y(z) 的类型是 a ， 那么 y 的类型为 c-a ， 则 y(z) 作为 x 函数的参数，假定 x(y(z)) 的类型为 b ，那么 x 的类型 ...

个人分类: 学术探讨|5726 次阅读|没有评论

本页有 2 篇博文因作者的隐私设置或未通过审核而隐藏