linux0.11---fork.c函數(shù)分析

1 功能描述 
  fork()系統(tǒng)調用用于創(chuàng)建子進程，Linux中所有的進程都是進程0的子進程。

    copy_process()函數(shù)用于創(chuàng)建并復制進程代碼段和數(shù)據(jù)段以及環(huán)境，在進程復制的過程中，工作主要牽涉到進程數(shù)據(jù)結構中信息的設置。
    系統(tǒng)首先為新建進程在主內存區(qū)申請一頁內存來存放任務數(shù)據(jù)結構信息，并復制當前進程任務數(shù)據(jù)結構中的所有內容作為新進程任務數(shù)據(jù)結構的模板。
    隨后對已經復制的任務數(shù)據(jù)結構內容進行修改。把當前進程設置為新進程的父進程，清除信號位圖并復位新進程的各個統(tǒng)計值。接著根據(jù)當前進程環(huán)境設置新進程任務狀態(tài)段TSS中各個寄存器的值，新建進程內核態(tài)堆棧指針tss.esp0被設置成為任務數(shù)據(jù)結構所在內存頁面的頂端，而tss.ss0被設置為內核數(shù)據(jù)段選擇符。
  每當任務進入內核態(tài)運行的時候，其內核態(tài)堆棧指針初始位置不變，均為任務數(shù)據(jù)所在頁面的頂端。

  2源代碼分析

   

 #include <errno.h>
#include <linux/sched.h>
#include <linux/kernel.h>
#include <asm/segment.h>
#include <asm/system.h>

extern void write_verify(unsigned long address) ;
long last_pid = 0; //最新進程號，其值會由get_empty_process生成
void verify_area(void * addr ,  int size)
{
   unsigned long start ;
   start = (unsigned long) addr ;
   size += start & 0xfff ;
   start &= 0xfffff000 ;
   start += get_base(current->ldt[2]) ;
   while(size > 0){
     size -= 4096 ;  
     write_verify(start) ;
     start += 4096 ;
   }
}

//該函數(shù)為新的進程在線性地址空間中設置新的代碼段和數(shù)據(jù)段基地址和限長
int copy_mem(int nr , struct task_struct * p)
{
   unsigned long old_data_base , new_data_base , data_limit ;
   unsigned long old_code_base , new_code_base , code_limit ;
   code_limit = get_limit(0x0f) ;
   data_limit = get_limit(0x17) ;
   old_code_base = get_base(current->ldt[1]) ;
   old_data_base = get_base(current->ldt[2]) ;
   if(old_code_base != old_data_base)
     panic("We donot support seperate ID") ;
   if(data_limit < code_limit) 
     panic("Bad data_limit") ;

   new_data_base = new_code_base = nr * 0x4000000 ; //nr * 64MB
   p->start_code = new_code_base ;
   set_base(p->ldt[1] , new_code_base) ;
   set_base(p->ldt[2] , new_data_base) ;
   if(copy_page_tables(old_data_base , new_data_base , data_limit))
    {
      free_page_tables(new_data_base , data_limit) ;
      return -ENOMEM ;

    }
    return 0 ;   
}

//下面是主要的fork程序，負責復制系統(tǒng)進程信息
//并且設置必要的寄存器，還整個地復制數(shù)據(jù)段

int copy_process(int nr , long ebp , long edi , long esi , long gs , long none ,
 long ebx , long ecx , long edx , long fs , long es , long ds , long eip ,
long cs , long eflags , long esp , long ss)
{
  struct task_struct * p ;
  int i ;
  struct file * f ;
  p = (struct task_struct *) get_free_page() ;
  if(!p)
    return -EAGAIN ;
  task[nr] = p ;       
  *p = * current ; //并不是指針的賦值 ，而是直接申請了一個空間 
  //下面開始修改任務數(shù)據(jù)結構的值
  p->state = TASK_UNINTERRUPTIBLE ; 
  p->pid = last_pid ;
  p->father = current->pid ;
  p->counter = p->priority ;//設置時間片
  p->signal = 0 ;   //信號位圖置0
  p->alarm = 0 ; //報警定時器值
  p->leader = 0 ;//進程的領導權
  p->utime = p->stime = 0 ; //用戶態(tài)號和心態(tài)的運行時間
  p->cutime = p->cstime = 0 ;//子進程用戶態(tài)和和核心態(tài)的運行時間  
  p->start_time = jiffies ; //進程當前的運行時間
  

  p->tss.back_link = 0  ;
  p->tss.esp0 = PAGE_SIZE + (long) p ; //任務內核態(tài)棧指針
  p->tss.ss0 = 0x10 ;       //內核態(tài)的段選擇符，與數(shù)據(jù)段選擇符相同
  p->tss.eip = eip  ;
  p->tss.eflags = eflags ; 
  p->tss.eax = 0 ; //這是當fork()調用返回時 新進程會返回0的原因
  p->tss.ecx = ecx ;
  p->tss.edx = edx ;
  p->tss.ebx = ebx ; 
  p->tss.esp = esp ;
  p->tss.ebp = ebp ;
  p->tss.esi = esi ;
  p->tss.edi = edi ;
  p->tss.es = es & 0xffff ;
  p->tss.cs = cs & 0xffff ;
  p->tss.ss = ss & 0xffff ;
  p->tss.ds = ds & 0xffff ;
  p->tss.fs = fs & 0xffff ;
  p->tss.gs = gs & 0xffff ;
  p->tss.ldt = _LDT(nr) ;  
  p->tss.trace_bitmap = 0x80000000 ;
  

  if(last_task_used_math == current)
   __asm__("clts ; fnsave %0" ::"m"(p->tss.i387)) ;
  //接下來復制進程頁表，即在線性地址空間設置新任務代碼段和數(shù)據(jù)段描述符中的基地址和限長，并復制頁表。  
  if(copy_mem(nr , p)){
    task[nr] = NULL ;
    free_page((long)p) ;
    return -EAGAIN ;
  }

  //如果父進程中有些文件是打開的，則將對應文件的打開次數(shù)加1 ,因為子進程會共享父進程打開的這些文件
  for(i = 0 ; i < NR_OPEN ; i++)  
    if(f = p->filp[i])
     f->f_count++ ;
  if(current->pwd)
     current->pwd->i_count++ ;
  if(current->root)
    current->root->i_count++ ;
  if(current->executable)
    current->executable->i_count++ ;

  //最后在GDT表中設置新任務TSS段和LDT段描述符
  set_tss_desc(gdt + (nr<<1) + FIRST_TSS_ENTRY , &(p->tss)) ;
  set_ldt_desc(gdt + (nr<<1) + FIRST_LDT_ENTRY , &(p->ldt)) ;
  p->state = TASK_RUNNING ;  
   
  return last_pid ;
}

//為新進程取得不重復的進程號last_pid ,函數(shù)返回在任務數(shù)組中的任務號
 int find_empty_process(void)
{
  int i ; 
  repeat:
    if((++last_pid) < 0) last_pid = 1 ;
    for(i = 0 ; i < NR_TASKS ; i++)
       if(task[i] && task[i]->pid == last_pid)
           goto repeat ;

    for(i = 1 ; i < NR_TASKS ; i++)  
       if(!task[i])
          return i ;

    return -EAGAIN ; 
}

  

posted on 2010-11-08 19:48 kahn 閱讀(1042) 評論(0)  編輯 收藏 引用