15

私は興味深い問題に直面しています.64ビットのマシンとOSを使用していることを忘れて、32ビットのアセンブリコードを書きました. 64ビットコードの書き方がわかりません。

これは、Linux 上の Gnu アセンブラー (AT&T 構文) 用の x86 32 ビット アセンブリ コードです。

//hello.S
#include <asm/unistd.h>
#include <syscall.h>
#define STDOUT 1

.data
hellostr:
    .ascii "hello wolrd\n";
helloend:

.text
.globl _start

_start:
    movl $(SYS_write) , %eax  //ssize_t write(int fd, const void *buf, size_t count);
    movl $(STDOUT) , %ebx
    movl $hellostr , %ecx
    movl $(helloend-hellostr) , %edx
    int $0x80

    movl $(SYS_exit), %eax //void _exit(int status);
    xorl %ebx, %ebx
    int $0x80

    ret

さて、このコードは 32 ビット プロセッサと 32 ビット OS で問題なく動作するはずですよね? ご存知のように、64 ビット プロセッサは 32 ビット プロセッサと下位互換性があります。ですから、それも問題にはなりません。この問題は、64 ビット OS と 32 ビット OS でシステム コールと呼び出しメカニズムが異なるために発生します。理由はわかりませんが、32 ビット Linux と 64 ビット Linux の間でシステム コール番号が変更されました。

asm/unistd_32.h の定義:

#define __NR_write        4
#define __NR_exit         1

asm/unistd_64.h の定義:

#define __NR_write              1
#define __NR_exit               60

とにかく、直通番号の代わりにマクロを使用することは報われます。正しいシステムコール番号を保証します。

プログラムをアセンブルしてリンクして実行すると。

$cpp hello.S hello.s //pre-processor
$as hello.s -o hello.o //assemble
$ld hello.o // linker : converting relocatable to executable

その印刷ではありませんhelloworld

gdb では、次のように表示されます。

  • プログラムはコード 01 で終了しました。

gdb でデバッグする方法がわかりません。チュートリアルを使用して、各ステップでレジスタをチェックする命令によってデバッグし、命令を実行しようとしました。常に「プログラムは01で終了しました」と表示されます。これをデバッグする方法を教えていただければ幸いです。

(gdb) break _start
Note: breakpoint -10 also set at pc 0x4000b0.
Breakpoint 8 at 0x4000b0
(gdb) start
Function "main" not defined.
Make breakpoint pending on future shared library load? (y or [n]) y
Temporary breakpoint 9 (main) pending.
Starting program: /home/claws/helloworld 

Program exited with code 01.
(gdb) info breakpoints 
Num     Type           Disp Enb Address            What
8       breakpoint     keep y   0x00000000004000b0 <_start>
9       breakpoint     del  y   <PENDING>          main

走ってみstraceました。これはその出力です:

execve("./helloworld", ["./helloworld"], [/* 39 vars */]) = 0
write(0, NULL, 12 <unfinished ... exit status 1>
  1. write(0, NULL, 12)strace出力のシステムコールのパラメータを教えてください。
  2. 正確には何が起こっているのですか?exitstatus=1 で正確に終了する理由を知りたいですか?
  3. gdb を使用してこのプログラムをデバッグする方法を教えてください。
  4. なぜ彼らはシステムコール番号を変更したのですか?
  5. このマシンで正しく実行できるように、このプログラムを適切に変更してください。

編集:

Paul Rの答えを読んだ後。ファイルをチェックしました

claws@claws-desktop:~$ file ./hello.o 
./hello.o: ELF 64-bit LSB relocatable, x86-64, version 1 (SYSV), not stripped

claws@claws-desktop:~$ file ./hello
./hello: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), statically linked, not stripped

私は、これらが ELF 32 ビットの再配置可能で実行可能であるべきだという彼の意見に同意します。しかし、それは私の質問に答えません。私の質問はすべてまだ質問です。この場合、正確には何が起こっているのでしょうか?誰かが私の質問に答えて、このコードの x86-64 バージョンを提供してもらえますか?

4

3 に答える 3

8

64 ビット OS では、デフォルトですべてが 64 ビットを想定する傾向があることに注意してください。(a) 必要に応じて #includes の 32 ビット バージョンを使用していること、(b) 32 ビット ライブラリとリンクしていること、および (c) 32 ビット実行可能ファイルをビルドしていることを確認する必要があります。makefile がある場合はその内容を表示するか、この例を作成するために使用しているコマンドを表示すると、おそらく役立つでしょう。

FWIW コードを少し変更しました (_start -> main):

#include <asm/unistd.h>
#include <syscall.h>
#define STDOUT 1

    .data
hellostr:
    .ascii "hello wolrd\n" ;
helloend:

    .text
    .globl main

main:
    movl $(SYS_write) , %eax  //ssize_t write(int fd, const void *buf, size_t count);
    movl $(STDOUT) , %ebx
    movl $hellostr , %ecx
    movl $(helloend-hellostr) , %edx
    int $0x80

    movl $(SYS_exit), %eax //void _exit(int status);
    xorl %ebx, %ebx
    int $0x80

    ret

そしてそれを次のように構築しました:

$ gcc -Wall test.S -m32 -o test

32ビットの実行可能ファイルがあることを確認しました:

$ file test
test: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), for GNU/Linux 2.6.4, dynamically linked (uses shared libs), not stripped

そして、それは正常に実行されているようです:

$ ./test
hello wolrd
于 2010-03-23T15:03:59.810 に答える
6

Paul が指摘したように、64 ビット システムで 32 ビット バイナリをビルドする場合は、-m32 フラグを使用する必要があります。デフォルトで 32 ビット コンパイラ/リンカー/ライブラリ サポートが含まれます)。

一方、代わりにコードを 64 ビットとしてビルドすることもできます。その場合、64 ビットの呼び出し規約を使用する必要があります。その場合、システム コール番号は %rax に入り、引数は %rdi、%rsi、および %rdx に入ります。

編集

これに最適な場所はwww.x86-64.org、特にabi.pdf です

于 2010-03-24T04:47:34.527 に答える