本文共 5470 字,大约阅读时间需要 18 分钟。
真的是悲喜交加呀,本来这个寒假早上8点都去练车,两个小时之后再来实验室陪伴Linux内核,但是今天教练说没名额考试了,好纠结,不过想想就可以睡懒觉了,哈哈,自从大三寒假以来还没睡过懒觉呢,现在也有更多的时间来分享自己学习Linux内核的感受,前几天觉得就是自己也有些不懂的,相信大家看了也是很模糊,以后我会标志出来自己不懂的,希望大神们指教,也希望大家多多指点,共同攻克Linux内核,今天将讲到处理器是如何与其它设备进行交互的,内核又是如何响应和控制这些交互的,今天内容不多但是很关键,写的不好希望大家批评,纯手打。
Linux内核是如何将软硬件结合起来的呢?这里我们将一起探究内核与周围硬件主要是文件IO和硬件设备之间的关系,来解释这个问题。处理器与周围设备的通信依赖于一系列的电路电线,总线就是具有类似功能的电线,设备与处理器通信主要是通过地址总线,数据总线,控制总线来实现,这里在学习单片机原理的时候也提到过,这里对系统的基本结构就不多说了,觉得更新快,不好讲解,也没什么好总结的,大家看看相关书籍就行。了解到设备可以当做文件系统中的文件来处理,其细节都可隐藏在内核中,而对应用程序员透明,当进程对设备文件应用某一系统调用的时候,只要将这一系统调用转换成某种设备函数就足够了,其中设备驱动程序定义了这些函数,接下来看看这些设备类型。其中应用层,文件系统层,通用块设备层和设备驱动程序之间的关系如下图,这里贴出来供大家了解一下。读写块设备如下:
先介绍块设备,设备驱动在驱动程序初始化时为自己注册,将这个驱动程序加入内核的驱动程序表中,并将设备号映射到数据结构block_device_operations中,数据结构block_device_operations包含了系统中启动和停止给设定块设备的函数(在include/linux/fs.h上。
struct block_operations{ int (*open) (struct inode *,struct file *); int (*release) (struct inode *,struct file*); //open()和release()都是同步的 int (*ioctl) (struct node *,struct file *,unsigned, unsigned long); int (*media_changed) (struct gendisk *); int (*revalidate_disk) (struct gendisk *); struct module *owner;};
从处理器的角度来看,在适合的cidao4上定位磁头并将磁盘转到相应的块要花费相当长的时间,这种延迟迫使内核实现了系统请求队列,在Linux2.6中,每个块设备都有自己的请求队列,以便管理对该设备的IO口请求,进程只有在获得请求队列锁之后才能 更新设备的请求队列,让我们先来看看request_queue结构(这些代码都是自己敲出来的,然后分析,分析不好的请各位大神批评改正。)这些代码都可以在include/linux/blkdev.h中查看。
struct request_queue{ struct list_head queue_head; //指向请求队列对首的指针 struct request *last_merge; //加到请求队列的最后一个请求 elevator_t elevator; //这个不懂,求大神指教 struct request_list rq; //由两个wait_queue组成,分别用于块设备读请求队列和写请求队列... request_fn_proc *request_fn; merge_request_fn *back_merge_fn; merge_request_fn *front_merge_fn; merge_requests_fn *merge_requests_fn; make_request_fn *make_request_fn; prep_rq_fn *prep_rq_fn; unplug_fn *unplug_fn; merge_bvec_fn *merge_bvec_fn; activity_fn *activity_fn; //定义调度程序相关函数来控制如何管理块设备的请求... struct time_list unplug_timer; int unplug_thresh; unsigned long unplug_delay; struct work_struct unplug_work; struct backing_dev_info backing_dev_info; //用于去掉设备的IO调度函数... void *queuedata; void *activity_data; //这些是对设备和设备驱动程序相关的队列进行管理... unsigned long bounce_pfn; int bounce_gfp; //是指内核将高端内存缓存冲区的IO请求copy到低端内存缓冲区去 unsigned long queue_flags;//变量queue_flags存储一个或者多个队列标志,参见下表格。
标志名称 | 功能 |
QUEUE_FLAG_CLUSTER | 将介几个段合成一个 |
QUEUE_FLAG_QUEUED | 使用通用标志队列 |
QUEUE_FLAG_STOPPED | 队列被停止 |
QUEUE_FLAG_READFULL | 读队列已经满了 |
QUEUE_FLAG_WRITEFULL | 写队列已经满了 |
QUEUE_FLAG_DEAD | 队列被撤销 |
QUEUE_FLAG_REENTER | 避免重入 |
QUEUE_FLAG_PLUGGED | 插入队列 |
spinlock_t *queue_lock;struct kobject kobj;unsigned long nr_requests; unsigned int nr_congestion_on;unsigned int nr_congestion_off;unsigned short max_sectors;unsigned short max_phys_segments;unsigned short max_hw_segments;unsigned short hardsect_size;unsigned int max_segment_size;unsigned long seg_boundary_mask;unsigned long dma_alignment;struct blk_queue_tag *queue_tags;atomic_t refcnt;unsigned int in_flight;unsigned int sg_timeout;unsigned int sg_reserved_size; //前面这些变量定义了请求队列中可管理的资源
};
Linux内核通过在设备的_init函数中调用下列函数来初始化块设备的请求队列,这些函数中,,可以看出请求对了内部的细节和相关帮助教程,在现在的Linux2.6内核中,每个块设备控制自己的锁,并且将自旋锁作为第二个参数来传递,其中第一个参数是块设备驱动程序提供的请求函数,下面的代码在drivers/block/11_rw_blk.c中查看得到。
request_queue_t *blk_init_queue(request_fn_proc *rfn,spinlock_t *lock){ request_queue_t *q; static int printed; q = blk_alloc_queue(GFP_KERNEL); //从内核的内存中分配空间队列,内容为0 if(!q) return NULL; if(blk_init_free_list(q)) //初始化请求清单 goto out_init; //表示一直怕goto,懂但不会用 if(!printed){ printed = 1; printk("Using %s io scheduler\n",chosen_elevator->elevator_name); } if(elevator_init(q,chosen_elevator)) //这是个初始化的函数 goto out_elv; q->request_fn = rfn; q->back_merge_fn = 11_back_merge_fn; q->front_merge_fn = 11_front_merge_fn; q->merge_requests_fn = 11_merge_requests_fn; q->prep_rq_fn = NULL; q->unplug_fn = generic_unplug_device; q->queue_flags = (1<queue_lock = lock; //上述赋值是将电梯调度程序相关的函数与该队列关联 blk_queue_segment_boundary(q,0xffffffff); //检查是否满足最小尺寸 blk_queue_make_request(q,__make_request) //设置驱动从队列删除 blk_queue_max_segment_size(q,MAX_SEGMENT_SIZE); //初始化归并段的上限 blk_queue_max_hw_segments(q,MAX_HW_SEGMENTS); //初始化物理设备可以处理的最大段数 blk_queue_max_phys_segments(q,MAX_PHYS_SEGMENTS); 初始化每一请求的最大物理数目段 return q0; //返回已经初始化的队列 out_elv: blk_cleanup_queue(q); out_init: kmem_cache_free(requestq_cachep,q); return NULL; //错误事件中清除内存的一个例程}
代码实在太难,我知道的也只是皮毛,那些都需要好好体会,如若有补充的希望各路大神能够多加改正我的缺点,现在来看看设备操作,基本 的通用块设备有open,close,ioctl以及request函数,请求队列不能直接被访问,但是可以通过一组帮助例程来访问,如下:
struct request *elv_next_request(request_queue_t *q)
这个帮助函数返回并指向下一个请求结构的指针,驱动程序可以通过查看该元素来收集所有信息,以确定它的的大小方向以及该请求相关的任何其他自定义操作,之后通过end_request()想内核报告这一信息:
void end_request(struct request *req,int uptodate) //在请求队列中传递elev_next_request()获得的参数{ if(!end_that_request_first(req,uptpdate,req->hrad_cur_sectors)) //传输适合的扇区数 { add_disk_randomness(req->rq_disk); //加入系统熵池,表示不懂,求大神指教, blkdev_dequeue_request(req); //删除请求结构 end_that_request_last(req); //收集统计信息并且释放可用的数据结构 }}
下面来介绍一下其它各种设备,与块设备不同,字符设备用来传送数据流,所有串行设备都是字符设备,与字符设备类似,网络设备的数据在物理层上串行传输,而时钟设备是基于硬件脉搏跳动的设备,其实就是时钟相关的,还有那终端设备,这里就稍微提及一下。因为这些都和输入输出相关,大家只要有个印象就行了。
小结
结束了分析代码之旅,小结一下今天主要的内容,今天主要分享的是Linux内核是如何处理输入输出操作的,具体讨论了Linux是如何表示块设备和它的接口的,也介绍了Linux调度程序并且重点分析了请求队列,上述敲的代码,我也还有好多不懂,只能自己慢慢去体会了,希望各路大神看了之后能够稍加提醒一下,哎,反正这个寒假没啥事了,就一直和内核作伴吧,这些写的不好,以后继续努力,fighting~
版权所有,转载请注明转载地址: