[ruby-dev:28133] Re: Intel C++ Compiler and HP aC++/ANSI C on IA64

In article <[e-mail]>,
  WATANABE Tetsuya <[e-mail]> writes:

> ぜんぜんついていけていないのですが、次の二つの資料があり
> もしかすると役立つかもしれません。
>
> ------------------------------
> Context routines for user level thread switching on HP-UX
> http://h21007.www2.hp.com/dspp/files/unprotected/threads/ContextRoutines_UsrLvlThredSwitch_HPUX_0605.pdf
> ------------------------------
>
> ------------------------------
> Implementing User Level Threading on the IntelR ItaniumR Architecture
> Michael Saboff
> Version 1.0 October 21, 2003 Hewlett-Packard Company
> http://h21007.www2.hp.com/dspp/files/unprotected/threads/Itaniumthreads.pdf
> ------------------------------

ざっと眺めてみましたが、ここで問題になっている問題とは違う話
のように思います。

問題は、setjmp/getcontext から (longjmp/setcontext 経由で)
return した時に r32 以降 (register stack に保存されるレジス
タ) が setjmp/getcontext の呼出し時とは違う値になっている可
能性があるにもかかわらずコンパイラがその可能性を想定しないコー
ドを生成している、というところにあります。

# 細かい話は eval.c の FUNCTION_CALL_MAY_RETURN_TWICE のコメ
# ントにつけてあります。gdb による観測結果を含むもっと細かい
# 話はそのコメントに付けてある GCC Bugzilla へのリンクの先に
# あります。

でも、context switch は setjmp が 2回 return するというような
意味では 2回 return したりはしないので、そのような問題は起き
ません。

> makecontext() getcontext() swapcontext() だけで済むような、レベ
> ルの話ではないのかもしれないのですが。

makecontext, swapcontext はそれはそれで他の話として興味深い
のですが、この話に直接適用できるものではないと思っています。
-- 
[田中 哲][たなか あきら][Tanaka Akira]