计时器是所有操作系统的一个必要组成部分,您将发现多个计时器机制。我们将首先简要介绍一些 linux 计时器模式,然后深入研究它们的运行方式。
(linux)时间的起源
在 linux 内核中,时间由一个名为jiffies的全局变量衡量,该变量标识系统启动以来经过的滴答数。在最低的级别上,计算滴答数的方式取决于正在运行的特定硬件平台;但是,滴答计数通常在一次中断期间仍然继续进行。滴答速率(jiffies的最不重要的位)可以配置,但在最近针对 x86 的 2.6 内核中,一次滴答等于 4ms(250hz)。jiffies全局变量在内核中广泛使用,目的有几个,其中之一是提供用于计算一个计时器的超时值的当前绝对时间(稍后将展示一个例子)。
回页首
内核计时器
最近的 2.6 内核中有几个不同的计时器模式,其中最简单、最不精确(但适用于大多数实例)的模式就是计时器 api。这个 api 允许构造在jiffies域(最低 4ms 超时)中运行的计时器。还有一个高精确度计时器 api,它允许构造在以纳秒定义的时间中运行的计时器。根据您的处理器和处理器运行的速度,您的里程(mileage)可能会不同,但这个 api 的确提供了一种方法来在jiffies滴答间隔下调度超时。
标准计时器
标准计时器 api 作为 linux 内核的一部分已经有很长一段时间了(自从 linux 内核的早期版本开始)。尽管它提供的精确性比高精确度计时器要低,但它对于在处理物理设备时提供错误覆盖的传统驱动程序超时来说比较理想。在很多情况下,这些超时实际上从不触发,而是被启动,然后被删除。
简单内核计时器使用计时器轮(timer wheel)实现。这个主意是由 finn arne gangstad 在 1997 年首次引入的。它不理睬管理大量计时器的问题,而是很好地管理数量合理的计时器 — 典型情况。(原始计时器实现只是按照过期顺序将计时器实现双重链接。尽管在概念上比较简单,但这种方法是不可伸缩的。)时间轮是一个 buckets 集合,其中每个 bucker 表示将来计时器过期的一个时间块。这些 buckets 使用基于 5 个 bucket 的对数时间定义。使用jiffies作为时间粒度,定义了几个组,它们表示将来的过期时段(其中每个组通过一列计时器表示)。计时器插入使用具有 o(1) 复杂度的列表操作发生,过期发生在 o(n) 时间内。计时器过期以串联的形式出现,其中计时器被从高粒度 buckets 删除,然后随着它们的过期时间的下降被插入到低粒度 buckets 中。现在我们查看一下针对这个计时器实现的 api。
计时器 api
linux 提供了一个简单的 api 来构造和管理计时器。它包含一些函数(和助手函数),用于创建、取消和管理计时器。
计时器通过timer_list结构定义,该结构包括实现一个计时器所需的所有数据(其中包括列表指针和在编译时配置的可选计时器统计数据)。从用户角度看,timer_list包含一个过期时间,一个回调函数(当/如果计时器过期),以及一个用户提供的上下文。用户必须初始化计时器,可以采取几种方法,最简单的方法是调用setup_timer,该函数初始化计时器并设置用户提供的回调函数和上下文。或者,用户可以设置计时器中的这些值(函数和数据)并简单地调用init_timer。注意,init_timer由setup_timer内部调用。
voidinit_timer( struct timer_list *timer );voidsetup_timer( struct timer_list *timer, void (*function)(unsigned long), unsigned long data );
拥有一个经过初始化的计时器之后,用户现在需要设置过期时间,这通过调用mod_timer来完成。由于用户通常提供一个未来的过期时间,他们通常在这里添加jiffies来从当前时间偏移。用户也可以通过调用del_timer来删除一个计时器(如果它还没有过期):
intmod_timer( struct timer_list *timer, unsigned long expires );voiddel_timer( struct timer_list *timer );
最后,用户可以通过调用timer_pending(如果正在等待,将返回1)来发现计时器是否正在等待(还没有发出):
inttimer_pending( const struct timer_list *timer );
计时器示例
我们来检查一下这些 api 函数的实际运行情况。清单 1提供了一个简单的内核模块,用于展示简单计时器 api 的核心特点。在init_module中,您使用setup_timer初始化了一个计时器,然后调用mod_timer来启动它。当计时器过期时,将调用回调函数my_timer_callback。最后,当您删除模块时,计时器删除(通过del_timer)发生。(注意来自del_timer的返回检查,它确定计时器是否还在使用。)
清单 1. 探索简单计时器 api
#include #include #include module_license(gpl);staticstruct timer_listmy_timer;void my_timer_callback( unsigned long data ){ printk( my_timer_callback called (%ld).\n, jiffies );}int init_module( void ){ int ret; printk(timer module installing\n); // my_timer.function, my_timer.datasetup_timer( &my_timer, my_timer_callback, 0 ); printk( starting timer to fire in 200ms (%ld)\n, jiffies ); ret =mod_timer( &my_timer, jiffies + msecs_to_jiffies(200) ); if (ret) printk(error in mod_timer\n); return 0;}void cleanup_module( void ){ int ret; ret =del_timer( &my_timer ); if (ret) printk(the timer is still in use...\n); printk(timer module uninstalling\n); return;}
您可以在 ./include/linux/timer.h 中进一步了解计时器 api。尽管简单计时器 api 简单有效,但它并不能提供实时应用程序所需的准确性。为此,我们来看一下 linux 最近新增的功能,该功能用于支持精确度更高的计时器。
高精确度计时器
高精确度计时器(简称hrtimers)提供一个高精确度的计时器管理框架,这个框架独立于此前讨论过的计时器框架,原因是合并这两个框架太复杂。尽管计时器在jiffies粒度上运行,hrtimers 在纳秒粒度上运行。
hrtimer 框架的实现方式与传统计时器 api 不同。hrtimer 不使用 buckets 和串联操作,而是维护一个按时间排序的计时器数据结构(按时间顺序插入计时器,以最小化激活时的处理)。这个数据结构是一个 “红-黑” 树,对于注重性能的应用程序很理想(且恰好作为内核中的一个库普遍可用)。
hrtimer 框架作为内核中的一个 api 可用,用户空间应用程序也可以通过nanosleep、itimers和 portable operating system interface (posix)-timers interface 使用它。hrtimer 框架被主线化(mainlined)到 2.6.21 内核中。
高精确度计时器 api
hrtimer api 与传统 api 有些相似,但它们之间的一些根本差别是它能够进行额外的时间控制。应该注意的第一点是:时间不是用jiffies表示的,而是以一种名为ktime的特殊数据类型表示。这种表示方法隐藏了在这个粒度上有效管理时间的一些细节。hrtimer api 正式确认(formalize)了绝对时间和相对时间之间的区别,要求调用者指定类型。
与传统的计时器 api 类似,高精确度计时器通过一个结构表示 — 这里是hrtimer。这个结构从用户角度定义定时器(回调函数、过期时间等)并包含了管理信息(其中计时器存在于 “红-黑” 树、可选统计数据等中)。
定义过程首先通过hrtimer_init初始化一个计时器。这个调用包含计时器、时钟定义和计时器模式(one-shot 或 restart)。使用的时钟在 ./include/linux/time.h 中定义,表示系统支持的各种时钟(比如实时时钟或者单一时钟,后者只表示从一个起点[比如系统启动]开始的时间)。计时器被初始化之后,就可以通过hrtimer_start启动。这个调用包含过期时间(在ktime_t中)和时间值的模式(绝对或相对值)。
voidhrtimer_init( struct hrtimer *time, clockid_t which_clock, enum hrtimer_mode mode );inthrtimer_start(struct hrtimer *timer, ktime_t time, const enum hrtimer_mode mode);
hrtimer 启动后,可以通过调用hrtimer_cancel或hrtimer_try_to_cancel来取消。每个函数都包含将被停止的计时器的 hrtimer 引用。这两个函数的区别在于:hrtimer_cancel函数试图取消计时器,但如果计时器已经发出,那么它将等待回调函数结束;hrtimer_try_to_cancel函数也试图取消计时器,但如果计时器已经发出,它将返回失败。
inthrtimer_cancel(struct hrtimer *timer);inthrtimer_try_to_cancel(struct hrtimer *timer);
可以通过调用hrtimer_callback_running来检查 hrtimer 是否已经激活它的回调函数。注意,这个函数由hrtimer_try_to_cancel内部调用,以便在计时器的回调函数被调用时返回一个错误。
inthrtimer_callback_running(struct hrtimer *timer);
ktime api
本文没有讨论 ktime api,它提供一组丰富的函数来以较高的精确度管理时间。可以在 ./linux/include/ktime.h 中查看 ktime api。
一个 hrtimer 示例
hrtimer api 的使用方法非常简单,如清单 2所示。在init_module中,首先定义针对超时的相对时间(本例中为 200ms)。然后,通过调用hrtimer_init来初始化您的 hrtimer(使用单一时钟),并设置回调函数。最后,使用此前创建的ktime值启动计时器。当计时器发出时,将调用my_hrtimer_callback函数,该函数返回hrtimer_norestart,以避免计时器自动重新启动。在cleanup_module函数中,通过调用hrtimer_cancel来取消计时器。
清单 2. 探索 hrtimer api
#include #include #include #include module_license(gpl);#define ms_to_ns(x)(x * 1e6l)staticstruct hrtimerhr_timer;enum hrtimer_restart my_hrtimer_callback( struct hrtimer *timer ){ printk( my_hrtimer_callback called (%ld).\n, jiffies ); returnhrtimer_norestart;}int init_module( void ){ktime_t ktime; unsigned long delay_in_ms = 200l; printk(hr timer module installing\n); ktime =ktime_set( 0, ms_to_ns(delay_in_ms) );hrtimer_init( &hr_timer, clock_monotonic, hrtimer_mode_rel );hr_timer.function= &my_hrtimer_callback; printk( starting timer to fire in %ldms (%ld)\n, delay_in_ms, jiffies );hrtimer_start( &hr_timer, ktime, hrtimer_mode_rel ); return 0;}void cleanup_module( void ){ int ret; ret =hrtimer_cancel( &hr_timer ); if (ret) printk(the timer was still in use...\n); printk(hr timer module uninstalling\n); return;}
关于 hrtimer api,还有许多内容这里没有涉及到。一个有趣的方面是它能够定义回调函数的执行上下文(比如在 softirq 或 hardiirq 上下文中)。您可以在 ./include/linux/hrtimer.h 文件中进一步了解 hrtimer api。
回页首
内核列表
如本文此前所述,列表是有用的结构,内核提供了一个有效的通用使用实现。另外,您将在我们此前讨论过的 apis 下面发现列表。理解这个双重链接的列表 api 有助于使用这个有效的数据结构进行开发,您会发现,代码在这个利用列表的内核中是多余的。现在我们来快速了解一下这个内核列表 api。
这个 api 提供一个list_head结构,用于表示列表头(锚点)和结构内(in-structure)列表指针。我们来检查一个包含列表功能的样例结构(参见清单 3)。注意,清单 3 添加了list_head结构,该结构用于对象链接(object linkage)。注意,可以在您的结构中的任意位置添加这个list_head结构 — 通过一些 gcc(list_entry和container_of,在 ./include/kernel/kernel.h 中定义)— 可以取消从列表指针到超对象的引用。
清单 3. 带有列表引用的样例结构
struct my_data_structure {int value;struct list_headlist;};
与其他列表实现一样,需要一个列表头来充当列表的锚点。这通常通过list_head宏来完成,这个宏提供列表的声明和初始化。这个宏创建一个结构list_head对象,可以在该对象上添加其他一些对象。
list_head( new_list )
也可以通过使用list_head_init宏手动创建一个列表头(例如,您的列表头位于另一个结构中)。
主初始化完成后,可以使用list_add和list_del等函数来操纵列表。下面,我们将跳到示例代码,以便更好地解释这个 api 的使用方法。
列表 api 示例
清单 4提供一个简单的内核模块来探索几个列表 aio 函数(./include/linux/list.h 中包含更多函数)。这个示例创建了两个列表,使用init_module函数来填充它们,然后使用cleanup_module函数来操纵这两个列表。
一开始,您创建了您的数据结构(my_data_struct),该结构包含一些数据和两个列表头。这个示例展示可以将一个对象同时插入到多个列表中。然后,您创建了两个列表头(my_full_list和my_odd_list)。
在init_module函数中,您创建了 10 个数据对象,并使用list_add函数将它们加载到列表中(所有对象加载到my_full_list中,所有奇值对象加载到my_odd_list) 中)。这里要注意一点:list_add接受两个参数,一个是将用到的对象中的列表引用,另一个是列表锚点。这个示例展示了将一个数据对象插入多个列表的能力,方法是使用内核的内部机制来识别包含列表引用的超级对象。
cleanup_module函数提供了这个 api 的其他几个功能,其中之一是list_for_each宏,这个宏简化了列表迭代。对于这个宏,您提供了一个对当前对象(pos)的引用以及将被迭代的列表引用。对于每次迭代,您接收一个list_head引用,list_entry接收这个引用以识别容器对象(您的数据结构)。指定您的结构和结构之内的列表变量,后者用于在内部取消引用,返回容器。
为发出奇值列表(odd list),要使用另一个名为list_for_each_entry的迭代宏。这个宏更简单,因为它自动提供数据结构,无需再执行一个list_entry函数。
最后,使用list_for_each_safe来迭代列表,以便释放已分配的元素。这个宏将迭代列表,但阻止删除列表条目(删除列表条目是迭代操作的一部分)。您使用list_entry来获取您的数据对象(以便将它释放回内核池),然后使用list_del来释放列表中的条目。
清单 4. 探索列表 api
#include #include #include module_license(gpl);struct my_data_struct { int value; structlist_headfull_list; structlist_headodd_list;};list_head( my_full_list );list_head( my_odd_list );int init_module( void ){ int count; struct my_data_struct *obj; for (count = 1 ; count value = count;list_add( &obj->full_list, &my_full_list ); if (obj->value & 0x1) {list_add( &obj->odd_list, &my_odd_list ); } } return 0;}void cleanup_module( void ){ structlist_head*pos, *q; struct my_data_struct *my_obj; printk(emit full list\n);list_for_each( pos, &my_full_list ) { my_obj =list_entry( pos, struct my_data_struct, full_list ); printk( %d\n, my_obj->value ); } printk(emit odd list\n);list_for_each_entry( my_obj, &my_odd_list, odd_list ) { printk( %d\n, my_obj->value ); } printk(cleaning up\n);list_for_each_safe( pos, q, &my_full_list ) { struct my_data_struct *tmp; tmp =list_entry( pos, struct my_data_struct, full_list );list_del( pos ); kfree( tmp ); } return;}
还有很多其他函数,它们的用途包括在列表末尾而不是头部添加数据(list_add_tail)、连接列表(list_splice)、测试列表的内容(list_empty)等。请参见参考资料详细了解内核列表函数。
自主灌溉系统的制作教程
五菱宏光MINI EV:纯电动汽车,家用220V电源充电
LitePoint与Broadcom合作为市场提供最新的Wi-Fi技术
赋能AI生态,安富利携手合作伙伴共同展示AI创新技术及应用
基于51单片机的电子存包柜的设计
Linux 2.6内核中的计时器和列表
基于SNTP协议的网络授时芯片CH9126概述
研究人员开发高度灵敏的雪崩光电二极管,助力未来的高速数据通信
MWC2023看点:华为罗萱:核心网ADN,加速迈向高阶自智网络
公司董事长舒印彪赴青海调研电力扶贫情况
去第六届上海科博会“玩转”5G、垃圾分类、人工智能等展品
上半年手机ODM公司出货量排名:闻泰/华勤/龙旗前三
NP2102EKR(20 v n沟道增强型MOSFET)
无线通信设备通用测试方法总结
无线水文采集系统解决方案
若室温超导实现世界会发生啥改变
基于TNY275PN芯片实现反激式低成本高效率驱动电源电路的设计
“行走的密码”如何保障个人资金及相关信息?
Redis缓存与Mysql如何保证一致性?
当冷却液温度传感器出现故障时,会造成什么影响