なぜtrueとfalseがそんなに大きいのですか?


80

いくつかの一般的なコマンド(などread)が実際にはBashビルトインであることを発見した後(プロンプトでコマンドを実行すると、ビルトインに転送する2行のシェルスクリプトを実際に実行しています)、同じかどうかを確認していました以下のための真実であるtruefalse

まあ、彼らは間違いなくバイナリです。

sh-4.2$ which true
/usr/bin/true
sh-4.2$ which false
/usr/bin/false
sh-4.2$ file /usr/bin/true
/usr/bin/true: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.32, BuildID[sha1]=2697339d3c19235
06e10af65aa3120b12295277e, stripped
sh-4.2$ file /usr/bin/false
/usr/bin/false: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.32, BuildID[sha1]=b160fa513fcc13
537d7293f05e40444fe5843640, stripped
sh-4.2$

しかし、最も驚いたのはサイズです。ように私は、彼らが数バイトだけそれぞれであることが予想trueただ、基本的でexit 0かつfalseありますexit 1

sh-4.2$ true
sh-4.2$ echo $?
0
sh-4.2$ false
sh-4.2$ echo $?
1
sh-4.2$

しかし、両方のファイルのサイズが28KBを超えていることに驚きました。

sh-4.2$ stat /usr/bin/true
  File: '/usr/bin/true'
  Size: 28920           Blocks: 64         IO Block: 4096   regular file
Device: fd2ch/64812d    Inode: 530320      Links: 1                     
Access: (0755/-rwxr-xr-x)  Uid: (    0/    root)   Gid: (    0/    root)
Access: 2018-01-25 19:46:32.703463708 +0000
Modify: 2016-06-30 09:44:27.000000000 +0100
Change: 2017-12-22 09:43:17.447563336 +0000
 Birth: -
sh-4.2$ stat /usr/bin/false
  File: '/usr/bin/false'
  Size: 28920           Blocks: 64         IO Block: 4096   regular file
Device: fd2ch/64812d    Inode: 530697      Links: 1                     
Access: (0755/-rwxr-xr-x)  Uid: (    0/    root)   Gid: (    0/    root)
Access: 2018-01-25 20:06:27.210764704 +0000
Modify: 2016-06-30 09:44:27.000000000 +0100
Change: 2017-12-22 09:43:18.148561245 +0000
 Birth: -
sh-4.2$

だから私の質問は:なぜ彼らはそんなに大きいのですか?リターンコード以外の実行可能ファイルには何が含まれていますか?

PS:RHEL 7.4を使用しています


9
command -V truenot を使用する必要がありwhichます。true is a shell builtinbash用に出力されます。
-meuh

32
trueそして、false されているすべての近代的なシェルで組み込みコマンドが、システムプログラム(シェルをバイパスして)コマンドを直接呼び出すことがそれらを使用できるように、それは、標準システムの一部なので、これらの外部プログラムのバージョンが含まれています。whichは組み込みコマンドを無視し、外部コマンドのみを検索します。そのため、外部コマンドのみが表示されます。試してみてくださいtype -a truetype -a falseの代わりに。
mtraceur

74
「なぜそれぞれ29kbですか?リターンコード以外の実行可能ファイルには何がtrueありfalseますか?」と言うような長い質問を書くのは皮肉です。
デビッドリチャービー

7
unixの初期バージョンには、trueの空のファイルがありました。これは、終了コード0を返す有効なshプログラムでした。空のファイルから本当のユーティリティの歴史について、数年前に読んだ記事怪物はそれが今日であるが、私は見つけることができるすべてはこれです:trillian.mit.edu/~jc/humor/ATT_Copyright_true.html
フィリップ

9
-必須の最小の実装falsemuppetlabs.com/~breadbox/software/tiny/teensy.html
d33tah

回答:


117

過去/bin/trueおよび/bin/falseシェルには、実際にはスクリプトがありました。

たとえば、PDP / 11 Unix System 7の場合:

$ ls -la /bin/true /bin/false
-rwxr-xr-x 1 bin         7 Jun  8  1979 /bin/false
-rwxr-xr-x 1 bin         0 Jun  8  1979 /bin/true
$
$ cat /bin/false
exit 1
$
$ cat /bin/true
$  

現在、少なくともでbashtrueおよびfalseコマンドはシェル組み込みコマンドとして実装されています。したがって、コマンドラインおよびシェルスクリプト内でfalseand trueディレクティブを使用する場合、デフォルトでは実行可能なバイナリファイルは呼び出されませんbash

以下からのbashソース、builtins/mkbuiltins.c

char * posix_builtins [] =
    {
      「エイリアス」、「bg」、「cd」、「コマンド」、「** false **」、「fc」、「fg」、「getopts」、「jobs」、
      「kill」、「newgrp」、「pwd」、「read」、「** true **」、「umask」、「unalias」、「wait」、
      (char *)NULL
    };

また、@ meuhコメントごとに:

$ command -V true false
true is a shell builtin
false is a shell builtin

そのためtruefalse実行可能ファイルは主に他のプログラムから呼び出されるため存在します

これからの答えは、Debian 9/64ビットのパッケージの/bin/trueバイナリに焦点を当てcoreutilsます。(/usr/bin/trueRedHatを実行します。RedHatとDebianは両方のcoreutilsパッケージを使用し 、後者のコンパイル済みバージョンを分析して、より手元に置いています)。

ソースファイルfalse.cで見ることができるように、/bin/false(ほぼ)同じソースコードでコンパイルされ/bin/true、代わりにEXIT_FAILURE(1)を返すだけなので、この答えは両方のバイナリに適用できます。

#define EXIT_STATUS EXIT_FAILURE
#include "true.c"

同じサイズの両方の実行可能ファイルでも確認できるため:

$ ls -l /bin/true /bin/false
-rwxr-xr-x 1 root root 31464 Feb 22  2017 /bin/false
-rwxr-xr-x 1 root root 31464 Feb 22  2017 /bin/true

悲しいかな、答えへの直接的な質問は、why are true and false so large?彼らの最高のパフォーマンスを気にするそれほど差し迫った理由がもうないからです。それらはbashパフォーマンスに不可欠ではなく、bash(スクリプト)によって使用されなくなりました。

同様のコメントがそのサイズにも当てはまりますが、現在のハードウェアの種類では26KBは重要ではありません。スペースはもはや一般的なサーバ/デスクトップ用プレミアムではなく、彼らもに同じバイナリを使用することはもう気にしないfalseし、trueそれはちょうど使用してディストリビューションで二回展開されているとして、coreutils

しかし、質問の本当の精神に焦点を当てると、なぜそれほどシンプルで小さいはずの何かがそれほど大きくなるのでしょうか?

セクションの実際の分布は、/bin/trueこれらのチャートが示すとおりです。メインコードとデータは、26KBのバイナリのうち約3KBで、これはのサイズの12%です/bin/true

trueユーティリティは、長年にわたってための最も顕著な標準サポートを確かにもっと嫌なもののコードを得た--version--help

ただし、それはそれほど大きくないための(唯一の)主な正当化ではなく、動的ライブラリにリンクされている間(共有ライブラリを使用)、coreutils静的ライブラリとしてリンクされたバイナリによって一般的に使用される汎用ライブラリの一部も持っています。elf実行可能ファイルを構築するためのメタデータもバイナリのかなりの部分を占めており、今日の標準では比較的小さなファイルです。

残りの答えは、/bin/true実行可能なバイナリファイルの構成を詳述する以下のチャートを作成する方法と、その結論に到達した方法を説明するためのものです。

bintrue bintrue2

@Maksが言うように、バイナリはCからコンパイルされました。私のコメントにもあるように、coreutilsからのものであることも確認されています。作成者git https://github.com/wertarbyte/coreutils/blob/master/src/true.cを直接指していますcoreutilsライブラリの完全なソースがあるため選択されました)

/bin/trueここで、バイナリのさまざまな構成要素を見ることができます(Debian 9-64ビットからcoreutils):

$ file /bin/true
/bin/true: ELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, for GNU/Linux 2.6.32, BuildID[sha1]=9ae82394864538fa7b23b7f87b259ea2a20889c4, stripped

$ size /bin/true
    text       data     bss     dec     hex filename
   24583       1160     416   26159    662f true

それらのうち:

  • テキスト(通常はコード)は約24KBです
  • データ(初期化された変数、主に文字列)は約1KBです
  • bss(未初期化データ)0.5KB

24KBのうち、約1KBは58の外部機能を修正するためのものです。

残りのコード用に約23KBが残っています。実際のメインファイルであるmain()+ usage()コードが約1KBコンパイルされていることを示し、他の22KBの用途を説明します。

でバイナリをさらに掘り下げてreadelf -S trueみると、バイナリは26159バイトですが、実際のコンパイル済みコードは13017バイトであり、残りは各種データ/初期化コードです。

しかし、それだけでtrue.cはありません。13KBは、それだけのファイルだとかなり過剰に思えます。で呼び出されmain()た関数が、エルフに表示される外部関数にリストされていないことがわかりますobjdump -T true。以下に存在する機能:

外部でリンクされmain()ていない追加機能は次のとおりです。

  • set_program_name()
  • close_stdout()
  • version_etc()

だから私の最初の疑惑は、ライブラリは、動的ライブラリを使用している間、部分的に正しかった/bin/trueことはしているので、*バイナリが大きい一部の静的ライブラリは、それに含まれている*(それが唯一の原因ではありません)。

Cコードをコンパイルすることは、通常、そのようなスペースを考慮に入れないためにそれほど効率的ではありません。

バイナリのサイズのほぼ90%の余分なスペースは、実際には余分なライブラリ/ elfメタデータです。

ホッパーを使用してバイナリを逆アセンブル/逆コンパイルし、関数がどこにあるかを理解している間、true.c / usage()関数のコンパイル済みバイナリコードは実際には833バイトであり、true.c / main()関数は225バイトは、1KBよりもわずかに小さいです。静的ライブラリに埋め込まれているバージョン関数のロジックは、約1KBです。

実際にコンパイルされたmain()+ usage()+ version()+ strings + varsは、約3KBから3.5KBまでしか使用していません。

それは確かに皮肉であり、そのような小さくて謙虚なユーティリティは、上記の理由でサイズが大きくなりました。

関連質問:Linuxバイナリが何をしているのかを理解する

true.c 問題のある関数呼び出しでのmain():

int
main (int argc, char **argv)
{
  /* Recognize --help or --version only if it's the only command-line
     argument.  */
  if (argc == 2)
    {
      initialize_main (&argc, &argv);
      set_program_name (argv[0]);           <-----------
      setlocale (LC_ALL, "");
      bindtextdomain (PACKAGE, LOCALEDIR);
      textdomain (PACKAGE);

      atexit (close_stdout);             <-----

      if (STREQ (argv[1], "--help"))
        usage (EXIT_STATUS);

      if (STREQ (argv[1], "--version"))
        version_etc (stdout, PROGRAM_NAME, PACKAGE_NAME, Version,  AUTHORS,  <------
                     (char *) NULL);
    }

  exit (EXIT_STATUS);
}

バイナリのさまざまなセクションの10進数のサイズ:

$ size -A -t true 
true  :
section               size      addr
.interp                 28       568
.note.ABI-tag           32       596
.note.gnu.build-id      36       628
.gnu.hash               60       664
.dynsym               1416       728
.dynstr                676      2144
.gnu.version           118      2820
.gnu.version_r          96      2944
.rela.dyn              624      3040
.rela.plt             1104      3664
.init                   23      4768
.plt                   752      4800
.plt.got                 8      5552
.text                13017      5568
.fini                    9     18588
.rodata               3104     18624
.eh_frame_hdr          572     21728
.eh_frame             2908     22304
.init_array              8   2125160
.fini_array              8   2125168
.jcr                     8   2125176
.data.rel.ro            88   2125184
.dynamic               480   2125272
.got                    48   2125752
.got.plt               392   2125824
.data                  128   2126240
.bss                   416   2126368
.gnu_debuglink          52         0
Total                26211

の出力 readelf -S true

$ readelf -S true
There are 30 section headers, starting at offset 0x7368:

Section Headers:
  [Nr] Name              Type             Address           Offset
       Size              EntSize          Flags  Link  Info  Align
  [ 0]                   NULL             0000000000000000  00000000
       0000000000000000  0000000000000000           0     0     0
  [ 1] .interp           PROGBITS         0000000000000238  00000238
       000000000000001c  0000000000000000   A       0     0     1
  [ 2] .note.ABI-tag     NOTE             0000000000000254  00000254
       0000000000000020  0000000000000000   A       0     0     4
  [ 3] .note.gnu.build-i NOTE             0000000000000274  00000274
       0000000000000024  0000000000000000   A       0     0     4
  [ 4] .gnu.hash         GNU_HASH         0000000000000298  00000298
       000000000000003c  0000000000000000   A       5     0     8
  [ 5] .dynsym           DYNSYM           00000000000002d8  000002d8
       0000000000000588  0000000000000018   A       6     1     8
  [ 6] .dynstr           STRTAB           0000000000000860  00000860
       00000000000002a4  0000000000000000   A       0     0     1
  [ 7] .gnu.version      VERSYM           0000000000000b04  00000b04
       0000000000000076  0000000000000002   A       5     0     2
  [ 8] .gnu.version_r    VERNEED          0000000000000b80  00000b80
       0000000000000060  0000000000000000   A       6     1     8
  [ 9] .rela.dyn         RELA             0000000000000be0  00000be0
       0000000000000270  0000000000000018   A       5     0     8
  [10] .rela.plt         RELA             0000000000000e50  00000e50
       0000000000000450  0000000000000018  AI       5    25     8
  [11] .init             PROGBITS         00000000000012a0  000012a0
       0000000000000017  0000000000000000  AX       0     0     4
  [12] .plt              PROGBITS         00000000000012c0  000012c0
       00000000000002f0  0000000000000010  AX       0     0     16
  [13] .plt.got          PROGBITS         00000000000015b0  000015b0
       0000000000000008  0000000000000000  AX       0     0     8
  [14] .text             PROGBITS         00000000000015c0  000015c0
       00000000000032d9  0000000000000000  AX       0     0     16
  [15] .fini             PROGBITS         000000000000489c  0000489c
       0000000000000009  0000000000000000  AX       0     0     4
  [16] .rodata           PROGBITS         00000000000048c0  000048c0
       0000000000000c20  0000000000000000   A       0     0     32
  [17] .eh_frame_hdr     PROGBITS         00000000000054e0  000054e0
       000000000000023c  0000000000000000   A       0     0     4
  [18] .eh_frame         PROGBITS         0000000000005720  00005720
       0000000000000b5c  0000000000000000   A       0     0     8
  [19] .init_array       INIT_ARRAY       0000000000206d68  00006d68
       0000000000000008  0000000000000008  WA       0     0     8
  [20] .fini_array       FINI_ARRAY       0000000000206d70  00006d70
       0000000000000008  0000000000000008  WA       0     0     8
  [21] .jcr              PROGBITS         0000000000206d78  00006d78
       0000000000000008  0000000000000000  WA       0     0     8
  [22] .data.rel.ro      PROGBITS         0000000000206d80  00006d80
       0000000000000058  0000000000000000  WA       0     0     32
  [23] .dynamic          DYNAMIC          0000000000206dd8  00006dd8
       00000000000001e0  0000000000000010  WA       6     0     8
  [24] .got              PROGBITS         0000000000206fb8  00006fb8
       0000000000000030  0000000000000008  WA       0     0     8
  [25] .got.plt          PROGBITS         0000000000207000  00007000
       0000000000000188  0000000000000008  WA       0     0     8
  [26] .data             PROGBITS         00000000002071a0  000071a0
       0000000000000080  0000000000000000  WA       0     0     32
  [27] .bss              NOBITS           0000000000207220  00007220
       00000000000001a0  0000000000000000  WA       0     0     32
  [28] .gnu_debuglink    PROGBITS         0000000000000000  00007220
       0000000000000034  0000000000000000           0     0     1
  [29] .shstrtab         STRTAB           0000000000000000  00007254
       000000000000010f  0000000000000000           0     0     1
Key to Flags:
  W (write), A (alloc), X (execute), M (merge), S (strings), I (info),
  L (link order), O (extra OS processing required), G (group), T (TLS),
  C (compressed), x (unknown), o (OS specific), E (exclude),
  l (large), p (processor specific)

出力objdump -T true(実行時に動的にリンクされる外部関数)

$ objdump -T true

true:     file format elf64-x86-64

DYNAMIC SYMBOL TABLE:
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 __uflow
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 getenv
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 free
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 abort
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 __errno_location
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 strncmp
0000000000000000  w   D  *UND*  0000000000000000              _ITM_deregisterTMCloneTable
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 _exit
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 __fpending
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 textdomain
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 fclose
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 bindtextdomain
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 dcgettext
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 __ctype_get_mb_cur_max
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 strlen
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.4   __stack_chk_fail
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 mbrtowc
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 strrchr
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 lseek
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 memset
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 fscanf
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 close
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 __libc_start_main
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 memcmp
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 fputs_unlocked
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 calloc
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 strcmp
0000000000000000  w   D  *UND*  0000000000000000              __gmon_start__
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.14  memcpy
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 fileno
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 malloc
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 fflush
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 nl_langinfo
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 ungetc
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 __freading
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 realloc
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 fdopen
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 setlocale
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.3.4 __printf_chk
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 error
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 open
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 fseeko
0000000000000000  w   D  *UND*  0000000000000000              _Jv_RegisterClasses
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 __cxa_atexit
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 exit
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 fwrite
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.3.4 __fprintf_chk
0000000000000000  w   D  *UND*  0000000000000000              _ITM_registerTMCloneTable
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 mbsinit
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.2.5 iswprint
0000000000000000  w   DF *UND*  0000000000000000  GLIBC_2.2.5 __cxa_finalize
0000000000000000      DF *UND*  0000000000000000  GLIBC_2.3   __ctype_b_loc
0000000000207228 g    DO .bss   0000000000000008  GLIBC_2.2.5 stdout
0000000000207220 g    DO .bss   0000000000000008  GLIBC_2.2.5 __progname
0000000000207230  w   DO .bss   0000000000000008  GLIBC_2.2.5 program_invocation_name
0000000000207230 g    DO .bss   0000000000000008  GLIBC_2.2.5 __progname_full
0000000000207220  w   DO .bss   0000000000000008  GLIBC_2.2.5 program_invocation_short_name
0000000000207240 g    DO .bss   0000000000000008  GLIBC_2.2.5 stderr

5
最近64kB + 2kBのマイクロコントローラーを使用してプログラミングを行ったため、28kBはそれほど小さくないようです
。--Barleyman

1
@Barleymanには、OpenWRT、yocto、uClinux、uclib、busybox、microcoreutils、およびそのような環境向けのその他のソリューションがあります。あなたの懸念で投稿を編集しました。
ルイFリベイロ

4
@Barleyman:バイナリ実行可能ファイルのサイズを最適化するtrue場合falseは、45バイトのx86 ELF実行可能ファイルを実装するか、ELFプログラムヘッダー内に実行可能コード(4 x86命令)をパックできます(コマンドラインオプションのサポートなし!) 。 Linux用の本当にちっぽけなELF実行可能ファイルの作成に関する旋風チュートリアル (または、Linux ELFローダーの実装の詳細に依存することを避けたい場合は、少し大きくします:P)
Peter Cordes

3
そうでもない たとえば、Yoctoは64kBを超えるヒープおよびバウンドである1メガバイト未満に詰め込むことができます。この種のデバイスでは、基本的なプロセス/メモリ管理を備えた何らかのRTOSを使用できますが、それらでも簡単に重くなります。単純な協調型マルチスレッドシステムを作成し、組み込みのメモリ保護を使用して、コードが上書きされないようにしました。ファームウェアは現在約55kBを消費しているため、追加のオーバーヘッドのためのスペースがあまりないことをすべて伝えました。これらの巨大な2kBルックアップテーブル..
Barleyman

2
@PeterCordesは確かですが、Linuxが実行可能になるには、さらに多くのリソースが必要です。価値のあることですが、C ++はその環境でも実際には機能しません。とにかく、標準ライブラリではありません。Iostreamは200kB前後などですぐに
Barleyman

34

実装はおそらくGNU coreutilsから来ています。これらのバイナリはCからコンパイルされます。デフォルトよりも小さくするための特別な努力は行われていません。

あなたはあなたtrue自身のささいな実装をコンパイルしようとすることができます、そして、あなたはそれがすでに数KBのサイズであることに気付くでしょう。たとえば、私のシステムでは:

$ echo 'int main() { return 0; }' | gcc -xc - -o true
$ wc -c true
8136 true

もちろん、バイナリはさらに大きくなります。これは、コマンドライン引数もサポートしているためです。/usr/bin/true --helpまたはを実行してみてください/usr/bin/true --version

バイナリには、文字列データに加えて、コマンドラインフラグなどを解析するロジックが含まれています。これにより、明らかに約20 KBのコードが追加されます。

参照用に、ソースコードをここで見つけることができます:http : //git.savannah.gnu.org/cgit/coreutils.git/tree/src/true.c


2
FYI私は、彼らのバグトラッカーでこれらのcoreutilsの実装文句ありませんが、それが固定取得する機会たlists.gnu.org/archive/html/bug-coreutils/2016-03/msg00040.html
rudimeier

7
これは引数のロジックではありません。Cは非効率ではありません ...インラインライブラリ/ハウスキーピングタスクです。面倒な詳細については私の答えをご覧ください。
ルイFリベイロ

8
これは、コンパイルされたマシンコード(Cなどから)が膨大なスペースを取ることを示唆しているため、誤解を招きます-実際のサイズのオーバーヘッドは、コンパイラによってインライン化される大量の標準Cライブラリ/ランタイムボイラープレートと関係がありますCライブラリ(glibc、システムが他の何かを使用していることを聞いたことがない場合を除く)と相互運用するため、およびそれほどではないがELFヘッダー/メタデータ(これらの多くは厳密には必要ではないが、十分に価値があるとみなされる)デフォルトのビルドに含める)。
mtraceur

2
両方の関数の実際のmain()+ usage()+ stringは、20KBではなく約2KBです。
ルイFリベイロ

2
--version / version funtions 1KB、-usage /-help 833バイト、main()225バイト、およびバイナリの静的データ全体が1KBの@JdeBPロジック
Rui F Ribeiro

25

それらをコア機能に落とし、アセンブラーで記述すると、はるかに小さなバイナリが生成されます。

オリジナルのtrue / falseバイナリはCで書かれており、その性質上、さまざまなライブラリ+シンボル参照を取り込みます。実行すると、readelf -a /bin/trueこれは非常に顕著です。

ストリップされたELF静的実行可能ファイル用に352バイト(コードサイズ用にasmを最適化することにより、数バイトを節約するスペースがある)。

$ more true.asm false.asm
::::::::::::::
true.asm
::::::::::::::
global _start
_start:
 mov ebx,0
 mov eax,1     ; SYS_exit from asm/unistd_32.h
 int 0x80      ; The 32-bit ABI is supported in 64-bit code, in kernels compiled with IA-32 emulation
::::::::::::::
false.asm
::::::::::::::
global _start
_start:
 mov ebx,1
 mov eax,1
 int 0x80
$ nasm -f elf64 true.asm && ld -s -o true true.o     # -s means strip
$ nasm -f elf64 false.asm && ld -s -o false false.o
$ ll true false
-rwxrwxr-x. 1 steve steve 352 Jan 25 16:03 false
-rwxrwxr-x. 1 steve steve 352 Jan 25 16:03 true
$ ./true ; echo $?
0
$ ./false ; echo $?
1
$

または、少し厄介な/ややこしいアプローチ(stalkrへのクド)を使用して、独自のELFヘッダーを作成し、132 127バイトに減らします。ここからコードゴルフのテリトリーに入ります。

$ cat true2.asm
BITS 64
  org 0x400000   ; _start is at 0x400080 as usual, but the ELF headers come first

ehdr:           ; Elf64_Ehdr
  db 0x7f, "ELF", 2, 1, 1, 0 ; e_ident
  times 8 db 0
  dw  2         ; e_type
  dw  0x3e      ; e_machine
  dd  1         ; e_version
  dq  _start    ; e_entry
  dq  phdr - $$ ; e_phoff
  dq  0         ; e_shoff
  dd  0         ; e_flags
  dw  ehdrsize  ; e_ehsize
  dw  phdrsize  ; e_phentsize
  dw  1         ; e_phnum
  dw  0         ; e_shentsize
  dw  0         ; e_shnum
  dw  0         ; e_shstrndx
  ehdrsize  equ  $ - ehdr

phdr:           ; Elf64_Phdr
  dd  1         ; p_type
  dd  5         ; p_flags
  dq  0         ; p_offset
  dq  $$        ; p_vaddr
  dq  $$        ; p_paddr
  dq  filesize  ; p_filesz
  dq  filesize  ; p_memsz
  dq  0x1000    ; p_align
  phdrsize  equ  $ - phdr

_start:
  xor  edi,edi         ; int status = 0
      ; or  mov dil,1  for false: high bytes are ignored.
  lea  eax, [rdi+60]   ; rax = 60 = SYS_exit, using a 3-byte instruction: base+disp8 addressing mode
  syscall              ; native 64-bit system call, works without CONFIG_IA32_EMULATION

; less-golfed version:
;      mov  edi, 1    ; for false
;      mov  eax,252   ; SYS_exit_group from asm/unistd_64.h
;      syscall

filesize  equ  $ - $$      ; used earlier in some ELF header fields

$ nasm -f bin -o true2 true2.asm
$ ll true2
-rw-r--r-- 1 peter peter 127 Jan 28 20:08 true2
$ chmod +x true2 ; ./true2 ; echo $?
0
$

2
コメントは詳細なディスカッション用ではありません。この会話はチャットに移動さました
テルドン

2
この優れた記事も参照してください:muppetlabs.com/~breadbox/software/tiny/teensy.html
mic_e

3
int 0x8064ビットの実行可能ファイルで32ビットのABI を使用しています。これは珍しいことですが、サポートされています。使用しsyscallても何も保存されません。の上位バイトebxは無視されるため、2バイトを使用できますmov bl,1。または、もちろんxor ebx,ebxゼロです。Linuxは整数レジスタをゼロに初期化するため、1 = __NR_exit(i386 ABI)を取得するだけで済みますinc eax
ピーター

1
64ビットABIを使用するようにゴルフのサンプルのコードを更新し、のために127バイトにゴルフしましたtrue。(私は128バイト未満を管理するための簡単な方法が表示されないfalse、しかし、32ビットABIを使用するか、またはLinuxは、プロセスの起動時にレジスタをゼロに、その事実を利用すること以外のmov al,252(2バイト)で動作します。 push imm8/ pop rdi希望また、代わりの仕事lea設定するためedi=1、我々はまだ32ビットABI我々はできる打つことができないmov bl,1REXプリフィックスなしで。
ピーター・コルド

2
l $(which true false)
-rwxr-xr-x 1 root root 27280 Mär  2  2017 /bin/false
-rwxr-xr-x 1 root root 27280 Mär  2  2017 /bin/true

私のUbuntu 16.04でもかなり大きい。まったく同じサイズですか?何がそれらをそんなに大きくするのですか?

strings $(which true)

(抜粋:)

Usage: %s [ignored command line arguments]
  or:  %s OPTION
Exit with a status code indicating success.
      --help     display this help and exit
      --version  output version information and exit
NOTE: your shell may have its own version of %s, which usually supersedes
the version described here.  Please refer to your shell's documentation
for details about the options it supports.
http://www.gnu.org/software/coreutils/
Report %s translation bugs to <http://translationproject.org/team/>
Full documentation at: <%s%s>
or available locally via: info '(coreutils) %s%s'

ああ、trueとfalseのヘルプがありますので、試してみましょう。

true --help 
true --version
#

なし。ああ、この他の行がありました:

NOTE: your shell may have its own version of %s, which usually supersedes
    the version described here.

私のシステムでは、/ usr / bin / trueではなく/ bin / trueです

/bin/true --version
true (GNU coreutils) 8.25
Copyright © 2016 Free Software Foundation, Inc.
Lizenz GPLv3+: GNU GPL Version 3 oder höher <http://gnu.org/licenses/gpl.html>
Dies ist freie Software: Sie können sie ändern und weitergeben.
Es gibt keinerlei Garantien, soweit wie es das Gesetz erlaubt.

Geschrieben von Jim Meyering.

LANG=C /bin/true --version
true (GNU coreutils) 8.25
Copyright (C) 2016 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>.
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Written by Jim Meyering.

したがって、国際化のためにライブラリにバインドされているバージョン情報があります。これはサイズの大部分を説明し、シェルはほとんどの場合、最適化されたコマンドを使用します。


静的ライブラリと、elfメタダのバイナリサイズの半分を含みます。私の答えをご覧ください。
ルイFリベイロ
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.