- 博客(2)
- 收藏
- 关注
RSS订阅原创 seL4国内安装遇到的一些问题
由于上游的cmake源没有更新了，第三方的源也已经失效了，官方也意识到这个问题，估计等他们做Ubuntu 20.04 的适配的时候会解决把。 暂时可以通过用snapd来安装cmake解决sudo apt autoremove cmakesudo snap install cmake -classic对于python的依赖安装可以通过使用国内的镜像来提高速度，有兴趣的可以设置全局源。 pip install -i https://pypi.tuna.tsinghua.edu.cn/simple n
2020-05-18 10:53:54
2219
原创 seL4论文:一个大的内核锁已经足够
seL4:一个大的内核锁已经足够论文戳这里 ，公开演讲PPT戳这里前情提要seL4 是一个安全的嵌入式系统，只支持有MMU的开发板，现在的移动CPU也在堆核心，所以要研究是否用更细的锁来提高可扩展性（Scalability）。论文文章在研究了在IPC过程中引入更细致的锁对性能的影响。Peter在内核里面加了4个锁，这四个锁有两种实现方式，一种是用原来的实现方式，另一个是用Intel独有的ntel TSX指令集（图中x86 RTM的数据）。可以看出用更多的锁会造成更多的性能损失，而且如果锁的争抢需
2020-05-14 17:53:43
746
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人