操作系统性能提升之内核锁优化


性能为王,系统的性能提升是每一个工程师的追求。目前,性能优化主要集中在消除系统软件堆栈中的低效率上或绕过高开销的系统操作。例如,内核旁路通过在用户空间中移动多个操作来实现这个目标,还有就是为某些类别的应用程序重构底层操作系统.

在许多领域中,专有化似乎是追求更好性能的答案,集中在应用程序和内核,甚至是在不同的内核子系统之间。特别地,专有化可以构建应用程序向系统请求某些功能的上下文。虽然,应用程序专有化和内核绕过了存储、网络化和加速器,但是,内核中的并发控制可能是整体性能的关键。




1. 操作系统的性能:内核锁

内核锁是一种用于控制进程访问共享资源的机制。在Linux内核中,内核锁是通过在进程创建时分配一个特殊的锁来实现的。当一个进程需要访问共享资源时,内核会检查该进程是否已经持有该锁,如果没有,则将该进程加入到等待锁定的队列中,等待其他进程释放该锁。

内核锁对于实现应用程序的良好性能和可伸缩性至关重要.然而,内核同步原语通常是不可见的,并且是应用程序开发人员无法触及的。设计锁定算法并验证它们的正确性已经具有挑战性,而增加硬件的异构性使其更加具有挑战性。开发人员缺乏对锁正在操作的环境的认识,如优先级倒置和锁持有人优先等问题,本质上是缺乏上下文。

能否有一种方法能让用户空间的应用程序可以调优内核中的并发控制呢?

例如,用户可以对持有一组锁的特定任务或系统调用进行优先级排序。用户可以强制执行特定于硬件的策略,例如非对称多处理感知锁定,并且可以根据给定的工作负载决定对读写的优先级。如果允许开发人员调优内核中的各种锁,更改它们的参数和行为,甚至在不同的锁实现之间进行更改,或许可以进一步提升系统的性能。

软件堆栈专有化是提高应用程序性能的新方式,提出为了性能目的将代码推送到内核,通过避免增加内核数量瓶颈来提高应用程序的可伸缩性。随着时间的推移,即使是像Linux这样的宏内核,也已经开始允许用户空间的应用程序自定义内核行为。开发人员可以使用eBPF为跟踪、安全甚至性能目的定制内核。

除了eBPF,Linux的开发人员也在使用io_uring,一个在用户空间和内核之间的共享内存环缓冲区,以加快异步IO操作。此外,如今的应用程序可以完全在用户空间中处理按需分页。

应用程序来控制底层内核的并发机制,这为锁的设计者和应用程序开发人员提供了各种机会。




2. 锁:过去、现在和未来

硬件是决定锁的可伸缩性的主要因素,从而影响应用程序的可伸缩性。例如,对于基于队列的锁,当多个线程同时获得锁时,可以减少过多流量。同时,分层锁使用批处理来使高速缓存线抖动的问题最小化。

SHFLLock提出了一种通过解耦锁策略与实现来设计锁算法的新思想,实现较少的内核内存开销和性能下降。主要引入了一个shuffler程序的概念,它重新排序队列或修改等待线程的状态。尽管ShflLocks提供了一种强制执行策略的方法,但还可以试图将重点放在一组简单的锁获取/发布API上的通用策略上。为了迎合应用的需求,通过分析影响给定工作负载的特定内核锁,应用程序的开发人员应该以受控和安全的方式定义他们的策略,并动态地更新锁获取策略,使用shuffler执行政策。

3 典型场景:调度等待锁的线程

等待锁的线程可以以两种不同的方式进行调度:基于锁的获取顺序的获取感知调度,以及基于线程在关键段内花费的时间的占用感知调度。

3.1采集感知的调度

锁开关,使开发人员能够在各种锁的算法之间进行切换。有三种突出的情况:

  1. 从中性的读写器锁设计切换到每个cpu或基于numa的阅读器设计,以满足读密集型工作负载.例如,页面错误和枚举一个目录中的文件.另一种情况是从中立的读写锁切换到纯粹的写锁;一个例子是在一个目录中创建多个文件。
  2. 从基于Numa的锁设计切换到具有Numa感知的组合方法,其中锁持有人代表等待线程执行操作.这种方法具有更好的性能,因为它至少删除了一个高速缓存的传输。
  3. 之间的开关阻塞和非阻塞锁,反之亦然,例如,通过关闭SHFLLock的shuffler功能的停止/唤醒策略,将阻塞读切换为非阻塞读写锁(rwlock)。

这种方法带来了两个好处:首先,开发人员可以删除临时同步,例如使用非阻塞锁和使用等待事件实现停止/唤醒策略,这在Btrfs文件系统中是常用的。第二,允许开发人员通过动态地多路复用多个策略来统一锁的设计。




3.1.1 锁继承

一个进程可能会获取多个锁来执行一个操作。例如,Linux中的一个进程最多可以获得12个锁(例如,重命名操作),或者平均获得4个锁来执行内存或文件元数据管理操作。

不幸的是,这种锁的模式引发了基于队列的锁问题,一些线程必须等待更长的时间才能获得顶级锁,这是由另一个线程等待另一个锁。例如,假设线程t1想要获得两个锁,L1,然后L2作为一个操作,而t2只想收回L1的操作。由于这些锁定协议是基于fifo的,所以t1可能在队列的最后获得L2,而t2正在等待获得L1。开发人员可以为内核提供更多的上下文:要么是t1获取所有锁在一起,或t1声明它已经持有的锁,可以给它一个更高的优先级来获得下一个锁L2。

应用程序可能希望优先考虑系统调用路径或一组任务,以获得更好的性能。开发人员可以通过对任务优先级上下文进行编码,并将此信息传递给受影响的锁。对于系统调用,开发人员可以共享关于一组锁和关键路径上的优先级线程的信息。然后,shuffler程序将优先考虑这些线程,而不是等待指定应用程序的锁的其他线程。

3.1.2 公开调度程序的语义

通常,超额订阅硬件资源,如CPU或内存,可以得到更好的资源利用率,对于两个用户空间运行时系统,以及虚拟机。虽然超额订阅提高了硬件利用率,但它也引入了双重调度问题。系统监控程序可以安排一个vCPU作为锁持有人或VM中的下一个锁服务。管理程序可以将vCPU调度信息公开给shuffler程序,以根据服务的运行时间配额对其进行优先排序。

3.1.3 可适应的停止/唤醒策略

所有的封闭锁都遵循旋转后停车的策略,即它们在旋转一段时间后自己停车。这个旋转时间主要是特别的,也就是说,服务员要么根据时间配额旋转一定时间,要么在没有任务要执行的情况下继续旋转。现在,应用程序开发人员可以在分析关键部分的长度后公开时间上下文,以最小化能源消耗和唤醒信息,以按时安排下一个服务员,以最小化唤醒延迟。此外,开发人员可以进一步对睡眠信息进行编码,在锁定之前唤醒服务员,以减少长时间的唤醒延迟。该方法也适用于副虚拟化的自旋锁以避免护航效应.

3.2 占用调度

3.2.1 优先级继承

当持有锁的低优先级任务被正常优先级任务调度出去,等待同一锁时,就会发生优先级反转。在Linux IO堆栈中说明了这个问题:当调度IO请求时,一个想要获得一个锁的正常任务可以调度一个持有相同锁的较低优先级的后台任务。锁的调度即后台任务,导致IO性能下降。

3.2.2 任务公平的合作调度

这引入了一类新的问题,称为调度器颠覆问题,其中两个任务在不同的时间内获得锁。保持时间较长的任务颠覆了操作系统的调度目标。操作系统通过跟踪关键区域大小和惩罚长时间的任务来解决这个问题。尽管这个解决方案解决了这个问题,但即使对于可能不会从中受益的应用程序,它也加强了调度的公平性。

3.2.3 在非对称多核处理器(AMP)机器上的任务公平锁定

在一个处理器中具有不同的计算能力核心,这种体系结构上使用的基本锁原语存在一种调度程序颠覆问题,应用程序吞吐量可能由于较弱内核的计算能力较慢而崩溃。为了实现更快的进程,开发人员可以在更快的核心上分配关键锁,也可以重新排序等待获得锁的线程队列,以改进整个锁。

3.2.4 实时调度

与实时系统中的调度类似,应用程序开发人员可以创建锁策略,总是调度线程以保证SLO。在这里,锁可以设计为一个基于阶段公平的算法.这种方法还允许消除抖动,并保证延迟关键应用程序的尾部延迟的上限。

3.3 动态锁的分析

应用程序开发人员可以配置文件有关任何内核锁的信息。选择要配置的锁使开发人员能够在不同的粒度级别上配置。例如,它们可以配置在内核中运行的所有自旋锁、特定函数中的锁、代码路径或名称空间,甚至是单个锁实例。这种方法使应用程序开发人员受益,能够通过只分析感兴趣的部分来更好地理解底层同步。

开发者也可以对性能合约进行推理,基于各种shuffler策略甚至是一组策略提供的某些担保,这些性能合约会影响应用程序的性能。

4.一种内核锁的优化框架

重新定义内核锁所使用的决策和行为,并公开为API,用户定义的代码替换这些公开的API,用户可以根据自己的需要定制锁定功能。例如,在加入等待队列之前是否要旋转可以是一个API,这样用户就可以做出决定。用户首先编写自己的代码来根据用例修改内核中的锁协议,然后操作系统替换内核内部带注释的锁函数,流程示意如下:


图片


用户指定了一个锁策略(1),eBPF验证者在编译后验证它,同时考虑到eBPF限制和互斥安全属性(2,3)。然后,验证者将通知用户验证结果(4),如果成功,则将编译后的eBPF代码存储在文件系统(5)中。最后,使用现场补丁模块替换指定锁(6)的注释函数。


为什么WebAssembly适合小型物联网?
上一篇 2023年06月15日
msf提权漏洞利用总结
下一篇 2023年06月15日
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 88888888@qq.com 举报,一经查实,本站将立刻删除。

相关推荐