研究業績リスト
会議発表プレゼンテーション
公開済 19/11/2025
セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ 第11回
会議発表プレゼンテーション
公開済 05/03/2025
第27回プログラミングおよびプログラミング言語ワークショップ PPL 2025, 05/03/2025–07/03/2025
会議発表プレゼンテーション
公開済 06/03/2024
第26回プログラミングおよびプログラミング言語ワークショップ PPL 2024, 05/03/2024–07/03/2024
会議発表プレゼンテーション
プレゼンテーションスライド作成のためのSATySFiノートブック環境
公開済 05/03/2024
第26回プログラミングおよびプログラミング言語ワークショップ PPL 2024, 05/03/2024–07/03/2024
会議発表プレゼンテーション
公開済 14/09/2023
日本ソフトウェア科学会第40回大会, 12/09/2023–14/09/2023
会議発表プレゼンテーション
A Far-memory Allocator for Pointer-based Data Structures in C++
公開済 13/01/2023
情報処理学会論文誌プログラミング(PRO), 13/01/2023–13/01/2023
Far Memoryは,ネットワーク越しの他マシンのメモリをデータの置き場に加えつつ手元のメモリとの間でのデータ移動を自動的に行う技術であり,手元のメモリ資源を超えた規模のデータに対する多様な操作を,少ないプログラマ負担で実装できるようにする.これをC++などメモリへの低水準操作を許す言語に向けて提供するにあたっては,1)独自のAPIを介さず通常のメモリ領域と同様に読み書きでき,2)かつ通常の領域と使い分けられることが望ましい.だが我々の知る限りこの両方を満たす実装は存在しない.そこで本発表では,メモリ空間内の部分空間に対してFar Memory機能を付加し,そこに属するメモリ領域を専用のアロケータで確保できるようにする,アロケータとしてのFar Memory実装を提案する.これによりプログラマは,通常の領域と区別できる方法でFar Memory領域を確保し,そこへの読み書きは通常の領域と同様に記述できるようになる.提案実装はそうした読み書きにページキャッシュを用意して対応しつつ,さらに局所性を意識したメモリ確保によって性能向上に寄与する.我々は提案実装の上にポインタベースの構造である平衡木を実装することを通じて,各々の特性を活かして性能を高めるプログラミングが実現されることと,提案実装が生むFar Memory領域と通常の領域との高い相互運用性がプログラマの負担を軽減することを確認した.
Far memory is a technology that enables us to utilize the memory resources of remote machines as if they are local ones by transparently moving data through networks. It facilitates implementing various operations on larger-scale data than the memory resources of local machines. In C/C++, or languages supporting direct operations on memory, far-memory regions have two desiderata: 1) the same operations as normal regions are applicable to them; yet, 2) they support region-aware programming. Unfortunately, to the best of our knowledge, no implementation satisfies both of them. In this presentation, we propose an allocator implementation of far memory, which creates far-memory sub-regions within the memory space and provides a dedicated allocator for them. With this interface, programmers can perform region-aware allocation and direct read/write operations to the allocated far-memory regions. Our implementation handles such reads/writes with page cache, and furthermore, contributes to performance improvement by locality-aware allocation. Through implementing balanced trees atop the proposed allocator, we have confirmed that our allocator supports region-aware programming to improve performance and offers high productivity stemming from the interoperability with the existing C/C++ code.
会議発表プレゼンテーション
PLAGS UT: 自動評価付きPythonプログラミング課題管理システム
公開済 13/12/2022
大学ICT推進協議会 2022年度 年次大会 OSS企画セッション, 13/12/2022–15/12/2022
会議発表プレゼンテーション
Simultaneous Finite Automaton の部分構成による並列正規表現マッチ
公開済 06/03/2022
第24回プログラミングおよびプログラミング言語ワークショップ PPL 2022, 06/03/2022–08/03/2022
会議発表プレゼンテーション
PLAGS UT: 自動評価付きPythonプログラミング課題管理システム
公開済 06/03/2022
第24回プログラミングおよびプログラミング言語ワークショップ PPL 2022, 06/03/2022–08/03/2022
会議発表プレゼンテーション
Implementing Maximum Flow Algorithms with Spark GraphX
公開済 18/09/2017
日本ソフトウェア科学会大会論文集, 18/09/2017–18/09/2017