Linux進程模型總結


 來源於網絡 原創不詳


Linux進程通過一個task_struct結構體描述,在linux/sched.h中定義,通過理解該結構,可更清楚的理解linux進程模型。       包含進程所有信息的task_struct數據結構是比較龐大的,但是該數據結構本身並不復雜,我們將它的所有域按其功能可做如下划分:

  • 進程狀態(State)
  • 進程調度信息(Scheduling Information)
  • 各種標識符(Identifiers)
  • 進程通信有關信息(IPC:Inter_Process Communication)
  • 時間和定時器信息(Times and Timers)
  • 進程鏈接信息(Links)
  • 文件系統信息(File System)
  • 虛擬內存信息(Virtual Memory)
  • 頁面管理信息(page)
  • 對稱多處理器(SMP)信息
  • 和處理器相關的環境(上下文)信息(Processor Specific Context)
  • 其它信息

 1. 進程狀態(State

進程執行時,它會根據具體情況改變狀態。進程狀態是調度和對換的依據。Linux中的進程主要有如下狀態,如表1所示。

 

表3.1  Linux進程的狀態

內核表示

含義

TASK_RUNNING

可運行

TASK_INTERRUPTIBLE

可中斷的等待狀態

TASK_UNINTERRUPTIBLE

不可中斷的等待狀態

TASK_ZOMBIE

僵死

TASK_STOPPED

暫停

TASK_SWAPPING

換入/換出

 

1).可運行狀態:處於這種狀態的進程,要么正在運行、要么正准備運行。正在運行的進程就是當前進程(由current所指向的進程),而准備運行的進程只要得到CPU就可以立即投入運行,CPU是這些進程唯一等待的系統資源。

2).等待狀態:處於該狀態的進程正在等待某個事件(event)或某個資源,它肯定位於系統中的某個等待隊列(wait_queue)中。

3).暫停狀態:此時的進程暫時停止運行來接受某種特殊處理。通常當進程接收到SIGSTOP、SIGTSTP、SIGTTIN或 SIGTTOU信號后就處於這種狀態。例如,正接受調試的進程就處於這種狀態。

4).僵死狀態:進程雖然已經終止,但由於某種原因,父進程還沒有執行wait()系統調用,終止進程的信息也還沒有回收。顧名思義,處於該狀態的進程就是死進程,這種進程實際上是系統中的垃圾,必須進行相應處理以釋放其占用的資源。

進程狀態轉換如下圖:

2.進程調度信息

    調度程序利用這部分信息決定系統中哪個進程最應該運行,並結合進程的狀態信息保證系統運轉的公平和高效。這一部分信息通常包括進程的類別(普通進程還是實時進程)、進程的優先級等。表2描述了跟進程調度有關的字段,表3.3說明了幾種常用的進程調度算法及這些算法的使用范圍,如先來先服務主要用於實時進程的調度。

表2 進程調度信息

域名

含義

need_resched

調度標志

Nice

靜態優先級

Counter

動態優先級

Policy

調度策略

rt_priority

實時優先級

 

表3  進程調度的策略

名稱

解釋

適用范圍

SCHED_OTHER

其他調度

普通進程

SCHED_FIFO

先來先服務調度

實時進程

SCHED_RR

時間片輪轉調度

 

只有root用戶能通過sched_setscheduler()系統調用來改變調度策略。

 

3.標識符(Identifiers

   每個進程有進程標識符、用戶標識符、組標識符,如表4所示。

   不管對內核還是普通用戶來說,怎么用一種簡單的方式識別不同的進程呢?這就引入了進程標識符(PID:process identifier),每個進程都有一個唯一的標識符,內核通過這個標識符來識別不同的進程,同時,進程標識符PID也是內核提供給用戶程序的接口,用戶程序通過PID對進程發號施令。PID是32位的無符號整數,它被順序編號:新創建進程的PID通常是前一個進程的PID加1。然而,為了與16位硬件平台的傳統Linux系統保持兼容,在Linux上允許的最大PID號是32767,當內核在系統中創建第32768個進程時,就必須重新開始使用已閑置的PID號。

表4 各種標識符

域名

含義

Pid

進程標識符

Uid、gid

用戶標識符、組標識符

Euid、egid

有效用戶標識符、有效組標識符

Suid、sgid

備份用戶標識符、備份組標識符

Fsuid、fsgid

文件系統用戶標識符、文件系統組標識符

 

4.進程通信有關信息(IPCInter_Process Communication

    為了使進程能在同一項任務上協調工作,進程之間必須能進行通信即交流數據。

    Linux支持多種不同形式的通信機制。它支持典型的Unix 通信機制(IPC Mechanisms):信號(Signals)、管道(Pipes),也支持System V 通信機制:共享內存(Shared Memory)、信號量和消息隊列(Message Queues),如表5

表5 進程通信有關信息

域名

含義

Spinlock_t sigmask_lock

信號掩碼的自旋鎖

Long blocked

信號掩碼

Struct signal  *sig

信號處理函數

Struct sem_undo *semundo

為避免死鎖而在信號量上設置的取消操作

Struct sem_queue *semsleeping

與信號量操作相關的等待隊列

 

 

5.進程鏈接信息(Links)

    程序創建的進程具有父/子關系。因為一個進程能創建幾個子進程,而子進程之間有兄弟關系,在task_struct結構中有幾個域來表示這種關系

    在Linux系統中,除了初始化進程init,其他進程都有一個父進程(parent process)或稱為雙親進程。可以通過fork()或clone()系統調用來創建子進程,除了進程標識符(PID)等必要的信息外,子進程的task_struct結構中的絕大部分的信息都是從父進程中拷貝,或說“克隆”過來的。系統有必要記錄這種“親屬”關系,使進程之間的協作更加方便,例如父進程給子進程發送殺死(kill)信號、父子進程通信等,就可以用這種關系很方便地實現。

    每個進程的task_struct結構有許多指針,通過這些指針,系統中所有進程的task_struct結構就構成了一棵進程樹,這棵進程樹的根就是初始化進程init的task_struct結構(init進程是Linux內核建立起來后人為創建的一個進程,是所有進程的祖先進程)。表6是進程所有的鏈接信息。

表6 進程鏈接信息

名稱

解釋 [指向哪個進程]

p_opptr

祖先

p_pptr

父進程

p_cptr

子進程

p_ysptr

弟進程

p_osptr

兄進程

Pidhash_next、

Pidhash_pprev

進程在哈希表中的鏈接

Next_task、

prev_task

進程在雙向循環鏈表中的鏈接

Run_list

運行隊列的鏈表

 

6.時間和定時器信息(Times and Timers)

    一個進程從創建到終止叫做該進程的生存期(lifetime)。進程在其生存期內使用CPU的時間,內核都要進行記錄,以便進行統計、計費等有關操作。進程耗費CPU的時間由兩部分組成:一是在用戶模式(或稱為用戶態)下耗費的時間、一是在系統模式(或稱為系統態)下耗費的時間。每個時鍾滴答,也就是每個時鍾中斷,內核都要更新當前進程耗費CPU的時間信息。

    表7是和時間有關的域,上面所說的counter是指進程剩余的CPU時間片,也和時間有關,所以這里我們再次提及它。表8是進程的所有定時器。

 

表7與時間有關的域

域名

含義

Start_time

進程創建時間

Per_cpu_utime

進程在某個CPU上運行時在用戶態下耗費的時間

Per_cpu_stime

進程在某個CPU上運行時在系統態下耗費的時間

Counter

進程剩余的時間片

 

表8  進程的所有定時器

 

定時器類型

解釋

什么時候更新

用來表示此種定時器的域

ITIMER_REAL

實時定時器

實時更新,即不論該進程是否運行

it_real_value

it_real_incr

real_timer

ITIMER_VIRTUAL

虛擬定時器

只在進程運行於用戶態時更新

it_virt_value

it_virt_incr

ITIMER_PROF

概況定時器

進程運行於用戶態和系統態時更新

it_prof_value

it_prof_incr

 

7.文件系統信息(File System)

   進程可以打開或關閉文件,文件屬於系統資源,Linux內核要對進程使用文件的情況進行記錄task_struct結構中有兩個數據結構用於描述進程與文件相關的信息。其中,fs_struct中描述了兩個VFS索引節點(VFS inode),這兩個索引節點叫做rootpwd,分別指向進程的可執行映象所對應的根目錄(home directory)和當前目錄或工作目錄file_struct結構用來記錄了進程打開的文件的描述符(descriptor。如表9所示。

表9  與文件系統相關的域

定義形式

解釋

Sruct fs_struct *fs

進程的可執行映象所在的文件系統

Struct files_struct *files

進程打開的文件

    在文件系統中,每個VFS索引節點唯一描述一個文件或目錄,同時該節點也是向更低層的文件系統提供的統一的接口。

 

8.虛擬內存信息(Virtual Memory)

   除了內核線程(kernel thread),每個進程都擁有自己的地址空間(也叫虛擬空間),用mm_struct來描述。另外Linux2.4還引入了另外一個域active_mm,這是為內核線程而引入。因為內核線程沒有自己的地址空間,為了讓內核線程與普通進程具有統一的上下文切換方式,當內核線程進行上下文切換時,讓切換進來的線程的active_mm指向剛被調度出去的進程的active_mm(如果進程的mm域不為空,則其active_mm域與mm域相同)。內存信息如表10所示

表10   虛擬內存描述信息

定義形式

解釋

Struct mm_struct *mm

描述進程的地址空間

Struct mm_struct *active_mm

內核線程所借用的地址空間

 

9.頁面管理信息

   當物理內存不足時,Linux內存管理子系統需要把內存中的部分頁面交換到外存,其交換是以頁為單位的。有關頁面的描述信息如表11。

表11 頁面管理信息

  定義形式

解釋

Int swappable

進程占用的內存頁面是否可換出

Unsigned long min_flat,

maj_flt,nswap

進程累計的次(minor)缺頁次數、

主(major)次數及累計換出、換入頁面數

Unsigned long cmin_flat,

cmaj_flt,cnswap

本進程作為祖先進程,其所有層次子進程的累計的次(minor)缺頁次數、主(major)次數及累計換出、換入頁面數

 

10.進程內核棧及current

    在Linux-2.6內核中堆棧這么定義:

union thread_union {
     struct thread_info thread_info;
     unsigned long stack[THREAD_SIZE/sizeof(long)];
};     

     根據內核的配置,THREAD_SIZE既可以是4K字節(1個頁面)也可以是8K字節(2個頁面)。thread_info是52個字節長。下圖是當設為8KB時候的內核堆棧:Thread_info在這個內存區的開始處,內核堆棧從末端向下增長。進程描述符不是在這個內存區中,而分別通過task與thread_info指針使thread_info與進程描述符互聯。所以獲得當前進程描述符的current定義如下: 

#define current get_current()
static inline struct task_struct * get_current(void)
{
      return current_thread_info()->task;
}
static inline struct thread_info *current_thread_info(void)
{
       struct thread_info *ti;
       __asm__("andl %%esp,%0; ":"=r" (ti) : "" (~(THREAD_SIZE - 1)));
       return ti;
}

根據THREAD_SIZE大小,分別屏蔽掉內核棧的12-bit LSB(4K)13-bit LSB(8K),從而獲得內核棧的起始位置,及當前進程描述符的指針。

 

 

 

 


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM