皮皮网

1.linux内核——调度之SMP负载均衡
2.Linux内核源码解析---万字解析从设计模式推演per-cpu实现原理
3.Linux内核源码解析---cgroup实现之整体架构与初始化
4.从Linux内核源码的调度源调度角度深入解释进程（图例解析）
5.linux系统调用之write源码解析（基于linux0.11）
6.Linux内核源码分析：Linux内核版本号和源码目录结构

linux内核——调度之SMP负载均衡

       在多处理器系统上，内核必须考虑额外问题，码分确保良好的源码调度。Linux SMP调度，分析即进程安排和迁移到合适的调度源调度CPU，保持各CPU负载均衡的码分分类展示源码过程。系统启动时开始构建CPU拓扑关系。源码

       以ARM的分析4核处理器为例，系统构建的调度源调度调度域与调度组的拓扑关系图展现如下。在唤醒进程时，码分内核需决定由哪个CPU执行该进程。源码若唤醒的分析CPU与该进程之前运行的CPU不同，优先选择唤醒CPU执行，调度源调度否则选择先前运行该进程的码分CPU。

       欲深入了解Linux内核源码高阶知识，源码可加入开发交流Q群，获取相关资料与观看公开课技术分享。群内资源免费领取，学习直通车等待您的加入，无需担忧任何费用，快来体验学习新纪元吧！

Linux内核源码解析---万字解析从设计模式推演per-cpu实现原理

       引子

       在如今的大型服务器中，NUMA架构扮演着关键角色。它允许系统拥有多个物理CPU，不同NUMA节点之间通过QPI通信。虽然硬件连接细节在此不作深入讨论，但需明白每个CPU优先访问本节点内存，当本地内存不足时，可向其他节点申请。从传统的SMP架构转向NUMA架构，主要是为了解决随着CPU数量增多而带来的总线压力问题。

       分配物理内存时，numa_node_id() 方法用于查询当前CPU所在的NUMA节点。频繁的内存申请操作促使Linux内核采用per-cpu实现，将CPU访问的变量复制到每个CPU中，以减少缓存行竞争和False Sharing，类似于Java中的Thread Local。

       分配物理页

       尽管我们不必关注底层实现，buddy system负责分配物理页，关键在于使用了numa_node_id方法。接下来，我们将深入探索整个Linux内核的vr烟花源码per-cpu体系。

       numa_node_id源码分析获取数据

       在topology.h中，我们发现使用了raw_cpu_read函数，传入了numa_node参数。接下来，我们来了解numa_node的定义。

       在topology.h中定义了numa_node。我们继续跟踪DECLARE_PER_CPU_SECTION的定义，最终揭示numa_node是一个共享全局变量，类型为int，存储在.data..percpu段中。

       在percpu-defs.h中，numa_node被放置在ELF文件的.data..percpu段中，这些段在运行阶段即为段。接下来，我们返回raw_cpu_read方法。

       在percpu-defs.h中，我们继续跟进__pcpu_size_call_return方法，此方法根据per-cpu变量的大小生成回调函数。对于numa_node的int类型，最终拼接得到的是raw_cpu_read_4方法。

       在percpu.h中，调用了一般的read方法。在percpu.h中，获取numa_node的绝对地址，并通过raw_cpu_ptr方法。

       在percpu-defs.h中，我们略过验证指针的环节，追踪arch_raw_cpu_ptr方法。接下来，我们来看x架构的实现。

       在percpu.h中，使用汇编获取this_cpu_off的地址，代表此CPU内存副本到".data..percpu"的偏移量。加上numa_node相对于原始内存副本的偏移量，最终通过解引用获得真正内存地址内的值。

       对于其他架构，实现方式相似，通过获取自己CPU的偏移量，最终通过相对偏移得到pcp变量的地址。

       放入数据

       讨论Linux内核启动过程时，我们不得不关注per-cpu的txt直连源码值是如何被放入的。

       在main.c中，我们以x实现为例进行分析。通过setup_percpu.c文件中的代码，我们将node值赋给每个CPU的numa_node地址处。具体计算方法通过early_cpu_to_node实现，此处不作展开。

       在percpu-defs.h中，我们来看看如何获取每个CPU的numa_node地址，最终还是通过简单的偏移获取。需要注意如何获取每个CPU的副本偏移地址。

       在percpu.h中，我们发现一个关键数组__per_cpu_offset，其中保存了每个CPU副本的偏移值，通过CPU的索引来查找。

       接下来，我们来设计PER CPU模块。

       设计一个全面的PER CPU架构，它支持UMA或NUMA架构。我们设计了一个包含NUMA节点的结构体，内部管理所有CPU。为每个CPU创建副本，其中存储所有per-cpu变量。静态数据在编译时放入原始数据段，动态数据在运行时生成。

       最后，我们回到setup_per_cpu_areas方法的分析。在setup_percpu.c中，我们详细探讨了关键方法pcpu_embed_first_chunk。此方法管理group、unit、静态、保留、动态区域。

       通过percpu.c中的关键变量__per_cpu_load和vmlinux.lds.S的链接脚本，我们了解了per-cpu加载时的地址符号。PERCPU_INPUT宏定义了静态原始数据的起始和结束符号。

       接下来，我们关注如何分配per-cpu元数据信息pcpu_alloc_info。percpu.c中的方法执行后，元数据分配如下图所示。

       接着，ai模型源码我们分析pcpu_alloc_alloc_info的方法，完成元数据分配。

       在pcpu_setup_first_chunk方法中，我们看到分配的smap和dmap在后期将通过slab再次分配。

       在main.c的mm_init中，我们关注重点区域，完成map数组的slab分配。

       至此，我们探讨了Linux内核中per-cpu实现的原理，从设计到源码分析，全面展现了这一关键机制在现代服务器架构中的作用。

Linux内核源码解析---cgroup实现之整体架构与初始化

       cgroup在年由Google工程师开发，于年被融入Linux 2.6.内核。它旨在管理不同进程组，监控一组进程的行为和资源分配，是Docker和Kubernetes的基石，同时也被高版本内核中的LXC技术所使用。本文基于最早融入内核中的代码进行深入分析。

       理解cgroup的核心，首先需要掌握其内部的常用术语，如子系统、层级、cgroupfs_root、cgroup、css_set、cgroup_subsys_state、cg_cgroup_link等。子系统负责控制不同进程的行为，例如CPU子系统可以控制一组进程在CPU上执行的时间占比。层级在内核中表示为cgroupfs_root，一个层级控制一批进程，层级内部绑定一个或多个子系统，每个进程只能在一个层级中存在，但一个进程可以被多个层级管理。cgroup以树形结构组织，每一棵树对应一个层级，层级内部可以关联一个或多个子系统。

       每个层级内部包含的节点代表一个cgroup，进程结构体内部包含一个css_set，用于找到控制该进程的所有cgroup，多个进程可以共用一个css_set。共享门店 源码cgroup_subsys_state用于保存一系列子系统，数组中的每一个元素都是cgroup_subsys_state。cg_cgroup_link收集不同层级的cgroup和css_set，通过该结构可以找到与之关联的进程。

       了解了这些概念后，可以进一步探索cgroup内部用于结构转换的函数，如task_subsys_state、find_existing_css_set等，这些函数帮助理解cgroup的内部运作。此外，cgroup_init_early和cgroup_init函数是初始化cgroup的关键步骤，它们负责初始化rootnode和子系统的数组，为cgroup的使用做准备。

       最后，需要明确Linux内一切皆文件，cgroup基于VFS实现。内核启动时进行初始化，以确保系统能够正确管理进程资源。cgroup的初始化过程分为早期初始化和常规初始化，其中早期初始化用于准备cpuset和CPU子系统，确保它们在系统运行时能够正常工作。通过这些步骤，我们可以深入理解cgroup如何在Linux内核中实现资源管理和进程控制。

从Linux内核源码的角度深入解释进程（图例解析）

       进程，作为操作系统的基本概念，是程序执行过程的体现，自计算机诞生以来，其工作原理沿用冯诺依曼架构。从代码编译生成的可执行文件在特定环境中加载到内存，便构成了一个执行中的进程。进程的生命周期涉及启动、状态转换、执行和退出等阶段。在Linux中，进程的创建始于fork调用，通过复制当前进程生成新进程，接着通过exec初始化新进程地址空间，进入就绪状态等待调度。

       进程在操作系统中被抽象为task_struct，这个庞大的结构体，即进程描述符，记录了进程的全部属性和操作，包括进程ID(pid)和状态。查看进程ID和父进程ID可以通过特定命令。状态字段通过long类型表示，其他细节可以通过源码深入探究。

       创建进程涉及fork和copy_process函数，fork仅复制轻量级信息，使用写时复制技术避免数据冲突。fork后的子进程在必要时通过exec开始独立执行。在Linux中，线程和进程本质上是相同的，区别在于资源的共享程度。

       进程调度采用抢占式策略，如CFS（完全公平调度）通过虚拟运行时来实现公平调度，通过时间记账和红黑树组织队列来高效选择进程。进程退出时，会清理资源并可能转化为孤儿进程，由特定进程接管。理解这些原理有助于深入理解Linux内核对进程的管理机制。

linux系统调用之write源码解析（基于linux0.）

       Linux系统的write函数在底层操作上与read函数有相似之处。本文主要关注一般文件的写操作，我们首先从入口函数开始解析。

       进入file_write函数，它的核心逻辑是根据文件inode中的信息，确定要写入的硬盘位置，即块号。如果目标块已存在，就直接返回块号；若不存在，则需要创建新的块。这个过程涉及到bmap函数，它负责根据文件系统状态为新块申请空间并标记为已使用。

       创建新块的过程涉及到文件系统的超级块，通过检查当前块的使用情况，申请一个空闲块，并更新超级块以标记其为已使用。接着，超级块信息会被写回到硬盘，同时返回新建的块号。

       回到file_write，处理完块的逻辑后，由于是新创建的块，其内容默认为0。这时，bread函数会读取新块的内容，这部分逻辑可以参考read函数的分析。读取后，用户数据会被写入buffer，同时标记为待写回（脏）状态。重要的是，数据实际上并未立即写入硬盘，而是先存储在缓存中。系统会通过后台线程定期将缓存中的内容刷新到硬盘。

Linux内核源码分析：Linux内核版本号和源码目录结构

       深入探索Linux内核世界：版本号与源码结构剖析

       Linux内核以其卓越的稳定性和灵活性著称，版本号的精心设计彰显其功能定位。Linux采用xxx.yyy.zzz的格式，其中yy代表驱动和bug修复，zz则是修订次数的递增。主版本号（xx）与次版本号（yy）共同描绘了核心功能的大致轮廓，而修订版（zz）则确保了系统的稳定性与可靠性。

       Linux源码的结构犹如一座精密的城堡，由多个功能强大的模块构成。首先，arch目录下包含针对不同体系结构的代码，比如RISC-V和x的虚拟地址翻译，是内核与硬件之间的重要桥梁。接着，block与drivers的区别在于，前者封装了通用的块设备操作，如读写，而后者则根据特定硬件设备分布在各自的子目录中，如GPIO设备在drivers/gpio。

       为了保证组件来源的可信度和系统安全，certs目录存放认证和签名相关的代码，预先装载了必要的证书。从Linux 2.2版本开始，内核引入动态加载模块机制，fs和net目录下的代码分别支持虚拟文件系统和网络协议，这大大提升了灵活性，但同时也对组件验证提出了更高要求，以防止恶意代码的入侵。

       内核的安全性得到了进一步加强，crypto目录包含了各种加密算法，如AES和DES，它们为硬件驱动提供了性能优化。同时，内核还采用了压缩算法，如LZO和LZ4，以减小映像大小，提升启动速度和内存利用效率。

       文档是理解内核运作的关键，《strong>Documentation目录详尽地记录了模块的功能和规范。此外，include存储内核头文件，init负责初始化过程，IPC负责进程间通信，kernel核心代码涵盖了进程和中断管理，lib提供了通用库函数，而mm则专注于内存管理。网络功能则在net目录下，支持IPv4和TCP/IPv6等协议。

       内核的实用工具和示例代码在scripts和samples目录下，而security则关注安全机制，sound负责音频驱动，tools则存放开发和调试工具，如perf和kconfig。用户内核源码在usr目录，虚拟化支持在virt，而LICENSE目录保证了源码的开放和透明。

       最后，Makefile是编译内核的关键，README文件则包含了版本信息、硬件支持、安装配置指南，以及已知问题、限制和BUG修复等重要细节。这份详尽的指南是新用户快速入门Linux内核的绝佳起点。

       通过深入研究这些目录，开发者和爱好者可以更全面地理解Linux内核的运作机制，从而更好地开发、维护和优化这个强大的操作系统。[原文链接已移除，以保护版权]

通过do_execve源码分析程序的执行（上）（基于linux0.）

       execve函数是操作系统的关键功能，它允许程序转变为进程。本文通过剖析do_execve源码，揭示程序转变成进程的机制。do_execve被视为系统调用，其运行过程在前文已有详细解析，此处不再赘述。分析将从sys_execve函数开启。

       在执行_do_execve前，先审视内核栈。接下来，我们将深入理解do_execve的实现。

       在加载可执行文件时，存在两种情况：编译后的二进制文件与脚本文件。脚本文件需加载对应解释器，本文仅探讨编译后的二进制文件。解析流程如下：首先验证文件可执行性和当前进程权限，通过后，仅加载头部数据，具体代码在真正运行时通过缺页中断加载。然后，申请物理内存并存储环境变量和参数，该步骤在copy_string函数中实现。

       完成上述步骤后，内核栈结构发生变化。接着，执行代码释放原进程页目录和页表项信息，解除物理地址映射，这些信息通过fork继承。随后，调用change_ldt函数设置代码段、数据段基地址和限长，其中数据段限长为MB，代码段限长根据执行文件头部信息确定。完成物理地址映射后，内存布局随之调整。

       紧接着，通过create_tables函数分配执行环境变量和参数的数组。执行完毕后，内存布局进一步调整。最后，设置栈、堆位置，以及eip为执行文件头部指定值，esp为当前栈位置，至此，可执行文件加载阶段完成。下文将探讨执行第一条指令后的后续步骤。

Linux内核源码分析：Linux进程描述符task_ struct结构体详解

       Linux内核通过一个task_struct结构体来管理进程，这个结构体包含了一个进程所需的所有信息。它定义在include/linux/sched.h文件中，包含许多字段，其中state字段表示进程的当前状态。常见的状态包括运行、阻塞、等待信号、终止等。进程状态的切换和原因可通过内核函数进行操作。PID是系统用来唯一标识正在运行的每个进程的数字标识，tgid成员表示线程组中所有线程共享的PID。进程内核栈用于保存进程在内核态执行时的临时数据和上下文信息，通常为几千字节。内核将thread_info结构与内核态线程堆栈结合在一起，占据连续的两个页框，以便于访问线程描述符和栈。获取当前运行进程的thread_info可通过esp栈指针实现。thread_info结构包含task字段，指向进程控制块（task_struct）。task_struct结构体的flags字段用于记录进程标记或状态信息，如创建、超级用户、核心转储、信号处理、退出等。而real_parent和parent成员表示进程的亲属关系，用于查找和处理进程树中的亲属关系。