读libco保存恢复现场汇编代码

本文详细介绍了x86_64位架构下协程上下文切换的具体实现过程,包括寄存器状态的保存与恢复等关键技术细节。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

x86 64位下
struct coctx_t
{
	void *regs[ 14 ];
	size_t ss_size;
	char *ss_sp;
};
void coctx_swap(coctx_t*, coctx_t*) asm("coctx_swap");

/**
  在进入这块代码之前会有call操作及压栈操作,
  对于x86 64bit机器:
    %rdi, %rsi, %rdx, %rcx, %r8, %r9 :六个寄存器,当参数少于7个时,
    参数从左到右放入寄存器: rdi, rsi, rdx, rcx, r8, r9;
    当参数为7个以上时,前 6 个与前面一样, 但后面的依次从"右向左"放入栈中,即和32位汇编一样
  所以栈应该是
  h
                <- rbp
      返回值地址  <- rsp
  l
*/

	leaq (%rsp),%rax        /* rsp存放的是返回值的地址 rax = &ra ra: rerurn address */
    movq %rax, 104(%rdi)    /* 上一行把rsp寄存器的值放到了rax,所以此时参数1(假设为param1)的regs[13]的存的是rsp寄存器的值 */
    movq %rbx, 96(%rdi)     /* param1->regs[12] = rbx */
    movq %rcx, 88(%rdi)     /* param1->regs[11] = rcx */
    movq %rdx, 80(%rdi)     /* param1->regs[10] = rdx */
	movq 0(%rax), %rax      /* rax存放的是返回值的地址,mov指令将返回值赋值给rax寄存器 *&ra = ra */
	movq %rax, 72(%rdi)     /* param1->regs[9] = rax */
    movq %rsi, 64(%rdi)     /* param1->regs[8] = rsi */
	movq %rdi, 56(%rdi)     /* param1->regs[7] = rdi */
    movq %rbp, 48(%rdi)     /* param1->regs[6] = rbp */
    movq %r8, 40(%rdi)					.
    movq %r9, 32(%rdi)					.
    movq %r12, 24(%rdi)					.
    movq %r13, 16(%rdi)
    movq %r14, 8(%rdi)
    movq %r15, (%rdi)       /* param1->regs[0] = r15 */
	xorq %rax, %rax         /* 异或指令 rax = rax ^ rax = 0 , 清空rax值*/
                            /* 以上用于保存当前的堆栈至第一个参数 */

                            /* 以下用于从第二个参数恢复现场 */
    movq 48(%rsi), %rbp     /* 由于恢复和保存相反,所以可参照上面进行分析 */
    movq 104(%rsi), %rsp
    movq (%rsi), %r15
    movq 8(%rsi), %r14
    movq 16(%rsi), %r13
    movq 24(%rsi), %r12
    movq 32(%rsi), %r9
    movq 40(%rsi), %r8
    movq 56(%rsi), %rdi
    movq 80(%rsi), %rdx
    movq 88(%rsi), %rcx
    movq 96(%rsi), %rbx
	leaq 8(%rsp), %rsp      
                        /* rsp先是存放的是从param2->regs[13]取出的值,
                           此操作后将rsp寄存器里的地址+8字节 赋值给rsp,
                           此时rsp指向的是将要执行的函数参数一(没参数则等于rbp的值)
                        */
	pushq 72(%rsi)      /* 将param2->regs[9] (即返回值地址) 压栈 rsp地址 - 8*/
                        /* 这两句的作用就是更新返回值地址 */
    movq 64(%rsi), %rsi
	ret
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值