- 博客(3)
- 收藏
- 关注
RSS订阅原创 总结：From L3 to seL4 What Have We Learnt in 20 Years of L4 Micorkernels?
From L3 to seL4 What Have We Learnt in 20 Years of L4 Micorkernels? Intro Micorkernel: 最小化内核可以提供的函数。内核只提供一组广义的机制，用户层服务器实现具体OS服务。 现代的代表 seL4，Fiasco.OC，NOVA，OKL4 seL4通过引入了形式化证明方法，通过数学的方式证明了其在微核部分满足从设计到实现的一致性，以及微核上的服务具有互不干扰等属性。 微内核设计 最小化原则：一个操作系统内核的功能只有在将其放在内
2021-06-15 18:37:10
461
2
原创 unity3d 第一人称射击射线实现
代码示例： using System.Collections; using System.Collections.Generic; using UnityEngine; public class fpsShoot : MonoBehaviour { private Camera _camera; private void Start() { _camera = GetComponent&...
2018-11-30 13:05:22
1653
原创 Unity3d第一人称视角旋转和移动底层代码实现
贴上代码 using System.Collections; using System.Collections.Generic; using UnityEngine; public class Move : MonoBehaviour { public float sensitivityHor = 9.0f; public float sensitivityVer = 9.0f; public f...
2018-11-29 14:13:37
2010
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人