ret とretfについて。

質問

アセンブリ言語では、retとretfとはどういう事でしょうか？nearリターンとfarリターンの違いは何でしょうか？教えていただけないでしょうか？すみません。

回答No.3

AsarKingChang

>直訳するとセグメントは分割ですが、nearは現在の分割に戻る。farは、分割も復元して戻る。という意味になると思うのですが、どういう事でしょうか？差し支えなければ教えていただけないでしょうか？

すみません。
英語的にも、認識としてもそれであってますよ。

32ビットだと、話が面倒なので16ビットモードで説明しますが。
call 0x1234
これは、今いるセグメント内の「１２３４番地をコールしますよね」
しかし、16ビットは、65536バイトしかありません。
初代8086は、1MByteのメモリを搭載可能でした。
しかし、16ビットでは、1MBをアクセスできないのですよ。
なので、セグメントという「区画わけ＝部屋分け」＝つまりは分割
する概念が入りました。
同じ、65536＝64KB内にある、関数や番地は「Near」と呼ばれ
直接値を書けばジャンプなりコールできます。
しかし「それより外はどうするの？」
ということになり、16バイトを1つと数える
セグメントが導入されました。
0000:0000=これは、0番地
0000:0010=これは、16番地こっちはNear
0001:0000=これも、16番地これはFarになる。
で、16ビットx16を1として数える=65536x16=1MB
になったのです。
なので、
call near 0x1234　これは、SS:SPレジスタに「次の番地をスタックに入れて0x1234番地にジャンプ」する命令
ret スタックから1つの値を取り出す=これが、「次の番地」
そこにジャンプする。
となります。
今度は、
call far 0x1234:0x5678　この場合はSS:SPレジスタ位置に「現在のCSと次の番地を入れてから、CS=1234をセットした上で、0x5678へジャンプ」する命令になります。
なぜ、retが2つあるのかは、これでわかったと思いますが。
call far の後、retすると、上の例では、本来の位置ではなく、
CS=1234のままで、この命令の次の番地の「下位16ビットに飛んでしまいます」
これを避けるための命令がretf
ってことです。

なお、ジャンプ命令と、コール命令をごちゃごちゃに書いてますが。
実は「同じ」です。
mov ax,offset next
push ax
jmp function
:function
ret このRET命令がaxに入れていたnextの番地を復元してそこにジャンプ
:next
ここにきます。

要するに、callとjmp命令は、スタックを使うか使わないかだけで、
同じ物なんです。
なお、スタックというのは、SP(スタックポインタ）ですが、
これも、16ビットなので、当然64Kしかないので、
これにもSS(スタックセグメント)
を補うことで、1MB空間を表せるように拡張されています。
CS:PC　CS=コードセグメント：PC=プログラムカウンタ
これが、プログラム用の、セグメント
データは、
DS:データセグメント（何もしなければ常にDSを指してます）
と、用途ごとにセグメントが複数あるのもこのためです。
そうしないと、
「今いるセグメントのデータしか読み書きできない」為です。
特殊なもので、用途が決まっていないESなどもあります。

これらは、
　　　mov ax,[0x1234] これは、DSセグメント内の0x1234番地にあるデータを16ビット取り出せ！の命令
　　　mov ax,es:[0x1234] これは、ESセグメント内の0x1234番地にあるデータを16ビット取り出せ！の命令
（これをセグメントオーバーライドと言います）

それが「さらに複雑になってページという扱いになってる」
286以降のセグメントレジスタです。
なので、説明したくないほど面倒です。
なので、勉強が目的なら、リアルモード（リニア）86で
止めておく方が、いいかと。

補足

しかしからもう少し詳しく教えていただけないでしょうか？すみません。