Linux内核分析之进程地址空间

allcan 2011-12-29

本文主要介绍linux内核中进程地址空间的数据结构描述，包括mm_struct/vm_area_struct。进程线性地址区间的分配流程，并对相应的源代码做了注释。 

内核中的函数以相当直接了当的方式获得动态内存。当给用户态进程分配内存时，情况完全不同了。进程对动态内存的请求被认为是不紧迫的，一般来说，内核总是尽量推迟给用户态进程分配内存。由于用户进程时不可信任的，因此，内核必须能随时准备捕获用户态进程引起的所有寻址错误。当用户态进程请求动态内存时，并没有获得请求的页框，而仅仅获得对一个新的线性地址区间的使用权，而这一线性地址区间就成为进程地址空间的一部分。

进程地址空间由允许进程使用的全部线性地址组成。内核可以通过增加或删除某些线程地址区间来动态地修改进程的地址空间。内核通过所谓线性去得资源来标示线性地址区间，线性区是由起始线性地址、长度和一些访问权限来描述的。进程获得新线性区的一些典型情况：

1.但用户在控制台输入一条命令时，shell进程创建一个新的进程去执行这个命令。结果是，一个全新的地址空间（也就是一组线性区）分配给新进程。

2.正在运行的进程有可能决定装入一个完全不同的程序。这时，进程描述符不变，可是在装入这个程序以前所有的线性区却被释放，并有一组新的线性区被分配给这个进程。

3.正在运行的进程可能对一个文件执行内存映像。

4.进程可能持续向他的用户态堆栈增加数据，知道映像这个堆栈的线性区用完为止，此时，内核也许会决定扩展这个线性区的大小。

5.进程可能创建一个IPC共享线性区来与其他合作进程共享数据。此时，内核给这个进程分配一个新的线性区以实现这个方案。

6.进程可能通过调用类似malloc这样的函数扩展自己的动态堆。结果是，内核可能决定扩展给这个堆所分配的线性区。

数据结构描述

进程描述符task_struct中的mm字段描述了进程地址空间

  1. struct mm_struct {  
  2.     struct vm_area_struct * mmap;       /* list of VMAs */  
  3.     struct rb_root mm_rb;  
  4.     struct vm_area_struct * mmap_cache; /* last find_vma result */  
  5.     unsigned long (*get_unmapped_area) (struct file *filp,  
  6.                 unsigned long addr, unsigned long len,  
  7.                 unsigned long pgoff, unsigned long flags);  
  8.     void (*unmap_area) (struct mm_struct *mm, unsigned long addr);  
  9.     unsigned long mmap_base;        /* base of mmap area */  
  10.     unsigned long task_size;        /* size of task vm space */  
  11.     unsigned long cached_hole_size;     /* if non-zero, the largest hole below free_area_cache */  
  12.     unsigned long free_area_cache;      /* first hole of size cached_hole_size or larger */  
  13.     pgd_t * pgd;  
  14.     atomic_t mm_users;          /* How many users with user space? */  
  15.     atomic_t mm_count;          /* How many references to "struct mm_struct" (users count as 1) */  
  16.     int map_count;              /* number of VMAs */  
  17.     struct rw_semaphore mmap_sem;  
  18.     spinlock_t page_table_lock;     /* Protects page tables and some counters */  
  19.   
  20.     struct list_head mmlist;        /* List of maybe swapped mm's.  These are globally strung 
  21.                          * together off init_mm.mmlist, and are protected 
  22.                          * by mmlist_lock 
  23.                          */  
  24.   
  25.     /* Special counters, in some configurations protected by the 
  26.      * page_table_lock, in other configurations by being atomic. 
  27.      */  
  28.     mm_counter_t _file_rss;  
  29.     mm_counter_t _anon_rss;  
  30.   
  31.     unsigned long hiwater_rss;  /* High-watermark of RSS usage */  
  32.     unsigned long hiwater_vm;   /* High-water virtual memory usage */  
  33.   
  34.     unsigned long total_vm, locked_vm, shared_vm, exec_vm;  
  35.     unsigned long stack_vm, reserved_vm, def_flags, nr_ptes;  
  36.     unsigned long start_code, end_code, start_data, end_data;  
  37.     unsigned long start_brk, brk, start_stack;  
  38.     unsigned long arg_start, arg_end, env_start, env_end;  
  39.   
  40.     unsigned long saved_auxv[AT_VECTOR_SIZE]; /* for /proc/PID/auxv */  
  41.   
  42.     struct linux_binfmt *binfmt;  
  43.   
  44.     cpumask_t cpu_vm_mask;/*用于懒惰TLB交换的位掩码*/  
  45.   
  46.     /* Architecture-specific MM context */  
  47.     mm_context_t context;  
  48.   
  49.     /* Swap token stuff */  
  50.     /* 
  51.      * Last value of global fault stamp as seen by this process. 
  52.      * In other words, this value gives an indication of how long 
  53.      * it has been since this task got the token. 
  54.      * Look at mm/thrash.c 
  55.      */  
  56.     unsigned int faultstamp;  
  57.     unsigned int token_priority;  
  58.     unsigned int last_interval;  
  59.   
  60.     unsigned long flags; /* Must use atomic bitops to access the bits */  
  61.   
  62.     struct core_state *core_state; /* coredumping support */  
  63. #ifdef CONFIG_AIO   
  64.     spinlock_t      ioctx_lock;  
  65.     struct hlist_head   ioctx_list;/*一步IO上下文链表*/  
  66. #endif   
  67. #ifdef CONFIG_MM_OWNER   
  68.     /* 
  69.      * "owner" points to a task that is regarded as the canonical 
  70.      * user/owner of this mm. All of the following must be true in 
  71.      * order for it to be changed: 
  72.      * 
  73.      * current == mm->owner 
  74.      * current->mm != mm 
  75.      * new_owner->mm == mm 
  76.      * new_owner->alloc_lock is held 
  77.      */  
  78.     struct task_struct *owner;  
  79. #endif   
  80.   
  81. #ifdef CONFIG_PROC_FS   
  82.     /* store ref to file /proc/<pid>/exe symlink points to */  
  83.     struct file *exe_file;  
  84.     unsigned long num_exe_file_vmas;  
  85. #endif   
  86. #ifdef CONFIG_MMU_NOTIFIER   
  87.     struct mmu_notifier_mm *mmu_notifier_mm;  
  88. #endif   
  89. };  
allcan

allcan

相关推荐

机器学习9 主成分分析

去除不相关的特征，可以降低学习任务的难度，只留下关键特征，往往可以更容易看清真相。从原始的空间中顺序地找一组相互正交的坐标轴，新的坐标轴的选择与数据本身是密切相关的。由于我们一般不会直接使用原始数据，所以就要进行特征选择；特征选择就是从多个特征中选择部分特

卖小孩的咖啡 / 0评论 2020-05-01

分析mysql索引信息及空间占用

TheWHEREclause can be given to select rows using more general conditions, as discussed inSection25.49, “Extensions to SHOW State

BiPerler / 0评论 2020-04-09

Solr空间索引原理及源码分析

看不到图片的可到我的github博客上看。solr空间索引主要有两类GeohashPrefixTree与QuadPrefixTree。分层其实取的就是前缀。应该是4.3开始作者按照quad优化了geohash。由于两种方法的大致思想一致，所以下文重点介绍g

TyCoding / 0评论 2013-12-30

OOA/OOD

　　“做什么”和“怎么做”，一句传统的经典的话：分析只解决系统“做什么”的问题，不涉及“怎么做”；设计解决“怎么做”的问题。也描述为“分析是针对问题空间的，设计是针对解空间的”等。一个优秀的OOD的输出，对于OOP来说非常地便捷，工作也非常清晰。　　我们的

tonybest / 0评论 2010-05-26

C++ const 分析

const 局部变量是在栈上分配空间，可以通过指针改变这个空间里面的值。过了编译期，const变量的常量特性，只读特性就没有了，只读特性只在编译期有效，运行期根本无效。const修饰的全局变量在只读存储区分配空间，因此如果用指针去修改了const修饰的全局

hellokobe / 0评论 2019-06-28

外贸企业如何做好网站优化？

如今，有些外贸网商已经觉察到网络时代的来临，纷纷利用网络推广将企业信息传递到全球，那么，对于外贸企业网站来说，该如何做好网站的优化推广呢？下面小编就给大家带来外贸企业做好网站优化的方法，一起来看看吧。分析相关行业的市场对于外贸网站优化是很重要的。一般网站都

陈玉丹 / 0评论 2016-05-19

Android 核心分析 之五 -----基本空间划分

基本空间划分Google给了我们一张系统架构图，在这张图上我们可以看到Android的大体框架组成。Android应用的开发者是工作在Android外特性概念空间的，这里没有了Linux的一点气息，Android构建的外特性空间概念包含了：Activity

chadeltu / 0评论 2011-12-29

数据结构——排序（空间复杂度、时间复杂度、性能等分析）

最坏O，初始为逆序，总比较次数达到最大∑i=2n i，总的移动次数达到最大∑i=2n （i+1）。65,33，17,9,5,3,1，其中k为大于1的整数，2k+1&lt;n,增量序列末尾的1是额外添加的，此时时间复杂度为O. 最坏O，初始序列基本有

RobinHu / 0评论 2018-11-25

Docker 空间使用分析与清理

用户在使用 Docker 部署业务一段时间后，可能会发现宿主节点的磁盘容量持续增长，甚至将磁盘空间耗尽进而引发宿主机异常，进而对业务造成影响。本文先对 Docker 的空间分析与清理进行说明，然后对容器的磁盘容量限制与使用建议做简要说明。典型问题场景用户发

七夕小子 / 0评论 2017-11-25

详解linux内核分析--linux体系结构和内核源码介绍

概述前段时间朋友让整理linux内核这一块的内容，抽空整理了下linux内核方面，主要从linux体系结构和linux内核源码两个方面来做介绍。与平台无关的在include/linux子目录下，与平台相关的则放在include相应的子目录中。f) kern

wpxiaoaojianghu / 0评论 2019-03-14

Python基础教程之内置函数locals()和globals()用法分析

本文实例讲述了Python基础教程之内置函数locals()和globals()用法。分享给大家供大家参考，具体如下：。python 使用叫做名字空间的东西来记录变量的轨迹。在一个 Python 程序中的任何一个地方，都存在几个可用的名字空间。如果模块定义

CloudStrife0 / 0评论 2018-03-16

JVM内存堆布局图解分析

JAVA能够实现跨平台的一个根本原因，是定义了class文件的格式标准,凡是实现该标准的JVM都能够加载并解释该class文件，据此也可以知道，为啥Java语言的执行速度比C/C++语言执行的速度要慢了,当然原因肯定不止这一个，如在JVM中没有数据寄存器，

DustinR / 0评论 2015-07-23

Linux 内核空间与用户空间实现与分析

本文以 32 位系统为例介绍内核空间和用户空间。也就是说一个进程的最大地址空间为 4G。为了保证内核的安全，现在的操作系统一般都强制用户进程不能直接操作内核。具体的实现方式基本都是由操作系统将虚拟地址空间划分为两部分，一部分为内核空间，另一部分为用户空间。

lsgsunny / 0评论 2018-02-24

C# Hashtable对象分析

C#语言有很多值得学习的地方，这里我们主要介绍C# Hashtable对象，包括介绍两个object类型的对象:_processStart、_processEnd等方面。程序中声明了一个Hashtable类型的对象:_eventList，每一个Class1

ericwuhk / 0评论 2009-08-26

MySQL数据库char与varchar的区别分析及使用建议

在数据库中，字符 型的数据是最多的，可以占到整个数据库的80%以上。为此正确处理字符型的数据，对于提高数据库的性能有很大的作用。在字符型数据中，用的最多的就是 Char与Varchar两种类型。前面的是固定长度，而后面的是可变长度。现在我们需要考虑的是，在

spurity / 0评论 2019-04-09

【转】空间分析的三个传统：从三份讣告谈起

空间分析的三个传统：从三份讣告谈起河海大学 张晓祥[email protected]年11月于美国凤凰城。Charles ReVelle教授Walter Isard教授Reginald Golledge教授。中国作为后发国家，过去我们一直强调

BitTigerio / 0评论 2018-02-24

【转】空间分析的三个传统：从三份讣告谈起

空间分析的三个传统：从三份讣告谈起河海大学 张晓祥[email protected]年11月于美国凤凰城。Charles ReVelle教授Walter Isard教授Reginald Golledge教授。中国作为后发国家，过去我们一直强调

BitTigerio / 0评论 2018-02-24