Cとアセンブリを持つ単純なスレッドをコードします。

Question

OSコースの練習として、単純なユーザーレベルのスレッドライブラリをコーディングしようとしています。最初のステップとして、私はプログラムを実行し、最初のプログラムを残す関数にジャンプしようとしています。コードはこれまでです：

初期プログラム：

#include <stdio.h> 
#include <unistd.h> 
#include <stdlib.h> 
#include <assert.h> 

#define STACK_SIZE (sizeof(void *) * 512) 


void proc2() //This is the function that should run as the thread. 
{ 
    int i; 
    for(i=0;i<30;i++) 
    { 
     printf("Here I am!\n"); 
     sleep(0.5); 
    } 
    exit(0); 
} 

void* malloc_stack() //used to malloc the stack for the new thread. 
{ 
    void *ptr = malloc(STACK_SIZE + 16); 
    if (!ptr) return NULL; 
     ptr = (void *)(((unsigned long)ptr & (-1 << 4)) + 0x10); //size align 
    return ptr; 
} 

int main() 
{ 
    int *bp, *sp; 
    sp = malloc_stack(); 
    bp = (int*) ((unsigned long)sp + STACK_SIZE); 
    proc1(&proc2,sp,bp); //the actual code that runs the thread. Written in assembly 
    assert(0); 
} 

そして私は、単純な組立3つの引数を取りPROC1と呼ばれるコード（命令ポインタとして使用）関数へのポインタ、スタックを書きました現在のレジスタをこれらの値に置き換えます。

.globl proc1 
proc1: 
movq %rdx, %rbp  #store the new base pointer 
movq %rsi,%rsp   #store the new stack pointer 
jmp  %rdi    #jump to the new instruction pointer. 

しかし、私はこのコードを実行すると、私が取得することは、セグメンテーションフォールトである：私が書いたコードです。ここでエラーを見つけるのを手伝ってください。

gcc -g test.c switch.s 
gdb a.out 
run 

をしかし、それは./a.outのように一人でRUSときには、それは動作しません!!!!：私は、次のコマンドを使用してGDBの下でそれを実行したとき

は、まあ、それが正常に動作しています 助けてください。

ありがとうございます。 jmpがmovq %rax,%rspを書かれており、%rspが明確に要求されるされる前に、あなたのあなたのアセンブリの上部にmovqは（まあ、あなたの前に編集した:-)「でした」）

movq dst,src 

が、あなたのmovqとして書かれている

Answer 1

dst。それは明らかに間違っています。

Answer 2

は以下の通りCソースに直接アセンブリ命令を含むようにコードを変更してみてください：

void proc1(void (*fun)(), int *sp, int *bp){ 
    register int *sptr asm ("%rsi") = sp; 
    register int *bptr asm ("%rdx") = bp; 
    register void (*fptr)() asm ("%rdi") = fun; 

    asm (
     "mov %rdx, %ebp\n" 
     "mov %rsi, %esp\n" 
     "jmp *%rdi\n" 
    ); 
} 

上記のコードは、コードが正しいと思われるがproc1のパラメータ（右レジスタにあることを保証しますwrt the abi）。 jmp引数の前に*があることに注意してください。私のgnuのバージョンは、あなたのコードを最初に試したときに警告しました。あなたはそれを正しくデバッグすることができるはず-gでコンパイルされた上記の機能、およびコード（CPUの内容をチェックするためにproc1とinfo registersにbreakpoint命令を使用）で

。

---

問題は常に%rbp以上でなければならない%rspポインタ（スタックを下方に成長）に実際にあります。

proc1(&proc2, bp, bp); 

2小さな発言：単純に問題を修正する必要があり、メインにproc1に代わり、SPのBPを渡す

• ASMバージョンのCコードでproc1プロトタイプを与えることを忘れないでください：

  extern void proc1(void (*)(), int *, int *); 
  

• sleep libcの関数はunsigned long、ないfloatを取ります。

  初心者のための

  sleep(1);