ch8: 用户态的线程管理一节 spawn 方法中 s_ptr.offset(32) 问题

[h888866j]

http://rcore-os.cn/rCore-Tutorial-Book-v3/chapter8/1thread.html#id7 中Comnents中提出的问题未见修复

章节链接：用户态的线程管理 - rCore-Tutorial-Book-v3 3.6.0-alpha.1 文档

当应用要创建一个线程时，会调用 runtime.spawn 函数。这个函数主要完成的功能是：

• 第4~12行，在线程向量中查找一个状态为 Available 的空闲线程控制块；

• 第14~20行，初始化该空闲线程的线程控制块；

• x1 寄存器：老的返回地址 – guard 函数地址

• nx1 寄存器：新的返回地址 – 输入参数 f 函数地址

• x2 寄存器：新的栈地址 – available.stack+size

  1    impl Runtime {
  2        pub fn spawn(&mut self, f: fn()) {
  3            let available = self
  4                .tasks
  5                .iter_mut()
  6                .find(|t| t.state == State::Available)
  7                .expect("no available task.");
  8
  9            let size = available.stack.len();
  10            unsafe {
  11                let s_ptr = available.stack.as_mut_ptr().offset(size as isize);
  12                let s_ptr = (s_ptr as usize & !7) as *mut u8;
  13
  14                available.ctx.x1 = guard as u64;  //ctx.x1  is old return address
  15                available.ctx.nx1 = f as u64;     //ctx.nx1 is new return address
  16                available.ctx.x2 = s_ptr.offset(32) as u64; //cxt.x2 is sp  <<< clone的仓库代码中这里是 -32
  17
  18            }
  19            available.state = State::Ready;
  20        }
  21    }

详见comments： https://github.com/rcore-os/rCore-Tutorial-Book-v3/issues/95#issuecomment-1500826664