研究者詳細 - 山内　利宏

MISC - 山内　利宏

分割表示 375 件中 241 - 260 件目／全件表示 >>

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

電子情報通信学会技術研究報告. 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.

長井健悟, 山本悠太, 山内利宏, 谷口秀夫

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

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

計算機の主記憶は揮発性であるため，計算機の電源切断により，主記憶上のデータは消失する．このため，我々は，Tender オペレーティングシステムにおいて，計算機状態を永続化する動作継続制御を提案した．動作継続制御は，仮想記憶空間を利用して主記憶上のデータを不揮発性記憶媒体へ永続化するプレート機能を利用し，計算機停止前に行っていた処理の継続に必要なデータを永続化する．しかし，プレート機能により永続化可能なデータの状態は 1 つだけである．そこで，複数の計算機状態を保存可能にする世代管理機能を提案した．世代管理機能は，計算機状態単位で全プレートの永続データの複製を複数世代分保存，復元可能にする．本稿では，世代管理機能の実現について説明し，その処理時間とディスク占有量を評価した結果を報告する．Data on main memory is no longer available when computer is turned off, because main memory is volatile. Therefore, we proposed persistent mechanism for computer proccessing on Tender operating system. Persistent mechanism uses"plate"function to make persistent data which needed to continue processing before the shutdown. Plate manages a persistent data on virtual memory space. However, persistent mechanism can maintain only one state of persisted computer proccessing. Thus, we proposed generation management function which enable to maintain two or more states of the computer proccessing. It permits plural generations of all persisted plate data to be maintained in each state of the compute proccessing. In this paper, we explain realization of the generation management function, and furthermore, reports on the evaluation results at the processing time time and amount of occupation on disk.

CiNii Article

CiNii Books

researchmap

AnTオペレーティングシステムにおけるTCP/IP通信機能の実現

井上喜弘, 谷口秀夫, 山内利宏

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

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

マイクロカーネル構造のオペレーティングシステムは，OS 機能の大半をプロセスとして実現し，高い適応性と堅牢性を持つ．しかし，通信機能を実現する OS サーバ間でデータの授受処理が発生し，このデータ授受オーバヘッドが通信機能を低下させる懸念がある．ここでは，マイクロカーネル構造を有する AnT オペレーティングシステム上に実現した TCP/IP 通信機能について報告する．AnT は，プロセス間の複写レスでのデータ授受機能を用いた高速なサーバプログラム間通信機構を有する．この通信機構を利用して，TCP/IP 通信機能を実現するプロセス間で送受信データを複写レスで授受可能にした．また，実現した TCP/IP 通信機能について，パケット送信処理時間と RTT について評価した．An operating system based on microkernel architecture realizes most of OS functions as processes and has adaptability and toughness. However, the interprocess communication overheads may decrease communication function. In this paper, we discussed the TCP/IP communication function of realizing the AnT operating system based on microkernel architecture. AnT has a highspeed communication mechanism between processes used the copy-less data transmission. With this communication function, we could transfer data by copy-less between processes of realizing the TCP/IP communication function. In addition, we evaluated processing time of packet transmission and RTT for TCP/IP communication function of AnT.

CiNii Article

CiNii Books

researchmap

AnTオペレーティングシステムにおける Linux のLKM形式ドライバのプロセス化手法の設計

島崎泰, 田端利宏, 乃村能成, 谷口秀夫

電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング : IEICE technical report 109 ( 475 ) 517 - 522 2010年3月

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

様々な入出力機器の登場により,これらを制御するデバイスドライバの種類は増加している.このため,OS開発においてデバイスドライバの新規開発に要する工数の削減が重要な課題となっている.しかし,デバイスドライバの新規開発は移植に比べ,その工数は小さくない.そこで,デバイスドライバをプロセスとして実現するOSの開発において,既存デバイスドライバのソースコードを修正することなく移植して,デバイスドライバの開発工数を削減する手法について述べる.この場合,単にデバイスドライバを移植するだけでなく,デバイスドライバをプロセスとして実現する必要がある.ここでは,AnTオペレーティングシステムにおいて,LinuxのLKM形式ドライバをプロセスとして動作させる手法を述べる.さらに,LKM形式のFDドライバ,Intel 1GbEドライバ,およびRealtek 1GbEドライバを取り上げ,提案手法を評価した.

組み込みシステム向けの高精度な周期実行制御法の設計

古川友樹, 田端利宏, 谷口秀夫

電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング : IEICE technical report 109 ( 475 ) 523 - 528 2010年3月

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

組み込みシステムでは,実行する処理の種類が限られており,同じ処理を繰り返し実行する場合が多い.このように周期的に実行される処理を抱えるシステムでは,これを制御する周期実行制御について,制御オーバヘッドが小さく,かつ処理時間の変動も小さいことが望まれる.ロボットなどで利用されている代表的なOSとして,ART-Linuxがある.ここでは,ART-Linuxの特徴を示し,その問題点を明らかにする.また,この問題点を解決する周期実行制御法を提案し,その設計について述べる.さらに,実現についても触れるとともに,期待される効果を述べる.

優先処理の実行時間を短縮する入出力バッファ分割法

土谷彰義, 田端利宏, 谷口秀夫

全国大会講演論文集 72 ( 0 ) 99 - 100 2010年3月

ゼロコピー通信処理を可能にする実メモリ交換機能の提案

門直史, 田端利宏, 谷口秀夫

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

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

Ethernet 通信環境において 1GbEthernet や 10GbEthernet のような高速な通信路が普及した結果，分散処理環境を構成する計算機間のデータ通信処理全体におけるプロセッサ処理の比率は高くなってきている．このため，各パケットに対する送受信処理，特にデータ複写処理を削減することが全体の速度向上に大きな意味を持つ．既存手法によるゼロコピー通信では，データ受信時のゼロコピー通信の実現は難しい．本稿では，実メモリ交換機能を提案し，データ送信処理に加えデータ受信処理もゼロコピー通信とすることができることを示す．また，Tender の資源の分離と独立化を利用してデータ送信処理とデータ受信処理においてゼロコピー通信を実現した Ethernet 通信機構の実現方式について述べ，評価を行う．The ratio of the processor processing in the whole data communication processing between a computer constituting distributed processing environment rises as a result that high-speed channels such as 1GbEthernet and 10GbEthernet spread in Ethernet communication environment. Thus reducing data copy processing contribute for total speedup transmission and receiving processing for each packet. As for the realization of Zero-copy communication at the time of the data receiving, it is difficult to be Zero-copy communication by the existing technique. In this paper, we propose physical memory exchange function and show what we can do with Zero-copy communication processing using separation and the independence of resources of Tender. We also describe and evaluate data transmission and receiving a realization method of the Ethernet communication mechanism that realized Zero-copy communication.

CiNii Article

CiNii Books

researchmap

ライブラリ実装したプログラム実行速度調整法における処理の均一性の評価

境講一, 田端利宏, 谷口秀夫, 箱守聰

情報処理学会研究報告. [システムソフトウェアとオペレーティング・システム] 113 ( 14 ) N1 - N8 2010年1月

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

計算機ハードウェアの性能に左右されないでソフトウェアの実行速度を調整できれば，サービスの利便性は向上する．このため，これまでに，サービスを実現するソフトウェアの処理速度を調整する制御法として，プログラム実行速度調整法をライブラリに実現した．本論文では，提案制御法における評価の観点として，処理を均一に伸縮できるかについて議論する．具体的には，これまでに提案した処理の均一性を示す指標を利用して，提案制御法を評価する．評価により，提案制御法は，共存プロセスが存在せずシステムコール発行間隔が長い場合には処理の均一性が非常に高いこと，被調整プロセスを高優先度に設定することにより処理の均一性を高くできること，および共存プロセスの与える影響を明らかにした．If execution speed of software is regulated without concerning by performance of the computer hardware, convenience of the service better. We proposed the mechanism for regulating program execution speed in library. This paper describes whether the mechanism can improve processing uniformly. Specifically, we evaluate the mechanism based on processing uniformity. Our evaluation show high uniformity in case of non coexistence process and long interval between system call. In addition, it shows high uniformity in case of process with high priority and in uence of coexistence process.

CiNii Article

CiNii Books

researchmap

ライブラリ実装したプログラム実行速度調整法における処理の均一性の評価

境講一, 田端利宏, 谷口秀夫, 箱守聰

情報処理学会研究報告(CD-ROM) 2009 ( 5 ) 2010年

ゼロコピー通信処理を可能にする実メモリ交換機能の提案

門直史, 田端利宏, 谷口秀夫

情報処理学会研究報告(CD-ROM) 2009 ( 5 ) 2010年

ディレクトリ優先方式における保護プールサイズ制限機能とバッファ移動機能の設計

田端利宏, 土谷彰義, 山田克泰, 谷口秀夫

電子情報通信学会技術研究報告. CPSY, コンピュータシステム 109 ( 296 ) 43 - 48 2009年11月

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

応用プログラムがファイルを単位として操作することに着目して,指定した特定のディレクトリ直下のファイルを構成するブロックを優先的にキャッシュするディレクトリ優先方式を提案した.提案方式は,指定したファイル群に頻繁にアクセスする処理を高速化する方式である.しかし,提案方式の基本方式には,3つの問題があるため,場合によっては性能が低下することがある.本稿では,ディレクトリ優先方式の基本方式の問題点を明らかにし,この問題点を解決する保護プールサイズ制限機能とバッファ移動機能の設計について述べる.

<山内 利宏>

MISC - 山内 利宏

<山内　利宏>

MISC - 山内　利宏