6.24.1 プログラムの終了

Gaucheは(mainから返る以外に)自分自身を終了させる方法をいくつか 提供しています。exit手続きが、正しいクリーンアップを行って 優雅に終了する方法です。一方、正しいクリーンアップが不可能な非常事態には sys-exitかsys-abortを使います。

Function: exit :optional (code 0) (fmtstr #f) args … ¶

[R7RS+ process-context] 現在のプロセスを終了し、codeを終了コードにします。 codeが#tなら成功を意味し、終了コードは0に、 codeが#fなら失敗を意味し、終了コードは1に、 そして正確な整数の場合はその下位8bitが終了コードとして使われます。 codeがそれ以外のオブジェクトの場合は、 終了コードは70 (EX_SOFTWARE)になります。 (R7RSでは、codeは#tの時正常終了、#fのとき異常終了を示す ということ以外に、具体的にOSレベルのどういった値になるかは規定していません。 ポータブルなコードでは#tか#fのみを使うのが良いでしょう。)

fmtstr文字列が与えられた場合、それは残りの引数argsと ともにformatに渡され、standard error portにメッセージとして 印字されます (current-error-portではありません。 ポート共通の操作参照。また、formatについては 出力参照。)

実のところ、プロセス終了の手続きはもう少し複雑です。 正確な段階を次に説明します。

1. パラメータexit-handlerの値がチェックされます。 もしそれが#fでなければ、それは3引数の手続きとみなされ、 code、fmtstr、そして残りの引数のリストを引数として 呼び出されます。実はメッセージを標準エラー出力に出しているのは デフォルトのexit-handlerです。 終了ハンドラの中でエラーが起きた場合、そのエラーは捕捉され捨てられます。 エラー以外の例外は捕捉されません。
2. アクティブなdynamic-windのafterサンクが順に呼び出されます。 afterサンク中で発生した例外は捕捉され捨てられます。
3. C APIのScm_AddCleanupHandlerで登録されたクリーンアップハンドラが 呼ばれます。このハンドラは通常、Gaucheを内蔵しているアプリケーション特有の クリーンアップをするために使われます。Schemeの世界からはあまり気にする必要は ないでしょう。
4. まだ閉じられていない出力ポートのバッファが掃き出されます。
5. exit(3)を呼び、プロセスはcodeから導出される整数値を終了コードとして終了します。

exit-handlerのメカニズムはアプリケーションが終了処理をフックすることを 可能にします。ただし、単純なクリーンアップ処理のためのものではありません (クリーンアップ処理には dynamic-wind, guardあるいはunwind-protectを使う方が 適切です。) exit-handlerはもっと「アプリケーションの終了」という特定の事態に 対して何か処理を行いたい場合に使います。 例えばGUIアプリケーションはメッセージを標準エラー出力ではなく ダイアログとして表示する、というようなことです。

従って、ライブラリコードはexit-handlerに触るべきではありません。 アプリケーションの終了時に何をすべきかを知っているのはアプリケーション自身なのですから。

別の使いどころとしては、サードパーティ製のコードで中でexitが 呼ばれる可能性のあるものを安全に呼び出したいという場合があります。 そのコードを呼び出している間だけ、exit-handlerを エラーではない例外を発生させる手続きへと差し替えます。 エラーではない例外はexitでは捕捉されないので、実質的に 上で説明したような終了処理のステップは中断されることになります (但し、ダイナミックハンドラのafterサンクは通常の例外発生時と 同じように処理されます)。 アプリケーションコードの方でその例外を捕捉してやればよいのです。 parameterizeを使えばexit-handlerを動的に、 かつスレッドセーフに差し替えることが容易になります (パラメータ参照)。

(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で例外が 発生すると、その例外がもともとの「終了」例外を隠してしまうことでした。

Parameter: exit-handler ¶

exitが呼ばれた時に呼び出されるexit handlerを保持するパラメータです。 exit handlerは、終了コード、フォーマット文字列、フォーマット文字列の引数のリスト、 の3つの引数を取る手続きです。上のexitの項を参照してください。

exit handlerの値は#fにすることもできます。 その場合はハンドラは呼ばれません。

デフォルトのハンドラは、与えられた引数でフォーマットした文字列を 標準エラー出力に出します。

ハンドラがエラーを投げた場合、それは補足され無視されます。 エラー以外のコンディションを投げた場合は補足されないので、 外側の制御機構に処理が任されます。

Function: sys-exit code ¶

[POSIX] 現在のプロセスを終了し、codeを終了コードにします。 codeが#tなら終了コードは0、 #fなら終了コードは1、 そして正確な整数の場合は下位8bitが終了コードとして使われます。 それ以外の値では終了コードは70 (EX_SOFTWARE)になります。 (exitと同じです)。

この手続きは_exit(2)を直接コールします。 クリーンアップは一切行われません。 フラッシュされてないファイルバッファの内容は捨てられます。

Function: sys-abort ¶

[POSIX] POSIXのabort()を呼びます。通常、現在のプロセスは終了され、コアダンプされます。 クリーンアップは一切行われません。

6.24.2 コマンドライン引数

Schemeスクリプトに渡されたコマンドライン引数を受け取るには、 main関数の引数を使うのが推奨される方法です (see Schemeスクリプトを書く)。 ただ、簡便のために、どこからでもコマンドライン引数にアクセスできる インターフェースもいくつか用意してあります。

Schemeコードが実行される時、常にコマンドライン引数が存在するわけではない ことに注意してください。例えばアプリケーションに埋め込まれたSchemeコード片にとっては、 コマンドライン引数は意味を持ちません。なるべくmain関数の引数を使うべき、 というのはそのためです。main関数の引数は明示的だからです。 mainが呼ばれたなら、呼び出す側は意識してコマンドライン引数を渡している わけですから。

この注意を念頭に置いておいてください。 以下にコマンドライン引数にアクセスする方法を示します。

Parameter: command-line ¶

[R7RS+ process-context][SRFI-193] 引数なしで呼ばれた場合は、コマンドライン引数のリストを文字列のリストとして返します。 最初の要素はプログラム名です。

Gaucheが埋め込み言語として使われた場合、このパラメータの値はアプリケーションの 設定に依存します。アプリケーションが何もしていなければ、 このパラメータの値は空リストとなります。ライブラリ中でこのパラメータの値を 使う場合は、その可能性を念頭に置いてください。

一つの引数で呼び出すこともできます。その場合、引数は文字列のリストでなければなりません。 渡された引数が、新たなパラメータの値となります。 parameterizeを使ってcommand-lineの値を 動的に変えることができます (パラメータ参照)。 R7RSは、ゼロ引数のcommand-lineのみ定義しています。

Parameter: script-file ¶

[SRFI-193] Schemeプログラムがスクリプトとして実行されている期間中、 このパラメータはそのスクリプトの絶対パスを保持しています。 スクリプトとして実行とは、goshにスクリプトファイルとして渡されるか、 トップレベルREPLから直接loadされる場合です。

この関数がスクリプト実行期間中以外に呼ばれた場合は#fが返ります。

Variable: *program-name* ¶

Variable: *argv* ¶

これらの変数はそれぞれ、プログラム名および、コマンドライン引数のリストに束縛されます。 goshを使ってGaucheスクリプトを実行しているなら、*program-name*は (goshに与えられたとおりの) スクリプト名になっています。goshが インタラクティブREPLとして起動された場合は*program-name*は 空文字列""で、*argv*は空リストです。

これらの変数はuserモジュールにあります。

これは主として互換性のためだけに残されています。STkと互換な名前ですが、 他のScheme実装へはポータブルではありません。上のcommand-lineパラメータの 方がお勧めです。

Gaucheが埋め込み言語として使われている場合、これらの変数を設定するかどうかは ホストアプリケーションに任されます。一般には、これらの変数が必ず存在している とは限りません。これもまた、他の方法を使うべき理由です。

6.24.3 環境の問い合わせ

Function: sys-getenv name ¶

[POSIX] 環境変数nameの値を文字列で返します。もしnameが定義されていなければ、 #fが返ります。

ポータブルなコードでは、SRFI-98およびR7RSのget-environment-variableを 使うのが良いでしょう(srfi.98 - 環境変数へのアクセス参照)。

註: 多くのシステムでは、環境が変更されている最中のgetenvのスレッド安全性を 保証していませんが、Gaucheは内部的に環境へのアクセスと変更のAPIを排他制御しているので、 Gaucheの手続きを使っている限りにおいてはスレッド安全です。

Function: sys-environ ¶

現在の環境を文字列のリストとして返します。それぞれの文字列は NAME=VALUEというフォーマットになっています。ここでNAMEは 環境変数名、VALUEはその値です。NAMEが文字#\=を含 むことはありません。この手続きは現在のプロセスの環境変数をすべて取得し たい場合に便利です。特定の環境変数の値が欲しい場合には sys-getenvを使ってください。

Function: sys-environ->alist :optional envlist ¶

sys-environの便利版。環境リスト(sys-environが返すような 形式のもの)をenvlistとして与えると、この手続きは各環境変数を名前 と値に分けて連想リストにして返します。

envlistを省略すると、この手続きはsys-environを呼んで現在 の環境変数を取得します。

ポータブルなコードでは、SRFI-98およびR7RSの get-environment-variables (srfi.98 - 環境変数へのアクセス参照), を使うのが良いでしょう。

(sys-environ->alist '("A=B" "C=D=E"))
  => (("A" . "B") ("C" . "D=E"))

Function: sys-setenv name value :optional overwrite ¶

Function: sys-putenv name=value ¶

sys-setenvは環境変数nameとその値valueを プロセスの実行環境に挿入します。 ただし、省略可能引数overwriteが#f(デフォルト値)の場合、 nameが既に存在したら実行環境は変更されません。 overwriteが真の値であれば、環境変数は上書きされます。

sys-putenvでは、環境変数を名前と値を#\=でつないだ NAME=VALUEという形式で指定します。 同名の環境変数が既に存在する場合は常に上書きされます。

これらのAPIはPOSIXのsetenv(3)とputenv(3)のインタフェースを 反映しています。しかし、putenv(3)と違って sys-putenvに渡した文字列はコピーされるので、後でその文字列を 破壊的変更してもプロセスの実行環境に影響はありません。

これらの手続きは機能識別子gauche.sys.setenvがある場合のみ使えます。 下の例のようにcond-expandで使えるかどうかチェックしてください (機能条件式参照)。

(cond-expand
 [gauche.sys.setenv
   ... use sys-setenv or sys-putenv ... ]
 [else
   ... fallback code ...])

これらの手続きは、他の方法で環境変数を変更しない限り、スレッドセーフです。

Function: sys-unsetenv name ¶

Function: sys-clearenv ¶

sys-unsetenvは環境変数nameを、また sys-clearenvは全ての環境変数をプロセスの実行環境から取り除きます。 sys-clearenvは、子プロセスを走らせる際に予期せぬ環境変数を 注入されないようにするのに便利です。

これらの手続きは機能識別子gauche.sys.unsetenvがある場合のみ使えます。 下の例のようにcond-expandで使えるかどうかチェックしてください (機能条件式参照)。

(cond-expand
 [gauche.sys.unsetenv
   ... use sys-unsetenv or sys-clearenv ... ]
 [else
   ... fallback code ...])

SRFI-98 (srfi.98 - 環境変数へのアクセス参照) にも、 環境変数を読み出すための、上記の手続きのサブセットにあたるものが 定義されています。ポータブルなコードにしたければそちらも見てみてください。

Function: gauche-version ¶

Function: gauche-architecture ¶

Function: gauche-library-directory ¶

Function: gauche-architecture-directory ¶

Function: gauche-site-library-directory ¶

Function: gauche-site-architecture-directory ¶

これらの手続きはGaucheランタイムの情報を文字列で返します。

Function: version-alist ¶

[SRFI-176] 様々なランタイムの情報をalistで返します。 gosh -Vで表示される情報と同じです。

Function: sys-available-processors ¶

現在Gaucheが走っているプラットフォームで使えるプロセッサの個数を返します。 戻り値は常に正の正確な整数です。Gaucheがこの情報を入手できなかった場合は 1が返ります。

但し、もし環境変数GAUCHE_AVAILABLE_PROCESSORSが定義されていて、 その値が正の整数と解釈できるものだった場合、ハードウェア/OSがどう言おうと 環境変数の値が返されます。

6.24.4 ファイルシステム

ファイルシステムに関するシステムコール群です。 ここで述べる手続きの上に、より高レベルなAPIがモジュールfile.utilとして 実装されています。file.util - ファイルシステムユーティリティを参照して下さい。

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

6.24.5 Unixのグループとユーザ

Unix groups

Builtin Class: <sys-group> ¶

Unixのグループの情報です。以下のスロットを持ちます。

Instance Variable of <sys-group>: name ¶

グループ名。

Instance Variable of <sys-group>: gid ¶

グループID

Instance Variable of <sys-group>: passwd ¶

グループパスワード。

Instance Variable of <sys-group>: mem ¶

このグループに属するユーザ名のリスト。

Function: sys-getgrgid gid ¶

Function: sys-getgrnam name ¶

[POSIX] グループIDgidもしくはグループ名nameで示されるグループの情報を <sys-group>で返します。該当するグループが存在しない場合は #fが返されます。

Function: sys-gid->group-name gid ¶

Function: sys-group-name->gid name ¶

グループIDとグループ名を相互変換する便利な手続きです。

Unix users

Builtin Class: <sys-passwd> ¶

Unixのユーザの情報です。以下のスロットを持ちます。

Instance Variable of <sys-passwd>: name ¶

ユーザ名。

Instance Variable of <sys-passwd>: uid ¶

ユーザID

Instance Variable of <sys-passwd>: gid ¶

ユーザのプライマリグループID。

Instance Variable of <sys-passwd>: passwd ¶

ユーザの(暗号化された)パスワード。システムがシャドウパスワードファイルを 使っている場合は、 "x" のような無意味な文字列が入っています。

Instance Variable of <sys-passwd>: gecos ¶

Gecosフィールド。

Instance Variable of <sys-passwd>: dir ¶

ユーザのホームディレクトリ。

Instance Variable of <sys-passwd>: shell ¶

ユーザのログインシェル。

Instance Variable of <sys-passwd>: class ¶

ユーザのクラス。(特定のシステムでのみ有効)。

Function: sys-getpwuid uid ¶

Function: sys-getpwnam name ¶

[POSIX] ユーザIDuidもしくはユーザ名nameで示されるユーザの情報を <sys-passwd>で返します。該当するユーザが存在しない場合は #fが返されます。

Function: sys-uid->user-name uid ¶

Function: sys-user-name->uid name ¶

ユーザIDとユーザ名を相互変換する便利な手続きです。

Password encryption

Function: sys-crypt key salt ¶

これは、crypt(3)へのインターフェースです。keyとsaltは 文字列でなければならず、暗号化された文字列が返されます。 crypt(3)が利用できないシステムでこの関数を呼ぶとエラーが通知されます。

このルーチンは、システムのパスワードデータベースを使ってパスワードチェックを しなければならない時以外に使うべきではありません。独自のパスワードデータベースを 新たに作る場合は、crypt.bcryptモジュール(crypt.bcrypt - パスワードハッシュ)を 使ってください。

6.24.6 ロケール

Function: sys-setlocale category locale ¶

[POSIX] カテゴリーcategoryのロケールをlocaleにセットします。 categoryは整数でなければなりません；以下の変数がcategoryの ために定義されています。localeはロケールを表す文字列か#fです。

成功した場合は新しいロケール名を、ロケールが変更できなかった場合は#fを 返します。localeに#fを渡した場合は、ロケールの変更はせずに 単に現在のロケールの値を文字列で返します。

Variable: LC_ALL ¶

Variable: LC_COLLATE ¶

Variable: LC_CTYPE ¶

Variable: LC_MONETARY ¶

Variable: LC_NUMERIC ¶

Variable: LC_TIME ¶

sys-setlocaleのcategoryに渡せる数値を定義しています。

Function: sys-localeconv ¶

[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))

6.24.7 シグナル

Gaucheでは、OSのシグナルを自分自身や他のプロセスに送ったり、 送られたシグナルを処理することができます。

マルチスレッド環境では、全てのスレッドがシグナルハンドラを共有し、 各スレッドが独自のシグナルマスクを持ちます。 詳しくはシグナルとスレッドを参照して下さい。

システムコールがシグナルによって割り込まれ、 プログラマがシグナルハンドラをセットしており、そのハンドラが別コンテキストに 制御を移さずに戻った場合、そのシステムコールは原則としてハンドラからの復帰後に リスタートされます。

シグナル割り込みによって単純にリスタートされないものは次の通りです。

close

これはsys-closeやclose-port、さらには低層のファイルが自動的に クローズされる場合に呼ばれます。シグナルがこのシステムコールを中断してEINTRが 返った時点で、渡されたファイルディスクリプタは無効になっており、もし他のスレッドがその ディスクリプタを直後に再利用していたら、リスタートするのは競合を引き起こします。

dup2

このコールはport-fd-dup!から呼ばれます。dup2がEINTRを 返した時、newfdは使われない状態になっており、他のスレッドが直後にそれを使う 可能性があるのでリスタートは危険です。

sleep

nanosleep

これらのコールは中断された場合に残りの時間を教えてくれます。 Gaucheではリスタート時に元の引数でなく残りの時間を渡すので、スリープする全体の時間は おおよそ最初に与えられた時間となります。

Windowsネイティブ環境では、sys-killの限定的なサポートを 除いてシグナルは動作しません。

(thread-start!
  (make-thread
    (lambda ()
      (sys-sigmask SIG_SETMASK (make <sys-sigset>)) ;;empty mask
      (let loop () (sys-pause) (loop)))))

6.24.8 システムへの問い合わせ

Function: sys-uname ¶

[POSIX] 次の5要素のリストを返します。 (sysname nodename release version machine)。

Function: sys-gethostname ¶

ホスト名を返します。システムでgethostname()が使えない場合、 sys-unameが返すリストの2番目の要素が使われます。

Function: sys-getdomainname ¶

ドメイン名を返します。システムでgetdomainname()が使えない場合、 "localdomain"が返されます。

Function: sys-getcwd ¶

[POSIX] 現在の作業ディレクトリを文字列で返します。 システムから現在の作業ディレクトリが得られない場合は、エラーが通知されます。 sys-chdir(他のファイル操作参照)、current-directory (ディレクトリユーティリティ参照)も参照して下さい。

Function: sys-getgid ¶

Function: sys-getegid ¶

[POSIX] 現在のプロセスの実グループIDと実効グループIDをそれぞれ整数で返します。 返されたグループIDからグループ名その他の情報を得るには sys-gid->group-nameやsys-getgrgidを使って下さい (Unixのグループとユーザ参照)。

Function: sys-setgid gid ¶

[POSIX] 現在のプロセスの実効グループIDをセットします。

Function: sys-getuid ¶

Function: sys-geteuid ¶

[POSIX] 現在のプロセスの実ユーザIDと実効ユーザIDをそれぞれ整数で返します。 返されたユーザIDからユーザ名その他の情報を得るには sys-uid->user-nameやsys-getpwuidを使って下さい (Unixのグループとユーザ参照)。

Function: sys-setuid uid ¶

[POSIX] 現在のプロセスの実効ユーザIDをセットします。

Function: sys-setugid? ¶

プロセスがsuid/sgidされていたら#tを、そうでなければ#fを返します。

註：プラットフォームがissetugid()を持っていればそれを呼びます。 そうでない場合は、初期化時に実uid/gidと実効uid/gidが異なるかどうかを 記録しています。(後者の場合、Gaucheが組み込みSchemeエンジンとして使われていて、 プロセスがGauche初期化前に[e]uid/[e]gidを変更していたケースは検出できないことに 留意してください)。

Function: sys-getgroups ¶

[POSIX] 補助的なグループのIDの整数のリストを返します。

Function: sys-setgroups gids ¶

現在のプロセスのグループIDのリストを、 引数gidsで与えたグループIDのリストに置き換えます。 呼び出すプロセスは適切な特権を持っていなければなりません。

この手続きは、機能識別子gauche.sys.setgroupsがあるときのみ 使えます。ポータブルなコードではcond-expandを用いてください。

(cond-expand
  [gauche.sys.setgroups (sys-setgroups '(0 1))]
  [else])

Function: sys-getlogin ¶

[POSIX] 現在のプロセスの制御端末にログインしているユーザの名前を文字列で 返します。システムがその情報を決定できない場合、#fが返されます。

Function: sys-getpgrp ¶

[POSIX] 現在のプロセスのプロセスグループIDを返します。

Function: sys-getpgid pid ¶

pidで指定されたプロセスのプロセスグループIDを返します。 pidが0の場合、現在のプロセスが使われます。

getpgid()はPOSIXではないことに注意して下さい。 システムにgetpgid()がない場合、pidが0ならば sys-getpgidがまだ動作しますが(それは単にsys-getpgrpを呼びます) 、pidが0でない場合はエラーが通知されます。

Function: sys-setpgid pid pgid ¶

[POSIX] プロセスpidのプロセスグループIDをpgidにセットします。 pidが0ならば、現在のプロセスのプロセスIDが使われます。 pgidが0ならば、pidで指定されたプロセスのプロセスIDが 使われます。 (したがって、sys-getpgid(0, 0)は、現在のプロセスのプロセス グループIDを現在のプロセスIDにセットします。)

Function: sys-setsid ¶

[POSIX] 呼んでいるプロセスがプロセスグループリーダでなければ、 新しいセッションを作ります。

Function: sys-getpid ¶

Function: sys-getppid ¶

[POSIX] 現在のプロセスIDと親プロセスのIDをそれぞれ返します。

Function: sys-times ¶

[POSIX]

Function: sys-ctermid ¶

[POSIX] プロセスの制御端末の名前を返します。 これは単に``/dev/tty''かもしれません。sys-ttynameも参照して下さい。

Function: sys-getrlimit resource ¶

Function: sys-setrlimit resource current :optional maximum ¶

[POSIX] プロセスのリソースリミットを取得あるいは設定します。 resourceはリソースの種類を指定する整数値です。 以下にリストする定数が定義されています。 (bsd、linuxとマークされている値は、POSIXでは 定義されていないけれどBSDもしくはLinuxで定義されていることを示します。 他のプラットフォームでそれらが定義されているかどうかは、 該当システムのgetrlimitのマニュアルを参照してください。)

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

Function: sys-nice inc ¶

[POSIX] 現在のプロセスのnice値にincを加算します。incは正確な整数でなければなりません。 ルートユーザのみがincに負の値を指定できます。 新たなnice値を返します。

Function: sys-strerror errno ¶

errnoはシステムエラー番号を表現する非負正確整数でなければなりま せん。この関数はエラーを説明する文字列を返します。

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

Function: sys-errno->symbol k ¶

Function: sys-symbol->errno symbol ¶

これらの手続きは、整数のエラー番号と、Unixでのエラー名を表すシンボル(例:EINTR)とを 相互に変換します。

与えられたエラー番号もしくはエラー名が実行中のプラットフォームで有効でない場合は #fが返されます。使えるかもしれないエラー名については上のsys-strerror の項を参照してください。

有効なエラー名およびその整数値はプラットフォーム毎に異なります。 これらの手続きは、システムエラーを扱うメタなコードをポータブルに書く時に役立つでしょう。

6.24.9 時間

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 time

Function: sys-time ¶

[POSIX] 現在の時間を POSIX 時間(エポック(00:00:00 UTC, January 1, 1970) からの秒数)で返します。マシンのアーキテクチャによっては、非正確数で あるかもしれません。

Function: sys-gettimeofday ¶

2つの値を返します。1970/1/1 0:00:00 UTC を基準として、 1つ目の値は秒数、2つ目の値は端数をマイクロ秒で表したものです。 システムが gettimeofday 呼び出しをサポートしていない場合、 この手続きは time() を呼び出し、その場合はマイクロ秒の 部分はいつも 0 です。

Builtin Class: <sys-tm> ¶

カレンダーである、struct tm を表します。以下のスロットを持ちます。

Instance Variable of <sys-tm>: sec ¶

秒。0-61。

Instance Variable of <sys-tm>: min ¶

分。0-59。

Instance Variable of <sys-tm>: hour ¶

時。0-23。

Instance Variable of <sys-tm>: mday ¶

月の日。1 から数える。1-31。

Instance Variable of <sys-tm>: mon ¶

月。0 から数える。0-11。

Instance Variable of <sys-tm>: year ¶

1900年からの年数。例えば、102 なら 2002年。

Instance Variable of <sys-tm>: wday ¶

曜日。日曜は 0 .. 土曜は 6。

Instance Variable of <sys-tm>: yday ¶

1年の中での日数。1月1日は 0 .. 12月31日は 364 か 365。

Instance Variable of <sys-tm>: isdst ¶

夏時間が有効であるかどうかを指定するフラグ。有効なら正の数、無効なら 0、 分からなければ負の数。

Function: sys-gmtime time ¶

Function: sys-localtime time ¶

[POSIX] time を <sys-tm> オブジェクトに変換します。 標準時での表現かローカルタイムゾーンでの表現かで使い分けます。 Time は POSIX 時間か SRFI 時間です。

Function: sys-ctime time ¶

[POSIX] time を POSIX の ctime() を使って文字列表現に変換します。 Time は POSIX 時間か SRFI 時間です。

Function: sys-difftime time1 time0 ¶

[POSIX] 2つの時間の差を、秒の実数で返します。Time0 とtime1 は POSIX 時間か SRFI 時間です。

Function: sys-asctime tm ¶

[POSIX] <sys-tm> オブジェクトである tm を文字列表現に変換します。

Function: sys-strftime format tm ¶

[POSIX] <sys-tm> オブジェクトである tm を、フォーマット文字列 format に従って文字列表現に変換します。 formatの書き方はシステムのstrftimeのマニュアルエントリを参照してください。

フォーマット結果が異常に長い文字列になる場合は、空文字列が返されることがあります。

Function: sys-mktime tm ¶

[POSIX] ローカルタイムとして表現された <sys-tm> オブジェクトである tm を POSIX 時間(エポックからの秒数)に変換します。

Function: sys-tm->alist tm ¶

Deprecated.

SRFI time

Builtin Class: <time> ¶

ある時刻を表す<time>オブジェクトです。

Instance Variable of <time>: type ¶

timeの型を表します。デフォルトはtime-utcで、Unixエポックからの 秒数を表します。SRFI-19(srfi.19 - 時間のデータ型と手続き参照) ではさらに型が追加されています。

Instance Variable of <time>: second ¶

timeの秒の部分です。

Instance Variable of <time>: nanosecond ¶

timeのナノ秒の部分です。

Function: current-time ¶

[SRFI-18][SRFI-21] 現在の時間をtime-utcで表す<time>オブジェクトを返します。 srfi.19 - 時間のデータ型と手続きでは、current-timeが再定義され、 timeの型を指定するオプショナル引数を受け付けるようにされています。

Function: time? obj ¶

[SRFI-18][SRFI-19][SRFI-21] objがtimeオブジェクトなら#tを返します。

Function: absolute-time obj :optional current-time ¶

引数は<time>オブジェクト、実数、もしくは#fでなければなりません。 絶対時刻を表す<time>オブジェクトの場合は絶対時刻を、 time-duration型の<time>オブジェクトの場合は現在時刻からの相対時間を、 実数の場合は現在時刻からの相対秒数を示します。

この手続きは、引数が#fなら#fを、そうでなければ 絶対時刻に変換したUTC <time>オブジェクトを返します。

timeout引数を取る多くの手続きが、同じ形式の引数を取ります。 この手続きはそれらと同様に時刻を扱うのに便利です。

省略可能なcurrent-timeオブジェクトは、もし与えられたなら 絶対時刻の<time>オブジェクトか#fでなければなりません。 <time>オブジェクトの場合は、実際の現在時刻のかわりに それが現在時刻として使われます。

Function: seconds+ time x ¶

[SRFI-226+] 与えられたtimeよりx秒後を表すtimeオブジェクトを作って返します。 返されるtimeオブジェクトの型はtimeと同じです。 xは有限の実数です。xが負の場合は、与えられた時間より前の時間が返ります。

この手続きはSRFI-226準拠のコードを書くために用意されています。 Gauche専用のコードなら上のabsolute-timeも使えます。

時間の計算には、SRFI-19のadd-duration/subtract-duration も使えます。時間に関する手続きを参照してください。

Function: time->seconds time ¶

Function: seconds->time seconds ¶

[SRFI-18][SRFI-21] timeオブジェクトと秒数(POSIX時間)を変換します。 time->secondsの引数timeは、<time>オブジェクトで なければなりません。

6.24.10 プロセス管理

以下の手続きは、システムコールに対する直接的なインタフェースを提供します。 gauche.process - 高レベルプロセスインタフェースも合わせて参照して下さい。 より高レベルの便利な手続きが定義されています。

Fork and exec

Function: sys-system command ¶

[POSIX] サブプロセスで文字列commandを実行します。commandは通常、 shへ渡されるので、シェルのメタキャラクタは解釈されます。

OSがサブシェル実行に失敗した場合は、<system-error>エラーが投げられます。 そうでなければ、この手続きはサブシェルが終了するまで待ち、サブシェルの 終了ステータス(termination status)を整数で返します。

終了ステータスはsys-waitの戻り値と同じように解釈できます。 例えば、exit statusを取るにはまず戻り値をsys-wait-exited?で検査して、 それからsys-wait-exit-statusを適用します。

一般的に、sys-systemの戻り値をきちんと解析するのは面倒です。 というのも、ゼロでない場合、それはサブシェル本体の異常終了もしくはシグナルによる終了 を表しているかもしれないし、commandの異常終了もしくはシグナルによる終了 を表しているかもしれないからです。 サブプロセスの終了コードを精査する必要がある場合は、 gauche.processモジュールのdo-process等を使うことを推奨します (gauche.process - 高レベルプロセスインタフェース参照)。

Windowsネイティブな環境では、引数はcmd.exeに渡されます。 外部から供給された文字列を引数にしてcmd.exeを呼び出すことは 避けてください。Windowsのcmd.exeに渡す任意の文字列を安全にエスケープすることは 事実上不可能です。

Function: sys-fork ¶

[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ネイティブな環境ではこの手続きは使えません。

Function: sys-exec command args :key directory iomap sigmask ¶

[POSIX+] commandを引数のリストであるargsを伴って実行します。 現在のプロセスイメージはcommandに置き換えられるので、 この関数は戻りません。

argsの全ての要素は文字列でなければなりません。 argsの最初の要素は、argv[0]、すなわちプログラム名として 使われます。

(註: Windowsでは、sys-execとsys-fork-and-execで バッチファイル(*.bat, *.cmd)を起動することもできます。 ただその場合、コマンドライン引数に文字()%!^<>&|"のいずれかを含めることは できません。これらの文字を安全にエスケープする包括的な方法が無いからです。 実行可能ファイルを直接指定する場合はこの制限はありません。)

キーワード引数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を渡すことができます (シグナルマスクについてはシグナルを 参照して下さい)。<sys-sigset>のインスタンスを渡した場合、 この関数を呼び出したスレッドのシグナルマスクが、exec(2)を呼ぶ 直前にそれによって置き換えられます。 これは、全てのシグナルをブロックしているスレッドから外部プログラムを走らせる ような場合に便利です (シグナルとスレッドで述べるように、 新たなスレッドは全てのシグナルをデフォルトでブロックします)。 このような場合にsigmaskを設定しないと、execされたプロセスは スレッドのシグナルマスクを継承し、ほとんどのシグナルを受け付けないプロセスと なってしまうからです。通常、それはあまり便利ではありません。

sys-execがエラーに遭遇すると、たいていの場合エラー条件を投げます。 しかし一旦ファイルディスクリプタの順番が変えられると、合理的な方法でエラーを処理する ことは実行不可能です(標準エラーがまだ有効かどうかさえ知る術がありません)。 したがって、その場合はGaucheはエラー時には単に終了するだけです。

Windowsネイティブ環境では、標準入力、標準出力、標準エラー出力に 関するリダイレクションのみが処理されます。Windowsはプロセス間通信としての シグナルをサポートしないので、シグナルマスクは無視されます。

Function: sys-fork-and-exec command args :key directory iomap sigmask detached ¶

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ネイティブ環境では、標準入力、標準出力、標準エラー出力に 関するリダイレクションのみが処理されます。

detachedキーワード引数に真の値が与えられた場合、 実行されるプロセスは現在のプロセスグループからは切り離されます。 つまり、現在のプロセスグループに送られるシグナルを、新しいプロセスは受け取りません。 この動作はデーモンプロセスを作る際の標準的な手順のひとつです。

Unixでは、実行されるプロセスがsetsid(2)を呼んで 独自のセッションを作るだけでなく、余分なfork(2) を実行することで親をinitプロセス (pid=1) に切り替えます。 (つまり、実行されるプロセスは実は呼び出すプロセスの孫にあたります。 親子関係はなくなりますが。返されるpidは実際に走っているこのプロセスのもので、 すぐに終了する中間プロセスのものではありません。)

Windowsネイティブ環境では、このフラグがあると プロセス作成時にCREATE_NEW_PROCESS_GROUPフラグが使われます。

Wait

Function: sys-wait ¶

[POSIX] システムのwait(2)を呼びます。プロセスは、子プロセスの1つが 終了するまでその実行を一時停止します。2つの正確整数、1つ目は子プロセスのID、 2つ目はステータスコードを返します。ステータスコードは以下の関数によって 解釈できます。

Function: sys-waitpid pid :key nohang untraced ¶

[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を渡していずれかの子プロセスの終了を待つこともできますが、 特定のプロセスグループの中の子プロセスを待つことはできません。

Function: sys-wait-exited? status ¶

Function: sys-wait-exit-status status ¶

[POSIX] 引数はsys-waitかsys-waitpidの2番目の値として返される 終了ステータスです。子プロセスが正常終了したら、sys-wait-exited?は #tを返します。sys-wait-exit-statusは、子プロセスが exit(2)に渡した終了コードか、main()の戻り値を返します。

Function: sys-wait-signaled? status ¶

Function: sys-wait-termsig status ¶

[POSIX] 引数は、sys-waitかsys-waitpidの2つ目の戻り値である終了ステータスです。 子プロセスが捕捉されないシグナルで終了した場合は、sys-wait-signaled?は #tを返します。 sys-wait-termsigは、子プロセスを終了したシグナルの番号を返します。

Function: sys-wait-stopped? status ¶

Function: sys-wait-stopsig status ¶

[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?が真を返すことは (今のところ)ありません。

Windows特有のユーティリティ

以下の手続きはWindowsのプロセスハンドルにアクセスするものです。 Windowsネイティブ環境でのみ提供されます。

Function: sys-win-process? obj ¶

[Windows] objがWindowsプロセスハンドルの場合に#tを、それ以外では#fを 返します。

Function: sys-win-process-pid handle ¶

[Windows] Windowsプロセスハンドルhandleが示すプロセスの、整数のpid値を 返します。handleが有効なWindowsプロセスハンドルでない場合はエラーが 通知されっす。

プロセスハンドルからプロセスIDを得るAPIはWindows XP SP1から提供されるように なりました。それ以前のWindowsでこの手続きを呼ぶと-1が返されます。

6.24.11 I/Oの多重化

select(2)へのインターフェース関数です。 これらのプリミティブの上に構築された高次元のインターフェースが 提供されています。gauche.selector - 簡単なディスパッチャを 参照して下さい。

Builtin Class: <sys-fdset> ¶

ファイルディスクリプタの集合であるfd_setを表します。 makeメソッドによって、空のファイルディスクリプタの集合を作れます。

(make <sys-fdset>)

Function: sys-fdset elt … ¶

elt …で指定されたファイルディスクリプタを持つ 新たな<sys-fdset>のインスタンスを作成して返します。 各eltは、ファイルディスクリプタを指定する整数、ポート、 もしくは<sys-fdset>のインスタンスでなければなりません。 最後の場合は、与えられたfdsetに含まれるディスクリプタが 新たなfdsetにコピーされます。

Function: sys-fdset-ref fdset port-or-fd ¶

Function: sys-fdset-set! fdset port-or-fd flag ¶

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)

Function: sys-fdset-copy! dest-fdset src-fdset ¶

src-fdsetの内容をdest-fdsetにコピーします。 dest-fdsetを返します。

Function: sys-fdset-clear! fdset ¶

fdsetの内容をクリアし、それ自身を返します。

Function: sys-fdset->list fdset ¶

Function: list->sys-fdset fds ¶

fdsetを整数のファイルディスクリプタのリストに変換し、またその逆を行います。 実際は、list->sys-fdsetは (lambda (fds) (apply sys-fdset fds)) のように動作するため、 整数のファイルディスクリプタ以外にポートや他のfdsetを与えることもできます。

Function: sys-fdset-max-fd fdset ¶

fdsetにある最大のファイルディスクリプタ番号を返します。

Function: sys-select readfds writefds exceptfds :optional timeout ¶

Function: sys-select! readfds writefds exceptfds :optional timeout ¶

ステータスを変更するためにファイルディスクリプタの集合を待ちます。 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>オブジェクトを作り、その 引数を変更しません。

6.24.12 ガベージコレクション

ガベージコレクタは必要になった時に自動的に走るので、普段気にする必要はないでしょう。 けれどももし気にする必要が出てきた時は、いくつか使える手続きがあります。

Function: gc ¶

フルGCを起動します。GCの影響をなるべく排除したいコードがある場合、 その直前にこの手続きを呼ぶことで影響を減らせるかもしれません。

Function: gc-stat ¶

GCに関する統計情報を返します。返り値はリストのリストで、 内側のリストはキーワードと対応する数値からなります。 現在、返されるキーワードは :total-heap-size、 :free-bytes、:bytes-since-gc、:total-bytesです。

6.24.13 メモリマッピング

Class: <memory-region> ¶

マップされたメモリ領域を表すオブジェクトです。sys-mmapによって返され、 make-view-uvectorに渡してアクセスできます。以下の読み取り専用スロットを 持っています。

Instance Variable of <memory-region>: address ¶

マッピングされたアドレス。Schemeの世界では意味がありませんが、 外部関数に渡すことはできます。

Instance Variable of <memory-region>: size ¶

マッピングの大きさをバイト数で。

Instance Variable of <memory-region>: protection ¶

メモリ保護属性のビットマスク。整数定数 PROT_READ、PROT_WRITE、PROT_EXEC、PROT_NONE の組み合わせのbitwise orです。詳しくは下のsys-mmapを参照。

Instance Variable of <memory-region>: flags ¶

sys-mmapに渡されたフラグ。下のsys-mmapを参照。

Function: sys-mmap port prot flags size :optional offset ¶

[POSIX] mmap(2) (WindowsではMapViewOfFileEx) を使って ファイルをメモリにマップします。マップされたメモリは <memory-region>オブジェクトとして返され、 make-view-uvectorでアクセスできます。

port引数はポートか#fでなければならず、ポートの場合は ファイルと結びつけられていなければなりません。この引数が#fの場合は、 ファイルの裏打ちがない「匿名の」メモリ領域がマップされます。この場合、 flags引数にMAP_ANONYMOUSが指定されていなければなりません。

port引数はメモリ領域の保護属性を指定します。以下の定数のbitwise or でなければなりません。

PROT_EXEC

メモリページに実行可能属性を付加。

PROT_READ

メモリページに読み取り可能属性を付加。

PROT_WRITE

メモリページに書き込み可能属性を付加。

PROT_NONE

ページにはアクセスできない。

flags引数は、以下の定数のbitwise orでなければなりません。

MAP_SHARED

マッピングはプロセス間で共有される。マップされたページを変更した場合、 その変更は同じ領域をマップしている他のプロセスからも見える。

MAP_PRIVATE

マッピングはプロセスだけに止まる。マップされたページを変更しても、 それは外からは見えない。

MAP_ANONYMOUS

マップされたページはファイルに結びつけられない。

sizeは正の正確な整数、offsetは非負の正確な整数でなければなりません。 それらはファイル中のマップすべき領域を指定します。offsetバイト目から始まる、 sizeバイトの領域です。offsetはページサイズの倍数でなければならず、 省略された場合は0となります。マッピングがファイルと結びつけられていない場合 (portが#fの場合)、offsetは無視されます。

マップされたメモリを陽にunmapする必要はありません。 <memory-region>オブジェクトがガベージコレクトされる時に、メモリはunmapされます。

Function: make-view-uvector mem class length :optional offset immutable? ¶

この手続きはメモリ領域memの「窓」になるユニフォームベクタを作って返します。 memは<memory-region>オブジェクトでなければなりません。 マップされているメモリ領域に変化があれば、uvectorの内容も変化します。 メモリが書き込み可能でマップされていれば、uvectorを変更するとそれが メモリにも反映されます。

classはユニフォームベクタのクラスでなければなりません (例: <u8vector>)。 lengthは作られるユニフォームベクタの長さ(要素数)です。 メモリはネイティブバイトオーダーでアクセスされます。lengthは#fでも良く、 その場合はメモリ領域の最後までが使われます。

offset引数はメモリ領域先頭からのオフセットをバイト数で指定します。 これはユニフォームベクタの要素サイズの倍数でなければなりません。

メモリ領域が読み出し専用であれば(つまり、PROT_WRITE属性なしでマップされていれば)、 返されるユニフォームベクタは変更不可になります。そうでなければデフォルトで変更可能な ユニフォームベクタが返されますが、immutable?引数に真の値を与えることで、 変更不可なユニフォームベクタを得ることもできます。

メモリ領域は、それを参照しているユニフォームベクタが生きている限りは ガベージコレクトされません。

6.24.14 その他のシステムコール

Function: sys-pause ¶

[POSIX] シグナルキャッチ関数の実行かプロセスの終了を指示するシグナルを 受け取るまでプロセスを一時停止します。この関数は、シグナルキャッチ関数が 戻ったときにのみ戻ります。戻り値は未定義です。

Schemeレベルでは、pause()を呼ぶだけでは上記のセマンティクスを 満足しません。内部的にこの手続きは現在のシグナルマスクを伴って、 sigsuspend()を呼びます。

Function: sys-alarm seconds ¶

[POSIX] SIGALRMシグナルがseconds秒後に送出されるように準備します。 以前のアラームクロックのセッティングはキャンセルされます。 secondsに0を渡すと、新しいアラームをスケジューリングしません。 以前にスケジューリングされていたアラームが送出されるまでの残り時間を 秒数で返します(アラームがアクティブでない場合は0を返します)。

Function: sys-sleep seconds :optional (no-retry #f) ¶

[POSIX] 指定された秒数が経過するまで、呼び出したスレッドを一時停止します。

libcのsleep(3)は、シグナルを受けると指定時間経過前であっても 戻ってきます。その場合sys-sleepはデフォルトで、(Schemeのシグナルハンドラが あればそれを呼び出した後)残り時間を引数にして再びsleep(3)を呼び出します。 従ってsys-sleepを呼び出したスレッドは、少なくとも指定した時間、 眠れることが保証されます。

もしsys-sleepがシグナルを受けた場合にすぐ戻ってきてほしければ、 省略可能引数no-retryに真の値を渡してください。

デフォルトでsleep(3)を再呼び出しする理由は、GaucheのGCが スレッド間同期にシグナルを使う場合があるからです。 もし一つのスレッドがsys-sleepで待っている間にもうひとつのスレッドが GCをトリガすると、sys-sleepが時間経過前に戻ってくる可能性があります。 他のスレッドがたくさんアロケートする場合、sys-sleepはすぐに 戻ってきてしまい、信頼できなくなるかもしれません。

指定時間が満了した場合(no-retryが偽であれば常にそうです)、 sys-sleepは0を返し、 シグナルによって一時停止が解除された場合は、満了までの秒数を返します。

POSIX実装間でポータブルにするためには、secondsを65536より小さく保って 下さい。

システムによってはsleep(3)の実装にalarm(2)を用いている可能性があるので、 sys-sleepとsys-alarmを混ぜて使うことはおすすめしません。

Function: sys-nanosleep nanoseconds :optional (no-retry #f) ¶

[POSIX] 指定されたナノ秒が経過するまで、呼び出したスレッドを一時停止します。 引数nanosecondsは<time>オブジェクト(時間参照)か 実数です。

システムのnanosleep(2)は、シグナルを受けると指定時間経過前であっても 戻ってきますが、sys-nanosleepはデフォルトで、(Schemeのシグナルハンドラが あればそれを呼び出した後)残り時間を引数にして再びnanosleep(2)を呼び出します。 従ってsys-nanosleepを呼び出したスレッドは、少なくとも指定した時間、 眠れることが保証されます。

もしsys-nanosleepがシグナルを受けた場合にすぐ戻ってきてほしければ、 省略可能引数no-retryに真の値を渡してください。

デフォルトでnanosleep(2)を再呼び出しする理由は、GaucheのGCが スレッド間同期にシグナルを使う場合があるからです。 もし一つのスレッドがsys-nanosleepで待っている間にもうひとつのスレッドが GCをトリガすると、sys-nanosleepが時間経過前に戻ってくる可能性があります。 他のスレッドがたくさんアロケートする場合、sys-nanosleepはすぐに 戻ってきてしまい、信頼できなくなるかもしれません。

nanosecondsが経過した場合の返り値は#fです。 no-retryが偽であれば常にそうなります。 sys-nanosleepがシグナルによって割り込まれた場合は、 残りの時間を表す<time>オブジェクトを返します。

;wait for 0.5 sec
(sys-nanosleep 500000000)

;wait for 1.3 sec
(sys-nanosleep (make <time> :second 1 :nanosecond 300000000))

Windowsネイティブ環境では、この関数はSleepによってエミュレートされます。 引数はミリ秒の単位に切り上げられます。またシグナルによって中断されることはありません。

Function: sys-random ¶

Function: sys-srandom seed ¶

擬似的な乱数ジェネレータです。 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乱数発生器参照)。

Variable: RAND_MAX ¶

sys-randomが返す正の整数に束縛されます。

Function: sys-get-osfhandle port-or-fd ¶

[Windows] この手続きはWindowsネイティブ版だけにあります。 与えられたポートまたは整数のファイルディスクリプタに対応する Windowsファイルハンドルを返します。引数がファイルハンドルに 対応していなかった場合はエラーが投げられます。