2022年linux内核面试题 .pdf

《2022年linux内核面试题 .pdf》由会员分享，可在线阅读，更多相关《2022年linux内核面试题 .pdf（8页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、有关 linux内核面试题1. Linux中主要有哪几种内核锁？Linux 的同步机制从2.0 到 2.6 以来不断发展完善。从最初的原子操作，到后来的信号量，从大内核锁到今天的自旋锁。这些同步机制的发展伴随Linux 从单处理器到对称多处理器的过渡；伴随着从非抢占内核到抢占内核的过度。Linux 的锁机制越来越有效，也越来越复杂。Linux 的内核锁主要是自旋锁和信号量。自旋锁最多只能被一个可执行线程持有，如果一个执行线程试图请求一个已被争用（已经被持有）的自旋锁，那么这个线程就会一直进行忙循环旋转等待锁重新可用。要是锁未被争用，请求它的执行线程便能立刻得到它并且继续进行。自旋锁可以在任何时

2、刻防止多于一个的执行线程同时进入临界区。Linux 中的信号量是一种睡眠锁。如果有一个任务试图获得一个已被持有的信号量时，信号量会将其推入等待队列，然后让其睡眠。这时处理器获得自由去执行其它代码。当持有信号量的进程将信号量释放后，在等待队列中的一个任务将被唤醒，从而便可以获得这个信号量。信号量的睡眠特性，使得信号量适用于锁会被长时间持有的情况；只能在进程上下文中使用，因为中断上下文中是不能被调度的；另外当代码持有信号量时，不可以再持有自旋锁。Linux 内核中的同步机制：原子操作、信号量、读写信号量和自旋锁的API，另外一些同步机制，包括大内核锁、读写锁、大读者锁、RCU (Read-Copy

3、 Update，顾名思义就是读-拷贝修改 ) ，和顺序锁。2. Linux中的用户模式和内核模式是什么含意？MS-DOS 等操作系统在单一的CPU模式下运行，但是一些类Unix 的操作系统则使用了双模式，可以有效地实现时间共享。在Linux 机器上， CPU要么处于受信任的内核模式，要么处于受限制的用户模式。除了内核本身处于内核模式以外，所有的用户进程都运行在用户模式之中。内核模式的代码可以无限制地访问所有处理器指令集以及全部内存和I/O 空间。如果用户模式的进程要享有此特权，它必须通过系统调用向设备驱动程序或其他内核模式的代码发出请求。另外，用户模式的代码允许发生缺页，而内核模式的代码则不允

4、许。在 2.4 和更早的内核中，仅仅用户模式的进程可以被上下文切换出局，由其他进程抢占。除非发生以下两种情况，否则内核模式代码可以一直独占CPU ：(1) 它自愿放弃CPU ；(2) 发生中断或异常。名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 1 页，共 8 页 - - - - - - - - - 2.6 内核引入了内核抢占，大多数内核模式的代码也可以被抢占。3. 怎样申请大块内核内存？在 Linux 内核环境下，申请大块内存的成功率随着系统运行时间的增加而减少，虽然可以通过vm

5、alloc 系列调用申请物理不连续但虚拟地址连续的内存，但毕竟其使用效率不高且在32 位系统上 vmalloc的内存地址空间有限。所以，一般的建议是在系统启动阶段申请大块内存，但是其成功的概率也只是比较高而已，而不是100% 。如果程序真的比较在意这个申请的成功与否，只能退用“启动内存”（Boot Memory ）。下面就是申请并导出启动内存的一段示例代码：void* x_bootmem= NULL; EXPORT_SYMBOL(x_bootmem); unsigned long x_bootmem_size= 0; EXPORT_SYMBOL(x_bootmem_size); static

6、int _init x_bootmem_setup(char *str) x_bootmem_size= memparse(str, &str); x_bootmem= alloc_bootmem(x_bootmem_size); printk(Reserved %lu bytes from %p for xn, x_bootmem_size, x_bootmem); return 1; _setup(x-bootmem=, x_bootmem_setup); 可见其应用还是比较简单的，不过利弊总是共生的，它不可避免也有其自身的限制：内存申请代码只能连接进内核，不能在模块中使用。被申请的内存不

7、会被页分配器和slab 分配器所使用和统计，也就是说它处于系统的可见内存之外，即使在将来的某个地方你释放了它。一般用户只会申请一大块内存，如果需要在其上实现复杂的内存管理则需要自己实现。在不允许内存分配失败的场合，通过启动内存预留内存空间将是我们唯一的选择。名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 2 页，共 8 页 - - - - - - - - - 4. 用户进程间通信主要哪几种方式？（1）管道（ Pipe）：管道可用于具有亲缘关系进程间的通信，允许一个进程和另一个与它有共

8、同祖先的进程之间进行通信。（2）命名管道（ named pipe ）：命名管道克服了管道没有名字的限制，因此，除具有管道所具有的功能外，它还允许无亲缘关系进程间的通信。命名管道在文件系统中有对应的文件名。命名管道通过命令 mkfifo或系统调用 mkfifo来创建。（3）信号（ Signal ）：信号是比较复杂的通信方式，用于通知接受进程有某种事件发生，除了用于进程间通信外， 进程还可以发送信号给进程本身；linux除了支持 Unix 早期信号语义函数sigal外，还支持语义符合Posix.1标准的信号函数sigaction（实际上，该函数是基于BSD的，BSD为了实现可靠信号机制，又能够统一

9、对外接口，用sigaction函数重新实现了signal函数）。（4）消息（Message）队列： 消息队列是消息的链接表，包括 Posix 消息队列 system V消息队列。有足够权限的进程可以向队列中添加消息，被赋予读权限的进程则可以读走队列中的消息。消息队列克服了信号承载信息量少，管道只能承载无格式字节流以及缓冲区大小受限等缺（5）共享内存：使得多个进程可以访问同一块内存空间，是最快的可用IPC 形式。是针对其他通信机制运行效率较低而设计的。往往与其它通信机制，如信号量结合使用，来达到进程间的同步及互斥。（6）信号量（ semaphore）：主要作为进程间以及同一进程不同线程之间的同步

10、手段。（7）套接字（ Socket）：更为一般的进程间通信机制，可用于不同机器之间的进程间通信。起初是由 Unix 系统的 BSD 分支开发出来的， 但现在一般可以移植到其它类Unix 系统上：Linux 和 System V的变种都支持套接字。5. 通过伙伴系统申请内核内存的函数有哪些？在物理页面管理上实现了基于区的伙伴系统（zone based buddy system ）。对不同区的内存使用单独的伙伴系统 (buddy system)管理 , 而且独立地监控空闲页。相应接口alloc_pages(gfp_mask, order) ，_ _get_free_pages(gfp_mask,

11、order)等。补充知识：1. 原理说明名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 3 页，共 8 页 - - - - - - - - - Linux 内核中采用了一种同时适用于32 位和 64 位系统的内存分页模型，对于32 位系统来说，两级页表足够用了，而在x86_64 系 统中，用到了四级页表。*页全局目录 (Page Global Directory) *页上级目录 (Page Upper Directory) *页中间目录 (Page Middle Directory)

12、 *页表 (Page Table) 页全局目录包含若干页上级目录的地址，页上级目录又依次包含若干页中间目录的地址，而页中间目录又包含若干页表的地址，每一个页表项指向一个页框。 Linux 中采用 4KB大小的页框作为标准的内存分配单元。多级分页目录结构1.1. 伙伴系统算法在实际应用中，经常需要分配一组连续的页框，而频繁地申请和释放不同大小的连续页框，必然导致在已分配页框的内存块中分散了许多小块的空闲页框。这样，即使这些页框是空闲的，其他需要分配连续页框的应用也很难得到满足。为了避免出现这种情况，Linux 内核中引入了伙伴系统算法(buddy system)。把所有的空闲页框分组为 11 个

13、 块链表，每个块链表分别包含大小为1，2，4，8，16，32，64，128，256，512和 1024 个连续页框的页框块。最大可以申请1024 个连 续页框， 对应 4MB大小的连续内存。每个页框块的第一个页框的物理地址是该块大小的整数倍。假设要申请一个256 个页框的块， 先从 256 个页框的链表中查找空闲块，如果没有， 就去 512个 页框的链表中找，找到了则将页框块分为2 个 256 个 页框的块，一个分配给应用，另外一个移到 256 个页框的链表中。如果512 个页框的链表中仍没有空闲块，继续向1024 个页框的链表查找，如果仍然没有，则返回错误。页框块在释放时，会主动将两个连续的

14、页框块合并为一个较大的页框块。1.2.slab分配器slab 分配器源于Solaris 2.4的 分配算法，工作于物理内存页框分配器之上，管理特定大小对象的缓存，进行快速而高效的内存分配。名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 4 页，共 8 页 - - - - - - - - - slab 分配器为每种使用的内核对象建立单独的缓冲区。Linux 内核已经采用了伙伴系统管理物理内存页框， 因此 slab 分配器直接工作于伙伴系统之上。每种缓冲区由多个slab 组成， 每个sl

15、ab 就是一组连续的物理内存页框，被划分成了固定数目的对象。根据对象大小的不同，缺省情况下一个 slab 最多可以由 1024 个页框构成。出于对齐等其它方面的要求，slab 中分配给对象的内存可能大于用户要求的对象实际大小，这会造成一定的内存浪费。2. 常用内存分配函数2.1._get_free_pages unsigned long _get_free_pages(gfp_t gfp_mask, unsigned int order) _get_free_pages函数是最原始的内存分配方式，直接从伙伴系统中获取原始页框，返回值为第一个页框的起始地址。_get_free_pages在实现上

16、只是封装了alloc_pages函 数，从代码分析， alloc_pages函数会分配长度为1 2.2.kmem_cache_alloc struct kmem_cache *kmem_cache_create(const char *name, size_t size, size_t align, unsigned long flags, void (*ctor)(void*, struct kmem_cache *, unsigned long), void (*dtor)(void*, struct kmem_cache *, unsigned long) void *kmem_cach

17、e_alloc(struct kmem_cache *c, gfp_t flags) kmem_cache_create/ kmem_cache_alloc是基于 slab 分配器的一种内存分配方式，适用于反复分配释放同一大小内存块的场合。首先用kmem_cache_create 创建一个高速缓存区域，然后用kmem_cache_alloc 从 该高速缓存区域中获取新的内存块。kmem_cache_alloc 一次能分配的最大内存由 mm/slab.c文件中的 MAX_OBJ_ORDER宏 定义，在默认的2.6.18内核版本中，该宏定义为5， 于是一次最多能申请15 * 4KB也就是 128K

18、B的 连续物理内存。分析内核源码发现，kmem_cache_create 函数的 size 参数大于 128KB时会调用 BUG()。测试结果验证了分析结果，用kmem_cache_create 分 配超过 128KB的内存时使内核崩溃。2.3.kmalloc 名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 5 页，共 8 页 - - - - - - - - - void *kmalloc(size_t size, gfp_t flags) kmalloc 是内核中最常用的一种内存分

19、配方式，它通过调用kmem_cache_alloc 函 数来实现。kmalloc 一次最多能申请的内存大小由include/linux/Kmalloc_size.h的 内容来决定，在默认的 2.6.18内核版本中， kmalloc一 次最多能申请大小为131702B也就是 128KB字 节的连续物理内存。测试结果表明，如果试图用kmalloc函数分配大于128KB的内存，编译不能通过。2.4.vmalloc void *vmalloc(unsigned long size) 前面几种内存分配方式都是物理连续的，能保证较低的平均访问时间。但是在某些场合中，对内存区的请求不是很频繁，较高的内存访问

20、时间也可以接受，这是就可以分配一段线性连续，物理不连续的地址，带来的好处是一次可以分配较大块的内存。图 3-1 表 示的是 vmalloc 分配的内存使用的地址范围。vmalloc对 一次能分配的内存大小没有明确限制。出于性能考虑，应谨慎使用 vmalloc函数。在测试过程中，最大能一次分配1GB的空间。Linux 内核部分内存分布2.5.dma_alloc_coherent void *dma_alloc_coherent(struct device *dev, size_t size, ma_addr_t *dma_handle, gfp_t gfp) DMA 是一种硬件机制，允许外围设备

21、和主存之间直接传输IO 数据，而不需要CPU的参与，使用 DMA 机制能大幅提高与设备通信的吞吐量。 DMA 操作中，涉及到CPU高速缓存和对应的内存数据一致性的问题，必须保证两者的数据一致，在x86_64 体系结构中，硬件已经很好的解决了这个问题， dma_alloc_coherent和_get_free_pages函数实现差别不大，前者实际是调用_alloc_pages函 数来分配内存，因此一次分配内存的大小限制和后者一样。_get_free_pages分配的内存同样可以用于DMA 操作。测试结果证明，dma_alloc_coherent函 数一次能分配的最大内存也为 4M 。2.6.io

22、remap void * ioremap (unsigned long offset, unsigned long size) ioremap 是一种更直接的内存“分配”方式，使用时直接指定物理起始地址和需要分配内存的大小，然后将该段物理地址映射到内核地址空间。ioremap 用到的物理地址空间都是事先确定名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 6 页，共 8 页 - - - - - - - - - 的，和上面的几种内存分配方式并不太一样，并不是分配一段新的物理内存。iore

23、map 多用于设备驱动，可以让CPU直接访问外部设备的IO 空间。 ioremap 能映射的内存由原有的物理内存空间决定，所以没有进行测试。2.7.Boot Memory 如果要分配大量的连续物理内存，上述的分配函数都不能满足，就只能用比较特殊的方式，在 Linux 内 核引导阶段来预留部分内存。2.7.1.在内核引导时分配内存void* alloc_bootmem(unsigned long size) 可以在 Linux 内核引导过程中绕过伙伴系统来分配大块内存。使用方法是在Linux 内核引导时，调用 mem_init 函数之前用 alloc_bootmem 函数申请指定大小的内存。如果

24、需要在其他地方调用这块内存， 可以将 alloc_bootmem 返回的内存首地址通过EXPORT_SYMBOL导 出，然后就可以使用这块内存了。这种内存分配方式的缺点是，申请内存的代码必须在链接到内核中的代码里才能使用，因此必须重新编译内核，而且内存管理系统看不到这部分内存，需要用户自行管理。测试结果表明，重新编译内核后重启，能够访问引导时分配的内存块。2.7.2.通过内核引导参数预留顶部内存在 Linux 内核引导时， 传入参数 “mem=size”保留顶部的内存区间。比如系统有256MB内 存，参数“ mem=248M”会预留顶部的8MB内存，进入系统后可以调用ioremap(0 xF8

25、00000 ，0 x800000)来申请这段内存。3. 几种分配函数的比较分配原理最大内存其他_get_free_pages直接对页框进行操作4MB适用于分配较大量的连续物理内存kmem_cache_alloc 基于 slab 机制实现 128KB适合需要频繁申请释放相同大小内存块时使用kmalloc 基于 kmem_cache_alloc 实现 128KB最常见的分配方式，需要小于页框大小的内存时可以使用名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 7 页，共 8 页 - - -

26、 - - - - - - vmalloc 建立非连续物理内存到虚拟地址的映射物理不连续，适合需要大内存，但是对地址连续性没有要求的场合dma_alloc_coherent基于_alloc_pages实现 4MB适用于 DMA 操 作ioremap 实现已知物理地址到虚拟地址的映射适用于物理地址已知的场合，如设备驱动alloc_bootmem 在启动 kernel时，预留一段内存，内核看不见小于物理内存大小，内存管理要求较高名师资料总结 - - -精品资料欢迎下载 - - - - - - - - - - - - - - - - - - 名师精心整理 - - - - - - - 第 8 页，共 8 页 - - - - - - - - -