seL4论文:一个大的内核锁已经足够

最新推荐文章于 2024-08-01 13:56:19 发布
最新推荐文章于 2024-08-01 13:56:19 发布
阅读量609 收藏 3
点赞数 1
分类专栏： seL4论文导读 文章标签： 嵌入式
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_38622392/article/details/106116184
版权
seL4论文探讨了在IPC过程中使用单一内核锁与多个锁的性能影响。研究发现，增加锁的细化可能导致性能损失，尤其是在跨物理缓存的锁争抢情况下。尽管多核环境下某些情况使用单一锁表现不佳，但实际应用中影响有限。论文指出，由于形式化证明的复杂性，目前尚难以验证多核心下更复杂锁结构的正确性。测试显示，系统吞吐量主要受限于网络带宽而非内核锁。结论认为，在现有技术下，单一内核锁在多数场景下是足够的选择。
摘要由CSDN通过智能技术生成

seL4:一个大的内核锁已经足够

论文戳这里 ，公开演讲PPT戳这里

前情提要

seL4 是一个安全的嵌入式系统，只支持有MMU的开发板，现在的移动CPU也在堆核心，所以要研究是否用更细的锁来提高可扩展性（Scalability）。

论文

文章在研究了在IPC过程中引入更细致的锁对性能的影响。Peter在内核里面加了4个锁，这四个锁有两种实现方式，一种是用原来的实现方式，另一个是用Intel独有的ntel TSX指令集（图中x86 RTM的数据）。
PPT Page 6不同IPC性能对比可以看出用更多的锁会造成更多的性能损失，而且如果锁的争抢需要跨越物理的L2 Cache，那么将会损失更多的性能，甚至造成损失的性能超过一个IPC的时间。
PPT Page 8 锁的性能这个图的解释是，如果要争抢一个跨越物理缓存界限的锁，那么这个信号将会需要100&#

最低0.47元/天 解锁文章
Tecty
关注
  • 1
    点赞
  • 踩
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
linux中大内核锁（BKL--Big Kernel Lock）和自旋锁(FIFO Ticket Spinlock) -- 2014百度面试题目
Atlas2013的专栏
09-24 3875
这里先写一篇基础文章引入一下自旋锁、排队自旋锁和大内核锁。        自旋锁(Spinlock)是一种 Linux 内核中广泛运用的底层同步机制。自旋锁是一种工作于多处理器环境的特殊的锁，在单处理环境中自旋锁的操作被替换为空操作。当某个处理器上的内核执行线程申请自旋锁时，如果锁可用，则获得锁，然后执行临界区操作，最后释放锁；如果锁已被占用，线程并不会转入睡眠状态，而是忙等待该锁，一旦
BKL（大内核锁）
qinzhonghello的专栏
12-20 7491
 BKL（大内核锁）是一个全局自旋锁，使用它主要是为了方便实现从Linux最初的SMP过度到细粒度加锁机制。 BKL的特性：持有BKL的任务仍然可以睡眠 。因为当任务无法调度时，所加的锁会自动被抛弃；当任务被调度时，锁又会被重新获得。当然，并不是说，当任务持有BKL时，睡眠是安全的，紧急是可以这样做，因为睡眠不会造成任务死锁。BKL是一种递归锁。一个进程可以多次请求一个锁，并不会像自旋
大内核锁
changtao381的专栏
03-02 1329
<br />大内核锁这个简单且不常用的内核加锁机制一直是内核开发者之间颇具争议的话题。它在早期linux版本里的广泛使用，从2.4内核开始逐渐被各种各样的自旋锁替代，可是直到现在还不能完全将它抛弃；它曾经使用自旋锁实现，到了2.6.11版修改为信号量，可是在2.6.26-rc2又退回到使用自旋锁的老路上；它甚至引发了linux的创始人Linus Torvalds和著名的完全公平调度(CFS)算法的贡献者Ingo Molnar之间的一场争议。这究竟是怎么回事呢？<br /><br />1.1         
sel4介绍
最新发布
cuidahui的博客
08-01 330
seL4微内核是一种操作系统内核，旨在实现安全、可靠和为各种应用领域的系统提供可靠的基础。作为微内核，它为应用程序提供少量服务，例如创建和管理虚拟地址空间、线程和进程间通信（IPC）。seL4提供的少量服务直接转化为小型实现大约8700行C代码。
【转载】神奇的大内核锁
weixin_30929195的博客
01-13 96
原文地址：http://hi.baidu.com/_kouu/blog/item/c7f1bcd864bb76f939012f9f.html Big Kernel Lock（BKL）（大内核锁），是linux内核中使用到的一种锁，它跟普通的锁原理上的一样的：lock_kernel();/* 临界区 */unlock_kernel(); 但是它又有一些非常诡异的地方。从表面上看： 1、BKL是一...
神奇的大内核锁
张勤一
09-04 2587
Big Kernel Lock（BKL）（大内核锁），是linux内核中使用到的一种锁，它跟普通的锁原理上的一样的：lock_kernel();/* 临界区 */unlock_kernel();但是它又有一些非常诡异的地方。从表面上看：1、BKL是一个全局的锁（注意，是“一个”而不是“一种”），它保护所有使用它来同步的临界区。一旦一个进程获得BKL，进入被它保护的临界区，不但该临界区被上锁，所有被
"移动计算中的CoreLime：简化代理和主机配置的新模型
理论计算机科学电子笔记54（2001）网址：http://www.elsevier.nl/locate/entcs/volume54.html18页CoreLime：一种移动Agent协调...在第二步中，我们试图重建一个更简单的模型，我们称之为CoreLime，它可以更好地扩展到大
"忆阻深度学习系统的建模与仿真：现有工作及未来展望
阵列13（2022）100116内存中忆阻深度学习系统的建模和仿真：当前工作...随着这些系统的复杂性不可避免地增加，它们需要更高的处理能力并消耗更大的功率，而这在资源受限的处理器（如物联网（IoT）边缘设备）中
计计算机专用英语（常用1695个单词，带音标） 欢迎评论转发
0x8g1T9E-
04-16 7835
计算机专用英语（常用1695个单词，带音标） 《电脑专业英语》 1. file [fail] n. 文件；v. 保存文件 2. command [k..mɑ:nd] n. 命令，指令 3. use [ju:z, ju:s] v. 使用，用途 4. program [.pr.ugr.m] n. 程序 5. line [lain] n. (数据，程序)行，线路 6. if [if] co...
计算机专用英语词汇1695个词汇表
热门推荐
惨绿少年 | 欢迎访问CLSN博客站点 http://clsn.io
12-27 1万+
特别感谢： 不愿意透露姓名的小虾同学提供的音标部分 1.单词说明： 　　command n. 命令，指令 [kə'mɑ:nd] 　　单词拼写 名词 单词含义 音标（发音） 　　提示:着重记忆单词对应的意思，有能力最好词性也记忆。 2.词性说明： n       v      vi                 vt      conj  prep  pron  adj     ad
seL4 操作系统编程手册 （中文版）
09-06
国内知名大学的sel4文档手册，相当值得借鉴，中文版。带书签。
seL4用户手册
10-02
seL4微内核设计针对实时应用,可潜在应用于强调安全和实时性
seL4:seL4微内核
05-11
seL4微内核 该项目包含seL4微内核的源代码。 有关seL4微内核的详细信息，包括其形式正确性证明的详细信息，请访问网站和相关的 。 引用此存储库的最新版本的DOI： 我们欢迎对seL4的贡献。 请访问该网站以获取有关。 通常不会孤立地使用此存储库，而是将其作为较大项目中构建系统的一部分。 seL4基础 社区 邮件列表 seL4宣布 seL4开发 建议项目 社区项目 手动的 您可以在此处找到最新版本的手册的托管版本。 可在此处找到API的网络版本 资料库概述 include和src ：seL4的C和ASM源代码 tools ：构建工具 libsel4 ：seL4 ABI的C绑定 manual ：seL4参考手册的LaTeX来源 制作说明 有关构建说明，请参见seL4网站。 地位 在seL4版本下可以找到版本列表和当前项目状态。 路线图：开发中的新功能 硬件支持：有关
seL4-manual-latest.pdf
11-19
微内核白皮书、sel4微内核白皮书、seL4-whitepaper.pdf
seL4系统论文
01-04
本文描述了seL4实时系能的基本测试。文中详细分析了中断响应时间、进程间切换的测试。
JOS大内核锁
fang92的专栏
11-03 1067
JOS lab4里面，采用了SMT的操作系统，所以可能存在两个CPU同时进入内核态，虽然CPU之间的内核栈，但是多核同步可能还是会出现问题，所以JOS采用大内核锁来锁住整个内核，使得每次只有一个CPU会进入内核，另外的CPU如果申请进入内核态，是进不去的。
Linux驱动之大内核锁
02-05 433
参考：http://blog.csdn.net/qinzhonghello/article/details/3564984 大内核锁是一个全局的自旋锁 持有锁时，可以休眠，但是不安全（因为休眠时，内核会自动释放全局锁，唤醒时会重新获取） 一般用户保护代码而不是数据
大内核锁 BKL
weixin_34122604的博客
09-07 94
参考：http://blog.csdn.net/universus/article/details/5623971                                                                       http://blog.csdn.net/chenyu105/article/details/7726492          《Linux ...
seL4参考手册：信任系统与微内核技术
seL4 是一个高度安全且经过形式验证的实时操作系统 (RTOS) 的微内核，它的设计目标是提供强安全性和高效性能。这份手册包含了关于 seL4 的核心服务、对象、能力空间管理等多个方面的内容，为开发者和研究人员提供了...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值