2024-03-29T00:39:19Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001230492023-11-17T02:17:36Z06504:08032:08034
Performance of LOTOS Execution SystemLOTOS実行系の性能評価enghttp://id.nii.ac.jp/1001/00123229/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=123049&item_no=1&attribute_id=1&file_no=1国際電信電話会社 研究所国際電信電話会社 研究所国際電信電話会社 研究所University of Twente野村, 眞吾瀧塚, 孝志長谷川, 亨Greve, RonLOTOS is a Formal Description Technique standardized by ISO. It is useful for specifying distributed systems, such as OSI. We have developed a LOTOS Execution System which can derive an implementation from a specification in LOTOS. The derived implementation has to achieve high performance, because our purpose is to use the implementation as an actual system. The performance of the implementation strongly depends on the speed of the mechanism handling the multi-way synchronization among LOTOS processes. This paper discusses the performance of our system, thereby focussing on the performance of the synchronization. It presents performance results obtained by using small specifications, each containing different patterns of synchronization. At the Technical University of Madrid, similar performance measurements have been carried out for another LOTOS execution system, named the TOPO compiler. In this paper our results are also compared with the performance results of the TOPO compiler.AN00349328全国大会講演論文集第46回ネットワーク2812821993-03-012015-01-20