研究者詳細 - 山内　利宏

MISC - 山内　利宏

分割表示 365 件中 221 - 240 件目／全件表示 >>

古川友樹, 山内利宏, 谷口秀夫

夏のプログラミング・シンポジウム2011報告集 57 - 64 2012年1月

Preface

Goichiro Hanaoka, Toshihiro Yamauchi

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7631 LNCS 2012年

キャッシュヒット率に着目した入出力バッファの自動分割法

土谷彰義, 山内利宏, 谷口秀夫

コンピュータシステム・シンポジウム論文集 ( 2011 ) 62 - 72 2011年11月

機密情報の拡散経路を可視化する機能の提案

福島健太, 山内利宏, 谷口秀夫

コンピュータセキュリティシンポジウム2011 論文集 2011 ( 3 ) 367 - 372 2011年10月

統合仮想化システムモニタを用いたマルウェアのプロファイリング

安藤類央, 高橋一志, 田端利宏, 須崎有康

コンピュータセキュリティシンポジウム2009 (CSS2009) 論文集 2009 ( 2009 ) 1 - 6 2011年10月

Tenderオペレーティングシステムにおける資源「入出力」の実現と評価

一井晴那, 長尾尚, 山内利宏, 谷口秀夫

研究報告システムソフトウェアとオペレーティング・システム（OS） 2011 ( 19 ) 1 - 8 2011年7月

記述言語：日本語

個々のプログラムの実行速度を調整することができれば，利用者が重要でないと判断するプログラムの実行速度を制限することで，重要なプログラムの実行速度の低下を抑制できる．Tender オペレーティングシステムでは，資源「演算」を利用したプロセッサ性能の調整機能を実現している．しかし，プロセッサ性能を調整しても，入出力処理の影響を受けるため，プログラムの実行速度が低下する．そこで，Tender に入出力性能性能調整機能として資源「入出力」を提案した．ここでは，Tender における資源「入出力」による入出力性能調整機能の実現方式と評価について述べる．For the mechanism of regulating the speed of program execution individually, it prevents the speed of necessary program execution by limiting the speed of unnecessary program execution. We proposed the mechanism for regulating processor performance by Execution resources on the Tender operating system. However, limiting the speed of program execution by regulating processor performance is affected by I/O processing, and the speed of program execution does slow down. Therefore, we proposed I/O resources for regurating I/O performance on Tender. In this paper, we show implementaion of regurating I/O performance by I/O resources on Tender, and evaluate it.

CiNii Article

CiNii Books

researchmap

SH-4上で動作するAnTオペレーティングシステムのサーバプログラム間通信機構の評価

鶴谷昌弘, 山内利宏, 谷口秀夫

研究報告システムソフトウェアとオペレーティング・システム（OS） 2011 ( 12 ) 1 - 8 2011年7月

記述言語：日本語

マイクロカーネル構造の AnT オペレーティングシステムは，高速なサーバプログラム間通信機構を持ち，Pentium4 上で性能評価が行われている．また，SH-4 に移植されている．ここでは，SH-4 上でサーバプログラム間通信機構の基本処理の性能を測定し，Pentium4 上での測定結果と比較評価した結果を述べる．また，評価結果を基に，SH-4 の特徴を生かしたサーバプログラム間通信の高速化手法を述べる．AnT is an operating system based on microkernel architecture. AnT has a fast inter-server program communication mechanism, and has been evaluated performance of the mechanism on Pentium4. On the other hand, AnT has been ported to SH-4. In this paper, we evaluate basic performance of the inter-server program communication for AnT executed on SH-4 by comparing with AnT executed on Pentium4. In addition, this paper describes speedup techniques utilizing features of SH-4 of the communication between server programs.

CiNii Article

CiNii Books

researchmap

Tenderオペレーティングシステムにおける実メモリ交換機能を用いたプロセス間通信機能

難波宏則, 山内利宏, 谷口秀夫

研究報告システムソフトウェアとオペレーティング・システム（OS） 2011 ( 13 ) 1 - 7 2011年7月

記述言語：日本語

プロセス間通信は，プロセス間協調処理で多く利用されている．このため，プロセス間通信を高速化することは，システム全体の性能向上に繋がる．Tender におけるプロセス間通信は，コンテナボックスを経由してコンテナをやり取りする方式とコンテナボックスを経由せずプロセス間で直接コンテナをやり取りする方式がある．本稿では，Tenderにおけるプロセス間通信を高速化する手法を提案する．具体的には，実メモリ交換機能を利用したプロセス間通信を実現する．また，提案手法によるプロセス間通信の送受信処理時間を評価する．Interprocess communication (IPC) is often used to the cooperation processing between processes. Therefore, the performance enhancement of IPC affects the performance enhancement of the whole system. There is two IPC methods in Tender : one of the method is exchange container through containerbox, and the other method is exchange container between processes without containerbox. In this paper, we propose the technique for the speed-up of the interprocess communication in Tender. Concretely, we archieves IPC using the physical memory exchange function. In addition, we evaluated the sending and receiving processing time of the IPC by the proposed technique.

CiNii Article

CiNii Books

researchmap

キャッシュヒット率に着目した入出力バッファ分割法

土谷彰義, 山内利宏, 谷口秀夫

研究報告システムソフトウェアとオペレーティング・システム（OS） 2011 ( 18 ) 1 - 9 2011年7月

記述言語：日本語

入出力バッファのキャッシュヒット率を向上させることにより，利用者が優先して実行したい処理（優先処理）の実行処理時間を短縮する方式として，ディレクトリ優先方式が提案されている．ディレクトリ優先方式は，指定したディレクトリ直下のファイル（優先ファイル）を優先的にキャッシュする．したがって，優先処理が頻繁にアクセスするファイルを直下に有するディレクトリを指定することにより，優先処理の実行処理時間を短縮できる．しかし，優先ファイルとその他のファイルをキャッシュする量として，最適な値を設定することは難しい．そこで，本稿では，キャッシュヒット率に着目し，動的に優先ファイルとその他のファイルのキャッシュ量を決定し設定する方式について述べる．Performance of high priority processing can be improved by improving the cache hit ratio in I/O buffer. Thus, we proposed a directory oriented buffer cache mechanism. This mechanism gives a high priority to important directories, which are associated with high priority processing. Files in important directories are important files. Blocks of important files are given a high priority for caching. Therefore, performance of high priority processing is improved. However, it is difficult to set the appropriate amount of cached blocks of important files. This paper proposes I/O buffer partitioning method based on cache hit ratio. This method dynamically decides and changes the amount of cached blocks of important and unimportant files.

CiNii Article

CiNii Books

researchmap

仮想計算機モニタによるカーネルログ取得機能の実現と評価

佐藤将也, 山内利宏

研究報告コンピュータセキュリティ（CSEC） 2011 ( 28 ) 1 - 8 2011年7月

記述言語：日本語

計算機の動作を把握するためには，計算機上のログが重要である．しかし，攻撃や問題の発生によりログの改ざんや喪失が起こる可能性がある．この問題に対処するため，仮想計算機モニタ（以降，VMM）を用いてログの改ざんと喪失を防止するシステムを提案する．提案システムでは，対象の仮想計算機（以降，VM）で動作している応用プログラム（以降，AP）とオペレーティングシステム（以降，OS）のログを，ゲスト OS のソースコードの修正なしに VMM が取得する．また，取得対象となる VM からログを隔離することで，取得したログの安全性を確保できる．さらに，ログを隔離し多重化することでログの改ざんを検出できる．本論文では，提案システムのうち，OS の出力するログの改ざんの検出と喪失を防止する機能を実現し，評価した結果を報告する．Logging information is necessary in order to understand a computer's behavior. However, there is a possibility that attackers will delete logs to hide the evidence of their attacking and cheating. Moreover, various problems might cause the loss of logging information. To address these issues, we propose a system to prevent tampering and loss of logging information using a virtual machine monitor (VMM). In this system, logging information generated by the operating system (OS) and application program (AP) working on the target virtual machine (VM) is gathered by the VMM without any modification of the kernel source codes. The security of the logging information is ensured by its isolation from the VM. In addition, the isolation and multiple copying of logs can help in the detection of tampering. This paper describes the implementation and evaluation of the mechanism that protects logging information generated by the OS.

CiNii Article

CiNii Books

researchmap

SELinux の不要なセキュリティポリシ削減手法の設計と評価

矢儀真也, 中村雄一, 山内利宏

電子情報通信学会技術研究報告. ICM, 情報通信マネジメント : IEICE technical report 111 ( 30 ) 71 - 76 2011年5月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

SELinuxのセキュリティポリシは設定が難しいため,汎用的なポリシを利用することが多い.しかし,このポリシは,個々のシステムに必要のない権限を許可している可能性がある.また,ポリシが占有するメモリ使用量が多く,組み込み機器には適していない.これらの問題への対処として,不要なポリシを自動で検出し,削減する手法を提案する.また,システム管理者にポリシの修正を提案し,システムのセキュリティを向上させ,ポリシのメモリ使用量を削減できる.本論文では,SELinuxのポリシの問題点と対処方法を示し,設計と評価について報告する.

CiNii Article

CiNii Books

researchmap

SELinuxの不要なセキュリティポリシ削減手法の設計と評価

矢儀真也, 中村雄一, 山内利宏

研究報告コンピュータセキュリティ（CSEC） 2011 ( 13 ) 1 - 6 2011年5月

記述言語：日本語

SELinux のセキュリティポリシは設定が難しいため，汎用的なポリシを利用することが多い．しかし，このポリシは，個々のシステムに必要のない権限を許可している可能性がある．また，ポリシが占有するメモリ使用量が多く，組み込み機器には適していない．これらの問題への対処として，不要なポリシを自動で検出し，削減する手法を提案する．提案手法は，SELinux が出力するログを利用して不要なポリシを検出する．また，システム管理者にポリシの修正を提案し，システムのセキュリティを向上させ，ポリシのメモリ使用量を削減できる．本論文では，SELinux のポリシの問題点と対処方法を示し，設計と評価について報告する．In many cases, general security policy is used because of the difficulty of creating security policy. However, this security policy is possible to allow excessive rights in system. In addition, it is difficult to use this security policy in embedded systems because of the memory footprint. To deal with these problems, we propose a method system automatically detects redundant security policies by using log SELinux outputs and deletes them. The proposed system also suggests system administrator and improves security of the system and reduces the memory footprint. This paper shows the problems of security policy and dealing with them. This paper also shows design and evaluation.

CiNii Article

CiNii Books

researchmap

周期実行制御における周期超過防止法の周期処理分割に関する評価

古川友樹, 山内利宏, 谷口秀夫

第73回全国大会講演論文集 2011 ( 1 ) 39 - 40 2011年3月

記述言語：日本語

ロボットのモータ制御やセンサ制御における処理は周期的に実行される．周期的に実行される処理は次の周期までに処理を終了する必要があり，次の周期までに処理が終了しない場合，予定されていた処理の実行が行われず，問題となる．一方，周期実行される処理の開始から終了までの時間は，実入出力処理時間の変動やタイマ割り込み処理の影響により一定でない．そこで，処理の実行状況を記録し，次の周期までに処理が終了できるか否か判定し，超過すると判定した場合，終了時刻までに終了できる適切な処理を起動できる方法を提案した．ここでは，提案手法の周期処理分割に関する評価について述べる．

CiNii Article

CiNii Books

researchmap

Tenderオペレーティングシステムにおける資源「入出力」の提案 (システムソフトウェアとオペレーティング・システム(OS) Vol.2011-OS-116)

長尾尚, 一井晴那, 山内利宏, 谷口秀夫

情報処理学会研究報告 2010 ( 5 ) 1 - 7 2011年2月

記述言語：日本語出版者・発行元：情報処理学会

プログラムは，プロセッサ処理と入出力処理を繰り返しながら処理を進める．Tender オペレーティングシステムでは，プロセッサ処理時間の割当単位を資源「演算」で表し，資源「演算」の関係を木構造で管理することにより，プロセスやプロセスグループ単位のプロセッサ性能の調整機能を実現している．ここでは，入出力処理時間の調整単位を表す資源「入出力」を導入し，資源「演算」と同様に木構造で管理することにより，プロセスやプロセスグループ単位の入出力性能の調整機能を提案する．A program executes CPU processing and I/O processig. We proposed a mechanism for regulating the processor performance of process and process groups on T ender operating system. Proposed mechanism manages relations between Execution resources that encapsulate a unit of CPU usage time in hierarchy structure. In this paper, we propose a mechanism for regulating the I/O performance of process and process groups. This mechanism manages relations between I/O resources that encapsulate a unit of I/O processing time in hierarchy structure as well as previously proposed mechanism.

CiNii Article

CiNii Books

researchmap

周期実行制御における周期超過防止法の設計と評価

古川友樹, 山内利宏, 谷口秀夫

電子情報通信学会技術研究報告. CPSY, コンピュータシステム 110 ( 278 ) 23 - 28 2010年11月

記述言語：日本語出版者・発行元：一般社団法人電子情報通信学会

周期的に実行される処理は次の周期までに処理を終了する必要があり,次の周期までに処理が終了しない場合,予定されていた処理の実行が行われず,問題となる.一方,周期実行される処理の開始から終了までの時間は,実入出力処理時間の変動やタイマ割り込み処理の影響により一定でない.そこで,処理の実行状況を記録し,次の周期までに処理が終了できるか否か判定し,超過する場合,終了時刻までに終了できる適切な処理を起動できる方法を提案した.ここでは,提案方式の設計と評価について述べる.

CiNii Article

CiNii Books

researchmap

AnT における通信制御サーバ入れ替え処理の評価

藤原康行, 井上喜弘, 後藤佑介, 山内利宏, 乃村能成, 谷口秀夫

マルチメディア通信と分散処理ワークショップ2010論文集 2010 ( 11 ) 99 - 104 2010年10月

Linuxのセキュリティ機能 : 3．セキュリティポリシー設定簡易化手法

中村雄一, 山内利宏

情報処理 51 ( 10 ) 1268 - 1275 2010年10月

L-033 ファイル操作による情報伝搬の追跡機能と可視化機能(L分野:ネットワーク・セキュリティ,一般論文)

中務亮, 山内利宏, 谷口秀夫

情報科学技術フォーラム講演論文集 9 ( 4 ) 251 - 252 2010年8月

B-038 周期実行制御における超過処理防止法の実現方式(B分野:ソフトウェア,一般論文)

古川友樹, 山内利宏, 谷口秀夫

情報科学技術フォーラム講演論文集 9 ( 1 ) 367 - 368 2010年8月

周期実行制御における処理終了予定時刻超過の検出と対処

古川友樹, 山内利宏, 谷口秀夫

情報処理学会研究報告. [システムソフトウェアとオペレーティング・システム] 115 W1 - W6 2010年8月

記述言語：日本語出版者・発行元：情報処理学会

ロボットのモータ制御やセンサ制御における処理は周期的に実行される．このように周期的に実行される処理には制限があり，終了予定時刻までに処理を終了する必要がある．周期実行制御を実現する方法として，様々なリアルタイムスケジューリングアルゴリズムが提案されている．しかし，何らかの原因により，終了予定時刻までに処理が終了しない場合への対処は全くなされていない．ロボットなどの組み込みシステムでは，より細かな制御を行うため，周期実行される処理の周期が短くなっている．また，実行する処理が高度化しており，それに伴い機能拡充の要請が多い．ここでは，処理終了予定時刻が近付くと，その旨を周期的に実行される処理に通知し，終了予定時刻までに行える適切な処理を実行できるシステムについて述べ，システムの基本的な処理機構を示す．The processing to control the motor or the sensor in a robot is executed periodically. Such a processing has a limitation and must be finished before a deadline. Many real-time scheduling algorithms have been proposed to implement periodic scheduling. However, there is no method to deal with the case that the processing is not finished before a deadline. In embedded systems such as robots, the period of the processing executed periodically have shortened to realize a higher control. In addition, the processing is heightened, and there are many requests of the functionality expansion for it. In this paper, we propose the system to inform the processing that a deadline is near and execute a processing finished before the deadline. Also, we show a basic processing mechanism of our system.

<山内 利宏>

MISC - 山内 利宏

<山内　利宏>

MISC - 山内　利宏