xv6(RISC-V)操作系统源码分析第七节——进程的调度与交互

一、调度的必要性

任何操作系统运行的进程数量都可能超过计算机的CPU数量,因此必须制定一个方案,使各进程能够分时共享CPU。这就涉及到进程的切换,这种切换就是调度。调度的目的是实现多路复用。

二、实现多路复用的注意点

多路复用是一个具有挑战性的机制。xv6采用下面技术来实现多路复用:

  • 上下文切换可以实现多路复用,但xv6中的上下文切换是最不透明的代码之一
  • xv6使用定时器中断来驱动上下文切换
  • 许多CPU会在进程间并发切换,锁可以用来避免竞争
  • 当进程退出时,必须释放进程的内存和其他资源,但进程本身不能完全释放掉所有资源,比如它不能在使用内核栈的同时释放内核栈
  • 多处理器计算机的每个CPU必须记住它正在执行的进程

三、何时调度

xv6仅在下面两种情况下会发生调度:

  • 当一个进程等待设备或管道I/O,或在sleep系统调用中等待
  • 定时器中断引起的调度

四、与进程切换有关的数据结构

xv6运行在多核处理器上,并且一个核可并发运行多个进程,为了实现进程调度等功能,我们需要数据结构来标识不同的核与不同的进程。

(一)cpu

struct cpu {
  struct proc *proc;          // The process running on this cpu, or null.
  struct context context;     // swtch() here to enter scheduler().
  int noff;                   // Depth of push_off() nesting.
  int intena;                 // Were interrupts enabled before push_off()?
};

xv6为每个CPU都维护了一个cpu结构体,它详细记录了该CPU的对xv6有用的信息。每个CPU都有一个编号——hartid,该编号保存在每个CPU的mhartid寄存器中。xv6可以通过该编号来索引分辨不同的CPU。

这里值得注意的是,如果想获得当前CPU的信息,但是这时发生了定时器中断,可能当前的执行的CPU会变成其他的CPU,那么获得的CPU信息就有误,为了保证正确性,会在读CPU信息前关闭定时器中断,读完后才会打开。

(二)process

struct proc {
  struct spinlock lock;

  // p->lock must be held when using these:
  enum procstate state;        // Process state
  void *chan;                  // If non-zero, sleeping on chan
  int killed;                  // If non-zero, have been killed
  int xstate;                  // Exit status to be returned to parent's wait
  int pid;                     // Process ID

  // wait_lock must be held when using this:
  struct proc *parent;         // Parent process

  // these are private to the process, so p->lock need not be held.
  uint64 kstack;               // Virtual address of kernel stack
  uint64 sz;                   // Size of process memory (bytes)
  pagetable_t pagetable;       // User page table
  struct trapframe *trapframe; // data page for trampoline.S
  struct context context;      // swtch() here to run process
  struct file *ofile[NOFILE];  // Open files
  struct inode *cwd;           // Current directory
  char name[16];               // Process name (debugging)
};

它的设计理念与注意事项同cpu。

五、上下文切换

上下文切换可以简单地理解为在调度前保护现场或恢复现场(保护或恢复CPU中的寄存器组),而xv6中的上下文特指以下寄存器:

  • ra
  • sp
  • s0
  • s1
  • s2
  • s3
  • s4
  • s5
  • s6
  • s7
  • s8
  • s9
  • s10
  • s11

函数swtch(使用汇编语言编写)负责内核线程切换的保护和恢复。它有两个参数第一个参数是old context,第二个参数是new context,它会将当前寄存器保存至old context中,而从new中加载寄存器并返回。

void            swtch(struct context*, struct context*);

swtch不直接知道线程,只是保护和恢复寄存器组,该寄存器组称为上下文

.globl swtch
swtch:
        sd ra, 0(a0)
        sd sp, 8(a0)
        sd s0, 16(a0)
        sd s1, 24(a0)
        sd s2, 32(a0)
        sd s3, 40(a0)
        sd s4, 48(a0)
        sd s5, 56(a0)
        sd s6, 64(a0)
        sd s7, 72(a0)
        sd s8, 80(a0)
        sd s9, 88(a0)
        sd s10, 96(a0)
        sd s11, 104(a0)

        ld ra, 0(a1)
        ld sp, 8(a1)
        ld s0, 16(a1)
        ld s1, 24(a1)
        ld s2, 32(a1)
        ld s3, 40(a1)
        ld s4, 48(a1)
        ld s5, 56(a1)
        ld s6, 64(a1)
        ld s7, 72(a1)
        ld s8, 80(a1)
        ld s9, 88(a1)
        ld s10, 96(a1)
        ld s11, 104(a1)
        
        ret

当一个进程放弃CPU时,进程的内核线程会调用swtch保护自己的上下文并返回到调度器的上下文。

每个上下文都包含在一个结构体context中,而context又被包含于进程的结构体proc或CPU的结构体cpu中。

// Saved registers for kernel context switches.
struct context {
  uint64 ra;
  uint64 sp;

  // callee-saved
  uint64 s0;
  uint64 s1;
  uint64 s2;
  uint64 s3;
  uint64 s4;
  uint64 s5;
  uint64 s6;
  uint64 s7;
  uint64 s8;
  uint64 s9;
  uint64 s10;
  uint64 s11;
};

注意: swtch只保存callee-saved寄存器,而caller-saved寄存器由调用的C程序保存在堆栈上(若需要保存的话,这个需不需要取决于被调用者是否使用这些寄存器)。

callee-saved寄存器与caller-saved寄存器

callee-saved(被调用者保存)寄存器:又名非易失性寄存器AKA,用于保存每次调用过程中保留时间较长的值。当调用者进行过程调用时,希望这些寄存器在被调用者返回后将保持相同的值,这就使得被调用者必须在返回调用者前保存并恢复它们。

caller-saved(调用者保存)寄存器:又名易失性寄存器AKA,用于保存不需要在各个调用间保留较长时间的临时值。若要在调用后恢复这些值,那么调用者就必须保存这些值。

callee-saved寄存器与caller-saved寄存器的关键区别就在于谁保存寄存器的值。

下面通过一幅图直观地说明两者的区别:

当发生定时器中断时,usertrap调用yield,yield会调用sched,sched会调用swtch,如下:

swtch(&p->context, &mycpu()->context);

这条语句会将当前上下文保存至p->context(旧线程)中,然后切换到mycpu->context(调度器的上下文)。 

六、进程的切换

从一个用户进程切换到另一个用户进程涉及下面步骤(顺序):

  1. 通过系统调用或中断进入旧用户进程的内核线程
  2. 上下文切换到当前CPU调度器线程
  3. 上下文切换到新进程的内核线程
  4. 通过trap返回新用户进程

上面的过程可用下图表示。

xv6的调度器线程在每个CPU上都有一个专有的内核栈,因为从上面可以知道,调度器线程作为进程切换的中介。

总而言之,xv6的用户进程的切换不会是两个用户进程间的直接切换,而是采取用户进程①——CPU调度器线程——用户进程②这种方式实现的间接切换。

进程的切换涉及到yield、sched、swtch与scheduler这四个函数。下面我将按照进程切换的步骤依次讲解yield、sched与scheduler这三个函数。

(一)yield

当定时器中断被响应后,yield函数就会执行。

yield:

void yield(void)
{
  struct proc *p = myproc();
  acquire(&p->lock);
  p->state = RUNNABLE;
  sched();
  release(&p->lock);
}

yield名为放弃,即调用此函数的进程会放弃CPU,所以有了这句话:

p->state = RUNNABLE;

调用yield的进程的状态会被置为RUNNABLE(就绪状态),该状态意味着该进程没有在运行,但已经准备好去运行。

这时问题就来了,就目前而言,该进程正运行在当前进程的内核线程中。为了保证该进程不会被另一个CPU运行,我们在这里加了锁。这样一来,就不会出现该进程在两个CPU上运行的情况。

由于xv6是单线程,如果不加锁,另一个CPU也运行该进程,那么就会出现两个CPU在同一个栈上运行的情况。

然后就轮到sched函数了。

(二)sched

sched:

void sched(void)
{
  int intena;
  struct proc *p = myproc();

  if(!holding(&p->lock))
    panic("sched p->lock");
  if(mycpu()->noff != 1)
    panic("sched locks");
  if(p->state == RUNNING)
    panic("sched running");
  if(intr_get())
    panic("sched interruptible");

  intena = mycpu()->intena;
  swtch(&p->context, &mycpu()->context);
  mycpu()->intena = intena;
}

sched的主要作用就是检测当前要放弃CPU的进程是否存在问题,若没问题,就进行上下文切换

注意:这里探讨一下swtch函数保存的寄存器。

问题一:为什么swtch不保存PC寄存器?

答:因为PC会随着函数调用的更新,在进行函数调用与保存ra时,就已经决定了PC何时该是何值。

问题二:swtch下半段载入的新的ra值是什么?
swtch上半段保存的ra是为了函数调用返回时可以从调用处继续执行代码,它指向sched里面的语句。

swtch下半段载入的新ra的值是scheduler函数的入口地址,正因为如此,当swtch执行ret时,PC才会指向scheduler函数。

问题三:为什么swtch只保存部分寄存器?

swtch函数由C程序调用,由上面可知,寄存器按照保存方式分为两种——callee-saved寄存器与caller-saved寄存器。其中,caller-saved寄存器会被C编译器保存在当前栈上。因此,这部分寄存器不用swtch保存。同时,有些寄存器后面不会用,所以swtch保存的寄存器只可能是一部分。                        

(三)scheduler

scheduler:

void scheduler(void)
{
  struct proc *p;
  struct cpu *c = mycpu();
  
  c->proc = 0;
  for(;;){
    // Avoid deadlock by ensuring that devices can interrupt.
    intr_on();

    for(p = proc; p < &proc[NPROC]; p++) {
      acquire(&p->lock);
      if(p->state == RUNNABLE) {
        // Switch to chosen process.  It is the process's job
        // to release its lock and then reacquire it
        // before jumping back to us.
        p->state = RUNNING;
        c->proc = p;
        swtch(&c->context, &p->context);

        // Process is done running for now.
        // It should have changed its p->state before coming back.
        c->proc = 0;
      }
      release(&p->lock);
    }
  }
}

现在运行的程序是CPU调度器线程,具体的函数就是scheduler。

scheduler会找到一个就绪状态的线程,并更新该线程的状态为RUNNING,然后进行上下文切换。

上下文切换的目的仍然是两个——得到新线程的上下文与进入到新线程中执行。

现在,请读者想想,进行上下文切换后的ra中存储的地址指向哪里?

显然应该是指向sched函数中的语句,因为切换到的新线程必然是之前同样由于定时器中断处于就绪状态的线程。

现在程序会正常执行完毕sched与yield,只不过此时执行这些函数的不是以前的线程,而是新线程,或者说是之前由于定时器中断而被暂停的线程。

这是非常值得玩味的一点!!!

正因为如此,sched与scheduler这两个程序可以视作彼此的协程

这样一来,就完成了一次进程切换。

这里谈谈在进程切换过程中使用到的两次锁。

第一次使用锁是在yield函数中,这里使用锁的目的已经在(一)yield中说了。

第二次使用锁是在scheduler函数中,这里使用锁的目的是让以下代码段的执行原子化。

 if(p->state == RUNNABLE) {
        // Switch to chosen process.  It is the process's job
        // to release its lock and then reacquire it
        // before jumping back to us.
        p->state = RUNNING;
        c->proc = p;
        swtch(&c->context, &p->context);

        // Process is done running for now.
        // It should have changed its p->state before coming back.
        c->proc = 0;
      }

因为如果这里不加锁,那么此时可能会被定时器中断打断执行,结果显然是非常严重的。

但请注意,这里两次使用锁的情况有一点是与通常情况不同的,那就是锁的控制权进行了移交。

一般情况下,获得锁的线程需要释放锁,但这里旧线程(CPU调度器线程)获得锁后,却将锁的控制权移交给了CPU调度器线程(新线程)。原因上面已经解释了。同样地,我们也可以使用不变量的理论来解释它。我们将线程状态与上下文视作不变量,答案就显而易见。

 

 七、进程的交互

进程调度让一个进程对于另一个进程而言是透明的,但在有些情况下,我们需要进程间进行交互。即在一个进程中操纵本进程或其他进程的执行,典型的操纵机制就是睡眠(sleep)与唤醒(wakeup)机制。这个机制又被称为序列协调条件同步机制。我们通过下面的一个例子引出睡眠与唤醒机制

(一)为什么使用睡眠与唤醒机制

考虑一个信号量,它协调生产者与消费者。信号量维护一个计数并提供两个操作。V操作增加计数值(只有生产者拥有此操作),P操作减少计数值(只有消费者拥有此操作),考虑只有一个生产者和一个消费者。我们可以有下面代码:

struct semaphore
{
  struct spinlock lock;
  int count;
};

void V(struct semaphore *s)
{
  acquire(&s->lock);
  s->count += 1;
  release(&s->lock);
}

void P(struct semaphore *s)
{
  while (s->count == 0)
    ;
  acquire(&s->lock);
  s->count -= 1;
  release(&s->lock);
}

上面代码的问题就是,如果生产者很少生产,那么消费者会将大量时间浪费在等待的while循环上。因此我们考虑一种机制,这种机制使得当s为0时,消费者放弃CPU,并只有当s非0时,消费者才得到CPU。这便是睡眠与唤醒机制的思想。

我们修改代码如下:

void V(struct semaphore *s)
{
  acquire(&s->lock);
  s->count += 1;
  wakeup(s);			// 修改
  release(&s->lock);
}

void P(struct semaphore *s)
{
  while (s->count == 0)
    sleep(s);			// 修改
  acquire(&s->lock);
  s->count -= 1;
  release(&s->lock);
}

当s为0时,消费者就调用sleep放弃CPU,形象地说消费者睡在chan(管道)上,chan称为等待通道。而wakeup唤醒所有在chan上sleep的进程(前提是chan上有睡眠的进程)并让它们的sleep调用返回。如果没有进程在chan上,wakeup就不做任何事。

改进后的代码会提高效率,但仍然存在问题。考虑如下情况,当s为0且P恰好执行完毕while的条件判断语句:

s->count == 0

此时V又将s改为非0并调用wakeup,wakeup没有在chan上发现睡眠的进程,于是什么也不做。而P继续执行下面的语句:

sleep(s);

这时消费者睡眠,但s却非0。除法生产者再次调用V,否则消费者将永远毫无意义地等待。这便是丢失唤醒问题

从不变量理论的角度看,这个问题的根源是在错误时刻运行的V违反了P只在特定条件下睡眠的这个不变量,保护该不变量的方法是将更多的操作原子化,如下面的代码:
 

void
V(struct semaphore *s)
{
	acquire(&s->lock);
	s->count += 1;
	wakeup(s);
	release(&s->lock);
}

void
P(struct semaphore *s)
{
	acquire(&s->lock);		// 修改
	while(s->count == 0)
		sleep(s);
	s->count -= 1;
	release(&s->lock);
}

这虽然解决了丢失唤醒问题,但却引出新的问题。消费者睡眠后拥有着锁,这让生产者无法增加s,于是导致死锁。

所以,我们可以将锁引入到睡眠与唤醒机制中。如下修改代码:

void
P(struct semaphore *s)
{
	acquire(&s->lock);
	while(s->count == 0)
		sleep(s, &s->lock);	// 修改
	s->count -= 1;
	release(&s->lock);
}

修改sleep的接口,在调用sleep后,便会释放锁,而在wakeup唤醒睡眠进程后,sleep便会让被唤醒进程获得锁并返回,这就解决了死锁问题。

(二)具体实现

结合上面的分析,我们不难理解实现的原理。

1.sleep

void sleep(void *chan, struct spinlock *lk)
{
  struct proc *p = myproc();
  
  // Must acquire p->lock in order to
  // change p->state and then call sched.
  // Once we hold p->lock, we can be
  // guaranteed that we won't miss any wakeup
  // (wakeup locks p->lock),
  // so it's okay to release lk.

  acquire(&p->lock);  //DOC: sleeplock1
  release(lk);

  // Go to sleep.
  p->chan = chan;
  p->state = SLEEPING;

  sched();

  // Tidy up.
  p->chan = 0;

  // Reacquire original lock.
  release(&p->lock);
  acquire(lk);
}

2.wakeup 

void wakeup(void *chan)
{
  struct proc *p;

  for(p = proc; p < &proc[NPROC]; p++) {
    if(p != myproc()){
      acquire(&p->lock);
      if(p->state == SLEEPING && p->chan == chan) {
        p->state = RUNNABLE;
      }
      release(&p->lock);
    }
  }
}

(三)使用睡眠唤醒机制的典型例子——管道

经过上面的分析,我们可以知道任何涉及生产者和消费者问题的功能都可以考虑睡眠唤醒机制,典型的例子就是管道。

管道本质上是一个双端队列,一头读,一头写,xv6使用一块内存缓冲块实现管道。

管道的数据结构:

#define PIPESIZE 512

struct pipe {
  struct spinlock lock;
  char data[PIPESIZE];
  uint nread;     // number of bytes read
  uint nwrite;    // number of bytes written
  int readopen;   // read fd is still open
  int writeopen;  // write fd is still open
};

实现管道的缓存块是一个循环队列。 所以管道空的条件是:

pi->nread == pi->nwrite

管道满的条件是:

pi->nwrite == pi->nread + PIPESIZE

生产程序是pipewrite:

int pipewrite(struct pipe *pi, uint64 addr, int n)
{
  int i = 0;
  struct proc *pr = myproc();

  acquire(&pi->lock);
  while(i < n){
    if(pi->readopen == 0 || killed(pr)){
      release(&pi->lock);
      return -1;
    }
    if(pi->nwrite == pi->nread + PIPESIZE){ //DOC: pipewrite-full
      wakeup(&pi->nread);
      sleep(&pi->nwrite, &pi->lock);
    } else {
      char ch;
      if(copyin(pr->pagetable, &ch, addr + i, 1) == -1)
        break;
      pi->data[pi->nwrite++ % PIPESIZE] = ch;
      i++;
    }
  }
  wakeup(&pi->nread);
  release(&pi->lock);

  return i;
}

消费程序是piperead:

int piperead(struct pipe *pi, uint64 addr, int n)
{
  int i;
  struct proc *pr = myproc();
  char ch;

  acquire(&pi->lock);
  while(pi->nread == pi->nwrite && pi->writeopen){  //DOC: pipe-empty
    if(killed(pr)){
      release(&pi->lock);
      return -1;
    }
    sleep(&pi->nread, &pi->lock); //DOC: piperead-sleep
  }
  for(i = 0; i < n; i++){  //DOC: piperead-copy
    if(pi->nread == pi->nwrite)
      break;
    ch = pi->data[pi->nread++ % PIPESIZE];
    if(copyout(pr->pagetable, addr + i, &ch, 1) == -1)
      break;
  }
  wakeup(&pi->nwrite);  //DOC: piperead-wakeup
  release(&pi->lock);
  return i;
}

参考资料:

[1] xv6-riscv-book-Chinese/Chapter-7.md at main · FrankZn/xv6-riscv-book-Chinese (github.com)

[2]  Caller-saved register and Callee-saved register-CSDN博客

[3]  xv6——文件系统:管道机制 - 殷大侠 - 博客园 (cnblogs.com)

  • 23
    点赞
  • 28
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值