C++のよくわからないコードについて

Question

こんばんは。現在勉強しているライブラリでわからないところがあったので質問しました。
そのライブラリにこのようなコードがありました。

#if defined(__x86_64__)
					*(long *) ((char *) &ctx->cc + 56) = (long) func;
					*(long *) ((char *) &ctx->cc + 16) = (long) stack;
				#elif defined(__i386__)
					*(long *) ((char *) &ctx->cc + 48) = (long) func;
					*(long *) ((char *) &ctx->cc + 36) = (long) stack;
				#elif defined(__arm__)
					*(long *) ((char *) &ctx->cc + 32) = (long) func;
					*(long *) ((char *) &ctx->cc + 28) = (long) stack;
				#else
					#error "PCL: Unsupported setjmp/longjmp OSX CPU. Please report to <[e-mail]>"
				#endif

この部分が動かす環境で場合分けしているということはわかるのですが、どのような目的で何をするコードなのかがわからないので、教えていただきたいです。
ちなみに勉強しているライブラリはこちらです。http://xmailserver.org/libpcl.html
よろしくお願いします。

Comments

[ikedas]

libpclが何をするライブラリかは理解していらっしゃるでしょうか。またsetjmpやlongjmpについてはご存知でしょうか。あと、抜粋しておられるのはソースのどのファイルでしょうか。

[peachkun]

C言語でもコルーチンを使えるようにするライブラリだと思っています。setjmpやlongjmpは関数外へ処理を持っていくための機能という認識です。

[peachkun]

抜粋してるのはpcl.cの325行目以降の内容の一部です

Answer 1

PCLはsetjmpで保存されたコンテキストの実行アドレスとスタックアドレスを書き換えてlongjmpすることで自前でコンテキストスイッチを行うライブラリです。
そのため、setjmp/longjmpの実装に依存するのですがsetjmpでコンテキストとしてどのような値をどのような順で保存するかはライブラリの実装者依存で、またCPUによってレジスタの数なども違うのでCPU依存にもなります。
ですので、#ifで細かく分けていますがやっていることはすべて同じ↑の書き換えです。

示されている部分はApple向けのコンテキストを書き換えている部分で、恐らくはAppleがコンテキストの中身を構造体などのわかりやすい内容で公開していないため特定のオフセットの位置を無理矢理書き換えているんだと思います。
__x86_64__の場合はコンテキストの頭から56バイト目にプログラムカウンタが、16バイト目にスタックポインタがあるのでそれを書き換えている、という意味です。

そうそう出くわすようなコードではないと思いますが、、、

Answer 2

外しているかもですが、errorから見るとsetjmp()を呼んだ時に格納される戻り先アドレスとその時のスタックポインタを格納している処理のようです。Wordサイズ毎に格納するデータサイズが違うので提示されたコードのようになっているのだと思います。で、longjmp()を呼び出すとこの格納された情報から実行位置とスタックを復元してジャンプする（setjmp()位置に戻る）のだと思います・