首页>
外国专利>
Hard object: constraining control flow and providing lightweight kernel crossings
Hard object: constraining control flow and providing lightweight kernel crossings
展开▼
机译:硬对象:限制控制流并提供轻量级的内核穿越
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method providing simple fine-grain hardware primitives with which software engineers can efficiently implement enforceable separation of programs into modules and constraints on control flow, thereby providing fine-grain locality of causality to the world of software. Additionally, a mechanism is provided to mark some modules, or parts thereof, as having kernel privileges and thereby allows the provision of kernel services through normal function calls, obviating the expensive prior art mechanism of system calls. Together with software changes, Object Oriented encapsulation semantics and control flow integrity in hardware are enforced.
展开▼