浅谈linux进程的切换

前文介绍了linux的进程的一些静态特性,这里开始简单描述一下进程是怎么切换的。

首先,什么是进程切换?

进程切换就是为了控制进程的执行,内核挂起正在CPU上运行的进程,并恢复以前挂起的某个进程的行为。

什么时候会切换?

发生schedule()的时候。

都要切换什么?

切换地址空间、内核态堆栈和硬件上下文。

硬件上下文是什么?

进程切换的时候,要把被切出的进程的一些寄存器信息存起来,等到再切回这个进程的时候,要把这组之前存起来的这组数据再写回寄存器里。包括存储着当前指令地址的eip寄存器,当前栈地址的esp寄存器等等。

进程恢复时必须装进寄存器的一组数据,就叫做硬件上下文。

那切换的时候应该把硬件上下文存在哪里呢?

答案是TSS段和进程描述符下的thread字段里。

首先回忆每个CPU都有一个GDT,里面存放了一些段的描述符的地址,其中有一个任务状态段TSS,这个段有一个tss的描述符:

struct tss_struct {
	u32 reserved1;
	u64 rsp0;	
	u64 rsp1;
	u64 rsp2;
	u64 reserved2;
	u64 ist[7];
	u32 reserved3;
	u32 reserved4;
	u16 reserved5;
	u16 io_bitmap_base;
	/*
	 * The extra 1 is there because the CPU will access an
	 * additional byte beyond the end of the IO permission
	 * bitmap. The extra byte must be all 1 bits, and must
	 * be within the limit. Thus we have:
	 *
	 * 128 bytes, the bitmap itself, for ports 0..0x3ff
	 * 8 bytes, for an extra "long" of ~0UL
	 */
	unsigned long io_bitmap[IO_BITMAP_LONGS + 1];
} __attribute__((packed)) ____cacheline_aligned;

TSS是每CPU一个,每个进程下还有一个thread字段,用来存放其他的硬件上下文。

struct thread_struct {
	unsigned long	rsp0;
	unsigned long	rsp;
	unsigned long 	userrsp;	/* Copy from PDA */ 
	unsigned long	fs;
	unsigned long	gs;
	unsigned short	es, ds, fsindex, gsindex;	
/* Hardware debugging registers */
	unsigned long	debugreg0;  
	unsigned long	debugreg1;  
	unsigned long	debugreg2;  
	unsigned long	debugreg3;  
	unsigned long	debugreg6;  
	unsigned long	debugreg7;  
/* fault info */
	unsigned long	cr2, trap_no, error_code;
/* floating point info */
	union i387_union	i387;
/* IO permissions. the bitmap could be moved into the GDT, that would make
   switch faster for a limited number of ioperm using tasks. -AK */
	int		ioperm;
	unsigned long	*io_bitmap_ptr;
/* cached TLS descriptors. */
	u64 tls_array[GDT_ENTRY_TLS_ENTRIES];
};

看这个描述符包含的字段就能大概知道切换时要保存哪些寄存器了。

好了,前文提到进程切换要切换地址空间和硬件上下文,地址空间这里不做讨论,主要关注硬件上下文的切换。硬件上下文用switch_to(prev, next, last)宏来实现。是schedule()中的重要一步。

switch_to中大部分功能是汇编语言实现的。我们先关注它的三个参数。

prev和next是入参,容易理解prev代表将要切出的进程,一般是current,next是要替换上来的进程。那么last呢?这里last是一个出参,在执行switch_to宏时,会先把prev写入eax寄存器,在执行完之后,会把eax寄存器中的内容写到last中。我们可以把last理解成切换后的prev的前继。假设现在prev指向A进程,next指向B进程,那么切完后,prev指向的就是B了,此时的last就指向B的前继,也就是A。

为什么要这么做呢?因为进程切换实时上牵扯到三个进程,比如当执行进程A的时候,发生了进程切换,要切到B。在某一时刻,又要执行切换,换回A,但此时正在执行的进程不一定是B了,可能是C进程了。如果没有了这个last变量,那么switch_to执行完,prev已经指向了当初的next,当时的prev就无处可寻了。



评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值