分类: LINUX
2013-07-17 11:20:07
file_operation就是把系统调用和驱动程序关联起来的关键数据结构。这个结构的每一个成员都对应着一个系统调用。读取file_operation中相应的函数指针,接着把控制权转交给函数,从而完成了设备驱动程序的工作。
在系统内部,I/O设备的存取操作通过特定的入口点来进行,而这组特定的入口点恰恰是由设备驱动程序提供的。通常这组设备驱动程序接口是由结构file_operations结构体向系统说明的,它定义在include/linux/fs.h中。
传统上,一个file_operation结构或者其一个指针称为fops(或者它的一些变体).结构中的每个成员必须指向驱动中的函数,这些函数实现一个特别的操作,或者对于不支持的操作留置为NULL.当指定为NULL指针时内核的确切的行为是每个函数不同的。
在你通读file_operations方法的列表时,你会注意到不少参数包含字串__user.这种注解是一种文档形式,注意,一个指针是一个不能被直接解引用的用户空间地址.对于正常的编译, __user没有效果,但是它可被外部检查软件使用来找出对用户空间地址的错误使用。
---------------------------------------------------------------------
注册设备编号仅仅是驱动代码必须进行的诸多任务中的第一个。首先需要涉及一个别的,大部分的基础性的驱动操作包括3个重要的内核数据结构,称为file_operations,file,和inode。需要对这些结构的基本了解才能够做大量感兴趣的事情。
struct file_operations是一个字符设备把驱动的操作和设备号联系在一起的纽带,是一系列指针的集合,每个被打开的文件都对应于一系列的操作,这就是file_operations,用来执行一系列的系统调用。
struct file代表一个打开的文件,在执行file_operation中的open操作时被创建,这里需要注意的是与用户空间inode指针的区别,一个在内核,而file指针在用户空间,由c库来定义。
O7aDD&_0 struct inode被内核用来代表一个文件,注意和struct file的区别,struct inode一个是代表文件,struct file一个是代表打开的文件ITPUB个人空间%Q(\Yu6[
struct inode包括很重要的二个成员:
c%KJ1_ni0g0dev_t i_rdev 设备文件的设备号
8z6v)M-a6|/iz'E yW0struct cdev *i_cdev代表字符设备的数据结构ITPUB个人空间my"~,c)n
struct inode结构是用来在内核内部表示文件的.同一个文件可以被打开好多次,所以可以对应很多struct file,但是只对应一个struct inode.
struct file_operations {
struct module *owner;
loff_t (*llseek) (struct file *, loff_t, int);
ssize_t (*read) (struct file *, char __user *, size_t, loff_t *);
ssize_t (*aio_read) (struct kiocb *, char __user *, size_t, loff_t);
ssize_t (*write) (struct file *, const char __user *, size_t, loff_t *);
ssize_t (*aio_write) (struct kiocb *, const char __user *, size_t, loff_t);
int (*readdir) (struct file *, void *, filldir_t);
unsigned int (*poll) (struct file *, struct poll_table_struct *);
int (*ioctl) (struct inode *, struct file *, unsigned int, unsigned long);
long (*unlocked_ioctl) (struct file *, unsigned int, unsigned long);
long (*compat_ioctl) (struct file *, unsigned int, unsigned long);
int (*mmap) (struct file *, struct vm_area_struct *);
int (*open) (struct inode *, struct file *);
int (*flush) (struct file *, fl_owner_t id);
int (*release) (struct inode *, struct file *);
int (*fsync) (struct file *, struct dentry *, int datasync);
int (*aio_fsync) (struct kiocb *, int datasync);
int (*fasync) (int, struct file *, int);
int (*lock) (struct file *, int, struct file_lock *);
ssize_t (*readv) (struct file *, const struct iovec *, unsigned long, loff_t *);
ssize_t (*writev) (struct file *, const struct iovec *, unsigned long, loff_t *);
ssize_t (*sendfile) (struct file *, loff_t *, size_t, read_actor_t, void *);
ssize_t (*sendpage) (struct file *, struct page *, int, size_t, loff_t *, int);
unsigned long (*get_unmapped_area)(struct file *, unsigned long, unsigned long, unsigned long, unsigned long);
int (*check_flags)(int);
int (*dir_notify)(struct file *filp, unsigned long arg);
int (*flock) (struct file *, int, struct file_lock *);
ssize_t (*splice_write)(struct pipe_inode_info *, struct file *, loff_t *, size_t, unsigned int);
ssize_t (*splice_read)(struct file *, loff_t *, struct pipe_inode_info *, size_t, unsigned int);
};
File_operations的数据结构如下:
struct module *owner
第一个file_operations成员根本不是一个操作;它是一个指向拥有这个结构的模块的指针.这个成员用来在它的操作还在被使用时阻止模块被卸载.几乎所有时间中,它被简单初始化为THIS_MODULE,一个在
loff_t (*llseek) (struct file *, loff_t, int);
llseek方法用作改变文件中的当前读/写位置,并且新位置作为(正的)返回值. loff_t参数是一个"long offset",并且就算在32位平台上也至少64位宽.错误由一个负返回值指示.如果这个函数指针是NULL, seek调用会以潜在地无法预知的方式修改file结构中的位置计数器(在"file结构"一节中描述).
ssize_t (*read) (struct file *, char __user *, size_t, loff_t *);
用来从设备中获取数据.在这个位置的一个空指针导致read系统调用以-EINVAL("Invalid argument")失败.一个非负返回值代表了成功读取的字节数(返回值是一个"signed size"类型,常常是目标平台本地的整数类型).
ssize_t (*aio_read)(struct kiocb *, char __user *, size_t, loff_t);
初始化一个异步读--可能在函数返回前不结束的读操作.如果这个方法是NULL,所有的操作会由read代替进行(同步地).
ssize_t (*write) (struct file *, const char __user *, size_t, loff_t *);
发送数据给设备.如果NULL, -EINVAL返回给调用write系统调用的程序.如果非负,返回值代表成功写的字节数.
ssize_t (*aio_write)(struct kiocb *, const char __user *, size_t, loff_t *);
初始化设备上的一个异步写.
int (*readdir) (struct file *, void *, filldir_t);
对于设备文件这个成员应当为NULL;它用来读取目录,并且仅对文件系统有用.
unsigned int (*poll) (struct file *, struct poll_table_struct *);
poll方法是3个系统调用的后端: poll, epoll,和select,都用作查询对一个或多个文件描述符的读或写是否会阻塞. poll方法应当返回一个位掩码指示是否非阻塞的读或写是可能的,并且,可能地,提供给内核信息用来使调用进程睡眠直到I/O变为可能.如果一个驱动的poll方法为NULL,设备假定为不阻塞地可读可写.
int (*ioctl) (struct inode *, struct file *, unsigned int, unsigned long);
ioctl系统调用提供了发出设备特定命令的方法(例如格式化软盘的一个磁道,这不是读也不是写).另外,几个ioctl命令被内核识别而不必引用fops表.如果设备不提供ioctl方法,对于任何未事先定义的请求(-ENOTTY, "设备无这样的ioctl"),系统调用返回一个错误.
int (*mmap) (struct file *, struct vm_area_struct *);
mmap用来请求将设备内存映射到进程的地址空间.如果这个方法是NULL, mmap系统调用返回-ENODEV.
int (*open) (struct inode *, struct file *);
尽管这常常是对设备文件进行的第一个操作,不要求驱动声明一个对应的方法.如果这个项是NULL,设备打开一直成功,但是你的驱动不会得到通知.
int (*flush) (struct file *);
flush操作在进程关闭它的设备文件描述符的拷贝时调用;它应当执行(并且等待)设备的任何未完成的操作.这个必须不要和用户查询请求的fsync操作混淆了.当前, flush在很少驱动中使用; SCSI磁带驱动使用它,例如,为确保所有写的数据在设备关闭前写到磁带上.如果flush为NULL,内核简单地忽略用户应用程序的请求.
int (*release) (struct inode *, struct file *);
在文件结构被释放时引用这个操作.如同open, release可以为NULL.
int (*fsync) (struct file *, struct dentry *, int);
这个方法是fsync系统调用的后端,用户调用来刷新任何挂着的数据.如果这个指针是NULL,系统调用返回-EINVAL.
int (*aio_fsync)(struct kiocb *, int);
这是fsync方法的异步版本.
int (*fasync) (int, struct file *, int);
这个操作用来通知设备它的FASYNC标志的改变.异步通知是一个高级的主题,在第6章中描述.这个成员可以是NULL如果驱动不支持异步通知.
int (*lock) (struct file *, int, struct file_lock *);
lock方法用来实现文件加锁;加锁对常规文件是必不可少的特性,但是设备驱动几乎从不实现它.
ssize_t (*readv) (struct file *, const struct iovec *, unsigned long, loff_t *);
ssize_t (*writev) (struct file *, const struct iovec *, unsigned long, loff_t *);
这些方法实现发散/汇聚读和写操作.应用程序偶尔需要做一个包含多个内存区的单个读或写操作;这些系统调用允许它们这样做而不必对数据进行额外拷贝.如果这些函数指针为NULL, read和write方法被调用(可能多于一次).
ssize_t (*sendfile)(struct file *, loff_t *, size_t, read_actor_t, void *);
这个方法实现sendfile系统调用的读,使用最少的拷贝从一个文件描述符搬移数据到另一个.例如,它被一个需要发送文件内容到一个网络连接的服务器使用.设备驱动常常使sendfile为NULL.
ssize_t (*sendpage) (struct file *, struct page *, int, size_t, loff_t *, int);
sendpage是sendfile的另一半;它由内核调用来发送数据,一次一页,到对应的文件.设备驱动实际上不实现sendpage.
unsigned long (*get_unmapped_area)(struct file *, unsigned long, unsigned long, unsigned long, unsigned long);
这个方法的目的是在进程的地址空间找一个合适的位置来映射在底层设备上的内存段中.这个任务通常由内存代码进行;这个方法存在为了使驱动能强制特殊设备可能有的任何的对齐请求.大部分驱动可以置这个方法为NULL.
int (*check_flags)(int)
这个方法允许模块检查传递给fnctl(F_SETFL...)调用的标志.
int (*dir_notify)(struct file *, unsigned long);
这个方法在应用程序使用fcntl来请求目录改变通知时调用.只对文件系统有用;驱动不需要实现dir_notify.
---------------------------------------------------------------------
struct file {
/*
* fu_list becomes invalid after file_free is called and queued via
* fu_rcuhead for RCU freeing
*/
union {
struct list_head fu_list;
struct rcu_head fu_rcuhead;
} f_u;
struct dentry *f_dentry;
struct vfsmount *f_vfsmnt;
const struct file_operations *f_op;
atomic_t f_count;
unsigned int f_flags;
mode_t f_mode;
loff_t f_pos;
struct fown_structf_owner;
unsigned int f_uid, f_gid;
struct file_ra_statef_ra;
unsigned long f_version;
void *f_security;
/* needed for tty driver, and maybe others */
void *private_data;
#ifdef CONFIG_EPOLL
/* Used by fs/eventpoll.c to link all the hooks to this file */
struct list_head f_ep_links;
spinlock_t f_ep_lock;
#endif /* #ifdef CONFIG_EPOLL */
struct address_space *f_mapping;
};
文件结构体代表一个打开的文件,系统中的每个打开的文件在内核空间都有一个关联的struct file。它由内核在打开文件时创建,并传递给在文件上进行操作的任何函数。在文件的所有实例都关闭后,内核释放这个数据结构。在内核创建和驱动源码中,struct file的指针通常被命名为file或filp。一下是对结构中的每个数据成员的解释:
6e7d F,h8h0|3|M0一、
e(BG'SY tM2z ey0union {ITPUB个人空间 Y^%J)u&[pE"Q
struct list_head fu_list;
F6Z!FHW0 struct rcu_head rcuhead;ITPUB个人空间.u u Pg `s4e
}f_u;ITPUB个人空间 PPD7jL)}9kf RmM
其中的struct list_head定义在linux/include/linux/list.h中,原型为:
SPf.^8I0struct list_head {ITPUB个人空间M)}0E'K/N%y
struct list_head *next, *prev;
1mN/l!Y~.M)U sP0};ITPUB个人空间S-{}kKJ{G v,k
用于通用文件对象链表的指针。
4k`\ O9ACz-pBY'f c0struct rcu_head定义在linux/include/linux/rcupdate.h中,其原型为:ITPUB个人空间&fqF!Amt({
/**
8^BC He n2|MIp0* struct rcu_head - callback structure for use with RCU
?D:\2h7k'[a)r4G0* @next: next update requests in a listITPUB个人空间2U}4M+?C,L"R
* @func: actual update function to call after the grace period.ITPUB个人空间$V3a{Q*d-~7P\qr
*/
B5G0];c"t0struct rcu_head {
Vj_QV{|0 struct rcu_head *next;ITPUB个人空间Q2fSh4\
void (*func)(struct rcu_head *head);
?.mm+X[$j v|8H"?0};ITPUB个人空间t| KRwa ]]
RCU(Read-Copy Update)是Linux 2.6内核中新的锁机制,具体在这里有介绍:ITPUB个人空间bK`4FG#p8T(Fg:H
http://www.ibm.com/developerworks/cn/linux/l-rcu/
6\o p7hC&H#wC0二、
7E#~"[D4nF9EZ2R0struct path f_path;
0Z0spxa0被定义在linux/include/linux/namei.h中,其原型为:
Mk%Y K1?0struct path {ITPUB个人空间Dhq"L8p'r+O
struct vfsmount *mnt;
9[k4i8[ lH;e0 struct dentry *dentry;ITPUB个人空间d@V3z9O1?2b
};
VK%^]hv*\x0在早些版本的内核中并没有此结构,而是直接将path的两个数据成员作为struct file的数据成员,
u5FV3v,iwP+LXG0struct vfsmount *mnt的作用是指出该文件的已的文件系统,ITPUB个人空间3w0p vY$zl
struct dentry *dentry是与文件相关的目录项对象。
{d$u K+w0三、ITPUB个人空间'IG~ ^"mD%HO
const struct file_operations *f_op;ITPUB个人空间C${T'V%H.v-rr
被定义在linux/include/linux/fs.h中,其中包含着与文件关联的操作,如:
$c)g3Xv [tg\yf0loff_t (*llseek) (struct file *, loff_t, int);
9vl U6uD7W{5QXdj0ssize_t (*read) (struct file *, char __user *, size_t, loff_t *);
7X ?bR-[9p1h0ssize_t (*write) (struct file *, const char __user *, size_t, loff_t *);ITPUB个人空间r6gH-m'nIsd
等。当打开一个文件时,内核就创建一个与该文件相关联的struct file结构,其中的*f_op就指向的是ITPUB个人空间(]"_v!F/FB L1U!V
具体对该文件进行操作的函数。例如用户调用系统调用read来读取该文件的内容时,那么系统调用read最终会陷入内核调用sys_read函数,而sys_read最终会调用于该文件关联的struct file结构中的f_op->read函数对文件内容进行读取。
FfR'C;U&t0四、
%f'w8g&C ol$m/LB:h~C0atomic_t f_count;ITPUB个人空间3l%tV7j'i%k1[;L;p
atomic_t被定义为:
{(u\J4Bb_7?;X2X0typedef struct { volatile int counter; } atomic_t;
_$B6o9{#|MT0volatile修饰字段告诉gcc不要对该类型的数据做优化处理,对它的访问都是对内存的访问,而不是对寄存器的访问。ITPUB个人空间Hn$Dq*E4z
本质是int类型,之所以这样写是让编译器对基于该类型变量的操作进行严格的类型检查。此处f_count的作用是记录对文件对象的引用计数,也即当前有多少个进程在使用该文件。
7Z!D(?No'D0五、
8K pw"q4_-?1F0unsigned int f_flags;
\1i kXW,tt0当打开文件时指定的标志,对应系统调用open的int flags参数。驱动程序为了支持非阻塞型操作需要检查这个标志。
\%`m C~H.[0六、
+T |3K&i"M*ZR0mode_t f_mode;ITPUB个人空间xeNW)Q!V*o
对文件的读写模式,对应系统调用open的mod_t mode参数。如果驱动程序需要这个值,可以直接读取这个字段。ITPUB个人空间&Q+]*m1fy8J;`
mod_t被定义为:
3n9Pv*rr o,AQ!R| s)V0typedef unsigned int __kernel_mode_t;ITPUB个人空间)fqEDO#lM
typedef __kernel_mode_t mode_t;ITPUB个人空间n7ceQ0Y
七、ITPUB个人空间;@zG0h;q4r
loff_t f_pos;
#` xD;O!J4H0当前的文件指针位置,即文件的读写位置。
p d f;Y&qd2p,]0loff_t被定义为:
oQ)f.S8fp:\0typedef long long __kernel_loff_t;
3K(@#?"v,E8`0typedef __kernel_loff_t loff_t;
2r5Vm{O*xq`0八、ITPUB个人空间gEJ_ O"f2?
struct fown_struct f_owner;
]NW ?y0w*vx [0struct fown_struct在linux/include/linux/fs.h被定义,原型为:ITPUB个人空间%L;ZV;f&fT$a
struct fown_struct {ITPUB个人空间#O9u;q?p eL
rwlock_t lock; /* protects pid, uid, euid fields */
EX1O&Y Jo,D0 struct pid *pid; /* pid or -pgrp where SIGIO should be sent */
3g4@v2g*`{0 enum pid_type pid_type; /* Kind of process group SIGIO should be sent to */
6Km"Gg!Cw0 uid_t uid, euid; /* uid/euid of process setting the owner */
J MnJ$^0~3d:Zg k0 int signum; /* posix.1b rt signal to be delivered on IO */
&Hf2@HT$pg:k0};ITPUB个人空间a?/L8}h3`;i
该结构的作用是通过信号进行I/O时间通知的数据。ITPUB个人空间N.sGw%P.K2y:k
九、
EJ `:t k\0unsigned int f_uid, f_gid;
maK.SL3|0标识文件的所有者id,所有者所在组的id.
/M8?Y8E:V-U2qd$ba4F4M0十、
/liS.|3z#oBAj0struct file_ra_state f_ra;
1e)YlLt0f]0struct file_ra_state结构被定义在/linux/include/linux/fs.h中,原型为:ITPUB个人空间[-~~#`3t9^${&GI8kS
struct file_ra_state {ITPUB个人空间_'cu+j!B+O
pgoff_t start; /* where readahead started */
5KF0n:[+C0 unsigned long size; /* # of readahead pages */ITPUB个人空间*s9n,Xn e4MR
unsigned long async_size; /* do asynchronous readahead when
OX V5lDN%s0 there are only # of pages ahead */
)N:e/a-K m0 ITPUB个人空间hst6t?R B_g
unsigned long ra_pages; /* Maximum readahead window */
i AO!E6{7|h0 unsigned long mmap_hit; /* Cache hit stat for mmap accesses */
\3{kg\)A0 unsigned long mmap_miss; /* Cache miss stat for mmap accesses */
0?"z]/eV u z0 unsigned long prev_index; /* Cache last read() position */
M5m^7k/dF0 unsigned int prev_offset; /* Offset where last read() ended in a page */ITPUB个人空间:if:W]}
};
E~o~[#k$m7a e0文件预读状态,文件预读算法使用的主要数据结构,当打开一个文件时,f_ra中出了perv_page(默认为-1)和ra_apges(对该文件允许的最大预读量)这两个字段外,其他的所有西端都置为0。ITPUB个人空间t]A5A ](s+i!Ni
十一、ITPUB个人空间5z){;E~+y
unsigned long f_version;ITPUB个人空间 ^z4|8Z5n"P:[MK
记录文件的版本号,每次使用后都自动递增。ITPUB个人空间9C @l4jiW@b1H3n
十二、
y_S d[0#ifdef CONFIG_SECURITYITPUB个人空间j e*Qyp{$Tfs
void *f_security;
------------------------------------------------------------------------------------------------------
struct inode {
struct hlist_node i_hash;
struct list_head i_list;
struct list_head i_sb_list;
struct list_head i_dentry;
unsigned long i_ino;
atomic_t i_count;
umode_t i_mode;
unsigned int i_nlink;
uid_t i_uid;
gid_t i_gid;
dev_t i_rdev;
loff_t i_size;
struct timespec i_atime;
struct timespec i_mtime;