| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
GaucheはPOSIX.1の多くの関数と、さまざまなUnixで共通して使われているシステム関数へのインタフェースを 組込み手続きとして提供しています。
多くのScheme実装はいろいろな形で何らかのシステムインタフェースを提供
しています。名前だけが違うもの(例：delete-file、remove-file
、unlink) もあれば、新しいSchemeオブジェクトを導入して
抽象化を行っているものもあります。Gaucheでは、既存のAPIのどれかを
そのまま真似るのではなく、2つのレイヤを提供することにしました。
この章で述べられる低レベルレイヤは、OSのインタフェースに似せたものを実装します。
その上に、既存のシステムと互換性のある高レベルのインタフェースが実装されます。
sys-nameという名前を持つ手続きは、多くの場合、
システムコールnameに対応しています。
可能な限り、インタフェースが似るようにしました。
なお、Gaucheはシステムコールがシグナルによって割り込まれた場合、 システムコールをリスタートします。詳しくはシグナルを参照して下さい。
Cによるシステムプログラミングに慣れている方は、 CとSchemeの関数の対応も参考にして下さい。 Cの標準ライブラリとGaucheの手続きとの対応が示してあります。
| 6.22.1 プログラムの終了 | ||
| 6.22.2 環境の問い合わせ | ||
| 6.22.3 ファイルシステム | ||
| 6.22.4 Unixのグループとユーザ | ||
| 6.22.5 ロケール | ||
| 6.22.6 シグナル | ||
| 6.22.7 システムへの問い合わせ | ||
| 6.22.8 時間 | ||
| 6.22.9 プロセス管理 | ||
| 6.22.10 I/Oの多重化 | ||
| 6.22.11 その他のシステムコール |
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
Gaucheは(mainから返る以外に)自分自身を終了させる方法をいくつか
提供しています。exit手続きが、正しいクリーンアップを行って
優雅に終了する方法です。一方、正しいクリーンアップが不可能な非常事態には
sys-exitかsys-abortを使います。
[POSIX]
現在のプロセスを終了し、codeを終了コードにします。
codeはゼロもしくは正の正確な整数でなければなりません。
fmtstr文字列が与えられた場合、それは残りの引数argsと
ともにformatに渡され、standard error portにメッセージとして
印字されます (current-error-portではありません。
ポート共通の操作参照。また、formatについては
出力参照。)
実のところ、プロセス終了の手続きはもう少し複雑です。 正確な段階を次に説明します。
exit-handlerの値がチェックされます。
もしそれが#fでなければ、それは3引数の手続きとみなされ、
code、fmtstr、そして残りの引数のリストを引数として
呼び出されます。実はメッセージを標準エラー出力に出しているのは
デフォルトのexit-handlerです。
終了ハンドラの中でエラーが起きた場合、そのエラーは捕捉され捨てられます。
エラー以外の例外は捕捉されません。
dynamic-windのafterサンクが順に呼び出されます。
afterサンク中で発生した例外は捕捉され捨てられます。
Scm_AddCleanupHandlerで登録されたクリーンアップハンドラが
呼ばれます。このハンドラは通常、Gaucheを内蔵しているアプリケーション特有の
クリーンアップをするために使われます。Schemeの世界からはあまり気にする必要は
ないでしょう。
exit(3)を呼び、プロセスはcodeを終了コードとして終了します。
exit-handlerのメカニズムはアプリケーションが終了処理をフックすることを
可能にします。ただし、単純なクリーンアップ処理のためのものではありません
(クリーンアップ処理には
dynamic-wind, guardあるいはunwind-protectを使う方が
適切です。)
exit-handlerはもっと「アプリケーションの終了」という特定の事態に
対して何か処理を行いたい場合に使います。
例えばGUIアプリケーションはメッセージを標準エラー出力ではなく
ダイアログとして表示する、というようなことです。
従って、ライブラリコードはexit-handlerに触るべきではありません。
アプリケーションの終了時に何をすべきかを知っているのはアプリケーション自身なのですから。
別の使いどころとしては、サードパーティ製のコードで中でexitが
呼ばれる可能性のあるものを安全に呼び出したいという場合があります。
そのコードを呼び出している間だけ、exit-handlerを
エラーではない例外を発生させる手続きへと差し替えます。
エラーではない例外はexitでは捕捉されないので、実質的に
上で説明したような終了処理のステップは中断されることになります
(但し、ダイナミックハンドラのafterサンクは通常の例外発生時と
同じように処理されます)。
アプリケーションコードの方でその例外を捕捉してやればよいのです。
parameterizeを使えばexit-handlerを動的に、
かつスレッドセーフに差し替えることが容易になります
(gauche.parameter - パラメータ参照)。
(guard (e [(eq? e 'exit-called) (handle-exit-as-desired)])
(parameterize ((exit-handler (lambda (c f a) (raise 'exit-called))))
(call-third-party-library)))
|
一般的に、他のスレッドが走っている時にexitを呼ぶことは推奨されません。
exit手続きは該当スレッド上でアクティブなダイナミックハンドラしか巻き
戻さないので、他のスレッドはいきなり終了させられてしまいます。
しかしexitを呼ばざるを得ない場合には、
exit-handlerを使って他のスレッドにアプリケーションが終了しつつあることを
伝えられるかもしれません (但しGauche自身は走っているスレッドのリストといった
情報は持っていないので、アプリケーションごとに固有のロジックを実装する必要が
あります。)
設計に関する覚書: 終了を一種の例外とすることで、
終了処理を例外処理と統合している言語もあります。
良いアイディアに思えたので我々もそのような実装を試してみましたが、
Gaucheではうまくいきませんでした。大きな理由のひとつは、
dynamic-windの巻き戻し中にafterで例外が
発生すると、その例外がもともとの「終了」例外を隠してしまうことでした。
引数なしで呼ばれた場合、現在のexit handlerの値を返します。
引数つきで呼ばれた場合は、new-handlerを現在のexit handlerの
値とし、以前の値を返します。new-handlerは3つの引数をとる
手続きか、#fでなければなりません。
exit handlerの値はスレッドごとに固有で、デフォルト値はスレッドが作られた時点の
親スレッドのexit handlerの値から引き継がれます。
exit-handlerはあたかもパラメータのようにparameterizeマクロで
使うことができます (gauche.parameter - パラメータ参照)。
[POSIX]
現在のプロセスを終了し、codeを終了コードにします。
codeはゼロもしくは正の正確な整数でなければなりません。
この手続きは_exit(2)を直接コールします。
クリーンアップは一切行われません。
フラッシュされてないファイルバッファの内容は捨てられます。
[POSIX] POSIXのabort()を呼びます。通常、現在のプロセスは終了され、コアダンプされます。 クリーンアップは一切行われません。
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
[POSIX]
環境変数nameの値を文字列で返します。もしnameが定義されていなければ、
#fが返ります。
現在の環境を文字列のリストとして返します。それぞれの文字列は
NAME=VALUEというフォーマットになっています。ここでNAMEは
環境変数名、VALUEはその値です。NAMEが文字#\=を含
むことはありません。この手続きは現在のプロセスの環境変数をすべて取得し
たい場合に便利です。特定の環境変数の値が欲しい場合には
sys-getenvを使ってください。
sys-environの便利版。環境リスト(sys-environが返すような
形式のもの)をenvlistとして与えると、この手続きは各環境変数を名前
と値に分けて連想リストにして返します。
envlistを省略すると、この手続きはsys-environを呼んで現在
の環境変数を取得します。
(sys-environ->alist '("A=B" "C=D=E"))
=> (("A" . "B") ("C" . "D=E"))
|
プロセスの環境変数nameに値valueをセットします。システムが putenv(3)をサポートしていない場合はエラーが通知されます。
これらの手続きはGaucheインタプリタの情報を文字列で返します。
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
ファイルシステムに関するシステムコール群です。
ここで述べる手続きの上に、より高レベルなAPIがモジュールfile.utilとして
実装されています。file.util - ファイルシステムユーティリティを参照して下さい。
| 6.22.3.1 ディレクトリ | ||
| 6.22.3.2 ディレクトリ操作 | ||
| 6.22.3.3 パス名 | ||
| 6.22.3.4 ファイルの状態 | ||
| 6.22.3.5 他のファイル操作 |
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
高レベルAPIに関してはディレクトリユーティリティも参照して下さい。
pathは存在するディレクトリを示すパス名でなければなりません。 この手続きはディレクトリの全エントリを文字列のリストとして返します。 リストはソートされません。pathが存在しなかったり、ディレクトリでなかった場合は エラーとなります。
伝統的なUnixのglob(3)の機能を提供します。この手続きはpatternとマッ チするパス名のリストを返します。
この機能は、かつてはプラットフォームが提供するglob関数をラップする
もので、sys-globという名前でした。しかし、プラットフォーム間の非互
換性を解消し機能の追加を容易にするために、Gauche 0.8.12以降、システムコー
ルの上にSchemeで再実装されています。そのため、globと改名してあ
ります。古い方の名前sys-globは互換性のために残してありますが、
新たにプログラムを書くときはglobを使ってください。
引数patternは単一のグロブパターンもしくは、グ ロブパターンのリストです。リストが渡されたときには、 最低1つのパターンにマッチするパス名がすべて返されます。 Unixのユーザならglobの動作は馴染み深いものでしょう。
gosh> (glob "*.scm")
("test.scm" "ext.scm")
gosh> (glob "src/*.[ch]")
("src/ext.c" "src/ext.h")
gosh> (glob '("*.scm" "src/*.c"))
("src/ext.c" "test.scm" "ext.scm")
|
シェルのグロブとはちがって、マッチするパス名がないときは、()が返ります。
グロブはファイルシステムに限らず階層的なデータ構造を検索するのに非常に便利なツールです。
したがって、glob関数はファイルシステムからは切り離して実装されています。
キーワード引数を使うことで、どのようなツリー状のデータ構造からでもグロブできます。
デフォルト値がファイルシステム用に設定されているにすぎません。
引数separatorは文字の集合を与えます。これを使ってpatternを
コンポーネントに分割します。デフォルトは#[/]です。実際のパス名
をマッチさせるのには使われません。
folderはデータ構造をトラバースするための手続きです。この手続きは 引数を5つとります。
(folder proc seed parent regexp non-leaf?) |
procは引数を2つ取る手続きです。folderは、parent内で
コンポーネントとなる名前がregexpとマッチする各ノードと、
foldと同様に順に渡されるシード値とで、procを呼びます。
folderはprocが最後に返した値を返します。たとえば、
consがprocとして、()がseedとして渡されれば、
folder手続きが返す値はregexpとマッチするノードのリストになります。
ノードの表現がどうなるかはfolderの実装によります。
パス名であったり、オブジェクトであったりするかもしれません。
glob手続きはノードの表現については感知しません。
glob手続きがやることはノードを次に呼ぶ
folderにparent引数として渡して、
その結果のノードリストを返すだけです。
parent引数は基本的にはノードで、folderはその子ノードを
対象にマッチするものを探索します。
例外は最初にfolderが呼ばれる時です。その時点ではglobは
ノードについて何も知らないので、
絶対パスでマッチをかける場合は#tを、
相対パスでマッチをかける場合は#fを最初のparentの値として渡します。
regexp引数は子ノードをフィルターするのに使い、ディレクトリ名を含
まない、子のコンポーネントである名前に対して照合されるものです。特別な
場合として、シンボルdirにすることができます。この場合は、folder
はnodeそのものを返し、nodeはディレクトリと見なされ
ます。すなわち、nodeがパス名を表わす場合には、folderはディレクト
リ区切り子が最後に付いたパス名を返します。
特別な場合として、nodeがブール値でかつ
regexpがdirである場合、folderはルートノードをあらわすノー
ドあるいはカレントノードを返すことになっています。すなわち、node
はパス名を表す場合、folderは"/"または"./"を返します。
non-leaf引数はブール値フラッグです。真なら、フィルタは結果からリー フノードをのぞきます(すなわち、ディレクトリだけが含まれるようになり ます)。
ここからはグロブパターンマッチングの細かい仕様をみていきます。
各グロブパターンはパス名様式文字列にマッチする文字列です。
パス名様式文字列は1つ以上のセパレータで区切られた
コンポーネントから構成される文字列です。
デフォルトのセパレータは#[/]です。キーワード引数separator
を使うとこれを変更できます。コンポーネントにはセパレータを含められませ
ん。また空文字列にすることもできません。連続したセパレータは単一のセパ
レータとみなされます。パス名様式の文字列は状況に応じてセパレータから始
めたり、セパレータで終端したりできます(両方をやるのも可)。
グロブパターンもコンポーネントとセパレータ文字から構成されます。コンポー ネントにおいては、以下の文字、構文は特別な意味を持ちます。
*これがコンポーネントの先頭に表われた場合、0個以上のピリオド(.)
を除く文字にマッチします。入力文字列のコンポーネントがピリオドではじま
るような文字列の場合にはマッチしません。
先頭以外の場所では、0個以上の文字の列にマッチします。
**コンポーネントが**だけの場合、これは*にマッチする0個以上の
コンポーネントにマッチします。例えばsrc/**/*.hは
次のようなパターン全てにマッチします。
src/*.h src/*/*.h src/*/*/*.h src/*/*/*/*.h ... |
?コンポーネントの先頭にあらわれた場合、ピリオド(.)以外の一文字に
マッチします。先頭以外の場所では任意の一文字にマッチします。
[chars]文字の集合を指定します。その集合に含まれる文字のどれかにマッチします。
charsの構文はGaucheの文字集合を表す構文と同じです
(文字集合参照)。伝統的なグロブとの互換性のために、!
文字をつかって、補集合で文字集合を表わすこともできるようになっています。
すなわち、[!abc]は[^abc]と同じです。
これはグロブ関数の低レベル版です。実際globは以下のように書いたの と同じです。
(define (glob patterns . opts) (apply glob-fold patterns cons '() opts)) |
pattern、separatorおよびfolderの意味を前述のものと同 じです。
patternにパス名ごとにglob-foldはprocをパス名とシー
ド値で呼びます。最初のシード値はseedで、procが返す値は次の
シード値になります。最後のprocの呼び出し結果はglob-foldの
結果となります。マッチするパス名が存在しないときは、procは呼ばれ
ずに、seedが返ります。
これはglob-foldやglobのfolderキーワード引数に
渡せる形の手続きを作るユーティリティ手続きです。
引数を渡さなければ、glob-foldやglobがデフォルトで使うのと
同じ手続きが返ります。
キーワード引数root-pathおよびcurrent-pathはそれぞれ、
glob-foldが探索を開始するディレクトリを指定します。
gosh> (glob "/tmp/*.scm")
("/tmp/x.scm" "/tmp/y.scm")
gosh> (glob "/*.scm"
:folder (make-glob-fs-fold :root-path "/tmp"))
("/tmp/x.scm" "/tmp/y.scm")
gosh> (glob "*.scm"
:folder (make-glob-fs-fold :current-path "/tmp"))
("/tmp/x.scm" "/tmp/y.scm")
|
パスがディレクトリかどうかチェックする方法は、ファイルの状態を参照してください。
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
[POSIX] filenameがファイルであればそれを消去します。 システムによってはfilenameが空のディレクトリであっても動作しますが、 移植性を気にする場合はその動作に依存しない方が良いでしょう。
[POSIX] ファイルoldをnewにリネームします。新しい名前は 古い名前と異なるディレクトリにあってもかまいませんが、両者は同じデバイス上に なければなりません。
[POSIX]
ユニークなファイル名を作成して返します。この関数はPOSIXに含まれていますが、
セキュリティ上の問題が指摘されており、使わない方が良いとされています。
可能なら下にあげるsys-mkstempを使って下さい。
ユニークな名前を持つファイルを作成してオープンし、オープンされたポートとファイル名の 二つの値を返します。ファイルは排他的に作成されるため、レースコンディションは起こりません。 tmpnameはファイル名のプレフィックスに使われます。Unixのmkstempと違って、 パディングキャラクタをつける必要はありません。ファイルは書き込み用としてオープンされ、 パーミッションは600にセットされます。
[POSIX] 既存のファイルexistingに対し、newという名のハードリンクを作成します。
[POSIX]
pathnameで示されるファイルを消去します。
pathnameはディレクトリであってはなりません。
もし消去に成功したら#tが、pathnameが存在しなければ#fが返されます。
他の場合はエラーが通知されます。
existingを指すnewという名のシンボリックを作成します。 シンボリックリンクをサポートしないシステムでは、この手続きは定義されません。
pathで示されるファイルがシンボリックリンクならば、それが指すパスを返します。 もしpathが存在しなかったり、シンボリックリンクでなければ、エラーが通知されます。 シンボリックリンクをサポートしないシステムでは、この手続きは定義されません。
[POSIX]
ディレクトリpathnameをモードmodeで作成します。
(modeはさらにumaskでマスクされることに注意して下さい；下のsys-umask
参照)。
pathnameの親ディレクトリは存在して、プロセスが書き込めるようになっていなければ
なりません。中間のディレクトリも一度に作成するには、
file.utilのmake-directory*が使えます
(ディレクトリユーティリティ)。
[POSIX]
ディレクトリpathnameを消去します。ディレクトリは空でなければなりません。
ディレクトリの内容も一緒に消去するには、file.utilのremove-directory*
が使えます(ディレクトリユーティリティ)。
[POSIX]
umaskをmodeにセットします。変更される前のumaskを返します。
modeが省略されるか#fが渡された場合、
現在のumaskを変更せずにその値を返します。
umaskについてはman umaskを参照してください。
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
高レベルのAPIに関してはパスネームユーティリティも参照して下さい。
与えられたキーワード引数によってpathnameを以下のように変換します。 キーワード引数は同時に複数指定できます。
absoluteこのキーワード引数に真の値が与えられて、pathnameが絶対パスでない場合、 pathnameの前にプロセスのワーキングディレクトリを足して絶対パスにします。
expand このキーワード引数に真の値が与えられて、pathnameが`~' で始まっていた
場合、以下のように展開されます。
~”のみであるか、または“~/”で始まっている
場合、文字“~”が現在のプロセスのユーザのホームディレクトリに置き換えられます。
~'以降、`/'かpathnameの終端までの文字列
がユーザ名とみなされ、そのユーザのホームディレクトリに置換されます。もし該当するユーザが
いなければエラーとなります。
canonicalize パス名から “.” や “..” を除き、単純化します。
この操作は実際のファイルシステムを参照せずに行われます。元のパス名がディレクトリへの
シンボリックリンクを含んでいた場合、単純化されたパス名は正しくないかもしれません。
sys-basenameは与えられたパスのベース名、すなわち最後のコンポーネントを返します。
sys-dirnameは与えられたパスのディレクトリ名、すなわち最後のコンポーネント以外の
コンポーネントを返します。pathnameの末尾が`/'である場合、その文字は
無視されます。
(sys-basename "foo/bar/bar.z") ⇒ "bar.z" (sys-basename "coo.scm") ⇒ "coo.scm" (sys-basename "x/y/") ⇒ "y" (sys-dirname "foo/bar/bar.z") ⇒ "foo/bar" (sys-dirname "coo.scm") ⇒ "." (sys-dirname "x/y/") ⇒ "x" |
この手続きはpathnameが存在するかどうかはチェックしません。
特殊なケース：
(sys-basename "") ⇒ "" (sys-dirname "") ⇒ "." (sys-basename "/") ⇒ "" (sys-dirname "/") ⇒ "/" |
註：このふるまいはPerlのbasenameおよびdirnameと同様です。
システムによっては、コマンドのbasenameは"/"に対して"/"を、
"."に対して"."を返すものがあります。
sys-realpathは“.”, “..”およびシンボリックリン
クを含まないpathnameの絶対パスを返します。pathname自体が存在しなかったり、
存在しないパスを指すシンボリックリンクが含まれていたり、関連するパスへのアクセス権限が
不足している場合はエラーが通知されます。
注：POSIXのrealpath(3)は安全でない場合があるので、
Gaucheは内部でCランタイムのrealpathを呼ばずに、
独自にsys-realpathの機能を実装しています。
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
高レベルのAPIに関してはファイル属性ユーティリティも参照して下さい。
それぞれ、pathが存在するか、存在してそれがレギュラーファイルであるか、
存在してそれがディレクトリであれば#tを返します。
これらの手続きは便利であり、STkとの互換性もあるので定義されていますが、 実体は下に説明されている低レベル手続きの上に作成されています。
ファイルシステム内のエントリの属性を表す、struct statのラッパー
オブジェクトです。以下に示す読みだし専用のスロットを持ちます。
ファイルのタイプを示すシンボルです。
| 通常のファイル |
| ディレクトリ |
| キャラクタデバイス |
| ブロックデバイス |
| FIFO |
| シンボリックリンク |
| ソケット |
以上のどれにも当てはまらない場合は#fが返されます。
注：いくつかのオペレーティングシステムではsocketファイルタイプを
fifoと区別せず、どちらに対してもfifoを返します。
ポータブルなプログラムを書くときは注意して下さい。
パーミッションビットマスク。"mode"スロットの下位9ビットと同じですが、 便利なので独立したスロットとして提供されます。
struct statの該当するフィールドの値。正確な整数です。
struct statの該当するフィールドの値を、Unix Epochからの秒数で。
[POSIX]
与えられたパス名path、またはポートかファイルディスクリプタ
port-or-fdで示されるファイルの情報を<sys-stat>オブジェクトで
返します。
sys-statは、pathがシンボリックリンクであった場合は
リンクの指す先のファイルに関する情報を返します。
sys-fstatは、port-or-fdがファイルに関係ないポートであった
場合は#fを返します。
sys-statと同じですが、pathがシンボリックリンクであった
場合はリンクそのものの情報を返します。
gosh> (describe (sys-stat "gauche.h")) #<<sys-stat> 0x815af70> is an instance of class <sys-stat> slots: type : regular perm : 420 mode : 33188 ino : 845140 dev : 774 rdev : 0 nlink : 1 uid : 400 gid : 100 size : 79549 atime : 1020155914 mtime : 1020152005 ctime : 1020152005 |
Deprecated.
<sys-stat>オブジェクトの情報にアクセスするにはslot-refを
使って下さい。
[POSIX] pathnameへのアクセスが modeに示されるモードで許可されているかどうかを示す真偽値を返します。 この手続きは、suid/sgidプログラムで使われるとエラーとなります(下記註参照)。 modeは以下に示す定数のコンビネーション(logical or)です。
R_OKpathnameをカレントユーザが読み出し可能かどうか
W_OKpathnameへカレントユーザが書き込み可能かどうか
X_OKpathnameをカレントユーザが実行可能かどうか(pathnameが ディレクトリの場合はサーチ可能かどうか)
F_OKpathnameのパーミッションフラグにかかわらず、pathnameが 存在するかどうか (但しpathnameがあるディレクトリの読みだし許可は必要)。
註: access(2)は、suid/sgidプログラム中で 実ユーザの権限を確かめるために使われた場合、セキュリティホールと なります。
名前pathを持つ、もしくはport-or-fdで指定される ファイルのパーミッションビットをmodeに変更します。 modeは小さな正の正確な整数で、POSIXスタイルのパーミッションビットマスク でなければなりません。
ファイルpathのオーナーとグループをowner-idとgruop-id で示されるものに変更します。owner-idとgruop-idは正確な整数で なければなりません。どちらかに-1が渡された場合は、対応する情報は変更されません。
ファイルのアクセスタイムと変更タイムをatimeとmtimeが示す
値にセットします。atimeとmtimeが省略された場合は現在の時刻が
使われます。
ファイル操作のtouch-fileも参照して下さい。
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
[POSIX]
chdir(2)へのインタフェースです。
current-directory(ディレクトリユーティリティ)も参照して下さい。
[POSIX] パイプを作り、ポートを2つ返します。 最初に返されるポートは入力ポートで、2番目に返されるポートは出力ポートです。 出力ポートへ書き出したデータは、入力ポートから読み込めます。
bufferingは:full、:line、:noneのいずれかで、
パイプ上に開かれたポートのバッファリングモードを指定します。
バッファリングモードの詳細については、ファイルポートを参照して下さい。
通常のケースでは、デフォルトのモードで間に合うでしょう。
(receive (in out) (sys-pipe) (display "abc\n" out) (flush out) (read-line in)) ⇒ "abc" |
注意: 戻り値はバージョン0.3.15から変更されています。それまでは、
sys-pipeは2つのポートのリストを返します。
[POSIX] 名前がpathでモードがmodeのFIFO(名前付きパイプ)を 作ります。modeはファイルのモードを表す正の正確整数でなければ なりません。
[POSIX] port-or-fdはポートか整数のファイルディスクリプタです。
ポートがコンソールに接続されていれば#tを、そうでなければ#fを
返します。
[POSIX] port-or-fdはポートか整数のファイルディスクリプタです。
ポートに接続された端末の名前か、ポートが端末に接続されていなければ
#fを返します。
[POSIX] pathあるいはport-or-fdによって指定される通常ファイルの長さを lengthにします。 ファイルがlengthより長かった場合、余分なデータは捨てられます。 ファイルがlengthより短かった場合、残りの部分にはゼロが詰められます。
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
Unixのグループの情報です。以下のスロットを持ちます。
グループ名。
グループID
グループパスワード。
このグループに属するユーザ名のリスト。
[POSIX]
グループIDgidもしくはグループ名nameで示されるグループの情報を
<sys-group>で返します。該当するグループが存在しない場合は
#fが返されます。
グループIDとグループ名を相互変換する便利な手続きです。
Unixのユーザの情報です。以下のスロットを持ちます。
ユーザ名。
ユーザID
ユーザのプライマリグループID。
ユーザの(暗号化された)パスワード。システムがシャドウパスワードファイルを 使っている場合は、 "x" のような無意味な文字列が入っています。
Gecosフィールド。
ユーザのホームディレクトリ。
ユーザのログインシェル。
ユーザのクラス。(特定のシステムでのみ有効)。
[POSIX]
ユーザIDuidもしくはユーザ名nameで示されるユーザの情報を
<sys-passwd>で返します。該当するユーザが存在しない場合は
#fが返されます。
ユーザIDとユーザ名を相互変換する便利な手続きです。
これは、crypt(3)へのインターフェースです。keyとsaltは
文字列でなければならず、暗号化された文字列が返されます。
crypt(3)が利用できないシステムでこの関数を呼ぶとエラーが通知されます。
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
[POSIX]
カテゴリーcategoryのロケールをlocaleにセットします。
categoryは整数でなければなりません；以下の変数がcategoryの
ために定義されています。localeはロケールを表す文字列です。
成功した場合は新しいロケール名を、ロケールが変更できなかった場合は#fを
返します。
sys-setlocaleのcategoryに渡せる数値を定義しています。
[POSIX] 現在のロケールで数値をフォーマットする際に必要な様々な情報をassoc listに して返します。
例を示します。あなたのシステム設定によっては異なる結果になるかもしれません。
(sys-localeconv)
⇒
((decimal_point . ".") (thousands_sep . "")
(grouping . "") (int_curr_symbol . "")
(currency_symbol . "") (mon_decimal_point . "")
(mon_thousands_sep . "") (mon_grouping . "")
(positive_sign . "") (negative_sign . "")
(int_frac_digits . 127) (frac_digits . 127)
(p_cs_precedes . #t) (p_sep_by_space . #t)
(n_cs_precedes . #t) (n_sep_by_space . #t)
(p_sign_posn . 127) (n_sign_posn . 127))
(sys-setlocale LC_ALL "fr_FR")
⇒ "fr_FR"
(sys-localeconv)
⇒
((decimal_point . ",") (thousands_sep . "")
(grouping . "") (int_curr_symbol . "FRF ")
(currency_symbol . "F") (mon_decimal_point . ",")
(mon_thousands_sep . " ") (mon_grouping . "\x03\x03")
(positive_sign . "") (negative_sign . "-")
(int_frac_digits . 2) (frac_digits . 2)
(p_cs_precedes . #f) (p_sep_by_space . #t)
(n_cs_precedes . #f) (n_sep_by_space . #t)
(p_sign_posn . 1) (n_sign_posn . 1))
|
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
Gaucheでは、OSのシグナルを自分自身や他のプロセスに送ったり、 送られたシグナルを処理することができます。
マルチスレッド環境では、全てのスレッドがシグナルハンドラを共有し、 各スレッドが独自のシグナルマスクを持ちます。 詳しくはシグナルとスレッドを参照して下さい。
システムコールがシグナルによって割り込まれ、 プログラマがシグナルハンドラをセットしており、そのハンドラが別コンテキストに 制御を移さずに戻った場合、そのシステムコールはハンドラからの復帰後に リスタートされます。
Windowsネイティブ環境では、sys-killの限定的なサポートを
除いてシグナルは動作しません。
| 6.22.6.1 シグナルとシグナルセット | ||
| 6.22.6.2 シグナルの送出 | ||
| 6.22.6.3 シグナルの処理 | ||
| 6.22.6.4 シグナルのマスクと待機 | ||
| 6.22.6.5 シグナルとスレッド |
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
シグナルはオペレーティングシステムで定義された小さな整数値で表現されます。 システムのシグナル番号に束縛された変数が定義されています。 システムのシグナル番号はアーキテクチャによって異なるので、 なるべく変数を利用するようにして下さい。
これらの変数はPOSIXで定義された対応するシグナルの番号に束縛されています。
これらの変数はシステム依存のシグナル番号に束縛されています。 全てのシステムで全てのシグナルがサポートされているわけではありません。
それぞれのシグナル番号の他に、<sys-sigset>オブジェクトを使って
シグナルの集合を扱うことができます。シグナルの集合はシグナルマスクを操作したり、
ひとつのシグナルハンドラを多数のシグナルに同時に設定したりする際に使えます。
シグナルの集合を表します。空のシグナルの集合は次の式で作成できます：
(make <sys-sigset>) ⇒ #<sys-sigset []> |
signal …をメンバーとする<sys-sigset>の
インスタンスを作成して返します。
各signalにはシグナル番号、他の<sys-sigset>オブジェクト、あるいは
#tを渡すことができます。#tを渡した場合は全てのシグナルが
対象となります。
(sys-sigset SIGHUP SIGINT) ⇒ #<sys-sigset [HUP|INT]> |
sigsetは<sys-sigset>オブジェクトでなければなりません。
これらの手続きはsigsetに指定されたシグナルを追加、
もしくはsigsetから指定されたシグナルを削除します。
変更されたsigsetが返されます。
signalにはシグナル番号、他の<sys-sigset>オブジェクト、あるいは
#tを渡すことができます。#tを渡した場合は全てのシグナルが
対象となります。
システムで定義された全てのシグナルをsigsetにセット、 もしくはsigsetを空にします。
シグナル番号の名前を返します。(シグナル番号はシステムに依存します)。
(sys-signal-name 2) ⇒ "SIGINT" |
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
シグナルを送るには、sys-killを使うことができます。
これはシステムのkill(2)のように動作します。
[POSIX] シグナルsigを指定されたプロセス(群)に送ります。 sigは正確な正整数でなければなりません。pidは正確な整数でなければ ならず、次のルールで対象となるプロセスを指定します。
Windowsネイティブ環境では、sys-killはpidに正整数か
プロセスハンドル(<win:handle>のインスタンス)を取ります。
sigがサポートするのはSIGKILL、SIGINT、SIGABRT
のみです。SIGKILLに対してはTerminateProcessを使って
対象プロセスを終了させます。SIGINTとSIGABRTに対しては
対象プロセスにそれぞれCTRL_C_EVENTとCTRL_BREAK_EVENTを
送ります。
POSIXのraise()に対応するScheme関数はありませんが、
(sys-kill (sys-getpid) sig) で同じことができます。
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
Schemeでシグナルを処理する手続きを登録できます。 (マルチスレッド環境では、シグナルハンドラの設定は全てのスレッドで共有されます。 シグナルとスレッドを参照して下さい)。
シグナルがSchemeプロセスに送られると、VMはそれを記録し、 VMの状態が一貫している「安全なポイント」に達した時に処理します。 シグナルがVMに記録され、しかしまだ処理されていない状態を、 シグナルが保留されていると呼ぶことにします。
(このメカニズムのため、SIGILLのようなシグナルはSchemeレベルでは
処理できません。そのシグナルを記録した後でプロセスが意味のある処理を続行できない
からです)。
VMがシグナルを処理する前に同じシグナルが到着した場合、後に到着した方の シグナルは無効になります。(これは伝統的なUnixのシグナル処理と同様です)。 言い替えれば、各VM loop毎に、シグナルハンドラは各シグナルについて たかだか1回しか呼ばれません。
同じシグナルがたくさん保留された状態になった場合、
Gaucheは異常事態が起きたとみなし (例えばCルーチンで無限ループに
入った等)、プロセスをabortします。デフォルトではこの限界は
かなり低い値(3)に設定されています。これは、インタラクティブスクリプトが
反応しなくなった場合にCtrl-Cを3回打てば強制終了できる、という場合を
想定しているためです。この限界を調べるカウンタはシグナル毎にあるので、
例えばSIGHUPがひとつ、SIGINTがふたつ保留になった、
といった場合はabortしません。この限界は下で述べるset-signal-pending-limit
で変更することができます。
goshインタプリタを使っている場合、デフォルトでのシグナルの処理は
次のように設定されています。
SIGABRT, SIGILL, SIGKILL, SIGCONT, SIGSTOP, SIGSEGV, SIGBUSSchemeでは処理できません。goshではこれらのシグナルを受けると
システムのデフォルトの動作をします。
SIGCHLD, SIGTSTP, SIGTTIN, SIGTTOU, SIGWINCHgoshは初期状態ではこれらのシグナルのハンドラを設定せず、
システムのデフォルトの振るまいに任せます。Schemeプログラムは必要ならば
これらのシグナルのハンドラを設定できます。
SIGHUP, SIGQUIT, SIGTERMgoshはこれらのシグナルに対して、終了コード0でアプリケーションを
終了するシグナルハンドラをセットします。
SIGPWR, SIGXCPU, SIGUSR1, SIGUSR2Linuxプラットフォームでスレッドを使用している場合は、 これらのシグナルはシステムで使用されるため、Schemeからは使用できません。 他のシステムではこれらのシグナルは下記の「他のシグナル」と同じ動作と なります。
他のシグナルgoshはデフォルトのシグナルハンドラを設定します。
デフォルトのシグナルハンドラは<unhandled-signal-error>コンディションを
通知します(コンディション参照)。
Schemeプログラムはシグナル毎に独自のハンドラを設定することが可能です。
goshでなく、他のアプリケーションに埋め込まれたGaucheを使っている場合、
Schemeレベルでのシグナルの使用をアプリケーションが制限している場合があります。
Schemeからシグナルハンドラを設定するには以下の手続きを使って下さい。
signalsはシグナル番号か<sys-sigset>オブジェクト、
handlerは#t、#f、一つの引数を取る手続きのいずれか
でなければなりません。
handlerが手続きの場合、プロセスが指定されたシグナル(のうちのいずれか)を
受けた時に、そのシグナル番号を引数としてhandlerが呼ばれます。
デフォルトでは、handlerは、signalsに含まれる
シグナルが(その時点で有効なシグナルマスクに加えて)ブロックされた状態で
実行されます。オプショナルなsigmask引数に
<sys-sigset>オブジェクトを渡すことで、
ブロックすべきシグナルを明示することもできます。
ただ、シグナルマスクはスレッド毎であることに注意して下さい。
もし複数のスレッドがあるシグナルをブロックしていない場合、例えsigmask
を指定していたとしても、ひとつのスレッドでhandlerを実行中に
別のスレッドで並行してhandlerが呼ばれる可能性はあります。
各スレッドのシグナルマスクを適切に設定することでそのようなケースを
避けるようにして下さい。
handlerの中でできる操作にはほとんど制限がありません。 handlerからエラーを投げたり、他の場所で補捉された継続を呼ぶことも できます。但し、handler内で補捉した継続はhandlerから 戻った時点で無効になります。
handlerが#tの場合、指定されたシグナルにはオペレーティングシステムの
デフォルトの振るまいが設定されます。
handlerが#fの場合、指定されたシグナルは無視されます。
マルチスレッドプログラムでは、 シグナルハンドラの設定はスレッド間で共有されることに注意して下さい。 ハンドラはシグナルを受けたスレッドで実行されます。 詳しくはシグナルとスレッドを参照して下さい。
シグナルsignumに設定されたハンドラもしくはシグナルマスクを それぞれ返します。
現在の全てのシグナルハンドラの設定を連想リストにして返します。
返されるリストの各要素のcarには<sys-sigset>オブジェクトが、
cdrにはそれらのシグナルに対応するハンドラ(手続きもしくはブール値)がセットされて
います。
thunkの実行中だけシグナルハンドラを一時的に設定する便利なマクロです (このマクロは便利ですが下に述べるような多少危険な性質もあるので、 注意して使って下さい)。
handler-clauseは以下のいずれかの形式です
(signals expr …)signalsは、評価された時に単独のシグナル番号、シグナル番号のリスト、
あるいは<sys-sigset>オブジェクトを生成する式でなければなりません。
signalsに含まれるシグナルを受け取った時に、expr …を
評価するようなハンドラを設定します。
(signals => handler)signalsは上と同じです。signalsに含まれるシグナルに 対して、処理handlerを設定します。
handlerは#t、#f、一つの引数を取る手続きのいずれか
でなければなりません。
handlerが手続きの場合、プロセスが指定されたシグナル(のうちのいずれか)を
受けた時に、そのシグナル番号を引数としてhandlerが呼ばれます。
handlerが#tの場合、指定されたシグナルにはオペレーティングシステムの
デフォルトの振るまいが設定されます。
handlerが#fの場合、指定されたシグナルは無視されます。
thunkから制御が抜けた時に、with-signal-handlersが呼ばれた時点での
シグナルハンドラが再設定されます。
注意： このフォームで一つ以上のシグナルハンドラを設定する場合、
それらは順にシステムに設定されます。全てのハンドラの設定が終る前に
シグナルが届いた場合、シグナルハンドラの設定や再設定が不完全なままになる
かもしれません。また、シグナルハンドラはグローバルな設定であり、
「スレッドローカル」なハンドラを設定することはできませんが、
with-signal-handlersの形式はそれを誤解させるかもしれません。
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
Schemeプログラムで、送出がブロックされるシグナルの集合であるシグナルマスク をセットできます。プロセスで完全にブロックされるシグナルが送出されると、 そのシグナルは“保留”となります。保留されたシグナルは、指定されたシグナルを ブロックしないようにシグナルマスクが変更されると送出されるかもしれません。 (しかし、保留されたシグナルがキューに入れられるかどうかはオペレーティング システムに依存します。)
マルチスレッドの環境では、スレッド毎に独自のシグナルマスクを持ちます。
現在のスレッドのシグナルマスクを変更し、以前のシグナルマスクを返します。
maskには新しいマスクを指定する<sys-sigset>オブジェクトか、
あるいはマスクを変更せず現在のマスクを得るだけなら#fを渡します。
maskに<sys-sigset>オブジェクトを渡した場合、
引数howは以下の整数定数のうちの1つでなければなりません。
SIG_SETMASKmaskをそのスレッドのシグナルマスクとしてセットします。
SIG_BLOCKそのスレッドのシグナルマスクにmaskにあるシグナルを追加します。
SIG_UNBLOCKそのスレッドのシグナルマスクからmaskにあるシグナルを削除します。
アトミックに、スレッドのシグナルマスクをmaskにセットし、
呼び出しているスレッドを一時停止します。ブロックされておらずシグナル
ハンドラがインストールされているシグナルが送出されると、関連
付けられたハンドラが呼ばれ、sys-sigsuspendは戻ります。
[POSIX]
maskは<sys-sigset>オブジェクトでなければなりません。
アトミックに、保留されたシグナルからmaskにあるシグナルの1つを
クリアし、クリアしたシグナルの番号を返します。maskにある
シグナルが1つも保留されていなければ、sys-sigwaitはシグナルが
届くまでブロックします。
sys-sigwaitを呼ぶ前に、maskにある全てのシグナルを、
全スレッドからブロックしておく必要があります。シグナルをブロックして
いないスレッドがある場合、sys-sigwaitの動作は未定義です。
註：sys-sigwaitはシステムのsigwait関数を呼び出しますが、
この関数は待つべきシグナルにシグナルハンドラが設定されていた場合の
振る舞いが未定義となっています。困ったことになるのを避けるために、
sys-sigwaitはまずmaskに含まれるシグナルに
ハンドラが設定されていたらそれをSIG_DFLにリセットしてから
sigwaitを呼び出し、それが戻った後でハンドラを元に戻します。
sys-sigwaitが待っている間に他のスレッドでシグナルハンドラを
変更してはいけません。そうした場合の動作は不定です。
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
シグナルのセマンティクスはマルチスレッド環境では少々複雑に見えます。 しかし、いくつかのルールを覚えてしまえば、とても理解しやすいものでも あります。さらにGaucheでは、プログラマの簡単に使えるようにデフォルトの 振る舞いをセットアップしています。
細かいことは知りたくないという場合は、 次の1つのことだけを覚えておいて下さい。 デフォルトでは、シグナルはメインスレッドで処理されます。 しかし、メインスレッドがmutexや条件変数で一時停止している場合は、 シグナルは全く処理されないので注意が必要です。
詳細に興味がある場合は、ここにルールがあります。
これらのルールにはいくつかの暗黙の了解があります。
特定のシグナルをブロックしないスレッドが1つ以上ある場合、 どのスレッドがそのシグナルを受け取るかを知る術はありません。 そのような状況は、GaucheにおいてはCプログラムよりもさらに不便です。 なぜなら、受信側のスレッドがmutexや条件変数で待機している場合、 シグナル処理は無期限に遅延されうるからです。 したがって、それぞれのシグナルについて、それを受け取ることのできるスレッドが 常にただの1つしかないようにすることを推奨します。
Gaucheでは、make-thread(スレッド手続き参照)
で作られた全てのスレッドは、デフォルトで全てのシグナル(予約済みを除く)
をブロックします。これは、全てのシグナルがメインスレッドへ
送られるということです。
もう1つの戦略は、シグナル処理のみを行うスレッドを作る方法です。
もしシステムがsys-sigwaitをサポートしていれば、ハンドル
したい全てのシグナルを全てのスレッドでブロックしておき、シグナル
処理専用のスレッドでsys-sigwaitを呼び出してシグナルの
受信を待つことができます。sys-sigwaitの返り値がシグナル番号
なので、その値でディスパッチしてください。この方法ではシグナル
ハンドラが呼び出されることはありません。
sys-sigwaitを使わないのであれば、メインスレッドでシグナルを
ブロックして、シグナル処理専用スレッドを作り、そのスレッドで全ての
シグナルを受け付けることができます。そのようなスレッドはsys-pause
で単にループしていれば良いでしょう。sys-pauseがシグナルで中断
されると、シグナルハンドラがシグナル処理専用スレッドで呼び出されます。
(thread-start!
(make-thread
(lambda ()
(sys-sigmask SIG_SETMASK (make <sys-sigset>)) ;;empty mask
(let loop () (sys-pause) (loop)))))
|
複雑なアプリケーションでは、正確にスレッド毎のシグナル処理を 制御したいかもしれません。それは、いつでも、指定されたスレッドのみが 望むシグナルをブロックしないようにすれば、可能です。
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
[POSIX] 次の5要素のリストを返します。
(sysname nodename release version machine)。
ホスト名を返します。システムでgethostname()が使えない場合、
sys-unameが返すリストの2番目の要素が使われます。
ドメイン名を返します。システムでgetdomainname()が使えない場合、
"localdomain"が返されます。
[POSIX] 現在の作業ディレクトリを文字列で返します。
システムから現在の作業ディレクトリが得られない場合は、エラーが通知されます。
sys-chdir(他のファイル操作参照)、current-directory
(ディレクトリユーティリティ参照)も参照して下さい。
[POSIX] 現在のプロセスの実グループIDと実効グループIDをそれぞれ整数で返します。
返されたグループIDからグループ名その他の情報を得るには
sys-gid->group-nameやsys-getgrgidを使って下さい
(Unixのグループとユーザ参照)。
[POSIX] 現在のプロセスの実効グループIDをセットします。
[POSIX] 現在のプロセスの実ユーザIDと実効ユーザIDをそれぞれ整数で返します。
返されたユーザIDからユーザ名その他の情報を得るには
sys-uid->user-nameやsys-getpwuidを使って下さい
(Unixのグループとユーザ参照)。
[POSIX] 現在のプロセスの実効ユーザIDをセットします。
[POSIX] 補助的なグループのIDの整数のリストを返します。
[POSIX] 現在のプロセスの制御端末にログインしているユーザの名前を文字列で
返します。システムがその情報を決定できない場合、#fが返されます。
[POSIX] 現在のプロセスのプロセスグループIDを返します。
pidで指定されたプロセスのプロセスグループIDを返します。 pidが0の場合、現在のプロセスが使われます。
getpgid()はPOSIXではないことに注意して下さい。
システムにgetpgid()がない場合、pidが0ならば
sys-getpgidがまだ動作しますが(それは単にsys-getpgrpを呼びます)
、pidが0でない場合はエラーが通知されます。
[POSIX] プロセスpidのプロセスグループIDをpgidにセットします。
pidが0ならば、現在のプロセスのプロセスIDが使われます。
pgidが0ならば、pidで指定されたプロセスのプロセスIDが
使われます。
(したがって、sys-getpgid(0, 0)は、現在のプロセスのプロセス
グループIDを現在のプロセスIDにセットします。)
[POSIX] 呼んでいるプロセスがプロセスグループリーダでなければ、 新しいセッションを作ります。
[POSIX] 現在のプロセスIDと親プロセスのIDをそれぞれ返します。
[POSIX]
[POSIX] プロセスの制御端末の名前を返します。
これは単に``/dev/tty''かもしれません。sys-ttynameも参照して下さい。
[POSIX] Get and set resource limits respectively.
Resource is an integer constant to specify the resource
of concern. The following constants are defined.
(The constants marked as bsd and/or linux indicates that they
are not defined in POSIX but defined in BSD and/or Linux.
Other systems may or may not have them. Consult getrlimit
manpage of your system for the details.)
RLIMIT_AS RLIMIT_CORE RLIMIT_CPU RLIMIT_DATA RLIMIT_FSIZE RLIMIT_LOCKS RLIMIT_MEMLOCK (bsd/linux) RLIMIT_MSGQUEUE (linux) RLIMIT_NICE (linux) RLIMIT_NOFILE RLIMIT_NPROC (bsd/linux) RLIMIT_RSS (bsd/linux) RLIMIT_RTPRIO (linux) RLIMIT_SIGPENDING (linux) RLIMIT_SBSIZE RLIMIT_STACK RLIMIT_OFILE |
errorはシステムエラー番号を表現する非負正確整数でなければなりま せん。この関数はエラーを説明する文字列を返します。
errnoを表現するのに、以下の定義済み定数が使えます。各定数はシス テムエラーを表現する非負正確整数に束縛されています。実際の値はシステム ごとに違い、またシステムによっては定義されていない定数があるということ に注意してください。
E2BIG EHOSTDOWN ENETDOWN ENXIO EACCES EHOSTUNREACH ENETRESET EOPNOTSUPP EADDRINUSE EIDRM ENETUNREACH EOVERFLOW EADDRNOTAVAIL EILSEQ ENFILE EPERM EADV EINPROGRESS ENOANO EPFNOSUPPORT EAFNOSUPPORT EINTR ENOBUFS EPIPE EAGAIN EINVAL ENOCSI EPROTO EALREADY EIO ENODATA EPROTONOSUPPORT EBADE EISCONN ENODEV EPROTOTYPE EBADF EISDIR ENOENT ERANGE EBADFD EISNAM ENOEXEC EREMCHG EBADMSG EKEYEXPIRED ENOKEY EREMOTE EBADR EKEYREJECTED ENOLCK EREMOTEIO EBADRQC EKEYREVOKED ENOLINK ERESTART EBADSLT EL2HLT ENOMEDIUM EROFS EBFONT EL2NSYNC ENOMEM ESHUTDOWN EBUSY EL3HLT ENOMSG ESOCKTNOSUPPORT ECANCELED EL3RST ENONET ESPIPE ECHILD ELIBACC ENOPKG ESRCH ECHRNG ELIBBAD ENOPROTOOPT ESRMNT ECOMM ELIBEXEC ENOSPC ESTALE ECONNABORTED ELIBMAX ENOSR ESTRPIPE ECONNREFUSED ELIBSCN ENOSTR ETIME ECONNRESET ELNRNG ENOSYS ETIMEDOUT EDEADLK ELOOP ENOTBLK ETOOMANYREFS EDEADLOCK EMEDIUMTYPE ENOTCONN ETXTBSY EDESTADDRREQ EMFILE ENOTDIR EUCLEAN EDOM EMLINK ENOTEMPTY EUNATCH EDOTDOT EMSGSIZE ENOTNAM EUSERS EDQUOT EMULTIHOP ENOTSOCK EWOULDBLOCK EEXIST ENAMETOOLONG ENOTTY EXDEV EFAULT ENAVAIL ENOTUNIQ EXFULL EFBIG |
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
Gaucheでは時間は2種類の表現を持ちます。ひとつはPOSIX APIとコンパチブルな 表現で、もう一つはSRFI-18、SRFI-19、SRFI-21とコンパチブルな表現です。 多くの手続きはどちらの表現も理解しますが、そうでない場合は 適用可能な表現を'POSIX time'または'SRFI time'と表記します。
POSIX timeは実数で、Unix Epoch(Jan 1, 1970, 0:00:00GMT)からの秒数で
表現されます。POSIXのtime(2)に対応するsys-time手続きは
この表現を返します。
SRFI互換の時間は<time>クラスのインスタンスとして表現され、
秒、およびナノ秒のスロットを持ちます。
また、時間の種別(UTC、TAI、期間、プロセス時間、他)も保持しています。
Current-timeはこの表現を返します。
[POSIX] 現在の時間を POSIX 時間(エポック(00:00:00 UTC, January 1, 1970) からの秒数)で返します。マシンのアーキテクチャによっては、不正確数で あるかもしれません。
2つの値を返します。1970/1/1 0:00:00 UTC を基準として、
1つ目の値は秒数、2つ目の値は端数をマイクロ秒で表したものです。
システムが gettimeofday 呼び出しをサポートしていない場合、
この手続きは time() を呼び出し、その場合はマイクロ秒の
部分はいつも 0 です。
カレンダーである、struct tm を表します。以下のスロットを持ちます。
秒。0-61。
分。0-59。
時。0-23。
月の日。1 から数える。1-31。
月。0 から数える。0-11。
1900年からの年数。例えば、102 なら 2002年。
曜日。日曜は 0 .. 土曜は 6。
1年の中での日数。1月1日は 0 .. 12月31日は 364 か 365。
夏時間が有効であるかどうかを指定するフラグ。有効なら正の数、無効なら 0、 分からなければ負の数。
[POSIX] time を <sys-tm> オブジェクトに変換します。
標準時での表現かローカルタイムゾーンでの表現かで使い分けます。
Time は POSIX 時間か SRFI 時間です。
[POSIX] time を POSIX の ctime() を使って文字列表現に変換します。 Time は POSIX 時間か SRFI 時間です。
[POSIX] 2つの時間の差を、秒の実数で返します。Time0 とtime1 は POSIX 時間か SRFI 時間です。
[POSIX] <sys-tm> オブジェクトである tm を文字列表現に変換します。
[POSIX] <sys-tm> オブジェクトである tm を、フォーマット文字列
format に従って文字列表現に変換します。
[POSIX] ローカルタイムとして表現された <sys-tm> オブジェクトである
tm を POSIX 時間(エポックからの秒数)に変換します。
(Deprecated function)
ある時刻を表す<time>オブジェクトです。
timeの型を表します。デフォルトはtime-utcで、Unixエポックからの
秒数を表します。SRFI-19(srfi-19 - 時間のデータ型と手続き参照)
ではさらに型が追加されています。
timeの秒の部分です。
timeのナノ秒の部分です。
[SRFI-18][SRFI-21]
現在の時間をtime-utcで表す<time>オブジェクトを返します。
srfi-19 - 時間のデータ型と手続きでは、current-timeが再定義され、
timeの型を指定するオプショナル引数を受け付けるようにされています。
[SRFI-18][SRFI-19][SRFI-21]
objがtimeオブジェクトなら#tを返します。
[SRFI-18][SRFI-21]
timeオブジェクトと秒数(POSIX時間)を変換します。
time->secondsの引数timeは、<time>オブジェクトで
なければなりません。
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
以下の手続きは、システムコールに対する直接的なインタフェースを提供します。
gauche.process - 高レベルプロセスインタフェースも合わせて参照して下さい。
より高レベルの便利な手続きが定義されています。
[POSIX]
サブプロセスでcommandを実行します。commandは通常、
shへ渡されるので、シェルのメタキャラクタは解釈されます。
この関数は、system()が返した整数値を返します。
POSIXはsystem()が何を返すかを定義していないので、
戻り値をポータブルな方法で解釈することができません。
Windowsネイティブな環境では、引数はcmd.exeに渡されます。
[POSIX]
現在のプロセスをフォークします。子プロセスにいるならば0が返り、
親プロセスにいるならば子プロセスのプロセスIDが返ります。
全ての開かれているファイルディスクリプタは、親プロセスと子プロセスで
共有されます。詳細は、システムのfork(2)を参照して下さい。
子プロセスがsys-execを呼ぶ代わりにSchemeコードを実行して
終了する場合は、exitではなくsys-exitを呼ぶ必要があります。
通常のexitの呼び出しはファイルバッファのフラッシュを試み、
OSによっては親のファイルバッファを混乱させるでしょう。
sys-forkは複数のスレッドが走っている時には安全ではないことに
注意してください。fork(2)システムコールはプロセスのメモリイメージを
複製しますが、それには他のスレッドでロックされているmutexも含まれます。
もしsys-forkの瞬間に他のスレッドが何かをロックしていたとすれば、
子プロセスでもその資源はロックされたままになりますが、
その時子プロセスはもはやその資源をアンロックするスレッドを持っていません。
(これは内部で使っているmutexにも起こり得るため、Schemeレベルでmutexを
全く使っていないとしても防ぐことはできません)。
やりたいことが、マルチスレッドアプリケーションで別プログラムをspawnする
ことであるなら、下に説明するsys-fork-and-execを使ってください。
どうしても別プロセスでSchemeコードを走らせたいのなら、よくある方法は、
アプリケーションの起動後すぐにマネージャプロセスとなる子プロセスをfork
しておき、新たなプロセスが欲しくなったらそのマネージャプロセスに
forkを依頼するという方法です。
Windowsネイティブな環境ではこの手続きは使えません。
[POSIX+] commandを引数のリストであるargsを伴って実行します。 現在のプロセスイメージはcommandに置き換えられるので、 この関数は戻りません。
argsの全ての要素は文字列でなければなりません。
argsの最初の要素は、argv[0]、すなわちプログラム名として
使われます。
キーワード引数directoryは文字列によるディレクトリ名
か#fでなければなりません。
文字列だった場合、sys-execはプログラムを実行する前に
カレントワーキングディレクトリを指定ディレクトリに移動します。
キーワード引数のiomapは、与えられた場合は、開かれている ファイルディスクリプタがどのように扱われるかを指定します。 この引数は以下のフォーマットでなければなりません。
((to-fd . from-port-or-fd) …) |
to-fdは整数でなければならず、from-port-or-fdは整数のファイル ディスクリプタかポートでなければなりません。 リストのそれぞれの要素は、現在のプロセスのfrom-port-or-fdの ファイルディスクリプタを、実行されているプロセスのファイルディスクリプタ to-fdにマップさせます。
iomapが与えられると、iomapリストで指定されていないいかなるファイル
ディスクリプタもexec()の前に閉じられます。さもなければ、現在のプロセスの
全てのファイルディスクリプタは開かれたままになります。
(sys-exec "ls" '("ls" "-l")) ⇒ ;; ls is executed.
(let ((out (open-output-file "ls.out")))
(sys-exec "ls" '("ls" "-l") :iomap `((2 . 1) (1 . ,out)))
⇒
;; ls is executed, with its stderr redirected
;; to the current process's stdout, and its
;; stdout redirected to the file "ls.out".
|
sigmaskキーワード引数には、<sys-sigset>のインスタンスか
#fを渡すことができます (シグナルマスクについてはSee section シグナルを
参照して下さい)。<sys-sigset>のインスタンスを渡した場合、
この関数を呼び出したスレッドのシグナルマスクが、exec(2)を呼ぶ
直前にそれによって置き換えられます。
これは、全てのシグナルをブロックしているスレッドから外部プログラムを走らせる
ような場合に便利です (シグナルとスレッドで述べるように、
新たなスレッドは全てのシグナルをデフォルトでブロックします)。
このような場合にsigmaskを設定しないと、execされたプロセスは
スレッドのシグナルマスクを継承し、ほとんどのシグナルを受け付けないプロセスと
なってしまうからです。通常、それはあまり便利ではありません。
sys-execがエラーに遭遇すると、たいていの場合エラー条件を投げます。
しかし一旦ファイルディスクリプタの順番が変えられると、合理的な方法でエラーを処理する
ことは実行不可能です(標準エラーがまだ有効かどうかさえ知る術がありません)。
したがって、その場合はGaucheはエラー時には単に終了するだけです。
Windowsネイティブ環境では、標準入力、標準出力、標準エラー出力に 関するリダイレクションのみが処理されます。Windowsはプロセス間通信としての シグナルをサポートしないので、シグナルマスクは無視されます。
sys-execと同じですが、ファイルディスクリプタとシグナルマスクを変更して
execvp(2)を実行する直前に、fork(2)を実行します。
子プロセスのプロセスidを返します。引数の意味はsys-execと同じです。
他のスレッドが走っている環境下で別プログラムをspawnしたい場合は、
sys-forkとsys-execを別々に使うのではなく、
この手続きを使ってください。
この手続き中では、fork(2)とexecvp(2)の間で
メモリアロケーションもロックの獲得も行われないため、
マルチスレッド環境で実行しても安全になっています。
Windowsネイティブ環境では、この手続きはプロセスIDではなく
作られたプロセスに対するWindowsのハンドルオブジェクト
(<win:handle>) を返します。Windowsプロセスハンドル
特有の手続きについては後に述べます。
また、sys-exec同様、Windowsネイティブ環境では、標準入力、標準出力、標準エラー出力に
関するリダイレクションのみが処理されます。
[POSIX] システムのwait(2)を呼びます。プロセスは、子プロセスの1つが
終了するまでその実行を一時停止します。2つの正確整数、1つ目は子プロセスのID、
2つ目はステータスコードを返します。ステータスコードは以下の関数によって
解釈できます。
[POSIX] これは、waitの拡張バージョンである、waitpid(3)への
インターフェースです。
pidは、待つべき子プロセスを指定する正確な整数です。正の整数ならば、 特定の子プロセスを待ちます。0ならば、このプロセスグループのいずれかの メンバを待ちます。-1ならば、いずれかの子プロセスを待ちます。 -1よりも小さければ、プロセスグループIDがpidの絶対値と等しいいずれかの 子プロセスを待ちます。
待つべき子プロセスが存在しない場合や、pidに具体的なプロセスIDが
与えられたがそれが現在のプロセスの子プロセスで内場合は
エラー(<system-error>, ECHILD)となります。
キーワード引数nohangに真値が指定されていなければ、 呼んでいるプロセスは、それらの子プロセスのうちの1つが終了するまで一時停止します。
キーワード引数untracedに真値が指定されていれば、 停止した子プロセスのステータスも返ります。
戻り値は2つの正確整数で、1つ目は子プロセスのID、2つ目はステータスコードです。 nohangが真で子プロセスのステータスが利用できない場合は、1つ目の値は0です。
Windowsネイティブ環境では、この関数はpidにWindowsプロセスハンドル
(<win:handle>)オブジェクトを受け取ることもできます。
その場合はそのハンドルの指すプロセスの終了を待ちます。
また、-1を渡していずれかの子プロセスの終了を待つこともできますが、
特定のプロセスグループの中の子プロセスを待つことはできません。
[POSIX]
引数はsys-waitかsys-waitpidの2番目の値として返される
終了ステータスです。子プロセスが正常終了したら、sys-wait-exited?は
#tを返します。sys-wait-exit-statusは、子プロセスが
exit(2)に渡した終了コードか、main()の戻り値を返します。
[POSIX]
引数は、sys-waitかsys-waitpidの2つ目の戻り値である終了ステータスです。
子プロセスが捕捉されないシグナルで終了した場合は、sys-wait-signaled?は
#tを返します。
sys-wait-termsigは、子プロセスを終了したシグナルの番号を返します。
[POSIX]
引数は、sys-waitpidの2つ目の戻り値である終了ステータスです。
子プロセスが停止されれば、sys-wait-stopped?は#tを
返します。このステータスは、sys-waitpidがuntraced引数に
真値を持っている場合にのみ捕捉されます。sys-wait-stopsigは
子プロセスを停止させたシグナルの番号を返します。
Windowsネイティブ環境では、終了コードはUnixのように構造化されておらず、
プロセスが自発的に終了したか強制的に終了させられたかを判断する一般的な方法は
ありません。Gauche自身は他のプロセスをsys-killで
終了させる場合に終了コード#xff09を送り、上のsys-wait-*
手続きもそれに合わせてあります。従ってGaucheによって終了させられたプロセスでは
sys-wait-signaled?でそのことを検出できる可能性が高いでしょう。
(Windows上のシグナルのサポートについてはシグナルを参照してください。)
Windowsネイティブ環境では、sys-wait-stopped?が真を返すことは
(今のところ)ありません。
The following procedures are to access Windows process handle. They are only available on Windows native platforms.
[Windows] Returns #t iff obj is a Windows process handle object.
[Windows] Returns an integer PID of the process represented by a Windows process handle handle. An error is signalled if handle is not a valid Windows process handle.
Note that the API to get a pid from a process handle is only
provided on or after Windows XP SP1. If you call this
procedure on Windows version before that, -1 will be
returned.
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
select(2)へのインターフェース関数です。
これらのプリミティブの上に構築された高次元のインターフェースが
提供されています。gauche.selector - 簡単なディスパッチャを
参照して下さい。
ファイルディスクリプタの集合であるfd_setを表します。
makeメソッドによって、空のファイルディスクリプタの集合を作れます。
(make <sys-fdset>) |
elt …で指定されたファイルディスクリプタを持つ
新たな<sys-fdset>のインスタンスを作成して返します。
各eltは、ファイルディスクリプタを指定する整数、ポート、
もしくは<sys-fdset>のインスタンスでなければなりません。
最後の場合は、与えられたfdsetに含まれるディスクリプタが
新たなfdsetにコピーされます。
fdsetの特定のファイルディスクリプタビットを取得・セットできます。
port-or-fdは関連付けられたファイルディスクリプタを持っていないポートで、
sys-fdset-refは#fを返し、sys-fdset-set!はfdsetを
変更しません。flagは真偽値でなければなりません。
下記のように、sys-fdset-refのジェネリックなセッタが使えます。
(set! (sys-fdset-ref fdset port-or-fd) flag) ≡ (sys-fdset-set! fdset port-or-fd flag) |
src-fdsetの内容をdest-fdsetにコピーします。 dest-fdsetを返します。
fdsetの内容をクリアし、それ自身を返します。
fdsetを整数のファイルディスクリプタのリストに変換し、またその逆を行います。
実際は、list->sys-fdsetは
(lambda (fds) (apply sys-fdset fds)) のように動作するため、
整数のファイルディスクリプタ以外にポートや他のfdsetを与えることもできます。
fdsetにある最大のファイルディスクリプタ番号を返します。
ステータスを変更するためにファイルディスクリプタの集合を待ちます。
readfds、writefds、exceptfdsは、注目するファイル
ディスクリプタの集合を表す<fdset>オブジェクトです。
readfdsにあるファイルディスクリプタは、文字を読み込む準備が
出来たかどうかを検査するために監視されています。
writefdsにあるファイルディスクリプタはそこへ書き込むことができる
ようになったか監視されています。exceptfdsにあるファイルディスクリプタは
例外のために監視されています。条件を監視する必要がない場合は、これらの引数の
1つ以上に#fを渡すことができます。
timeoutはsys-selectが条件の変更を待つ最大の時間を指定します。
それは、マイクロ秒を表す実数か、1つ目が秒数で2つ目がマイクロ秒である
2つの整数からなるリストです。#fを渡すと、sys-selectは
永久に待ちます。
sys-selectは4つの値を返します。1つ目の値は、ステータスの変更を
検知したディスクリプタの数です。timeoutが経過したら0になるでしょう。
2、3、4番目の値は、それぞれ読み込み、書き出し、例外のステータスを変更
するディスクリプタの集合を含む<fdset>オブジェクトです。
readfds、writefds、exceptfdsのうちの1つ以上に#fを
渡すと、対応する戻り値は#fになります。
sys-select!の仲間は、それが渡された引数<fdset>を変更することを
除けば、sys-selectと同じように動作します。
sys-selectは、新しい<fdset>オブジェクトを作り、その
引数を変更しません。
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
[POSIX] シグナルキャッチ関数の実行かプロセスの終了を指示するシグナルを 受け取るまでプロセスを一時停止します。この関数は、シグナルキャッチ関数が 戻ったときにのみ戻ります。戻り値は未定義です。
Schemeレベルでは、pause()を呼ぶだけでは上記のセマンティクスを
満足しません。内部的にこの手続きは現在のシグナルマスクを伴って、
sigsuspend()を呼びます。
[POSIX] SIGALRMシグナルがseconds秒後に送出されるように準備します。 以前のアラームクロックのセッティングはキャンセルされます。 secondsに0を渡すと、新しいアラームをスケジューリングしません。 以前にスケジューリングされていたアラームが送出されるまでの残り時間を 秒数で返します(アラームがアクティブでない場合は0を返します)。
[POSIX] 指定された秒数が経過するまで、あるいはプロセスがシグナルを受け取るまで スレッドを一時停止します。指定時間が満了した場合は0を返し、 シグナルによって一時停止が解除された場合は、満了までの秒数を返します。
POSIX実装間でポータブルにするためには、secondsを65536より小さく保って 下さい。
[POSIX]
指定されたナノ秒が経過するか、シグナルを受け取るまでプロセスを一時停止します。
引数nanosecondsは<time>オブジェクト(時間参照)か
実数です。nanosecondsが経過したら#fを返し、
sys-nanosleepがシグナルによって割り込まれると残りの時間を表す
<time>オブジェクトを返します。
;wait for 0.5 sec (sys-nanosleep 500000000) ;wait for 1.3 sec (sys-nanosleep (make <time> :second 1 :nanosecond 300000000)) |
擬似的な乱数ジェネレータです。
sys-randomは0からrand_max(それ自体を含む)までの間で乱数を
返します。これはrandom(3)への直接的なインターフェースです。
システムにrandom(3)がない場合、lrand48(3)が使われます。
sys-srandomは乱数ジェネレータの種をセットします。
システムによって、srandom(3)かsrand48(3)を使います。
これらの関数の意図は、乱数ジェネレータ(RNG; random number generator)の
品質や速度を気にしないアプリケーションに、完成された便利なRNGを提供することです。
本格的な統計分析には、math.mt-randomモジュールのMersenne Twister RNGを
使って下さい(math.mt-random - Mersenne Twister乱数発生器参照)。
sys-randomが返す正の整数に束縛されます。
[Windows] This procedure is only available on Windows native platforms. Returns a Windows file handle associated to the given port or integer file descriptor. Throws an error if the given argument does not have associated file handle.
| [ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] |
This document was generated by Shiro Kawai on November, 22 2009 using texi2html 1.78.