vfree对内核页表项的清除操作 怎么影响到 用户页表项

CaseZheng-菜鸟 2015-08-31 07:31:11
http://blog.chinaunix.net/uid-20671208-id-4440254.html
通过这篇文章,我们知道了vmalloc对内核页表项的修改通过缺页中断来影响用户页表项
那么,我们vfree也是对内核页表项的修改,但我们没有清除用户页表项,
如果我们可以通过用户页表项访问我们已经释放的物理页,这样不是就跪了嘛。。。。。。
求大神解答!!!
...全文
182 1 打赏 收藏 转发到动态 举报
写回复
用AI写文章
1 条回复
切换为时间正序
请发表友善的回复…
发表回复
nswcfd 2015-09-01
  • 打赏
  • 举报
回复
以下是个人结合ULK第8章的理解,仅供参考。 vmalloc分配的时候,只是修改了init_mm的页表,如果user process引用这段空间,会产生缺页中断,发现是vmalloc地址范围,就复制init_mm对应的页表。 (说是“复制”,其实只是pmd_u和pmd_k引用同样的page table,并没有为user space单独分配page table的空间) 同样,vfree的时候,也只是修改了init_mm的页表。这里的“修改”只是清除了pte的present位,页表本身的空间并没有被释放。这个clear操作对user space的页表是可见的(因为前面的copy的行为,pte实际是共享的),因此后续的user space对vfree区域的访问,会导致正常的缺页中断,并认为是非法访问。 实际上user app本来就没有权限访问vmalloc出来的地址空间,在vfree之后访问此地址只能发生在kernel态,而这显然是bug。 这个机制就保证了当产生这种bug的时候系统可以正确反应,比如crash。
内容概要:本文针对无刷直流电机驱动的电子机械制动(EMB)执行器,建立了考虑Stribeck摩擦特性的非线性耦合动力学模型,并在Simulink环境中完成了系统级仿真分析。研究综合集成了电机动力学、齿轮传动机构与制动执行机构的动力学特性,构建了高保真的机电一体化系统模型。重点引入Stribeck摩擦模型以精确描述低速工况下执行器内部存在的静摩擦、粘滞摩擦与库仑摩擦之间的过渡行为,有效提升了系统在启停、反向运动等瞬态过程中的动态响应仿真精度。通过多工况仿真验证了模型的有效性,能够准确反映摩擦引起的爬行、滞后与定位误差等非线性现象,为EMB系统的高性能控制算法设计(如摩擦补偿、滑模控制)与结构优化提供了高可信度的仿真平台。; 适合人群:从事汽车电子制动系统、电机驱动控制、机电系统建模与仿真研究的研究生、科研人员及工程技术人员,需具备扎实的机械动力学、自动控制理论基础和MATLAB/Simulink仿真能力。; 使用场景及目标:①用于高精度电子机械制动系统的设计验证与性能预测;②为消除摩擦非线性影响的先进控制策略(如自适应控制、智能控制)提供精确的被控对象模型;③深入探究Stribeck摩擦等非线性因素对系统动态性能(如响应延迟、稳态误差)的作用机理; 阅读建议:读者应结合提供的Simulink模型文件,深入剖析Stribeck摩擦模块的数学实现与参数辨识方法,建议通过改变输入指令(如阶跃、正弦)和负载条件进行对比仿真,以直观理解非线性摩擦对系统动态特性的影响

4,469

社区成员

发帖
与我相关
我的任务
社区描述
Linux/Unix社区 内核源代码研究区
社区管理员
  • 内核源代码研究区社区
加入社区
  • 近7日
  • 近30日
  • 至今
社区公告
暂无公告

试试用AI创作助手写篇文章吧