reentrant

リエントラント、興奮回帰性の

WordNet

1. represented as leaping (rampant but leaning forward)
2. (military) the part of the line of battle that projects closest to the enemy
3. (of angles) pointing outward at an angle of less than 180 degrees
4. a polygon with one or more reentrant angles (同)reentering polygon

PrepTutorEJDIC

1. 目立った,顕著な(prominent) / 《文》突き出した(projecting) / 凸角;(線戦・要塞などの)突出部

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2017/07/05 19:38:22」(JST)

wiki ja

[Wiki ja表示]

リエントラント（reentrant、再入可能）とは、プログラムやサブルーチンが、実行の途中で割り込まれ、その実行が完了する前に再び呼び出され実行されても安全だという性質を指す。割り込みは分岐や呼び出しなどの内部的な動きによって生じる場合もあるし、ハードウェア割り込みやシグナルなどの外部の動きによって生じる場合もある。割り込んでの呼び出しが完了すれば、割り込まれた呼び出しが実行を継続できる。

この定義はシングルスレッドのプログラミング環境が起源であり、ハードウェア割り込みで割り込まれた制御の流れが割り込みサービスルーチン (ISR) に転送されることから生まれた。ISRが使用するサブルーチンは割り込みをきっかけとして実行される可能性があるため、リエントラントでなければならない。OSのカーネルが使用するサブルーチンの多くは、カーネルで確保済みのリソースを超えられない制限がありリエントラントではない。そのためISRでできることは限られている。例えば、一般にISRからファイルシステムにはアクセスできないし、場合によってはヒープ領域も確保できない。

直接または間接に再帰可能なサブルーチンはリエントラントである。しかし、グローバル変数が処理の流れの中でしか変化しないことを前提としているサブルーチンはリエントラントではない。グローバル変数を更新するサブルーチンが再帰的に呼び出されれば、1回のサブルーチン実行の中でグローバル変数は突然変化することになる。

リエントラント性の概念はシングルスレッドの環境に起源があり、マルチスレッド環境でのスレッドセーフという概念とは異なる。リエントラントなサブルーチンはスレッドセーフにすることもできるが、リエントラントだというだけであらゆる状況でスレッドセーフと言えるわけではない。逆にスレッドセーフなコードはリエントラントである必要はない（後述の例を参照）。

例

次の例の swap() 関数は、リエントラントではない（同時にスレッドセーフでもない）。したがってこれを割り込みサービスルーチン isr() で使用すべきでない。

int t;

void swap(int *x, int *y)
{
 t = *x;
 *x = *y;
 // ここでハード割り込みが起きて isr() が呼び出される可能性がある
 *y = t;
}

void isr()
{
 int x = 1, y = 2;
 swap(&x, &y);
}

swap() は t をスレッド局所記憶にすることでスレッドセーフにできる。しかしそのようにしてもリエントラントにはならず、swap() 実行中に同じスレッドのコンテキストで isr() が呼び出されれば問題を生じる可能性が残っている。

次の工夫を加えたswap関数では、実行完了時のグローバルなデータを注意深く一貫性を保つようにしており、完全にリエントラントである。ただし、実行途中のグローバルなデータの一貫性は保証されていないのでスレッドセーフではない。

int t;

void swap(int *x, int *y)
{
 int s;

 s = t; // グローバル変数をセーブ
 t = *x;
 *x = *y;
 // ここでハード割り込みが起きて isr() が呼び出される可能性がある
 *y = t;
 t = s; // グローバル変数をリストア
}

void isr()
{
 int x = 1, y = 2;
 swap(&x, &y);
}

背景

リエントラント性と冪等性は同義ではない。冪等な関数は、何度呼び出したとしても1度だけ呼び出したかのように全く同じ出力を生成する。一般化すれば、共有データを使わず、入力データに基づいて出力データを生成する関数である（ただし、入力や出力はオプション）。共有データはいつでも誰でもアクセスできる。データを誰かが更新し、誰も更新を把握していない場合、そのデータが以前と比べて変化したのかどうかさえ誰にもわからない。冪等性はリエントラント性を包含するが、逆は必ずしも真ではない。

データにはスコープという属性がある。グローバルなデータはあらゆる関数のスコープの範囲外にあり、寿命は不定である。一方局所的なデータは関数が呼び出されるたびに生成され、関数から抜けるときに破棄される。

局所的データはルーチン間で共有されず、再入時にも共有されない。したがってリエントラント性を阻害しない。グローバルなデータは任意の関数間で共有でき、あるいは再入時にも共有される。したがってリエントラント性を阻害する。

リエントラント性はスレッドセーフの概念とは異なるが、密接に関連している。関数がスレッドセーフであっても、リエントラントでないことがある。例えば関数全体をミューテックスで囲むと、マルチスレッド環境では問題を防げるが、割り込みサービスルーチンで使用すると再入時にミューテックスの解放を待ち続けることになる。混乱を避ける鍵は、リエントラントが1つのスレッド実行でも問題になるという点である。リエントラント性はマルチタスクOSの存在する前からの概念である。

リエントラント性の原則

リエントラントなコードは、静的変数やグローバル変数を保持しない。

リエントラントな関数はグローバルなデータを使えないわけではない。例えばリエントラントな割り込みサービスルーチンは、（例えば、シリアルポートのバッファを読み取るなど）ハードウェアのステータス情報を取得できるが、それはグローバルなデータであると同時に揮発性である。それでも静的変数やグローバルなデータを普通に使うことは勧められず、不可分なリード・モディファイ・ライト命令を使ってそのような変数にアクセスするべきである（そのような不可分命令を実行中は割り込みやシグナルが処理を中断できない）。

リエントラントなコードは自分のコードを書き換えない。

OSによってはプロセスが自身のコードを書きかえることを許している。その理由は様々だが（例えば、BitBltでグラフィックスを高速化するためなど）、呼び出す度にコードが変化している可能性があるなら、リエントラント性との両立は難しい。

しかし、呼び出す度にメモリ上の新たな場所にある機械語コードを実行するなら、コードを書き換えても他の呼び出しには影響せず、両立は不可能ではない。

リエントラントなコードは、リエントラントでないプログラムやサブルーチンを呼び出さない。

ユーザー/オブジェクト/プロセスに複数レベルの優先度があることや、マルチプロセッシングがリエントラントなコードの制御を複雑化させている。リエントラントな設計においては、あらゆるアクセスに絶えず注意することが重要であり、ルーチン内の副作用に注意することが重要である。

リエントラントな割り込みハンドラ

リエントラントな割り込みハンドラは、割り込み処理中に早期に割り込み可能にする割り込みハンドラである。それによって割り込みレイテンシが低減される。一般に割り込みサービスルーチンをプログラミングする際、割り込みハンドラ内でなるべく早期に割り込み可能な状態にすることが推奨される。それによって割り込みを拾い損なうのを防ぎやすくなる。

さらなる例

以下のコードにある関数 f も g もリエントラントではない。

int g_var = 1;

int f()
{
 g_var = g_var + 2;
 return g_var;
}

int g()
{
 return f() + 2;
}

上記のコードで、f はグローバル変数 g_var に依存している。したがって、2つのプロセス（スレッド）が f を実行すると、g_var に同時並行的にアクセスし、結果はタイミングに依存することになる。したがって、f はリエントラントではない。その f を呼び出している g もリエントラントではない。

これらを若干変更したリエントラントである版を以下に示す:

int f(int i)
{
 return i + 2;
}

int g(int i)
{
 return f(i) + 2;
}

新しい版では、グローバル変数 g_var は使われていない。引数を渡して、それに基づいて処理を行って結果を返す。共有される可能性のあるオブジェクトにはアクセスしないようになっている。その代わり、呼出し側が前回の戻り値を引数として渡してやらなければならない。このように、リエントラントなサブルーチンでは、必要な静的データは呼出し側が管理しなければならない。

次のC言語のコードでは、関数はスレッドセーフだが、リエントラントではない。

int function()
{
 mutex_lock();
 ...
 function body
 ...
 mutex_unlock();
}

この function は複数のスレッドから呼び出されても全く問題はない、しかし、リエントラントな割り込みハンドラがこの関数を呼び出す場合、2つ目の割り込みがこの関数実行中に発生すると、二度目の呼び出しはミューテックスを獲得できず、永久に停止する。割り込みサービスでは他の割り込みをディセーブルするので、システム全体がハングアップすることになる。

参考文献

• Kerrisk, Michael (2010). The Linux Programming Interface. No Starch Press. 

関連項目

• 参照透過性
• スレッドセーフ
• 再帰

外部リンク

• Article "Use reentrant functions for safer signal handling" by Dipak K Jha
• "再入可能コードおよびスレッド・セーフ・コードの作成," from AIX Version 6.1 プログラミングの一般概念: プログラムの作成およびデバッグ
• Jack Ganssle (2001). "Introduction to Reentrancy". EE Times.
• Raymond Chen (2004). The difference between thread-safety and re-entrancy. The Old New Thing.
• IT用語辞典バイナリ『再入可能』 - Weblio
• ブリタニカ国際大百科事典 小項目事典『リエントラント』 - コトバンク

wiki en

[Wiki en表示]

Reentrant or re-entrant can refer to:

• Re-entrant (landform), the low ground formed between two hill spurs.
• Reentrancy (computing) in computer programming
• Reentrant mutex in computer science
• Reentry (neural circuitry) in neuroscience
• Salients, re-entrants and pockets in military tactics
• Reentrant tuning in music
• Concave or reentrant polygon

See also

• Reentry
• Reentrant dysrhythmia, a type of cardiac arrhythmia

UpToDate Contents

全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.

• 1. 副伝導路が関与する房室回帰性頻拍（AVRT） atrioventricular reentrant tachycardia avrt associated with an accessory pathway
• 2. 不整脈のリエントリーおよび発現 reentry and the development of cardiac arrhythmias
• 3. 房室結節リエントリー性頻拍（房室回帰性頻拍） atrioventricular nodal reentrant tachycardia junctional reciprocating tachycardia
• 4. 小児における上室性頻脈：房室回帰性頻拍（WPW症候群）および房室結節回帰性頻拍 supraventricular tachycardia in children av reentrant tachycardia including wpw and av nodal reentrant tachycardia
• 5. 心房内リエントリ性頻拍 intraatrial reentrant tachycardia

English Journal

• Radiofrequency catheter ablation of atrioventricular node reentrant tachycardia in children with limited fluoroscopy.

• Swissa M1, Birk E2, Dagan T2, Naimer SA3, Fogelman M2, Einbinder T2, Bruckheimer E2, Fogelman R2.
• International journal of cardiology.Int J Cardiol.2017 Jun 1;236:198-202. doi: 10.1016/j.ijcard.2017.01.128. Epub 2017 Jan 31.
• PMID 28202257

• Efficacy of Intravenous Sotalol for Treatment of Incessant Tachyarrhythmias in Children.

• Li X1, Zhang Y2, Liu H2, Jiang H2, Ge H2, Zhang Y2.
• The American journal of cardiology.Am J Cardiol.2017 May 1;119(9):1366-1370. doi: 10.1016/j.amjcard.2017.01.034. Epub 2017 Feb 10.
• PMID 28283175

• Reentrant Variation of Single-Chain Elasticity of Polyelectrolyte Induced by Monovalent Salt.

• Yu M1, Qian L1, Cui S1.
• The journal of physical chemistry. B.J Phys Chem B.2017 Apr 27;121(16):4257-4264. doi: 10.1021/acs.jpcb.7b00696. Epub 2017 Apr 11.
• PMID 28358510

Japanese Journal

• 二重凹角構造ピラーアレイを応用した超撥水性表面の低コスト量産プロセスの開発

• 電気学会論文誌. E, センサ・マイクロマシン部門誌 137(6), 165-168, 2017
• NAID 130005687853

• 水晶の日本式双晶の形態と接合面の構造

• 岩石鉱物科学 46(1), 35-41, 2017
• NAID 130005475599

• Incidence of Atrial Tachyarrhythmias in Patients With Early Repolarization Syndrome

• International Heart Journal 58(1), 43-49, 2017
• NAID 130005330355

Related Pictures

---

★リンクテーブル★

リンク元	「salient」「興奮回帰性」「リエントラント」
拡張検索	「AV nodal reentrant tachycardia」「uncommon type atrioventricular nodal reentrant tachycardia」「atrioventricular reentrant tachycardia」

「salient」

　　[★]

• adj.

• 顕著な、目立った。突起した、突出した(⇔reentrant
• とびはねる

• n.

• 凸部。突角

関

(adv.)sailently 顕著に。突出して

関

conspicuity、conspicuous、conspicuously、distinguish、extrude、extrusion、marked、markedly、noteworthy、obtrusive、outstanding、overhang、project、prominent、prominently、protrude、protrusion、remarkable、stand out、striking

　 　 　 　

「興奮回帰性」

　　[★]

英

reentrant

関

リエントラント

「リエントラント」

　　[★]

英

reentrant

関

興奮回帰性

「AV nodal reentrant tachycardia」

　　[★]

房室結節性リエントリ性頻拍、房室結節性リエントリー性頻拍、房室結節性リエントリー性頻脈、AV結節性リエントリー性頻拍

関

atrioventricular nodal reentrant tachycardia、atrioventricular nodal reentry tachycardia

「uncommon type atrioventricular nodal reentrant tachycardia」

　　[★] 稀有型房室結節リエントリ性頻拍

「atrioventricular reentrant tachycardia」

　　[★] 房室回帰性頻拍, AVRT