Trạng thái ngăn xếp hạt nhân của quá trình Linux khi tạo quy trình là gì?

Question

Tôi không thể tìm thấy thông tin này ở bất kỳ đâu. Ở khắp mọi nơi tôi nhìn, tôi thấy mọi thứ liên quan đến cách chồng trông như thế nào khi bạn nhấn "chính" (bất kể điểm vào của bạn là gì), đó sẽ là đối số chương trình và môi trường, nhưng điều tôi đang tìm kiếm là cách thiết lập hệ thống ngăn xếp hợp tác với macro switch_to. Lần đầu tiên tác vụ được chuyển sang, nó sẽ cần phải có EFLAGS, EBP, các thanh ghi mà GCC lưu và địa chỉ trả về từ hàm schedule() trên ngăn xếp được trỏ tới bởi "tsk-> thread-> esp", nhưng những gì tôi không thể tìm ra là làm thế nào hạt nhân thiết lập ngăn xếp này, vì nó cho phép GCC lưu sổ đăng ký mục đích chung (sử dụng các tham số đầu ra cho lắp ráp nội tuyến).

Tôi chỉ đề cập đến máy tính x86. Tôi đang nghiên cứu hệ thống xử lý/lập kế hoạch Linux cho hạt nhân nhỏ của riêng mình, tôi đang cố gắng viết và tôi không thể tìm được những gì tôi đang thiếu. Tôi biết tôi đang thiếu một cái gì đó kể từ khi thực tế là Slackware đang chạy trên máy tính của tôi là một minh chứng cho thực tế là lịch trình hoạt động: P

EDIT: Tôi dường như đã nói xấu này. Tôi đang tìm kiếm thông tin về cách các nhiệm vụ hạt nhân ngăn xếp được thiết lập không phải cách nhiệm vụ tác vụ người dùng được thiết lập. Cụ thể hơn, ngăn xếp mà tsk-> thread-> esp trỏ tới và "switch_to" chuyển sang.

Answer 1

Ngăn xếp hạt nhân ban đầu cho một quy trình mới được đặt trong copy_thread(), đó là một chức năng đặc trưng cho vòm. Các phiên bản x86, ví dụ, bắt đầu ra như thế này:

int copy_thread(unsigned long clone_flags, unsigned long sp, 
unsigned long unused, 
struct task_struct *p, struct pt_regs *regs) 
{ 
    struct pt_regs *childregs; 
    struct task_struct *tsk; 
    int err; 

    childregs = task_pt_regs(p); 
    *childregs = *regs; 
    childregs->ax = 0; 
    childregs->sp = sp; 

    p->thread.sp = (unsigned long) childregs; 
    p->thread.sp0 = (unsigned long) (childregs+1); 

    p->thread.ip = (unsigned long) ret_from_fork; 

p->thread.sp và p->thread.ip là thread mới của con trỏ ngăn xếp nhân và con trỏ lệnh tương ứng.

Lưu ý rằng nó không nơi một lưu %eflags, %ebp vv ở đó, bởi vì khi một thread mới được tạo ra thực hiện là lần đầu tiên chuyển sang, nó bắt đầu ra thực hiện tại ret_from_fork (đây là nơi __switch_to() trở về cho một mới thread), có nghĩa là nó không thực hiện nửa sau của quy trình switch_to().

Answer 2

Trạng thái ngăn xếp khi tạo quy trình được mô tả trong phần bổ sung X86-64 SVR4 ABI (đối với AMD64, tức là máy 64 bit 64 bit). Tương đương với bộ xử lý Intel 32 bit có lẽ là ABI i386. Tôi khuyên bạn nên đọc cũng Assembly HOWTO. Và tất nhiên, bạn có lẽ nên đọc tập tin hạt nhân Linux có liên quan.

Answer 3

Google cho "khởi động quá trình bố cục ngăn xếp linux" cho liên kết this: "Trạng thái khởi động của nhị phân ELF Linux/i386", mô tả thiết lập hạt nhân thực hiện trước khi chuyển quyền kiểm soát sang mã khởi động libc.