コンパイルしたらマシン語になる？

質問

基本的な質問かもしれないのですが：
●プログラミング言語をコンパイルしたらマシン語になるのでしょうか？
●マシン語になるとしたら、なぜ、Windowsのgccでコンパイルした実行ファイルはUnix上で動かないのでしょうか？

Ｃ言語などのプログラミング言語は人間が理解できる言葉で書かれていて、これをマシン（例えばIntelのCPU）が理解できる言葉に変換するのが「コンパイル」だと今まで私は理解していました。だから、IntelのCPU上でコンパイルした場合、他のCPUでは動かないのだと納得していました。

しかし、IntelのCPUが理解する言葉になるのであれば、WindowsでコンパイルしてもUnixでコンパイルしても IntelのCPUの言葉になっている点で変わりがないような気がします。しかし、Windowsでコンパイルした実行ファイルはUnixでは動かないですよね。私は根本的な勘違いをしていると思うのですが、それが何かを教えて頂けると幸いです。

回答No.9

eitetsu · ベストアンサー

#3です。

> コンパイルした実行ファイルは
> (1)CPUに直接働きかける部分
> (2)OSの機能を使って、間接的にCPUに働きかける部分
> の両方を持っているのでしょうか？

他の方も書いていますが、実際のプログラムが動作する場合においては、両方が混じっています。
(2)の部分のイメージとしてですが、例えば
void main() {
printf("hello world");
}
といったプログラムを実行した場合を考えます。

これを実際に実行した場合、Unixではコンソール、Windowsではコマンドプロンプトに文字が出力されるわけですが、このそれぞれの画面に文字を出力する、という処理は各OSの機能によるものになります。

こういった部分があるため、OS依存性がでることになります。
また、stdio.hなどの基本機能とOS機能のなかだちをする処理が、コンパイルの中でもリンクといわれる処理になります。（・・・で、よかったと思います。）

補足

分かりやすい例をありがとうございます。確かに、画面への出力はＯＳの機能ですね。

ＯＳとのリンクが文字通り「リンク」なのですね。

回答No.10

sha-girl

>ＯＳとのリンクが文字通り「リンク」なのですね。

ちょっと違います。
リンクとは複数のオブジェクトファイルを一つの
実行ファイル(exe)にまとめる事です。それは標準ライブラリーかもしれませんし
複数のソースファイルがあるなら、それらをまとめる処理の事です。
「リンカ C言語」で検索してみてください。

http://www.cqpub.co.jp/try/kijidb/yougo/san.htm
http://asfa.tokyo-u-fish.ac.jp/joho991/C-gen.htm

参考URL：

http://www.cqpub.co.jp/try/kijidb/yougo/san.htm,http://asfa.tokyo-u-fish.ac.jp/joho991/C-gen.htm

回答No.8

BLUEPIXY

確かに、IntelのマシンでコンパイルしたらIntelのマシンの機械語が出力されますが、
実行ファイルの形式というのはそれぞれののＯＳによって違います。
ＷｉｎｄｏｗｓでもＣＯＭ形式（今どきはあまりききませんが）とＥＸＥ形式がありますよね。
Ｕｎｉｘ系とかでもａ．ｏｕｔ形式とかｅｌｆ形式とかあります。
それは、実行ファイルを各ＯＳでどのようにメモリ上で実行できるように展開するかが違うからです。
もちろん、ＡＰＩなどＯＳ毎の機能を使っていても、動かないのは、他の方もおっしゃっているとおりです。
それは、たとえば、Ｗｉｎｄｏｗｓでも
９５でしか動かないＮＴでしか動かない実行ファイルがあるのと同じことです。

補足

> ＷｉｎｄｏｗｓでもＣＯＭ形式
> （今どきはあまりききませんが）とＥＸＥ形式がありますよね。
> Ｕｎｉｘ系とかでもａ．ｏｕｔ形式とか
> ｅｌｆ形式とかあります。
> それは、実行ファイルを各ＯＳでどのように
> メモリ上で実行できるように展開するかが違うからです。

なるほど、たしかにそうですね。
分かりやすい例をありがとうございます。

回答No.7

omi63

#1、#4です。
特殊なものを除いて実行モジュールにはヘッダー(OS毎に形式が決まっている実行モジュールの最初の部分)が有ります。OSはこの部分を見ただけで実行できるかどうかを形式的に判断できます。ドライバもまた然りです。

回答No.6

JaritenCat

＞gcc でＣ言語をコンパイルする時、たとえばライブラリとして stdio しか使わない場合、ＯＳに依存する機能は使っていないような気がするのですがそういう問題ではないのでしょうか？

たとえstdio.hを使わなくてもコンパイル後の実行ファイルはＯＳによって形式が違うので、ＯＳ依存だと思いますね。それはUnixであってもBSDとLinuxでは互換性ないでしょう。それに、プログラムの実行処理(main関数に行くまでの処理)はＯＳがやりますしメモリ管理もＯＳですからＯＳが違えば同じCPUでも互換にはならないと思います。

ちなみに、ＯＳと実行ファイルの間にエミュレータを入れて、ＯＳ間の差を吸収してやれば、バイナリ互換になります。

回答No.5

taka_tetsu

>gcc でＣ言語をコンパイルする時、たとえばライブラリとして stdio しか使わない場合、
>ＯＳに依存する機能は使っていないような気がするのですがそういう問題ではないのでしょうか？

標準ライブラリの実装そのものはOSに依存しますよね。

>コンパイルした実行ファイルは
>(1)CPUに直接働きかける部分
>(2)OSの機能を使って、間接的にCPUに働きかける部分
>の両方を持っているのでしょうか？

両方ですね。

>つまり、、ＯＳ間のドライバの違いが機種依存を生み出している、と思って良いのでしょうか？

だけではありません。
根本的なところで、そのOSが実行ファイルとして起動可能なフォーマットのファイルになっていることが大前提です。

Windows用のコンパイラでコンパイルしたならWindows用の実行ファイルのファイル形式に基づいてマシン語に翻訳されますし、UNIX用のコンパリラならUNIX用のファイル形式に基づいて翻訳されます。

つまり、

int main()
{
int a;
a = 1 + 2;
return 0;
}

なんてプログラムから生成されるマシン語がOSが異なっても同一なものが生成されるとしても、OSが実行ファイルと認識できなければ動かすことが出来ません。

補足

＞両方ですね。

これは、言われてみれば確かに。ＯＳが実行ファイルと認識する必要がありますね。

(1)CPUに直接働きかける部分
(2)OSの機能を使って、間接的にCPUに働きかける部分

の両方が exe ファイルに含まれているというのはなかなか驚きでした。

回答No.4

omi63

> すると、機能など呼び出しているだけで、直接CPUに命令しているわけではないのでしょうか？

機能などを呼び出している部分、直接CPUに命令している部分など混在していると思います。機能などを呼び出している部分があればそのOSに依存している つまり、他のOSでは実行できないものとなります。

回答No.3

eitetsu

コンパイル＝マシン語に直接変換する形ではありません。

実際には、そのコンパイルを行なうソフトの実装によりますが、基本的にはそのOSなり、ソフトウェア上で直接動作できる形式への変換を行ないます。

Windowsにしろ、Linuxにしろ、OS上ではコンピュータ全体を管理する為のソフトウェアが既に動いており、これらを有効に活用しながら動作するよう、コンパイルを行ないます。
これらのソフトウェア（デバイスドライバ）がOSによって異なるので、ソースは同じでも、コンパイル後のファイルは、環境依存が発生することになります。

お礼

ちょっと根本的な疑問が出てきました。

コンパイルした実行ファイルは
(1)CPUに直接働きかける部分
(2)OSの機能を使って、間接的にCPUに働きかける部分
の両方を持っているのでしょうか？

それとも(2)だけなのでしょうか？

補足

ありがとうございます。ちょっと分かったような気がします。

つまり、、ＯＳ間のドライバの違いが機種依存を生み出している、と思って良いのでしょうか？

回答No.2

foobar

コンパイルしたら、「コンパイルした部分」のマシン語ができあがります。
が、このままではプログラムとしては動作しません。コンパイルした部分で使われている関数呼出などを外部のライブラリと結合してやる必要が有ります。(リンク)
(もうひとつ、プログラムを動かすための前準備の部分、後準備の部分も場合によってはくっつけてやる必要が有ります。)

この、コンパイルした後にくっつける、前準備、後準備や、関数等の呼出かた(どういう名前のライブラリをどういう手順で呼び出して使うか)が、OSによって異なります。

ということで、コンパイル(+リンク)する時に想定したOS上でしか、プログラムは動作しません。

補足

ありがとうございます。

>コンパイルした部分で使われている関数呼出などを
>外部のライブラリと結合してやる必要が有ります

gcc でＣ言語をコンパイルする時、たとえばライブラリとして stdio しか使わない場合、ＯＳに依存する機能は使っていないような気がするのですがそういう問題ではないのでしょうか？

回答No.1

omi63

コンパイル後の実行モジュールが、他（OSの機能など）を直接又は間接にコールしているだけだと思います。

補足

ありがとうございます。

すると、機能など呼び出しているだけで、直接CPUに命令しているわけではないのでしょうか？