找回密码
 注册
关于网站域名变更的通知
查看: 382|回复: 1
打印 上一主题 下一主题

read系统调用深度剖析

[复制链接]

该用户从未签到

跳转到指定楼层
1#
发表于 2020-4-17 09:46 | 只看该作者 |只看大图 回帖奖励 |倒序浏览 |阅读模式

EDA365欢迎您登录!

您需要 登录 才可以下载或查看,没有帐号?注册

x
Read 系统调用在用户空间中的处理过程
2 e4 P  R* a! Y# z& |  s8 y
0 [/ S$ {8 [0 H' \- ~1 p# p5 TLinux 系统调用(SCI,system call inteRFace)的实现机制实际上是一个多路汇聚以及分解的过程,该汇聚点就是 0x80 中断这个入口点(X86 系统结构)。也就是说,所有系统调用都从用户空间中汇聚到 0x80 中断点,同时保存具体的系统调用号。当 0x80 中断处理程序运行时,将根据系统调用号对不同的系统调用分别处理(调用不同的内核函数处理)。系统调用的更多内容,请参见参考资料。
# _: z+ _' s5 s" i: N
: G: |7 h! ]8 d) HRead 系统调用也不例外,当调用发生时,库函数在保存 read 系统调用号以及参数后,陷入 0x80 中断。这时库函数工作结束。Read 系统调用在用户空间中的处理也就完成了。
) Q( R" _, k# H8 `
$ ]$ m0 @/ a$ {9 `回页首
. t- d( Z! x+ Z$ o
- l8 m# ~' `7 I6 H. J. I, L, cRead 系统调用在核心空间中的处理过程8 x' r% J- s8 R6 q

- z9 h  c, w* D+ f; y- l0x80 中断处理程序接管执行后,先检察其系统调用号,然后根据系统调用号查找系统调用表,并从系统调用表中得到处理 read 系统调用的内核函数 sys_read ,最后传递参数并运行 sys_read 函数。至此,内核真正开始处理 read 系统调用(sys_read 是 read 系统调用的内核入口)。
, T1 x6 p' K- n$ n1 a. N& u
- K9 A' R3 v5 q8 E3 a/ d在讲解 read 系统调用在核心空间中的处理部分中,首先介绍了内核处理磁盘请求的层次模型,然后再按该层次模型从上到下的顺序依次介绍磁盘读请求在各层的处理过程。! i4 F: |0 D0 z' D5 q" e) p2 Z
/ t7 G3 h/ \) K, z# Q8 E% H
Read 系统调用在核心空间中处理的层次模型
+ f8 s5 T  k1 M7 l0 K% M% r1 e2 k( ?: a- O
图1显示了 read 系统调用在核心空间中所要经历的层次模型。从图中看出:对于磁盘的一次读请求,首先经过虚拟文件系统层(vfs layer),其次是具体的文件系统层(例如 ext2),接下来是 cache 层(page cache 层)、通用块层(generic block layer)、IO 调度层(I/O scheduler layer)、块设备驱动层(block device driver layer),最后是物理块设备层(block device layer)
& H" I  o  o* p% X9 s2 n3 H6 ?8 E- l- ]: E' d2 b- F
9 w8 {. @8 c- ~/ K- W. S
图1 read 系统调用在核心空间中的处理层次/ K' r$ M1 B9 c5 s* [

6 S  O* {) R3 F1 N2 o" u
  • 虚拟文件系统层的作用:屏蔽下层具体文件系统操作的差异,为上层的操作提供一个统一的接口。正是因为有了这个层次,所以可以把设备抽象成文件,使得操作设备就像操作文件一样简单。
  • 在具体的文件系统层中,不同的文件系统(例如 ext2 和 NTFS)具体的操作过程也是不同的。每种文件系统定义了自己的操作集合。关于文件系统的更多内容,请参见参考资料。
  • 引入 cache 层的目的是为了提高 linux 操作系统对磁盘访问的性能。 Cache 层在内存中缓存了磁盘上的部分数据。当数据的请求到达时,如果在 cache 中存在该数据且是最新的,则直接将数据传递给用户程序,免除了对底层磁盘的操作,提高了性能。
  • 通用块层的主要工作是:接收上层发出的磁盘请求,并最终发出 IO 请求。该层隐藏了底层硬件块设备的特性,为块设备提供了一个通用的抽象视图。
  • IO 调度层的功能:接收通用块层发出的 IO 请求,缓存请求并试图合并相邻的请求(如果这两个请求的数据在磁盘上是相邻的)。并根据设置好的调度算法,回调驱动层提供的请求处理函数,以处理具体的 IO 请求。
  • 驱动层中的驱动程序对应具体的物理块设备。它从上层中取出 IO 请求,并根据该 IO 请求中指定的信息,通过向具体块设备的设备控制器发送命令的方式,来操纵设备传输数据。
  • 设备层中都是具体的物理设备。定义了操作具体设备的规范。
    1 f' F3 s5 S) {8 E8 L, O2 e0 a

% I& e3 M3 Q* B$ d0 k0 X1 C4 x' c1 u3 y6 r( q7 x, ^9 ?

+ ?( e8 ]1 s3 f& a相关的内核数据结构:
" B9 [  l$ J# D9 ^
$ j9 J4 V3 ^8 [% r- R
  • Dentry : 联系了文件名和文件的 i 节点
  • inode : 文件 i 节点,保存文件标识、权限和内容等信息
  • file : 保存文件的相关信息和各种操作文件的函数指针集合
  • file_operations :操作文件的函数接口集合
  • address_space :描述文件的 page cache 结构以及相关信息,并包含有操作 page cache 的函数指针集合
  • address_space_operations :操作 page cache 的函数接口集合
  • bio : IO 请求的描述
    & U4 y" [* N' Q* X" d

; W6 F! v0 F! v# V4 l- r5 ?/ j1 e9 [6 O5 r, M2 j! E
数据结构之间的关系:
% k  g9 e3 B( E9 T$ D7 `5 P+ r
, [8 I' M& z% T* N图2示意性地展示了上述各个数据结构(除了 bio)之间的关系。可以看出:由 dentry 对象可以找到 inode 对象,从 inode 对象中可以取出 address_space 对象,再由 address_space 对象找到 address_space_operations 对象。
/ Q8 x  k: k5 r1 i# k
" u, i3 g3 |# i2 _0 s) n3 RFile 对象可以根据当前进程描述符中提供的信息取得,进而可以找到 dentry 对象、 address_space 对象和 file_operations 对象。/ V/ |5 E' L9 ]$ a- j# W

; V) j/ N0 H0 y! K
! F4 q* J; l0 Z2 A$ E( N图2 数据结构关系图:$ f3 G. k( w3 k7 c; i4 U" [7 ?
$ w; c2 Q  m* w2 [3 ?) K; d

1 g" W, z# G# \9 ?前提条件:4 k$ Z" ]% X3 k  q

" M4 p: M( C! p对于具体的一次 read 调用,内核中可能遇到的处理情况很多。这里举例其中的一种情况:
/ d5 s, P+ {' R8 ^/ C* Y$ b8 y) S& f6 e! k; T
  • 要读取的文件已经存在
  • 文件经过 page cache
  • 要读的是普通文件
  • 磁盘上文件系统为 ext2 文件系统,有关 ext2 文件系统的相关内容,参见参考资料. p) J( p( Y% [( s: T
& d# j3 {! f( k' c8 n

# _! U8 B+ J; Q: X' {准备:
9 L+ z! u. u* o
1 K! T$ J/ E) E4 ~8 h注:所有清单中代码均来自 linux2.6.11 内核原代码, l/ V/ R/ X  l, ^* j

, s, |( W6 L% u# E" Y读数据之前,必须先打开文件。处理 open 系统调用的内核函数为 sys_open 。
% J3 M0 b0 k  l# y4 L1 p. _8 I所以我们先来看一下该函数都作了哪些事。清单1显示了 sys_open 的代码(省略了部分内容,以后的程序清单同样方式处理)2 @. A# S' o7 s9 X0 [8 \
- c3 S$ G2 ^$ D' R: {( \
清单1 sys_open 函数代码7 [" Y8 A, n( B+ j" ]2 B: B
  J: K) e( y& o. K/ M, |

% k( H& \' |. c. R# x5 @asmlinkage long sys_open(const char __user * filename, int flags, int mode)
/ U0 Y: K' L( n3 ~$ M* x{4 K/ v3 d# ?' M4 S! G; M0 w! K
……5 G4 M" A( m# [* P2 F
fd = get_unused_fd();
1 M, l8 t/ c9 n4 |, l& { if (fd >= 0) {9 S  ?: y. Y# Z' J
struct file *f = filp_open(tmp, flags, mode);
' z+ x: f' `4 Y fd_install(fd, f);4 q- ~) @+ z. r
}
1 q- X* l* }3 i- Z ……
" y8 Z6 c- R8 k, o, K return fd;1 M/ K4 }* n5 e; P. z% h& g+ h$ O
……8 J4 g* ?) E6 x: ]; Q; J( |
}
  N2 r9 \* U5 {7 U
+ o( y- s0 `" K( Z! }2 y) ~! z0 x0 Y! D
代码解释:: q# _$ B+ c7 L+ ~
4 H, W: I: n, S! x
  • get_unuesed_fd() :取回一个未被使用的文件描述符(每次都会选取最小的未被使用的文件描述符)。
  • filp_open() :调用 open_namei() 函数取出和该文件相关的 dentry 和 inode (因为前提指明了文件已经存在,所以 dentry 和 inode 能够查找到,不用创建),然后调用 dentry_open() 函数创建新的 file 对象,并用 dentry 和 inode 中的信息初始化 file 对象(文件当前的读写位置在 file 对象中保存)。注意到 dentry_open() 中有一条语句:0 S8 @/ Z2 r' z+ s; p3 w% l$ J
6 l8 M9 x' a% [4 b" Z  l9 T' @

, d' l8 Z4 r- g' b( N( Z/ R$ cf->f_op = fops_get(inode->i_fop);) E) w& W5 {) Z1 p

) J/ q+ ?, C5 `3 w7 h( D这个赋值语句把和具体文件系统相关的,操作文件的函数指针集合赋给了 file 对象的 f _op 变量(这个指针集合是保存在 inode 对象中的),在接下来的 sys_read 函数中将会调用 file->f_op 中的成员 read 。
; r) I4 B  y6 O7 Z5 j; |% O# X6 @; _8 e4 h& y6 z. ]( a9 H' G# o8 ~5 |
  • fd_install() :以文件描述符为索引,关联当前进程描述符和上述的 file 对象,为之后的 read 和 write 等操作作准备。
  • 函数最后返回该文件描述符。
    9 y' U# X) G, `; s; q. H; N" L

- d, v" b, |+ a4 R) L, _9 P# N6 e, \/ f) Q! V8 X. R* L
图3显示了 sys_open 函数返回后, file 对象和当前进程描述符之间的关联关系,以及 file 对象中操作文件的函数指针集合的来源(inode 对象中的成员 i_fop)。. F: p: [+ D/ i6 F

2 K. w5 r7 k: g3 I
  ]  ^* A$ q" S$ E1 ]& s图3 file 对象和当前进程描述符之间的关系
/ g$ }+ Z8 [! O  N( t0 v* u& O% Q3 }
2 K( z8 o( H0 ^6 e; {1 X
/ w0 H* E  V9 U0 G: V% a& p到此为止,所有的准备工作已经全部结束了,下面开始介绍 read 系统调用在图1所示的各个层次中的处理过程。0 A9 S. n) _: g  i' q) k

  i% W+ ?# `, C( ?. j4 _虚拟文件系统层的处理:
9 r; @* ^& X: X7 H1 U6 g9 a' L( ]& h. W5 z9 r8 u
内核函数 sys_read() 是 read 系统调用在该层的入口点,清单2显示了该函数的代码。
7 K1 d9 t0 w* {  I; s4 v! z5 T( S8 w) S1 s
6 d7 d  F; j( K; z0 D9 ]
清单2 sys_read 函数的代码
( H& l; h' \( R6 g2 v; j, J2 T1 P, K" g
asmlinkage ssize_t sys_read(unsigned int fd, char __user * buf, size_t count)- y" ]" U" y' b, S2 `' B9 _! D
{
/ Q+ [  E3 U% Y3 a' u" i& { struct file *file;* B( R( F" T9 j/ F& M
ssize_t ret = -EBADF;
$ R/ R6 t2 s; H8 q/ W6 n4 D2 ?% C int fput_needed;2 n" D/ }+ n% f
0 A; {- ~+ @* B; l9 B& I
file = fget_light(fd, &fput_needed);
6 g3 @" _/ z' u$ k) g8 o if (file) {3 ?( X) G3 ]  X
loff_t pos = file_pos_read(file);
7 i  }; n6 u+ c ret = vfs_read(file, buf, count, &pos);7 H% x$ c$ j- T& e; n! d
file_pos_write(file, pos);
" o( g' [" |8 X- e! l/ @/ e, k9 [! U fput_light(file, fput_needed);( d1 c. y  P! s& d' S6 r
}
; W; x8 a% r# U" y' \+ e. |5 V& T5 A. U4 N: W# _
return ret;
% \0 x6 N: m* `" a0 i$ G6 H0 k}
2 m/ t6 {  j# w  y. {% c- ~7 i. }# M8 I/ ^" T4 B8 C( u; U
# e, v: Z% _( o( w8 f. n& Q
代码解析:4 ~, [7 V, X' P* O

3 ]9 w5 a5 R0 J6 N9 M$ r1 @
  • fget_light() :根据 fd 指定的索引,从当前进程描述符中取出相应的 file 对象(见图3)。
  • 如果没找到指定的 file 对象,则返回错误
  • 如果找到了指定的 file 对象:
  • 调用 file_pos_read() 函数取出此次读写文件的当前位置。
  • 调用 vfs_read() 执行文件读取操作,而这个函数最终调用 file->f_op.read() 指向的函数,代码如下:- S' G, ?6 z1 j/ z6 q9 }
5 u0 _% ]. g  O& o/ t2 n" p

0 Q% i( `! _3 P% Y6 Rif (file->f_op->read): g) R8 c4 A$ q1 h
ret = file->f_op->read(file, buf, count, pos);
5 {8 _* L( M- ^% z9 v1 g- |0 s; v# u5 f: j
  • 调用 file_pos_write() 更新文件的当前读写位置。
  • 调用 fput_light() 更新文件的引用计数。
  • 最后返回读取数据的字节数。1 O/ L7 ], ?7 X& W6 @
" S9 f( L8 H/ B1 T$ N

# W& r1 J* V) \9 R- Y到此,虚拟文件系统层所做的处理就完成了,控制权交给了 ext2 文件系统层。
' {& ^% j8 H& L( ~2 V/ H$ v& h0 p
, y/ p  V6 X6 b在解析 ext2 文件系统层的操作之前,先让我们看一下 file 对象中 read 指针来源。. a/ _  a5 E; ^9 l
+ A  v; I! Q* K
File 对象中 read 函数指针的来源:
0 z8 @: M8 D  n' Z2 T& n9 I# u. E
从前面对 sys_open 内核函数的分析来看, file->f_op 来自于 inode->i_fop 。那么 inode->i_fop 来自于哪里呢?在初始化 inode 对象时赋予的。见清单3。
3 v0 \& \; X( j2 M4 `7 Q" g
  k+ |7 X& R: B5 v1 z/ J  p1 K5 D/ w
清单3 ext2_read_inode() 函数部分代码
6 c+ \& M: M( h1 _; }" l! B( n5 L6 y0 |/ h+ L% f8 _
void ext2_read_inode (struct inode * inode)& d& g+ [4 i; t& M2 ~
{
& j+ y7 Y- y, b' r1 u ……
3 A2 v7 e" T, H# n if (S_ISREG(inode->i_mode)) {* p) r( w/ _) E2 D
inode->i_op = &ext2_file_inode_operations;
, d5 K: {8 c) Q inode->i_fop = &ext2_file_operations;
* ~8 W$ D3 q8 k, j3 m if (test_opt(inode->i_sb, NOBH)). R9 ~  a+ {) k' _9 }
inode->i_mapping->a_ops = &ext2_nobh_aops;
; X: a( B% U" L else1 D3 f  x/ V) g9 F2 a, o/ s8 Z
inode->i_mapping->a_ops = &ext2_aops;0 w3 D2 }; S; T7 n) q& L* i( }% G4 j
}
, H' A, n! g$ M" _  f ……
" M+ A" N& ?- y' V- F0 K}4 d0 i5 V- ?. Z; @& E, Y8 n) O
# T2 [" W' r( x7 L( C

7 e* P# {: \8 T7 E- D5 u( x. ^' m2 e1 h& P" _' p

6 S! Y$ ?- _1 e1 w从代码中可以看出,如果该 inode 所关联的文件是普通文件,则将变量 ext2_file_operations 的地址赋予 inode 对象的 i_fop 成员。所以可以知道: inode->i_fop.read 函数指针所指向的函数为 ext2_file_operations 变量的成员 read 所指向的函数。下面来看一下 ext2_file_operations 变量的初始化过程,如清单4。
  v4 Y- r# h6 B. n  w  a/ m
$ f. ~2 u7 |) n9 u$ |- L3 F% W
5 I9 [" \2 U1 z( j' ?: u/ h清单4 ext2_file_operations 的初始化
1 t0 \4 c" J' b/ e3 e5 a4 ^
) p+ q" L6 R8 n3 V( bstruct file_operations ext2_file_operations = {0 P! s1 {4 d. M1 u, ^$ [* H$ Y+ `
.llseek = generic_file_llseek,
" ?+ i. W3 n* O' c9 q    .read        = generic_file_read,
2 U/ u$ {  q; e& g3 j    .write       = generic_file_write,/ V& i- }0 ]4 }' }# K1 O- Z
    .aio_read          = generic_file_aio_read,
; a( O  d# T* G4 u2 g0 ]) z+ @    .aio_write        = generic_file_aio_write,
3 M8 p2 r/ ?- u/ U    .ioctl       = ext2_ioctl,7 L- w) k5 z9 ^; b1 @. k6 R( ?" d
    .mmap        = generic_file_mmap,
, I+ L* R. c" C9 ~    .open        = generic_file_open,
5 [+ f. d  w  q* _$ b+ U    .release     = ext2_release_file,) l+ [" N; s2 ?, _
    .fsync       = ext2_sync_file,
8 K8 Z, b8 z) K& F0 p0 K    .readv       = generic_file_readv,$ B* c4 c1 @1 }( j* s8 j% `8 _
    .writev      = generic_file_writev,
# X0 P" U8 [3 l5 m    .sendfile    = generic_file_sendfile,$ x1 D+ K2 O8 M% _3 G

# s- x; G' v% _' S& E  \};
/ m3 ^& n. n- b; r" z3 C
- V+ m) i5 L. c$ _. b/ M$ i7 j% p7 P
该成员 read 指向函数 generic_file_read 。所以, inode->i_fop.read 指向 generic_file_read 函数,进而 file->f_op.read 指向 generic_file_read 函数。最终得出结论: generic_file_read 函数才是 ext2 层的真实入口。
* H8 Y; y6 x6 q7 V% W* ^' }# u" n# ~! J" R5 o
Ext2 文件系统层的处理
. K( Z# d- t2 k
1 k4 I$ ?/ o( V$ c2 i4 q
- X; Z- y8 g( O8 [( ]' \, s4 c图4 read 系统调用在 ext2 层中处理时函数调用关系& J& R% ~3 a/ f

2 P  _# R( o; [) X- X3 `' H) T* Y3 ]8 J8 i( V3 j
由图 4 可知,该层入口函数 generic_file_read 调用函数 __generic_file_aio_read ,后者判断本次读请求的访问方式,如果是直接 io (filp->f_flags 被设置了 O_DIRECT 标志,即不经过 cache)的方式,则调用 generic_file_direct_IO 函数;如果是 page cache 的方式,则调用 do_generic_file_read 函数。函数 do_generic_file_read 仅仅是一个包装函数,它又调用 do_generic_mapping_read 函数。3 @% R) M0 d- u8 o0 e5 w

  `. \* N7 @" u' X在讲解 do_generic_mapping_read 函数都作了哪些工作之前,我们再来看一下文件在内存中的缓存区域是被怎么组织起来的。# V. t0 v6 Z+ B/ B0 p: X: t
: X8 ~% h! ^% P, e, Z
文件的 page cache 结构9 X$ O$ V" X( \6 k6 f" c8 x- @
  Y: d  _4 y1 a% f* M# s5 I- N
图5显示了一个文件的 page cache 结构。文件被分割为一个个以 page 大小为单元的数据块,这些数据块(页)被组织成一个多叉树(称为 radix 树)。树中所有叶子节点为一个个页帧结构(struct page),表示了用于缓存该文件的每一个页。在叶子层最左端的第一个页保存着该文件的前4096个字节(如果页的大小为4096字节),接下来的页保存着文件第二个4096个字节,依次类推。树中的所有中间节点为组织节点,指示某一地址上的数据所在的页。此树的层次可以从0层到6层,所支持的文件大小从0字节到16 T 个字节。树的根节点指针可以从和文件相关的 address_space 对象(该对象保存在和文件关联的 inode 对象中)中取得(更多关于 page cache 的结构内容请参见参考资料)。
& b+ w: k7 I2 Y" W7 k4 m
7 P* d) d! y; i! _5 F$ O" k3 M) S
5 s& }- B: N, L! b8 |图5 文件的 page cache 结构
4 s" s0 t6 Y5 h, y8 S9 w- `! H8 t- ~4 u( e9 K% W; w5 R' d

6 H2 a: c" ^) f现在,我们来看看函数 do_generic_mapping_read 都作了哪些工作, do_generic_mapping_read 函数代码较长,本文简要介绍下它的主要流程:
, _4 N; X. q* |8 ~1 i: p6 m$ q* ~
  • 根据文件当前的读写位置,在 page cache 中找到缓存请求数据的 page
  • 如果该页已经最新,将请求的数据拷贝到用户空间
  • 否则, Lock 该页
  • 调用 readpage 函数向磁盘发出添页请求(当下层完成该 IO 操作时会解锁该页),代码:
    7 T% z9 d) d! @/ n7 e+ x8 E) J

& x6 P6 Q3 F2 c. c4 X2 Q# u3 d0 }3 y% ~% x3 H
$ ?3 X# S* Q' L$ ?0 ^
        error = mapping->a_ops->readpage(filp, page);. b8 }8 `7 D! m0 P9 T

! E( H+ W3 @+ @9 L+ y1 L, h
7 K9 x4 }$ u. H9 V4 W2 z6 G8 ^
  • 再一次 lock 该页,操作成功时,说明数据已经在 page cache 中了,因为只有 IO 操作完成后才可能解锁该页。此处是一个同步点,用于同步数据从磁盘到内存的过程。
  • 解锁该页
  • 到此为止数据已经在 page cache 中了,再将其拷贝到用户空间中(之后 read 调用可以在用户空间返回了)
  • 到此,我们知道:当页上的数据不是最新的时候,该函数调用 mapping->a_ops->readpage 所指向的函数(变量 mapping 为 inode 对象中的 address_space 对象),那么这个函数到底是什么呢?7 w7 F3 B9 R. \4 H, j) y( z
. \7 @0 |2 G1 \1 n# e3 `

) X  I- G; I& `& Y% CReadpage 函数的由来, S2 S. _7 ^8 f4 t" L# S8 J, s

$ K3 @( X+ ~" l5 eaddress_space 对象是嵌入在 inode 对象之中的,那么不难想象: address_space 对象成员 a_ops 的初始化工作将会在初始化 inode 对象时进行。如清单3中后半部所显示。2 ~8 d9 e) `8 u) ~/ h+ t

* d& c8 @4 X/ N1 U* V! d7 Rif (test_opt(inode->i_sb, NOBH))
: o2 G( ~1 O+ w inode->i_mapping->a_ops = &ext2_nobh_aops;  a) L) O+ C0 p5 N, _! ?
else
- s8 c* i% \0 O! N% k    inode->i_mapping->a_ops = &ext2_aops;
+ ~2 U3 u+ P& V1 t
% ?" n3 G3 Z% Q% A# I& y# c0 o$ E1 m1 j# s3 a- d% M' L
可以知道 address_space 对象的成员 a_ops 指向变量 ext2_aops 或者变量 ext2_nobh_aops 。这两个变量的初始化如清单5所示。  o4 O, I9 |7 q/ r7 U# P# B
- Q/ u9 w) o3 ]; v. ]0 G. Z

9 V. V& v$ \% h, v# S4 M清单5 变量 ext2_aops 和变量 ext2_nobh_aops 的初始化+ q6 Y0 h# ?8 G7 [1 D3 X

! U  {& m% D6 x' g) U3 k* [5 z; i2 @- I3 @2 V, f7 u9 X8 k: k
struct address_space_operations ext2_aops = {. O* [7 v7 B( E, s5 }( ?" i- y
    .readpage          =
, T$ x; O/ s* [- ^6 ~2 N                ext2_readpage,( O. ?: }% t# ^+ f! N
    .readpages         = ext2_readpages,: A2 E7 T+ o5 z- n* f
    .writepage         = ext2_writepage,
% y9 \: V/ n/ e' z% N    .sync_page         = block_sync_page,4 w6 X# \+ i; ], Z
    .prepare_write     = ext2_prepare_write,) U+ ]7 f+ e  @2 Q5 n. v2 d
    .commit_write       = generic_commit_write,! S$ @* u* @2 P
    .bmap                 = ext2_bmap,
1 \: Q; G0 x  `: K. y) g, L    .direct_IO           = ext2_direct_IO,* a5 t! {8 L3 \4 d: f
    .writepages          = ext2_writepages,: d; W6 x7 q4 I: t$ {
};/ u+ d  H  \- {+ L0 Z: P  D0 g2 }
; G. O# }) r0 U0 b! ?, ~$ E
struct address_space_operations ext2_nobh_aops = {
6 p7 e; h7 G) A' ~  `    .readpage
7 V* ^* u3 [# z7 W% K                = ext2_readpage,
2 K& ?  i; b: K1 o& z5 K/ m1 M    .readpages           = ext2_readpages,4 L7 B5 ^! z, m5 T
    .writepage                 = ext2_writepage,
4 r' c% A) i( X7 L9 G    .sync_page           = block_sync_page,- I: I; ^/ F' @/ t5 M$ E5 }
    .prepare_write      = ext2_nobh_prepare_write,
" e+ q8 G0 v, \: B( s9 b    .commit_write       = nobh_commit_write,+ r; E0 V& W1 B  Y6 {
    .bmap                 = ext2_bmap,
3 D1 J3 D$ O+ f, _! V8 ]2 ^    .direct_IO           = ext2_direct_IO,
$ D1 T! q7 s& x5 ^4 n    .writepages          = ext2_writepages,
9 U/ L7 \) F* o: p};# w* [5 Q  r# q# T+ R" u

" h5 D3 K7 D9 s% g  b0 A7 X, m5 n% {. y0 r. o& R9 F
从上述代码中可以看出,不论是哪个变量,其中的 readpage 成员都指向函数 ext2_readpage 。所以可以断定:函数 do_generic_mapping_read 最终调用 ext2_readpage 函数处理读数据请求。" `. f. ]( J1 C

, W- y, _5 {* Z, q! ^4 {2 U% q8 R到此为止, ext2 文件系统层的工作结束。
$ S- d+ J! c3 o) R: y0 B$ N8 K
" G" U% a6 N& o( ?Page cache 层的处理' {, i1 C: ]4 o: j% ]# R

: y; p0 H' c- h. Y9 _从上文得知:ext2_readpage 函数是该层的入口点。该函数调用 mpage_readpage 函数,清单6显示了 mpage_readpage 函数的代码。
# y/ g5 N0 E/ v3 e! A: ?0 e; b+ K
; q( J; N/ T- h. t+ M4 h
清单6 mpage_readpage 函数的代码
: O. ]; f5 J6 Y# H* {; ?- O3 ]9 Z+ i+ l# J2 z! ?1 Q9 `
. ?# P- R5 A8 F2 J: A8 m# t# W; W
int mpage_readpage(struct page *page, get_block_t get_block)1 O9 V: p5 d# p( L1 |+ U
{
+ o7 w8 H2 k* o9 m/ [    struct bio *bio = NULL;  A+ S% ^+ J" K9 l9 Y4 f
    sector_t last_block_in_bio = 0;
1 {0 u8 Y. L, l. v2 t8 ^
2 |+ o2 l7 Z9 m. n/ R/ q    bio = do_mpage_readpage(bio, page, 1,
2 R- J7 {. w2 P8 y' T/ Z( X                         &last_block_in_bio, get_block);  S5 g8 ]( }" R
    if (bio)
, }+ V, A" p; F9 q" n        mpage_bio_submit(READ, bio);
, F& n9 O8 l1 E: r    return 0;
8 _  ]& Z; [0 e& r}
: O; o9 n) d# L# z
8 N1 w' v6 c' |2 u/ f$ E" u! _0 F) J) P
该函数首先调用函数 do_mpage_readpage 函数创建了一个 bio 请求,该请求指明了要读取的数据块所在磁盘的位置、数据块的数量以及拷贝该数据的目标位置——缓存区中 page 的信息。然后调用 mpage_bio_submit 函数处理请求。 mpage_bio_submit 函数则调用 submit_bio 函数处理该请求,后者最终将请求传递给函数 generic_make_request ,并由 generic_make_request 函数将请求提交给通用块层处理。( P1 ^3 y+ O0 L- D* V( s( p: I7 O% @! n$ v

; W% E' X4 P3 ]9 Z+ N$ g% t5 y: b到此为止, page cache 层的处理结束。
! M, b0 h2 ~1 }7 o
% A* U0 e1 o4 O* A3 ~6 V通用块层的处理
: C" I* z9 `" A* ^2 j4 Y
3 X: u/ v$ [4 Y2 G/ I( f# Rgeneric_make_request 函数是该层的入口点,该层只有这一个函数处理请求。清单7显示了函数的部分代码/ I7 b! ~+ ~; m, R) b' n( Q

. R( b1 q  h' h& `. }+ }: e" Z
清单7 generic_make_request 函数部分代码6 M8 u0 S: M, N: I

" U$ T( W- g4 J) Z$ D+ ]4 a
" S" W0 i* g# l/ s  c% Evoid generic_make_request(struct bio *bio)
8 ?9 B0 A0 v) U/ V) z2 j2 B{( F6 F$ g5 @0 Z  }
    ……
3 l, t4 r3 T) j; c$ L% n3 M, c) i    do {
0 p9 T0 Q7 x& E' D# A) w& s) J        char b[BDEVNAME_SIZE];' m2 V4 o9 W8 O3 l# M0 L( N9 O

3 |1 l$ l; r% Z- h        q = bdev_get_queue(bio->bi_bdev);
" w' G( D7 `( a* c7 @6 G. R        ……
" x8 j. H) m7 i6 b7 Z        block_wait_queue_running(q);% d# Z, [' D0 H6 v8 s
7 ], s0 I- Z1 h
        /*0 A) `7 q: p9 C% \+ E
        * If this device has partitions, remap block n% X6 y. d+ T/ U. ]) m0 P
        * of partition p to block n+start(p) of the disk.
# N% m9 [# A* N8 v        */
, T  u' c7 R! l. `2 ?        blk_partition_remap(bio);9 o# C/ D) v2 U4 n

: z' p% p/ X" Q; R1 a        ret = q->make_request_fn(q, bio);0 j1 j- c! `! |  T2 I7 E' w' r
    } while (ret);
$ i* ?/ e6 k4 j& I2 |6 r}
+ E/ g( l+ B6 l, A1 N9 X' X5 w5 D( c

9 F; @7 K" z& {8 `" g+ n- P9 p主要操作:# \( q" J! N. U; @# E4 H
+ s* O% O  z3 a/ A1 m4 L6 r2 ]
根据 bio 中保存的块设备号取得请求队列 q0 f! i% |- Q( J5 K" j+ T' F
检测当前 IO 调度器是否可用,如果可用,则继续;否则等待调度器可用
( h1 c5 q& N$ E, Z. Y9 O调用 q->make_request_fn 所指向的函数将该请求(bio)加入到请求队列中* P6 L9 j/ q% n* U. a/ w* v; ]6 K
到此为止,通用块层的操作结束。
" o+ Y' p) X+ p  \+ z. w; u
/ s6 k# {4 L" i  Y8 O' ?IO 调度层的处理0 P" N& a- [# N

. Q& Q! Z+ [! l$ g对 make_request_fn 函数的调用可以认为是 IO 调度层的入口,该函数用于向请求队列中添加请求。该函数是在创建请求队列时指定的,代码如下(blk_init_queue 函数中):
' _: Z0 K. Q; @5 P7 X% J0 ?$ S' c) T1 \: j
q->request_fn        = rfn;
+ I) I; r# g: U2 l8 A& J$ mblk_queue_make_request(q, __make_request);
/ z2 J8 ]/ k% D0 }# E
: f; F1 A4 k+ H$ U! i, F' t7 J4 |; f* z! D. q
函数 blk_queue_make_request 将函数 __make_request 的地址赋予了请求队列 q 的 make_request_fn 成员,那么, __make_request 函数才是 IO 调度层的真实入口。
% o  e0 d2 Z5 |0 U! t& u9 }' ?1 k% D& H$ \6 \$ v% b
__make_request 函数的主要工作为:
" ^) `  b! O& r$ L4 j: W1 ?
! V0 z' ~# s7 R7 U' i: @: \7 B检测请求队列是否为空,若是,延缓驱动程序处理当前请求(其目的是想积累更多的请求,这样就有机会对相邻的请求进行合并,从而提高处理的性能),并跳到3,否则跳到2
/ R5 L* I5 D9 P# D试图将当前请求同请求队列中现有的请求合并,如果合并成功,则函数返回,否则跳到3
8 T9 O5 V0 c8 s% d8 M; ]2 o# T该请求是一个新请求,创建新的请求描述符,并初始化相应的域,并将该请求描述符加入到请求队列中,函数返回
6 h1 {: {: Q4 X$ b7 O1 v5 F将请求放入到请求队列中后,何时被处理就由 IO 调度器的调度算法决定了(有关 IO 调度器的算法内容请参见参考资料)。一旦该请求能够被处理,便调用请求队列中成员 request_fn 所指向的函数处理。这个成员的初始化也是在创建请求队列时设置的:* W/ ^  a# \, u& \
% `. T3 x  G8 k1 B/ e
q->request_fn        = rfn;* d3 }: a% J. j! g
blk_queue_make_request(q, __make_request);
9 Z, ~4 a3 w) N0 `# o! Q. E, V  L2 l; p
6 g% V! s; H3 P) g" K$ f9 p
: p" H% K9 S/ Y第一行是将请求处理函数 rfn 指针赋给了请求队列的 request_fn 成员。而 rfn 则是在创建请求队列时通过参数传入的。$ f( {( K( l9 M0 ?' J; j5 t

3 n$ r7 r( W- m5 R2 \8 [- e, }对请求处理函数 request_fn 的调用意味着 IO 调度层的处理结束了。
" Y6 s" W; Q8 R, Z% N) M6 f; _1 V. d& c  [, h  r; b9 T
块设备驱动层的处理& L( K: G% u1 f- U$ M. I

+ M4 u5 @5 K! H- \% orequest_fn 函数是块设备驱动层的入口。它是在驱动程序创建请求队列时由驱动程序传递给 IO 调度层的。* X7 c$ u! D# N% B0 P6 m$ y3 ?
. Y- b8 {! A) q9 T- m; S
IO 调度层通过回调 request_fn 函数的方式,把请求交给了驱动程序。而驱动程序从该函数的参数中获得上层发出的 IO 请求,并根据请求中指定的信息操作设备控制器(这一请求的发出需要依据物理设备指定的规范进行)。# J3 k. ^' y+ `% o$ B2 \7 U% }

+ w  Z9 V* e4 P# ?3 _到此为止,块设备驱动层的操作结束。5 [+ ]. O5 s8 g3 Q4 N

, J  o& {& {# q0 Z块设备层的处理
+ N. s( W. V- D' J+ @( h; l
( T# {1 y! o# [接受来自驱动层的请求,完成实际的数据拷贝工作等等。同时规定了一系列规范,驱动程序必须按照这个规范操作硬件。" [. f0 ?) I( [% [, A. i- s
8 k7 B' v; i6 P6 D
后续工作
3 p0 W( N* P! x- j4 P" D- H7 [) u; a4 Y
当设备完成了 IO 请求之后,通过中断的方式通知 cpu ,而中断处理程序又会调用 request_fn 函数进行处理。) E) ^4 c$ S8 Z5 B4 n0 o
- W$ B' X4 e% a1 V3 O, g9 q" U
当驱动再次处理该请求时,会根据本次数据传输的结果通知上层函数本次 IO 操作是否成功,如果成功,上层函数解锁 IO 操作所涉及的页面(在 do_generic_mapping_read 函数中加的锁)。
2 ^2 X, E. D( A" h1 n, ^! I, D4 @% Q' T, ?& n+ k* s$ N/ Y( A
该页被解锁后, do_generic_mapping_read() 函数就可以再次成功获得该锁(数据的同步点),并继续执行程序了。之后,函数 sys_read 可以返回了。最终 read 系统调用也可以返回了。
! g& p4 F, B2 q2 ?+ ]% X0 o) ]
" b# O/ O! ]' X' M至此, read 系统调用从发出到结束的整个处理过程就全部结束了。# P/ z( x, s: w$ q3 F
  h. d. n) D9 f0 p# O
回页首' G' i$ n% R9 \

% x+ l# }; c" L/ `总结9 z0 _7 }5 w) D/ ?# [5 d7 b- @/ z
3 [+ y6 s, b0 A& U1 B
本文介绍了 linux 系统调用 read 的处理全过程。该过程分为两个部分:用户空间的处理和核心空间的处理。在用户空间中通过 0x80 中断的方式将控制权交给内核处理,内核接管后,经过6个层次的处理最后将请求交给磁盘,由磁盘完成最终的数据拷贝操作。在这个过程中,调用了一系列的内核函数。如图 6# d  n3 v+ U6 R! {$ f/ ~6 V8 Y5 b
4 n9 R) E: M- v
) D( ]0 k  M6 r) z8 Q6 S, n
图6 read 系统调用在内核中所经历的函数调用层次
1 O2 Y+ d* O. k0 k9 r0 c2 V( j0 ?2 n& x5 m3 [3 O1 {: S
: `! L0 u! N( l  H) K5 o4 Q( w% a

2 Z8 `8 q1 }7 m# a1 \0 X; _; i6 o' R: e! @, f# w

该用户从未签到

2#
发表于 2020-4-17 18:38 | 只看该作者
read系统调用深度剖析
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

推荐内容上一条 /1 下一条

EDA365公众号

关于我们|手机版|EDA365电子论坛网 ( 粤ICP备18020198号-1 )

GMT+8, 2025-7-2 04:28 , Processed in 0.109375 second(s), 26 queries , Gzip On.

深圳市墨知创新科技有限公司

地址:深圳市南山区科技生态园2栋A座805 电话:19926409050

快速回复 返回顶部 返回列表