Faculty Profiles - YAMAUCHI Toshihiro

Papers - YAMAUCHI Toshihiro

Division display 141 - 160 of about 219 ／ All the affair displays >>

Implementation and Evaluation for Sophisticated Periodic Execution Control in Embedded Systems

Yuuki Furukawa, Toshihiro Yamauchi, Hideo Taniguchi

International Journal of Control and Automation 4 ( 2 ) 59 - 78 2011

Control method of multiple services for CMP based on continuation model

Hideaki Moriyama, Toshihiro Yamauchi, Hideo Taniguchi

Proceedings - 4th International Conference on Interaction Sciences: IT, Human and Digital Content, ICIS 2011 2011 ( 29 ) 83 - 89 2011

Language：Japanese Publishing type：Research paper (international conference proceedings) Publisher：IEEE

In a chip multiprocessor based on the continuation concept, the hardware scheduler controls threads and achieves high performance on thread scheduling. However, the priority of threads is not considered during execution because the hardware thread scheduler schedules threads in a FIFO manner. Therefore, when multiple services execute simultaneously, the execution of each service cannot consider the priority of service. In such a case, software support is needed to control the execution of each service. This paper presents a software scheduler for multiple services that supports the hardware scheduler. In addition, this paper also reports the evaluation of the software scheduler, which targets multiple services. © 2011 AICIT.

Other Link： https://dblp.uni-trier.de/rec/conf/interaction/2011

Evaluation of performance of secure OS using performance evaluation mechanism of LSM-based LSMPMON Reviewed

Kenji Yamamoto, Toshihiro Yamauchi

Communications in Computer and Information Science 122 CCIS 57 - 67 2010.12

Authorship：Last author,　Corresponding author Language：English Publishing type：Research paper (international conference proceedings) Publisher：SPRINGER-VERLAG BERLIN

Security focused OS (Secure OS) is attracting attention as a method for minimizing damage caused by various intrusions. Secure OSes can restrict the damage due to an attack by using Mandatory Access Control (MAC). In some projects, secure OSes for Linux have been developed. In these OSes, different implementation methods have been adopted. However, there is no method for easily evaluating the performance of the secure OS in detail, and the relationship between the implementation method and the performance is not clear. The secure OS in Linux after version 2.6 has often been implemented by Linux Security Modules (LSM). Therefore, we determine the effect of introducing the secure OS on the performance of the OS, and a characteristic by the difference of the implementation method by using the overhead measurement tool, the LSM Performance Monitor (LSMPMON); the LSMPMON can be used to evaluate three different secure OSes. © 2010 Springer-Verlag.

DOI： 10.1007/978-3-642-17610-4_7

Web of Science

Scopus

researchmap

Other Link： https://dblp.uni-trier.de/db/conf/fgit/sectech2010.html#YamamotoY10

Implementation and Evaluation of Zero-Copy Communication Processing on Physical Memory Exchange Mechanism

KADO Naofumi, YAMAUCHI Toshihiro, TANIGUCHI Hideo

The IEICE transactions on information and systems 93 ( 11 ) 2380 - 2389 2010.11

Converting Linux LKM Device Driver into Concrete Process in AnT Operating System

SHIMAZAKI Yutaka, YAMAUCHI Toshihiro, NOMURA Yoshinari, TANIGUCHI Hideo

The IEICE transactions on information and systems 93 ( 10 ) 1990 - 2000 2010.10

Proposal of I/O Buffer Cache Mechanism Based on the Frequency of System Call of the File Operation

3 ( 1 ) 50 - 60 2010.3

Language：Japanese Publishing type：Research paper (scientific journal)

Buffer cache is implemented to improve I/O performance with data in disks. As buffer cache management, there are many mechanisms, but still many operating systems deploy LRU (Least Recently Used) algorithm. On the other hand, to reflect process contents of application programs to buffer cache, management scheme based on the system calls which application programs requested is better. Then, we propose I/O buffer cache mechanism based on the frequency of system call of the file operation. Our proposed mechanism calculates file importance from information of file operation. In addition in buffer cache blocks are replaced based on this file importance. In this paper, we describe our mechanism improves I/O performance by evaluation of application programs.

CiNii Article

CiNii Books

researchmap

Other Link： http://id.nii.ac.jp/1001/00068428/

A mechanism that bounds execution performance for process group for mitigating CPU abuse

Toshihiro Yamauchi, Takayuki Hara, Hideo Taniguchi

Communications in Computer and Information Science 122 CCIS 84 - 93 2010

Authorship：Lead author Language：English Publishing type：Research paper (international conference proceedings) Publisher：SPRINGER-VERLAG BERLIN

Secure OS has been the focus of several studies. However, CPU resources, which are important resources for executing a program, are not the object of access control. For preventing the abuse of CPU resources, we had earlier proposed a new type of execution resource that controls the maximum CPU usage [5,6] The previously proposed mechanism can control only one process at a time. Because most services involve multiple processes, the mechanism should control all the processes in each service. In this paper, we propose an improved mechanism that helps to achieve a bound on the execution performance of a process group, in order to limit unnecessary processor usage. We report the results of an evaluation of our proposed mechanism. © 2010 Springer-Verlag.

DOI： 10.1007/978-3-642-17610-4_10

Web of Science

Scopus

researchmap

Other Link： https://dblp.uni-trier.de/db/conf/fgit/sectech2010.html#YamauchiHT10

SELinux security policy configuration system with higher level language

Yuichi Nakamura, Yoshiki Sameshima, Toshihiro Yamauchi

Journal of Information Processing 18 201 - 212 2010

Language：English Publishing type：Research paper (scientific journal) Publisher：Information Processing Society of Japan

© 2010 Information Processing Society of Japan. Creating security policy for SELinux is difficult because access rules often exceed 10,000 and elements in rules such as permissions and types are understandable only for SELinux experts. The most popular way to facilitate creating security policy is refpolicy which is composed of macros and sample configurations. However, describing and verifying refpolicy based configurations is difficult because complexities of configuration elements still exist, using macros requires expertise and there are more than 100,000 configuration lines. The memory footprint of refpolicy which is around 5MB by default, is also a problem for resource constrained devices. We propose a system called SEEdit which facilitates creating security policy by a higher level language called SPDL and SPDL tools. SPDL reduces the number of permissions by integrated permissions and removes type configurations. SPDL tools generate security policy configurations from access logs and tool user’s knowledge about applications. Experimental results on an embedded system and a PC system show that practical security policies are created by SEEdit, i.e., describing configurations is semi-automated, created security policies are composed of less than 500 lines of configurations, 100 configuration elements, and the memory footprint in the embedded system is less than 500 KB.

DOI： 10.2197/ipsjjip.18.201

Scopus

researchmap

ISIPC: Instant synchronous interprocess communication

Toshihiro Yamauchi, Kazuhiro Fukutomi, Hideo Taniguchi

Journal of Next Generation Information Technology 1 ( 3 ) 75 - 83 2010

Authorship：Lead author Language：English Publishing type：Research paper (scientific journal)

Interprocess communication (IPC) is often used to exchange data between cooperative processes, and the performance of IPC largely determines the processing time of application programs. Moreover, it is used for most of the kernel calls in a microkernel-based operating system (OS). Therefore, the performance of IPC affects the performance of the OS. In addition, the completion of the message-passing mechanism has to be indicated by executing a receive operation in order to maintain synchronization. Thus, two operations are required in this mechanism to complete the communication. On the other hand, no receive operation is required to indicate the completion of the communication in the case of asynchronous communication; however, in this case, no proof of the data being received is provided to the sender process. In this paper, we propose an instant synchronous interprocess communication (ISIPC) mechanism that can achieve both instantaneous communication and data synchronization. ISIPC has two functions: push function and sack function. We describe the design of the ISIPC mechanism and also its implementation on the Tender operating system. In addition, we present the evaluation results for the ISIPC mechanism.

DOI： 10.4156/jnit.vol1.issue3.9

Scopus

researchmap

Other Link： https://dblp.uni-trier.de/db/journals/jnit/jnit1.html#YamauchiFT10

Proposal for sophisticated periodic execution control in embedded systems

Yuuki Furukawa, Toshihiro Yamauchi, Hideo Taniguchi

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6485 LNCS 549 - 563 2010

Language：English Publishing type：Research paper (international conference proceedings) Publisher：SPRINGER-VERLAG BERLIN

In embedded systems, the types of processings to be executed are limited, and many processes are executed periodically. In such systems, we need to reduce the overhead of periodic execution control and the dispersion of the processing time. ART-Linux has been proposed as a conventional real-time operating system that can be used for this purpose in various devices such as robots. In this paper, we discuss the periodic execution control of ART-Linux and clarify several problems. Next, we propose a design for sophisticated periodic execution control in order to solve these problems. Finally, we discuss the realization of periodic execution control, the effect of this control, and the result of the evaluation. © 2010 Springer-Verlag Berlin Heidelberg.

DOI： 10.1007/978-3-642-17569-5_54

Web of Science

Scopus

researchmap

Other Link： https://dblp.uni-trier.de/db/conf/fgit/fgit2010.html#FurukawaYT10

Proposal of I/O Buffer Cache Mechanism Based on the Frequency of System Call of the File Operation

片上達也, 田端利宏, 谷口秀夫

情報処理学会論文誌トランザクション(CD-ROM) 2009 ( 2 ) 2010

Evaluation of Dynamic OS Server Replacement Mechanism fo AnT

2009 ( 9 ) 261 - 266 2009.9

Tracing Classified Information Diffusion for Protecting Information Leakage

Toshihiro Tabata, Satoshi Hakomori, Kei Ohashi, Shinichiro Uemura, Kazutoshi Yokoyama, Hideo Taniguchi

50 ( 9 ) 2088 - 2102 2009.9

Authorship：Lead author Language：Japanese Publishing type：Research paper (scientific journal)

In personal computer environment, it is important to protect the information leakage. In this paper, a mechanism of protecting information leakage is proposed. This mechanism has two functions. One function is the function of tracing classified information. The other function is the function of controlling the write function. The tracing function is deployed by hook the call of file operations, interprocess communication, and process creation. This paper describes a method that improve the accuracy of tracing classified information and reduce the labor of configuration. This paper shows the proposed mechanism can trace all files and improve the the accuracy of tracing classified information by using the user judgement.

CiNii Article

CiNii Books

researchmap

Tracing Classified Information Diffusion for Protecting Information Leakage

田端利宏, 箱守聰, 大橋慶, 植村晋一郎, 横山和俊, 谷口秀夫

情報処理学会論文誌ジャーナル(CD-ROM) 50 ( 9 ) 2088 - 2102 2009.9

Design and Implementation of Performance Evaluation Function of Secure OS Based on LSM

MATSUDA Naoto, SATO Kazuya, TABATA Toshihiro, MUNETOH Seiji

The IEICE transactions on information and systems 92 ( 7 ) 963 - 974 2009.7

Implementation and Evaluation of Heterogeneous Virtual Storage (HVS) on Tender Operating System

TABATA Toshihiro, TANIGUCHI Hideo

The IEICE transactions on information and systems 92 ( 1 ) 12 - 24 2009.1

ファイル操作のシステムコール発行頻度に基づくバッファキャッシュ制御法の提案

Tatsuya Katakami, Toshihiro Tabata, Hideo Taniguchi

2009 ( 13 ) 111 - 118 2009

SEEdit: SELinux security policy configuration system with higher level language

Yuichi Nakamura, Yoshiki Sameshima, Toshihiro Tabata

Proceedings of the 23rd Large Installation System Administration Conference, LISA 2009 107 - 117 2009

Language：English Publishing type：Research paper (international conference proceedings) Publisher：USENIX Association

© LISA 2009. Security policy for SELinux is usually created by customizing a sample policy called refpolicy. However, describing and verifying security policy configurations is difficult because in refpolicy, there are more than 100,000 lines of configurations, thousands of elements such as permissions, macros and labels. The memory footprint of refpolicy which is around 5MB, is also a problem for resource constrained devices. We propose a security policy configuration system SEEdit which facilitates creating security policy by a higher level language called SPDL and SPDL tools. SPDL reduces the number of permissions by integrated permissions and removes label configurations. SPDL tools generate security policy configurations from access logs and tool user's knowledge about applications. Experimental results on an embedded system and a PC system show that practical security policies are created by SEEdit, i.e., describing configurations is semiautomated, created security policies are composed of less than 500 lines of configurations, 100 configuration elements, and the memory footprint in the embedded system is less than 500KB.

Scopus

researchmap

Other Link： https://dblp.uni-trier.de/conf/lisa/2009

Dynamic OS Server Replacement Scheme for AnT

藤原康行, 岡本幸大, 田端利宏, 乃村能成, 谷口秀夫

情報処理学会シンポジウム論文集 2008 ( 14 ) 201 - 206 2008.12

Realization and Evaluation of High Speed Fork & Exec System-Call by Recycling Resource on Tender

SAEKI Kenji, TABATA Toshihiro, TANIGUCHI Hideo

The IEICE transactions on information and systems 91 ( 12 ) 2892 - 2903 2008.12

　 PREV - NEXT 　

< YAMAUCHI Toshihiro >

Papers - YAMAUCHI Toshihiro