makecontextのヘルプ・マニュアル
日本語 英語
makecontext --help
man makecontext
MAKECONTEXT(3) Linux Programmer’s Manual MAKECONTEXT(3)
名前
makecontext, swapcontext - ユーザコンテキストを操作する
書式
#include
void makecontext(ucontext_t *ucp, void (*func)(), int argc, ...);
int swapcontext(ucontext_t *oucp, ucontext_t *ucp);
説明
System V 的な環境では、 mcontext_t および ucontext_t という 2 つの型と
、 getcontext(2), setcontext(2), makecontext(), swapcontext() という 4
つ の関数が で定義されており、あるプロセス内部で制御下にあ
る複数のスレッド間で、ユーザレベルのコンテキスト切替えができるように な
っている。
こ れらの型と、最初の 2 つの関数については、 getcontext(2) を参照のこと
。
makecontext() 関数は、ポインタ ucp が指すコンテキストを変更する (ucp は
以前の getcontext(2) 呼び出しで得られたものである)。 makecontext() を起
動する前には、呼び出し者は、このコンテキスト用に新しいスタックを確保 し
、そのアドレスを ucp->uc_stack に代入し、さらに後継のコンテキストを定義
し、そのアドレスを ucp->uc_link に代入しなければならない。
このコンテキストが将来 (setcontext(2) または swapcontext() によって) 有
効にされると、関数 func が呼ばれ、引き数として argc 以降の整数 (int) 引
き数の列が渡される。呼び出し者は argc にこれらの引き数の個数を指定し な
け ればならない。この関数が戻ると、後継のコンテキストが有効になる。後継
コンテキストのポインタが NULL の場合、そのスレッドが終了する。
swapcontext() 関数は現在のコンテキストをポインタ oucp が指す構造体に 保
存し、ポインタ ucp が指すコンテキストを有効にする。
返り値
成功すると、 swapcontext() は返らない (しかし後に oucp が有効になった場
合には返ることがある。このときには swapcontext() は 0 を返すように見 え
る 。) 失敗すると、 swapcontext() は -1 を返し、 errno をエラーに応じて
設定する。
エラー
ENOMEM スタックに割り当てる空間が残っていない。
バージョン
makecontext() と swapcontext() は、バージョン 2.1 以降の glibc で提供さ
れている。
準拠
SUSv2, POSIX.1-2001. POSIX.1-2008 では、移植性の問題から makecontext()
と swapcontext() の仕様が削除されている。代わりに、アプリケーショ ン を
POSIX スレッドを使って書き直すことが推奨されている。
注意
ucp->uc_stack の解釈は sigaltstack(2) の場合と同じである。すなわちこの
構造体には、スタックとして用いられるメモリ領域の開始アドレスと長さが 含
ま れ、これはスタックが伸びる方向がどちらであるかには関係しない。したが
って、ユーザプログラムはこの件については心配しなくてよい。
int とポインタ型が同じ大きさであるアーキテクチャでは (x86-32 はその例で
あ り、両方の型とも 32 ビットである)、 makecontext() の argc 以降の引き
数としてポインタを渡してもうまく動くかもしれない。しかしながら、この よ
う にすると、移植性は保証されず、標準に従えば動作は未定義であり、ポイン
タが int よりも大きいアーキテクチャでは正しく動作しないことだろう。それ
に も関わらず、バージョン 2.8 以降の glibc では、 makecontext(3) に変更
が行われ、(x86-64 などの) いくつかの 64 ビットアーキテクチャで引き数 と
してポインタを渡すことができるようになっている。
例
以 下 のサンプル・プログラムは、 getcontext(2), makecontext(), swapcon-
text() の使用方法の例を示すものである。このプログラムを実行すると、以下
のような出力が得られる:
$ ./a.out
main: swapcontext(&uctx_main, &uctx_func2)
func2: started
func2: swapcontext(&uctx_func2, &uctx_func1)
func1: started
func1: swapcontext(&uctx_func1, &uctx_func2)
func2: returning
func1: returning
main: exiting
プログラムのソース
#include
#include
#include
static ucontext_t uctx_main, uctx_func1, uctx_func2;
#define handle_error(msg) \
do { perror(msg); exit(EXIT_FAILURE); } while (0)
static void
func1(void)
{
printf("func1: started\n");
printf("func1: swapcontext(&uctx_func1, &uctx_func2)\n");
if (swapcontext(&uctx_func1, &uctx_func2) == -1)
handle_error("swapcontext");
printf("func1: returning\n");
}
static void
func2(void)
{
printf("func2: started\n");
printf("func2: swapcontext(&uctx_func2, &uctx_func1)\n");
if (swapcontext(&uctx_func2, &uctx_func1) == -1)
handle_error("swapcontext");
printf("func2: returning\n");
}
int
main(int argc, char *argv[])
{
char func1_stack[16384];
char func2_stack[16384];
if (getcontext(&uctx_func1) == -1)
handle_error("getcontext");
uctx_func1.uc_stack.ss_sp = func1_stack;
uctx_func1.uc_stack.ss_size = sizeof(func1_stack);
uctx_func1.uc_link = &uctx_main;
makecontext(&uctx_func1, func1, 0);
if (getcontext(&uctx_func2) == -1)
handle_error("getcontext");
uctx_func2.uc_stack.ss_sp = func2_stack;
uctx_func2.uc_stack.ss_size = sizeof(func2_stack);
/* Successor context is f1(), unless argc > 1 */
uctx_func2.uc_link = (argc > 1) ? NULL : &uctx_func1;
makecontext(&uctx_func2, func2, 0);
printf("main: swapcontext(&uctx_main, &uctx_func2)\n");
if (swapcontext(&uctx_main, &uctx_func2) == -1)
handle_error("swapcontext");
printf("main: exiting\n");
exit(EXIT_SUCCESS);
}
関連項目
getcontext(2), sigaction(2), sigaltstack(2), sigprocmask(2),
sigsetjmp(3)
GNU 2009-03-31 MAKECONTEXT(3)
MAKECONTEXT(3) Linux Programmer’s Manual MAKECONTEXT(3)
NAME
makecontext, swapcontext - manipulate user context
SYNOPSIS
#include
void makecontext(ucontext_t *ucp, void (*func)(), int argc, ...);
int swapcontext(ucontext_t *oucp, ucontext_t *ucp);
DESCRIPTION
In a System V-like environment, one has the type ucontext_t defined in
and the four functions getcontext(2), setcontext(2), make-
context() and swapcontext() that allow user-level context switching
between multiple threads of control within a process.
For the type and the first two functions, see getcontext(2).
The makecontext() function modifies the context pointed to by ucp
(which was obtained from a call to getcontext(2)). Before invoking
makecontext(), the caller must allocate a new stack for this context
and assign its address to ucp->uc_stack, and define a successor context
and assign its address to ucp->uc_link.
When this context is later activated (using setcontext(2) or swapcon-
text()) the function func is called, and passed the series of integer
(int) arguments that follow argc; the caller must specify the number of
these arguments in argc. When this function returns, the successor
context is activated. If the successor context pointer is NULL, the
thread exits.
The swapcontext() function saves the current context in the structure
pointed to by oucp, and then activates the context pointed to by ucp.
RETURN VALUE
When successful, swapcontext() does not return. (But we may return
later, in case oucp is activated, in which case it looks like swapcon-
text() returns 0.) On error, swapcontext() returns -1 and sets errno
appropriately.
ERRORS
ENOMEM Insufficient stack space left.
VERSIONS
makecontext() and swapcontext() are provided in glibc since version
2.1.
CONFORMING TO
SUSv2, POSIX.1-2001. POSIX.1-2008 removes the specifications of make-
context() and swapcontext(), citing portability issues, and recommend-
ing that applications be rewritten to use POSIX threads instead.
NOTES
The interpretation of ucp->uc_stack is just as in sigaltstack(2),
namely, this struct contains the start and length of a memory area to
be used as the stack, regardless of the direction of growth of the
stack. Thus, it is not necessary for the user program to worry about
this direction.
On architectures where int and pointer types are the same size (e.g.,
x86-32, where both types are 32 bits), you may be able to get away with
passing pointers as arguments to makecontext() following argc.
However, doing this is not guaranteed to be portable, is undefined
according to the standards, and won’t work on architectures where
pointers are larger than ints. Nevertheless, starting with version
2.8, glibc makes some changes to makecontext(3), to permit this on some
64-bit architectures (e.g., x86-64).
EXAMPLE
The example program below demonstrates the use of getcontext(2), make-
context(), and swapcontext(). Running the program produces the follow-
ing output:
$ ./a.out
main: swapcontext(&uctx_main, &uctx_func2)
func2: started
func2: swapcontext(&uctx_func2, &uctx_func1)
func1: started
func1: swapcontext(&uctx_func1, &uctx_func2)
func2: returning
func1: returning
main: exiting
Program source
#include
#include
#include
static ucontext_t uctx_main, uctx_func1, uctx_func2;
#define handle_error(msg) \
do { perror(msg); exit(EXIT_FAILURE); } while (0)
static void
func1(void)
{
printf("func1: started\n");
printf("func1: swapcontext(&uctx_func1, &uctx_func2)\n");
if (swapcontext(&uctx_func1, &uctx_func2) == -1)
handle_error("swapcontext");
printf("func1: returning\n");
}
static void
func2(void)
{
printf("func2: started\n");
printf("func2: swapcontext(&uctx_func2, &uctx_func1)\n");
if (swapcontext(&uctx_func2, &uctx_func1) == -1)
handle_error("swapcontext");
printf("func2: returning\n");
}
int
main(int argc, char *argv[])
{
char func1_stack[16384];
char func2_stack[16384];
if (getcontext(&uctx_func1) == -1)
handle_error("getcontext");
uctx_func1.uc_stack.ss_sp = func1_stack;
uctx_func1.uc_stack.ss_size = sizeof(func1_stack);
uctx_func1.uc_link = &uctx_main;
makecontext(&uctx_func1, func1, 0);
if (getcontext(&uctx_func2) == -1)
handle_error("getcontext");
uctx_func2.uc_stack.ss_sp = func2_stack;
uctx_func2.uc_stack.ss_size = sizeof(func2_stack);
/* Successor context is f1(), unless argc > 1 */
uctx_func2.uc_link = (argc > 1) ? NULL : &uctx_func1;
makecontext(&uctx_func2, func2, 0);
printf("main: swapcontext(&uctx_main, &uctx_func2)\n");
if (swapcontext(&uctx_main, &uctx_func2) == -1)
handle_error("swapcontext");
printf("main: exiting\n");
exit(EXIT_SUCCESS);
}
SEE ALSO
getcontext(2), sigaction(2), sigaltstack(2), sigprocmask(2),
sigsetjmp(3)
COLOPHON
This page is part of release 3.22 of the Linux man-pages project. A
description of the project, and information about reporting bugs, can
be found at http://www.kernel.org/doc/man-pages/.
GNU 2009-03-31 MAKECONTEXT(3)