课本:第3章 MenuOS的构造 内容总结

  • 计算机的“三大法宝”

    • 存储程序计算机
    • 函数调用堆栈
    • 中断
  • 操作系统的“两把宝剑”
    • 中断上下文切换:保存现场和恢复现场
    • 进程上下文切换

      在接触linux内核源代码时,linux是基于一个稳定版的内核Linux-3.18.6。其内核源码的目录结构如下:



      其中,arch目录是与体系结构相关的子目录列表,里面存放了许多CPU体系结构的相关代码。arch目录中的代码在linux内核代码中占比相当庞大,主要是因为arch目录中的代码可以使linux内核支持不同的CPU和体系结构。本课程实验是基于x86构架,所以只需要关心x86目录下的内容。

      除了arch目录以外,还有如下几个关键目录:
  • block:存放linux存储体系中关于块设备管理的代码。
  • crypto:存放常见的加密算法的C语言代码。
  • Documentation:存放一些文档。
  • drivers:驱动目录,里面分门别类地存放了linux内核支持的所有硬件设备的驱动源代码。
  • firmware:固件。
  • fs:即file system(文件系统),里面列出了linux支持的各种文件系统的实现。
  • include:头文件目录,存放公共头文件。
  • init:初始化,存放linux内核启动时的初始化代码,其中main.c文件就在这个目录下,这是整个linux内核启动的起点,main.c中的start_kernel函数是初始化linux内核启动的起点。
  • ipc:即inter-process communication(进程间通信),其目录下为linux支持的IPC代码实现。
  • kernel:即linux内核,这个文件夹下存放着内核本身需要的一些核心代码文件。
  • lib:共用的库文件,里面是一些公用的库函数。在内核编程中不能使用C语言的标准库函数,这里的lib目录下的库函数就是来替代那些标准库函数的。
  • mm:即memory management(内存管理),存放linux的内存管理代码。
  • net:该目录下是网络相关的代码,例如TCP/IP协议栈等。
  • 此外还有一些与声音、安全、脚本、工具相关的目录

    了解了内核的基本结构和基本功能,为下面的实验进行打下了基础和铺垫。

实验:跟踪分析Linux内核的启动过程

使用实验楼的shell环境,其已经在虚拟机中搭建好了menuOS,所以我们通过两个简单的命令就可以把linux系统和一个简单的文件系统运行起来:

  1. cd LinuxKernel/
  2. qemu -kernel linux-3.18.6/arch/x86/boot/bzImage -initrd rootfs.img

其中,qemu仿真kernel;bzImage是vmLinux经过gzip压缩后的文件;vmLinux是编译出来的最原始的内核ELF文件;initrd是“initial ramdisk”的缩写,是用来初始化内存根文件系统。根文件系统一般包括内存根文件系统和磁盘文件系统,普通linux用户一般感受不到这个内存根文件系统的存在,因为在普通linux系统在启动时,是boot loader将存储介质中的initrd文件加载到内存,内核启动时先访问initrd文件系统,然后再切换到磁盘文件系统。本次实验简化为只使用了initrd根文件系统,创建了一个rootfs.img,其中只有一个init功能,用menu程序替代init。内核启动完成后进入menu程序。效果如下图所示:



可以看到,menu项目支持3个命令:help、version和quit。

下面,使用gdb跟踪调试内核,输入以下命令:

  1. qemu -kernel linux-3.18.6/arch/x86/boot/bzImage -initrd rootfs.img -s -S # 关于-s和-S选项的说明:
  2. -S freeze CPU at startup (use c to start execution)
  3. -s shorthand for -gdb tcp::1234 若不想使用1234端口,则可以使用-gdb tcp:xxxx来取代-s选项

效果如下:

水平分割窗口,启动gdb,输入以下命令:

  1. gdb
  2. gdbfile linux-3.18.6/vmlinux # 在gdb界面中targe remote之前加载符号表
  3. gdbtarget remote:1234 # 建立gdb和gdbserver之间的连接,按c 让qemu上的Linux继续运行
  4. gdbbreak start_kernel # 断点的设置可以在target remote之前,也可以在之后

执行效果如下:



在start_kernel处设置了断点,使用continue命令让程序执行到断点位置,如下图所示:



可以看到在程序执行到start_kernel断点处,qemu窗口中的执行效果。下面再在rest_init处为内核代码增加一个断点,执行效果如下:



代码分析

start_kernel()函数

  1. asmlinkage __visible void __init start_kernel(void)
  2. {
  3. char *command_line;
  4. char *after_dashes;
  5. lockdep_init();
  6. set_task_stack_end_magic(&init_task);
  7. smp_setup_processor_id();
  8. debug_objects_early_init();
  9. boot_init_stack_canary();
  10. cgroup_init_early();
  11. local_irq_disable();
  12. early_boot_irqs_disabled = true;
  13. /*
  14. * Interrupts are still disabled. Do necessary setups, then
  15. * enable them
  16. */
  17. boot_cpu_init();
  18. page_address_init();
  19. pr_notice("%s", linux_banner);
  20. setup_arch(&command_line);
  21. mm_init_cpumask(&init_mm);
  22. setup_command_line(command_line);
  23. setup_nr_cpu_ids();
  24. setup_per_cpu_areas();
  25. smp_prepare_boot_cpu(); /* arch-specific boot-cpu hooks */
  26. build_all_zonelists(NULL, NULL);
  27. page_alloc_init();
  28. pr_notice("Kernel command line: %s\n", boot_command_line);
  29. parse_early_param();
  30. after_dashes = parse_args("Booting kernel",
  31. static_command_line, __start___param,
  32. __stop___param - __start___param,
  33. -1, -1, &unknown_bootoption);
  34. if (!IS_ERR_OR_NULL(after_dashes))
  35. parse_args("Setting init args", after_dashes, NULL, 0, -1, -1,
  36. set_init_arg);
  37. jump_label_init();
  38. /*
  39. * These use large bootmem allocations and must precede
  40. * kmem_cache_init()
  41. */
  42. setup_log_buf(0);
  43. pidhash_init();
  44. vfs_caches_init_early();
  45. sort_main_extable();
  46. trap_init();
  47. mm_init();
  48. /*
  49. * Set up the scheduler prior starting any interrupts (such as the
  50. * timer interrupt). Full topology setup happens at smp_init()
  51. * time - but meanwhile we still have a functioning scheduler.
  52. */
  53. sched_init();
  54. * Disable preemption - early bootup scheduling is extremely
  55. * fragile until we cpu_idle() for the first time.
  56. */
  57. preempt_disable();
  58. if (WARN(!irqs_disabled(),
  59. "Interrupts were enabled *very* early, fixing it\n"))
  60. local_irq_disable();
  61. idr_init_cache();
  62. rcu_init();
  63. context_tracking_init();
  64. radix_tree_init();
  65. /*
  66. init some links before init_ISA_irqs()
  67. */
  68. early_irq_init();
  69. init_IRQ();
  70. tick_init();
  71. rcu_init_nohz();
  72. init_timers();
  73. hrtimers_init();
  74. softirq_init();
  75. timekeeping_init();
  76. time_init();
  77. sched_clock_postinit();
  78. perf_event_init();
  79. profile_init();
  80. call_function_init();
  81. WARN(!irqs_disabled(), "Interrupts were enabled early\n");
  82. early_boot_irqs_disabled = false;
  83. local_irq_enable();
  84. kmem_cache_init_late();
  85. /*
  86. * HACK ALERT! This is early. We're enabling the console before
  87. * we've done PCI setups etc, and console_init() must be aware of
  88. * this. But we do want output early, in case something goes wrong.
  89. */
  90. console_init();
  91. if (panic_later)
  92. panic("Too many boot %s vars at `%s'", panic_later,
  93. panic_param);
  94. lockdep_info();
  95. /*
  96. * Need to run this when irqs are enabled, because it wants
  97. * to self-test [hard/soft]-irqs on/off lock inversion bugs
  98. * too:
  99. */
  100. locking_selftest();
  101. #ifdef CONFIG_BLK_DEV_INITRD
  102. if (initrd_start && !initrd_below_start_ok &&
  103. page_to_pfn(virt_to_page((void *)initrd_start)) < min_low_pfn) {
  104. pr_crit("initrd overwritten (0x%08lx < 0x%08lx) - disabling it.\n",
  105. page_to_pfn(virt_to_page((void *)initrd_start)),
  106. min_low_pfn);
  107. initrd_start = 0;
  108. }
  109. #endif
  110. page_cgroup_init();
  111. debug_objects_mem_init();
  112. kmemleak_init();
  113. setup_per_cpu_pageset();
  114. numa_policy_init();
  115. if (late_time_init)
  116. late_time_init();
  117. sched_clock_init();
  118. calibrate_delay();
  119. pidmap_init();
  120. anon_vma_init();
  121. acpi_early_init();
  122. #ifdef CONFIG_X86 /*与x86硬件相关代码 如果主板支持EFI的话*/
  123. if (efi_enabled(EFI_RUNTIME_SERVICES))
  124. efi_enter_virtual_mode();
  125. #endif
  126. #ifdef CONFIG_X86_ESPFIX64
  127. /* Should be run before the first non-init thread is created */
  128. init_espfix_bsp();
  129. #endif
  130. thread_info_cache_init();
  131. cred_init();
  132. fork_init(totalram_pages);
  133. proc_caches_init();
  134. buffer_init();
  135. key_init();
  136. security_init();
  137. dbg_late_init();
  138. vfs_caches_init(totalram_pages);
  139. signals_init();
  140. /* rootfs populating might need page-writeback */
  141. page_writeback_init();
  142. proc_root_init();
  143. cgroup_init();
  144. cpuset_init();
  145. taskstats_init_early();
  146. delayacct_init();
  147. check_bugs();
  148. sfi_init_late();
  149. if (efi_enabled(EFI_RUNTIME_SERVICES)) {
  150. efi_late_init();
  151. efi_free_boot_services();
  152. }
  153. ftrace_init();
  154. /* Do the rest non-__init'ed, we're now alive */
  155. rest_init();
  156. }

start_kernel()函数分析

start_kernel()函数的作用是内核中各种模块的初始化。其中,start_kernel()函数中set_task_stack_end_magic(&init_task)中的init_task即初始化手工创建的PCB,0号进程即最终的idle进程,idle进程由系统自动创建, 运行在内核态。当系统没有需要执行的进程时就调度到idle进程。

rest_init()函数

  1. static noinline void __init_refok rest_init(void)
  2. {
  3. int pid;
  4. rcu_scheduler_starting();
  5. /*
  6. * We need to spawn init first so that it obtains pid 1, however
  7. * the init task will end up wanting to create kthreads, which, if
  8. * we schedule it before we create kthreadd, will OOPS.
  9. */
  10. kernel_thread(kernel_init, NULL, CLONE_FS);
  11. numa_default_policy();
  12. pid = kernel_thread(kthreadd, NULL, CLONE_FS | CLONE_FILES);
  13. rcu_read_lock();
  14. kthreadd_task = find_task_by_pid_ns(pid, &init_pid_ns);
  15. rcu_read_unlock();
  16. complete(&kthreadd_done);
  17. /*
  18. * The boot idle thread must execute schedule()
  19. * at least once to get things moving:
  20. */
  21. init_idle_bootup_task(current); /*idle初始化*/
  22. schedule_preempt_disabled();
  23. /* Call into cpu_idle with preempt disabled */
  24. cpu_startup_entry(CPUHP_ONLINE);
  25. }

rest_init()函数分析

通过rest_init()函数新建kernel_init和kthreadd进程,分别为系统的1号进程和2号进程。系统的进程创建遵从“道生一,一生二,二生三,三生万物”的思想,0号进程创建1号进程,创建2号进程,以此类推,层层推进。

总结

start_kernel()函数为内核启动的起点,执行了各种初始化操作,对于本次实验的进行来说,除了实验楼的虚拟机环境偶尔出现了一些小问题,其他方面实验进行的还是比较顺利的,没有遇到什么问题。但是对于内核启动过程的理解还是比较困难的,start_kernel()的各个模块做了非常繁杂的初始化操作,内核得以正常启动。

本次实验结合《庖丁解牛》和对应的实验楼实验以及视频教程配合完成,对于linux内核源码文件的目录结构、作用以及内核启动及初始化的过程有了一个初步的整体了解,但对于其细致的过程还不太明白,内核的启动过程十分复杂。希望在今后的实验过程中,通过一系列实验,对linux内核的工作慢慢有更深一步的认识和理解。

因为本次实验过程中自己电脑的linux虚拟环境出现了一些问题不能正常启动,所以此次实验完全在已经配置好了的实验楼环境中进行,在后面会在自己电脑的环境中再完整的配置一遍内核的启动过程。

《Linux内核原理与分析》第四周作业的更多相关文章

  1. 2019-2020-1 20199303<Linux内核原理与分析>第二周作业

    2019-2020-1 20199303第二周作业 1.汇编与寄存器的学习 寄存器是中央处理器内的组成部份.寄存器是有限存贮容量的高速存贮部件,它们可用来暂存指令.数据和位址.在中央处理器的控制部件中 ...

  2. 20169219 linux内核原理与分析第二周作业

    "linux内核分析"的第一讲主要讲了计算机的体系结构,和各寄存器之间对数据的处理过程. 通用寄存器 AX:累加器 BX:基地址寄存器 CX:计数寄存器 DX:数据寄存器 BP:堆 ...

  3. 2019-2020-1 20199314 <Linux内核原理与分析>第二周作业

    1.基础学习内容 1.1 冯诺依曼体系结构 计算机由控制器.运算器.存储器.输入设备.输出设备五部分组成. 1.1.1 冯诺依曼计算机特点 (1)采用存储程序方式,指令和数据不加区别混合存储在同一个存 ...

  4. 20169219linux 内核原理与分析第四周作业

    系统调用 系统调用是用户空间访问内核的唯一手段:除异常和陷入外,它们是内核唯一的合法入口. 一般情况下,应用程序通过在用户空间实现的应用编程接口(API)而不是直接通过系统调用来编程. 要访问系统调用 ...

  5. Linux内核原理与分析-第一周作业

    本科期间,学校开设过linux相关的课程,当时的学习方式主要以课堂听授为主.虽然老师也提供了相关的学习教材跟参考材料,但是整体学下来感觉收获并不是太大,现在回想起来,主要还是由于自己课下没有及时动手实 ...

  6. 2019-2020-1 20199314 <Linux内核原理与分析>第一周作业

    前言 本周对实验楼的Linux基础入门进行了学习,目前学习到实验九完成到挑战二. 学习和实验内容 快速学习了Linux系统的发展历程及其简介,学习了下的变量.用户权限管理.文件打包及压缩.常用命令的和 ...

  7. Linux内核原理与分析-第二周作业

    写之前回看了一遍秒速五厘米:如果

  8. 2018-2019-1 20189221《Linux内核原理与分析》第一周作业

    Linux内核原理与分析 - 第一周作业 实验1 Linux系统简介 Linux历史 1991 年 10 月,Linus Torvalds想在自己的电脑上运行UNIX,可是 UNIX 的商业版本非常昂 ...

  9. 2018-2019-1 20189221《Linux内核原理与分析》第四周作业

    2018-2019-1 20189221<Linux内核原理与分析>第四周作业 教材学习:<庖丁解牛Linux内核分析> 第 3 章 MenuOS的构造 计算机三大法宝:存储程 ...

  10. 20169211《Linux内核原理与分析》第四周作业

    20169211<Linux内核原理与分析>第四周作业内容列表 1.教材第3.5章节知识学习总结: 2.实验楼配套实验二实验报告: 1.<linux内核设计与实现>教材第3.5 ...

随机推荐

  1. luoguP1281 书的复制 DP,贪心

    luoguP1281 书的复制 链接 https://www.luogu.org/problemnew/show/P1281 思路 简单dp,输出方案. 很明显dp记录路径对不对? 恭喜你死了. 求出 ...

  2. Java Volatile关键字 以及long,double在多线程中的应用

    概念: volatile关键字,官方解释:volatile可以保证可见性.顺序性.一致性. 可见性:volatile修饰的对象在加载时会告知JVM,对象在CPU的缓存上对多个线程是同时可见的. 顺序性 ...

  3. 【常见错误】Quartz常见错误

    1.集群之后把其中一个Quartz服务停了,其他的也不接手工作 问题描述 集群之后,A节点执行了大多数任务,B节点大部分时间处于空闲,停掉A节点,B节点也不会接手工作. 解决方式 修改Quartz的配 ...

  4. pm2常用的命令用法介绍

    pm2 是一个带有负载均衡功能的Node应用的进程管理器.当你要把你的独立代码利用全部的服务器上的所有CPU,并保证进程永远都活着,0秒的重载, PM2是完美的,下面我们来看pm2常用的命令用法介绍吧 ...

  5. Centos7 安装并配置redis

    一. 安装 操作系统:Centos 7. 最小化安装 redis版本: 4.0.2 服务器地址:*** 安装过程: 安装wget, yum -y install wget 2.  下载redis wg ...

  6. Hadoop EC 踩坑 :data block 缺失导致的 HDFS 传输速率下降

    环境:hadoop-3.0.2 + 11 机集群 + RS-6-3-1024K 的EC策略 状况:某天,往 HDFS 上日常 put 业务数据时,发现传输速率严重下降 分析: 检查集群发现,在之前的传 ...

  7. fastJson设置接口只接受json格式数据

    spring-mvc/servlet.xml <mvc:annotation-driven> <mvc:message-converters register-defaults=&q ...

  8. Retrofit2

    导入项目,开启服务端 原文链接 我的Demo AndroidStudio导入会出现无法加载主类 解决办法: 1.选择自己的Jdk路径 2.运行配置,试试来回切换几次,最后选择Default就好了.再直 ...

  9. Matlab:高阶常微分三种边界条件的特殊解法(隐式Euler)

    函数文件1: function b=F(f,x0,u,h) b(1,1)=x0(1)-h*x0(2)-u(1); b(2,1)=x0(2)+h*x0(1)^2-u(2)-h*f; 函数文件2: fun ...

  10. 判断是否存在某个字段hasOwnProperty

    <script type="text/javascript">         var obj = {             a: 1,             fn ...