擬データと関数による並行プロセス群の記述

• 石井 裕一郎

  東京大学大学院工学系研究科情報工学専攻

• 武市 正人

  東京大学大学院工学系研究科情報工学専攻

書誌事項

タイトル別名

• Describing a Group of Concurrent Processes with Pseudo Data and Functions

抄録

遅延評価関数型言語では、プロセスを決定的な関数として表現する手法がよく用いられ、この際入出力の処理は関数の外側にあるOS核が担当する。しかしこの手法では、非決定的処理を表現することも複数のプロセスからの要求が到着した順に処理をするサーバやOS核そのものの記述もできない。そこで我々は、関数型言語に一般的な単一代入ができる擬データを導入し、関数として表現されたプロセスが相互に通信する並行プロセス群全体をも関数として取り扱う機構を提案し、その処理系gofjavaを作成した。コンソール入出力やアブレット等のGUIもこの枠組で扱うことができる。本稿では、このような機構による並行プロセス群の記述とその実現法を述べる。

収録刊行物

• 情報処理学会研究報告. PRO, [プログラミング]

  情報処理学会研究報告. PRO, [プログラミング] 97 (9), 1-8, 1997-01-23

  一般社団法人情報処理学会

キーワード

• 関数型言語
• 擬データ
• 並行プロセス
• 非決定的処理
• 入出力
• OS
• GUK

詳細情報

• CRID: 1571135652193759744
• NII論文ID: 110002929340
• NII書誌ID: AN10485570
• 本文言語コード: ja
• データソース種別:
  • CiNii Articles