The spread of RDMA-capable interconnects on supercomputers has enabled the middleware developers to explore new design options for runtime systems based on efficient communications. Observing low-latency networks and shared-memory infrastructure for multi-core processors, we have focused on extending shared-memory abstraction into multiple nodes exploiting RDMA, i.e., Distributed Shared Memory (DSM). We have found that the traditional protocols of DSM designed for two-sided communications cannot fully exploit the performance of RDMA, which necessitates decentralization and coarse-grained communications. To solve this problem, we introduced two methods for the DSM coherence protocol to exploit RDMA and implemented a DSM library MENPS using this protocol. Our evaluation shows that MENPS could accelerate two of five shared-memory applications with minimal modifications and beat an existing RDMA-based DSM runtime.

Distributed memory

Distributed shared memory

10.1109/ipdrm51949.2020.00006

Cite

Citations (5)

Study on formulation of velocity profiles and flow curve in coaxial cylinders

Japan Concrete Institute (2017)

Shigeyuki Sato

Coaxial

Source

Cite

Citations (0)

On Implementing the Push-Relabel Algorithm on Top of Pregel

New Generation Computing (2018)

Shigeyuki Sato

10.1007/s00354-018-0042-6

Cite

Citations (3)

洋上風力発電設備の設置工事と支援船新造海底ケーブル敷設船の紹介-KDDIケーブルインフィニティ建造-

Fujii Yukihiro Shigeyuki Sato Nishimura Koichi Ryota Suganuma Kaio Eri

Source

Cite

Citations (0)

Effects of Family-Togetherness on the Food Selection by Primary and Junior High School Students: Family-Togetherness Means Better Food.

The Tohoku Journal of Experimental Medicine (2001)

Atsuko Kusano-Tsunoh Haruo Nakatsuka Hiroshi Satoh Hiroyuki Shimizu Shigeyuki Sato

To see how different foods were selected depending on family-togetherness at breakfast and dinner, we investigated the meals of eight thousand primary and four thousand junior high school students by questionnaire. About 70% of primary school children but less than 50% of junior high school children ate breakfast with their family. The food, eaten by children who ate meals together with their family, took more time for cooking and was more traditional with rice as the staple. Food eaten by children who did not eat with their family lacked both preparation time and staple base. Family-togetherness affects the foods of primary school children more than those of junior high school students.

Staple food

10.1620/tjem.194.121

Cite

Citations (28)

General-purpose Asynchronous Periodic Checkpointing in Hybrid Memory

M. Nakata Shigeyuki Sato Tomoharu Ugawa

10.1145/3605573.3605648

Cite

Citations (0)

Study on measurement technique for magnetization dynamics of thin films

Applied Physics Letters (2018)

Yasushi Endo Osamu Mori Yutaka Shimada S. Yabukami Shigeyuki Sato

This paper describes our proposed measurement technique for the magnetization dynamics in thin films, which employs a microstripe line probe to detect ferromagnetic resonance (FMR) spectra for a film sample either with or without tensile stress. By measurement of FMR frequency shifts using Lorentzian fits to the FMR spectra for a film with and without tensile stress, saturation magnetostriction (λs) can be determined. The measured values were compared with those estimated by the optical cantilever method using the same samples in good agreement. At the same time, a Gilbert damping constant (α) was determined using both the FMR frequency and the FMR linewidth for the tensile stress free film. The results of the experiment demonstrate that our proposed measurement technique allows for more precise evaluation of magnetization dynamics by providing information on both α and λs simultaneously for an individual sample.

Laser linewidth

Magnetization dynamics

Saturation (graph theory)

10.1063/1.5032305

Cite

Citations (6)

Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses

Lecture notes in computer science (2024)

Shigeyuki Sato Taiyo Mizuhashi Genki Kimura Kenjiro Taura

Abstract Stateless model checking (SMC) is crucial for productivity in verified concurrent programming, and its recent developments for C/C++ and weak memory models are remarkable. The state-of-the-art SMC for C, GenMC, efficiently verifies C programs based on C11 atomics and pthreads. However, it does not support mixed-size accesses, accesses to the same memory region with different-sized types, even though they are ubiquitous in C/C++, particularly the code for memory management. As a result, GenMC does not work for C/C++ programs containing memory management. To resolve this problem, we develop a method of adapting GenMC to mixed-size accesses preserving its optimality. We experimentally evaluate the efficiency of our extended implementation of GenMC and its efficacy for memory management programs.

10.1007/978-981-97-8943-6_17

Cite

Citations (0)

P.-T. Proudhon and his Project of ""Bank of Exchange""

Econometric Reviews (1977)

Shigeyuki Sato

Source

Cite

Citations (0)