Papers - KATAYAMA Tetsuro
-
Prototype of the Device Driver Generation System for UNIX-like Operating System
共著者：T. Katayama, K. Saisho, and A. Fukuda
Proc. Int'l Symp. on Principles of Software Evolution (ISPSE2000), 302-310 2000.11
-
Memory Conscious Scheduling for Cluster-based NUMA Multi-processors
共著者：T. Koita, T. Katayama, K. Saisho, and A. Fukuda
J. of Supercomputing, Kluwer academic publishers, Vol.16, No.3, 217-235 2000.7
-
Memory conscious scheduling for cluster-based NUMA multiprocessors
Koita T., Katayama T., Saisho K., Fukuda A.
Journal of Supercomputing 16 ( 3 ) 217 - 235 2000.7
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Journal of Supercomputing
For Non-Uniform Memory Access (NUMA) multiprocessors, memory access overhead is crucial to system performance. Processor scheduling and page placement schemes, dominant factors of memory access overhead, are closely related. In particular, if the processor scheduling scheme is dynamic space-sharing, it should be considered together with the page placement scheme for efficient process execution. Most research in this area, however, has focused exclusively on either the processor scheduling scheme or the page placement scheme alone without considering the interaction between the two. This paper proposes several policies for cluster-based NUMA multiprocessors that are combinations of a processor scheduling scheme and a page placement scheme and investigates the interaction between them. The simulation results show that policies that cooperate to employ the home-cluster concept achieve the best performance. The paper also compares the best of the proposed policies with other existing dynamic processor scheduling policies. Based on our study reported here, the best policy is found to perform better than other existing policies.
-
UNIX系OSにおけるデバイスドライバの抽象化と生成システムの実現
共著者：奥野幹也, 片山徹郎, 最所圭三, 福田晃
情報処理学会論文誌, 41巻, 6号, 1755-1765頁 2000.6
-
Performance Evaluation of Home-Cluster Based Scheduling for NUMA Multiprocessors
共著者：T. Koita, T. Katayama, K. Saisho, and A. Fukuda
Proc. 2000 Int'l Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000) Vol.4, 1939-1945 2000.6
-
Performance Evaluation of Memory Conscious Scheduling for NUMA Multiprocessors
共著者：T. Koita, T. Katayama, K. Saisho, and A. Fukuda
Proc. 2000 Int'l Association of Sci. and Tech. for Development (IASTED) Int'l Conf. on Applied Informatics (AI'2000), 855-861 2000.2
-
Prototype of the device driver generation system for unix-like operating systems
Katayama T., Saisho K., Fukuda A.
International Workshop on Principles of Software Evolution (IWPSE) 2000-January 302 - 310 2000
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：International Workshop on Principles of Software Evolution (IWPSE)
© 2001 IEEE.Writing device drivers spends much time and makes efforts because it needs knowledge of the target device and operating system (OS). In order to lighten the burden, the authors have proposed a model to generate device drivers and a device driver generation system before. The system generates a source code of a device driver from three inputs: device driver specification, OS dependent specification, and device dependent specification. The device drivers generated in the model are evolutionary because they can be expanded their features easily. They, however, are not always effective because the burden in describing the device dependent specification, which is one of the inputs, is nearly as same as the traditional method. In this paper, to aim at more reduction of the burden, device drivers are abstracted again, each input is defined afresh, and then a prototype of the system is implemented. As an example of the generation, an interrupt handler of a network device, FreeBSD and Linux as the target OS, and Etherlink XL as the target device are chosen. The OS dependent specification and the device dependent specification can be reused in each OS and device, respectively. As a result, an identical device dependent specification can be applied to the both OSs. The burden in generating new device drivers or porting ones to other OSs can be reduced.
-
Proposal of a Support System for Device Driver Generation
共著者：T. Katayama, K. Saisho, and A. Fukuda
Proc. 1999 Asia-Pacific Softw. Eng. Conf. (APSEC'99), 494-497 1999.12
-
Test-case Generation for Concurrent Programs with the Testing Criteria Using Interaction Sequences
共著者：T. Katayama, E. Itoh, Z. Furukawa, and K. Ushijima
Proc. 1999 Asia-Pacific Softw. Eng. Conf. (APSEC'99), 590-597 1999.12
-
デバイスドライバ生成システムにおける入力の改良
共著者：奥野幹也, 片山徹郎, 最所圭三, 福田晃
情報処理学会コンピュータシステムシンポジウム論文集, 137-144頁 1999.11
-
Home-cluster Based Processor Scheduling with Page Placement for NUMA Multiprocessors
共著者：T. Koita, T. Katayama, K. Saisho, and A. Fukuda
Proc. 1999 Int'l Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), Vol.1, 539-545 1999.6
-
Generating a Device Driver with a Formal Specification Language
共著者：T. Katayama, K. Saisho, and A. Fukuda
Proc. 1999 Int'l Association of Sci. and Tech. for Development (IASTED) Int'l Conf. on Applied Informatics (AI'99), 638-643 1999.2
-
Proposal of a support system for device driver generation
Katayama T., Saisho K., Fukuda A.
Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999 494 - 497 1999
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999
© 1999 IEEE. Writing device drivers is one of the most difficult tasks to develop or port operating systems (OSs). A device driver needs to be described according to the target device and OS. In the description, programmers must know information about hardware such as specifications of devices and carefully describe complex parts such as timing control. This paper proposes a support system for device driver generation. The inputs for the system are device driver specification which shows operations of the device, OS dependent specification which shows dependent parts on the OS, and device dependent specification which shows dependent parts on the device. As an example, network devices are adopted. The inputs to generate device drivers by the proposed system are described.
-
Test-case generation for concurrent programs with the testing criteria using interaction sequences
Katayama T., Itoh E., Furukawa Z., Ushijima K.
Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999 590 - 597 1999
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999
© 1999 IEEE. Test-cases play an important roll for high quality software testing. Inadequate test-cases may cause bugs remaining after testing. Overlapped test-cases lead to increases in testing costs. The paper proposes a test-case generation method with the EIAG (Event InterActions Graph) and the ISTC (Interaction Sequences Testing Criteria). The EIAG represents behavior of concurrent programs. It consists of Event Graphs and Interactions. An Event Graph is a control flow graph of a program unit in a concurrent program. The Interactions represent interactions (synchronizations, communications and waits) between the program units. The ISTC proposed are based on sequences of Interactions. The cooperated paths (copaths) on the EIAG as test-cases satisfying the ISTC are generated. The generated copaths can detect dead (unreachable) statements which concern interactions, and they can find some communication errors and deadlocks in testing. It is, however, necessary to validate feasibility of the generated copaths.
-
Design and Implementation of Test-case Generation for Concurrent Programs
共著者：T. Katayama, Z. Furukawa, and K. Ushijima
Proc. 1998 Asia-Pacific Softw. Eng. Conf. (APSEC'98), 262-269 1998.12
-
Processor Scheduling with Page Placement for Cluster-based NUMA Multiprocessors
共著者：T. Koita, T. Katayama, K. Saisho, and A. Fukuda
Proc. 1998 Int'l Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'98), Vol.2, 851-858 1998.7
-
タスク型を含む並行処理プログラムのテストケース生成法について
共著者：片山徹郎, 古川善吾, 牛島和夫
電子情報通信学会論文誌, j81-D-1巻, 6号, 809-818頁 1998.6
-
A Method for Automatic Generation of Device Drivers with a Formal Specification Language
共著者：T. Katayama, K. Saisho, and A. Fukuda
Proc. Int'l Workshop on Principles of Software Evolution (IWPSE98), 183-187 1998.4
-
Performance Evaluation of Two-level Processor Scheduling in Collaboration with Memory Management for NUMA Multiprocessors
共著者：T. Koita, T. Katayama, K. Saisho, and A. Fukuda
Proc. The 1998 Int'l Association of Sci. and Tech. for Development (IASTED'98), 265-272 1998.2
-
Design and implementation of test-case generation for concurrent programs
Katayama T., Furukawa Z., Ushijima K.
Proceedings - 1998 Asia Pacific Software Engineering Conference, APSEC 1998 1998-December 262 - 269 1998.1
Language：Japanese Publishing type：Research paper (scientific journal) Publisher：Proceedings - 1998 Asia Pacific Software Engineering Conference, APSEC 1998
© 1998 IEEE. Test-cases play an important role for high quality of software testing. Inadequate test-cases may cause bugs remaining after testing. Overlapped ones lead to the increases in testing costs. This paper proposes the Event InterActions Graph (EIAG) representing behavior of concurrent programs including any task-type and the cooperated paths (copaths) on the EIAG as test-cases, and describes the test-case generation tool (TCgen) for concurrent programs written in Ada programming language. The EIAG consists of Event Graphs and Interactions. An Event Graph is a control flow graph of a program unit in a concurrent program. The interactions represent interactions such as synchronizations between the program units. TCgen generates test-cases as copaths from an Ada concurrent program. The generated copaths satisfy given testing criteria. They can find some communication errors in testing and detecting unreachable statements which concern interactions. It is, however, necessary to validate feasibility of the generated copaths.