記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.2197/ipsjjip.30.679

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1145/3520263.3534653

researchmap

掲載種別：研究論文（学術雑誌）   出版者・発行元：Cambridge University Press (CUP)  

<title>Abstract</title>
The vertex-centric programming model is now widely used for processing large graphs. User-defined vertex programs are executed in parallel over every vertex of a graph, but the imperative and explicit message-passing style of existing systems makes defining a vertex program unintuitive and difficult. This article presents Fregel, a purely functional domain-specific language for processing large graphs and describes its model, design, and implementation. Fregel is a subset of Haskell, so Haskell tools can be used to test and debug Fregel programs. The vertex-centric computation is abstracted using compositional programming that uses second-order functions on graphs provided by Fregel. A Fregel program can be compiled into imperative programs for use in the Giraph and Pregel+ vertex-centric frameworks. Fregel’s functional nature without side effects enables various transformations and optimizations during the compilation process. Thus, the programmer is freed from the burden of program optimization, which is manually done for existing imperative systems. Experimental results for typical examples demonstrated that the compiled code can be executed with reasonable and promising performance.

DOI： 10.1017/S0956796821000277

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

DOI： 10.11309/jssst.38.3_23

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1145/3459898.3463903

researchmap

記述言語：英語   掲載種別：研究論文（学術雑誌）   出版者・発行元：情報処理学会  

DOI： 10.2197/ipsjjip.28.268

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

DOI： 10.11309/jssst.36.2_28

researchmap

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.2197/ipsjjip.27.369

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

researchmap

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1016/j.cola.2019.01.003

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Springer Verlag  

DOI： 10.1007/978-3-319-47958-3_9

Scopus

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1145/2951913.2951938

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Association for Computing Machinery  

DOI： 10.1145/2851613.2851747

Scopus

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1007/978-3-662-49498-1_16

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1109/ICPP.2015.69

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1145/2695664.2695693

Web of Science

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

DOI： 10.11309/jssst.32.1_253

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1145/2658761.2658770

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1109/ICDE.2014.6816714

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1145/2491894.2466480

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/s10990-012-9086-3

Scopus

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：情報処理学会  

遅延評価は，プログラムの簡潔な記述を可能にするため，純関数型言語などで採用されている．特にリストなどの再帰的データ構造を扱う際には，必要に応じて評価を進めることが可能となり，遅延評価により得られる記述性の向上は大きい．一方，計算を遅延するために必要なオブジェクト（遅延オブジェクト）の生成は，プログラム実行時のオーバヘッドとなってしまうため，効率の良い遅延評価機構を実装するには，遅延オブジェクトの削減が必要である．本論文は，リストのような線形に再帰的に定義される代数データ構造に注目し，必要となる遅延オブジェクトを再利用する手法を提案する．提案手法は，すでに割り当てられている遅延オブジェクトの保持している値を更新して再利用する．このような再利用を可能とするために，提案手法は，コンパイル時にプログラム変換を行い，再利用対象とする遅延オブジェクトへの参照を単一にする．提案手法を，純関数型言語Haskellの処理系であるGlasgow Haskell Compiler上に実装し，実験を行った．その結果，オーバヘッドはあるものの，総メモリ割当て量を削減できることが分かった．Lazy evaluation helps programmers write clear programs. However, it has significant run-time overheads for building many as-yet unevaluated expressions, or thunks. Because thunk allocation is a space-consuming task, it is important to reduce the number of thunks in order to improve the performance of a lazy functional program. We propose static analysis algorithms that achieve the thunk reuse technique. Thunk generation is suppressed by reusing an already allocated thunk at the tail of a list, on the condition that the thunk is singly referred, i.e., pointed to only from the tail field of a cons cell. This method guarantees that reused thunks definitely satisfy this singly referred condition on the basis of a static analysis with program transformations. We have implemented our method in the Glasgow Haskell Compiler and measured total memory allocations and execution times for some programs.

CiNii Research

researchmap

その他リンク： http://id.nii.ac.jp/1001/00081616/

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.2197/ipsjtrans.5.71

Scopus

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1109/ICPADS.2011.112

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1145/1993316.1993554

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1145/1869643.1869649

Scopus

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：情報処理学会  

近年Google Mapsなどに代表される，Ajaxと呼ばれる手法を用いたWebアプリケーションが増加している．Ajaxを用いたWebアプリケーションはサーバ側とクライアント側で動作する2つのプログラムにより構成され，それらが協調して動作する．そのため，煩雑な通信処理を記述する必要があり，さらには，それぞれの実装言語が多くの場合は異なっているため，プログラミングが非常に煩雑になる．そこで本論文では，開発効率の向上を目的として，JavaScriptに基づくプログラム言語でWebアプリケーションを1つのプログラムとして記述し，処理の柔軟な分割を可能とするフレームワークを提案する．また，そのプログラム言語で記述されたプログラムを読み込み，サーバ側で動作するソースコードとクライアント側で動作するソースコードを出力するような機構を設計し，実装した．提案機構は，与えられたプログラムを解析し各構文要素がサーバとクライアントのどちらで実行するべきかを決定する．その際，分割方針を指定することで，同じソースコードから異なる分割を得ることができる．同じ動作をするWebアプリケーションを，提案機構と既存の手法のそれぞれを用いて記述し，プログラムを比較して記述性が向上していることを確認した．また，提案機構によるオーバヘッドは，Webアプリケーションで行われる一般的な処理については問題ない程度の小さなものであることを確認した．Ajax based web applications such as Google Maps have increased in recent years. An Ajax application is composed of the server side program and the client side program. Usually these programs are written in different programming languages. Furthermore, communications between the server and the client have to be explicitly described. For this reason, development of web applications is a very complicated task. To solve this problem, we proposes a framework that enables the user to write a web application as a single program. We have implemented a system that partition such a program into both the server side program and the client side one. It decides which parts of a source program should be executed at the client side or at the server side based on a policy given by the user. We confirmed that our framework makes the development of web applications easier, by comparing a program using our framework with a program using an existing method for the same application. Although our framework causes overhead in execution time, it is acceptable for general web applications.

CiNii Research

researchmap

その他リンク： http://id.nii.ac.jp/1001/00070430/

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1145/1806651.1806664

Scopus

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1007/978-3-642-10672-9_8

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1109/ICPP.2009.18

Scopus

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1007/978-3-642-03869-3_63

Web of Science

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1145/1529282.1529714

Scopus

researchmap

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1002/spe.861

Web of Science

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：情報処理学会  

実行効率の良い探索プログラムを書くためには，結果に寄与しない計算を除去する枝刈りが有効であるが，一般に，簡潔なプログラム構造を保ったまま枝刈りの記述をすることは難しい．この問題点を解決するために，Improving Sequence（IS）というデータ構造を用いる手法が提案され，有効性が確認されている．ISとは，ある全的に定義された推移的な二項関係に従い，要求駆動によって単調に最終結果へ近づいていく近似値の列のことである．ISを用いたプログラムでは，枝刈りをするか否かの判断に近似値を用いることができる．従来の純関数型言語上のISの実装はライブラリによるものだったので，近似値の数に比例したヒープ領域を必要とし，効率があまり良くないという問題点があった．この問題点を解決するため，本論文では，ISの近似値が持つ単調性に着目し，また，近似値が枝刈りの判断にのみ用いられ，中間データとしての役割しか持たないことを前提として，純関数型言語において，定数領域しかヒープを消費しないISの実装を提案する．提案手法の効果を確認するため，Glasgow Haskell Compilerに実装を施し，ナップサック問題など，いくつかのプログラムで実験を行った．その結果，問題によってばらつきはあるものの，メモリ消費量において3%～75%程度の減少が見られ，安定的に改善できることが確認できた．また，メモリ消費量を削減することで，多くの場合に実行時間を改善できることも確認できた．Pruning unnecessary computations increases the efficiency of search programs. However, in general, it is hard to write a program that performs pruning while retaining program clarity. A mechanism called Improving Sequence (IS for short) helps the programmers write clear program for pruning computations. An IS is a sequence of approximations that are gradually improved based on a binary relation and approach the final value. Each approximation value can be used to decide whether further computations beyond the approximation can be pruned or not. Existing implementation of an IS on a purely functional language is library-based one, thus much heap space that is proportional to the number of approximations is consumed. To solve this problem, this paper proposes an efficient implementation of an IS that consumes only the constant space within the heap space. The proposed implementation is based on the observation that the approximations with an IS is monotonic and each approximation is used only in the judgment of pruning. We implemented the proposed idea in the Glasgow Haskell Compiler, and made some experiments by running some search programs that use ISes. The results show that the amount of memory consumption is reduced by 3-75%, depending on the program, and the execution time is also reduced in many cases.

CiNii Research

researchmap

その他リンク： http://id.nii.ac.jp/1001/00016435/

記述言語：英語   掲載種別：研究論文（学術雑誌）  

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1007/978-3-540-76929-3_28

Web of Science

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：Japan Society for Software Science and Technology  

インターネットサーバの手動による性能パラメータ調整は,多くの経験や時間を必要とし,管理コストの増大を招くことが知られている.ウェブサーバの主要な性能パラメータであるkeep-alive時間は,適切に設定しない場合,サーバのスループットや応答性を低下させることがある.本論文では,ウェブサーバのkeep-alive時間の自動設定機構を提案する.本機構は管理者の介入を必要とせず,手動設定で求めた値に近いkeep-alive時間に自動設定する.本機構はリクエスト待機間隔を監視しながら,データを送受信していない接続を切断し,データを頻繁に送受信している多くのクライアントからの接続を保つようにkeep-alive時間を設定する.本機構をApacheウェブサーバを対象としたライブラリとして実装し,実験を行った.その結果,異なる2つの負荷に対して,それぞれkeep-alive時間を自動的に設定し,サーバの性能を適切に維持することを確認した.Manual parameter-tuning of Internet servers causes high administrative costs because it requires administrator's expertise and huge amounts of time. The keep-alive parameter, which is one of major parameters in web servers, may cause severe degradation if it is not set properly. In this paper, we present an automatic tuning technique of the keep-alive parameter. Our mechanism adjusts the parameter without administrator's intervention so as to maintain active connections between clients and a server while closing inactive connections by observing request-waiting intervals. We implemented a prototype for Apache web server. Experimental results show that our prototype automatically adjusted the parameter and successfully yielded the nearly optimal server performance on two different workloads.

DOI： 10.11309/jssst.24.2_68

CiNii Research

researchmap

その他リンク： https://projects.repo.nii.ac.jp/?action=repository_uri&item_id=288829

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

DOI： 10.11309/jssst.24.2_150

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1007/978-3-540-69611-7_4

Web of Science

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1145/1146847.1146860

Scopus

researchmap

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/11596370_14

Web of Science

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

DOI： 10.11309/jssst.22.3_214

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：一般社団法人電子情報通信学会  

インターネット上では様々なサービスが展開されており, 社会的な基盤としてその役割はますます重要になっている.インターネット上のサービスへの需要が増加すると, サービスを提供するサーバの負荷が高まり, サービスの遅延や最悪の場合サービスの一時停止などといったサービスの質の低下へとつながる.サービスの質の低下を抑える方法として, 一般に同じサービスを提供することができる計算機を複数台用意し, サービスへの需要を各計算機へと分散する手法が用いられている.しかし, インターネット上のサービスへの需要は常に変動しているため, あらかじめ需要を予測して計算機資源を設置することは難しい.そこで本論文では, サービスへの需要の増減に応じ, サービスを提供する計算機資源の総量を自動的に調節する基盤を提案する.本基盤により構成されるサーバ群を伸縮自在サーバ群と呼ぶ.伸縮自在サーバ群では, 複数の計算機が動いており, 互いにPeer-to-Peer方式を用いて通信し, サービスを提供する計算機の増減を行う.本論文では, 伸縮自在サーバ群と, 伸縮自在サーバ群上でサービスを提供する計算機を増減させるための基本機構を提案し, その有効性をシミュレーションを用いて検証する.

CiNii Research

researchmap

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1023/b:ijpp.0000038069.80050.74

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/978-3-540-27866-5_85

Web of Science

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

DOI： 10.11309/jssst.21.277

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

DOI： 10.11309/jssst.21.289

researchmap

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/11596370_14

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/978-3-540-40965-6_3

Web of Science

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：一般社団法人電子情報通信学会  

CiNii Research

researchmap

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1002/spe.485

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1007/978-3-540-45157-0_5

researchmap

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/3-540-45927-8_7

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

Web of Science

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

DOI： 10.11309/jssst.18.46

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：Association for Computing Machinery, Inc  

DOI： 10.1145/355214.355251

Scopus

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

Web of Science

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

DOI： 10.11309/jssst.17.273

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

researchmap

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/BF03037434

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

CiNii Research

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：一般社団法人情報処理学会  

第三言語を介して対訳辞書を自動作成するアルゴリズムを論じ，現存の対訳辞書との比較により抽出結果を検討する．和英辞典と英仏辞典から英語（第三言語）を仲介として和仏辞典を作成する際には，英語において機械的に辞書を合体させるだけでは第三言語の語の多義性により不適当な訳語が生じる．したがって，正しい訳語のみを自動抽出する手法が必要となる．本研究では，訳語関係のグラフ，語の形態素が持つ表意を利用した手法を提案する．実際に既存の中辞典規模の電子辞書を用いて名詞，動詞，形容詞に対して実験を行い，既存の辞書にはない訳語が得られるという有効性を示した．When putting two dictionaries,such as Japanese-English and English-French,together into a bilingual dictionary,the Japanese-French dictionary,it is necessary to discriminate equivalencies from inappropriate words caused by the ambiguity in the third language(which is English in the example).We propose a method to treat this by exploiting the structures of dictionaries to measure the similarity of the meanings of words.The resulting dictionary is a word-to-word bilingual dictionary of nouns,verbs,adjectives,and can be used to refine the entries and equivalencies in published bilingual dictionaries.

CiNii Research

researchmap

その他リンク： http://id.nii.ac.jp/1001/00013068/

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：一般社団法人情報処理学会  

関数プログラムでは，関数合成間で受け渡される中間的データ構造を生成しないように，関数合成を1つの関数に融合する（融合変換する）ことが，効率改善にとって重要である．構成的アルゴリズム論は，Catamorphism Hylomorphismなどと呼ばれる特定の再帰パターンと，これらに対する強力な変換定理を用いて，上の問題の解決を試みる．本論文は，蓄積引数を持つ関数の融合変換のための2つの手法?高階関数のCatamorphismに基づく方法とHylomorphismに基づく方法?に注目し，前者に基づく融合変換操作は，後者による融合変換に帰着できることを示す．まず簡単な具体例を通して両手法の変換手順を示した後，一般の場合について上の主張を証明する．本論文で示される事実により，構成的アルゴリズム論に基づくプログラム変換システムでは，Hylomorphismを用いた変換だけを考えればよいという，有益な結論が得られる．In order to gain the efficiency of functional programs,it is important to fuse the composition and eliminate intermediate data structures passed through the composition.Constructive Algorithmics is one of the promising approaches to this problem.This paper focuses on functions with accumulative parameters,and discusses two transformation strategies-one based on higher-order catamorphisms and the other based on hylomorphisms.It is shown that programs which can be transformed by the former can be also transformed by the latter.The result of this paper shows that program transformation system based on Constructive Algorithmics has only to take into account the strategy by hylomorphisms.

CiNii Research

researchmap

その他リンク： http://id.nii.ac.jp/1001/00013172/

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/BF03037950

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）   出版者・発行元：ACM Press  

DOI： 10.1145/258949.258964

CiNii Research

researchmap

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1145/256167.256201

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

Web of Science

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1007/3-540-61550-4_166

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1007/3-540-61626-8_75

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.3115/993268.993270

CiNii Research

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

DOI： 10.1145/232629.232637

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：一般社団法人情報処理学会  

多くの漢字は偏や旁などの基本的な部品の組合せからできている。本論文では、このことを利用して、漢字を具体的な座標を含まない抽象的な組合せ情報で定義しておき、プログラムによって部品を組み合わせてフォントを生成する方法を提案する。各部品は組合せによって大きさが変化するので、通常は様々な大きさの部品を用意しないと組み合わせて使うことができない。しかし、線の太さを自由に変えることのできるスケルトンフォントを使えば、あるサイズでデザインした部品をサイズを変更して使うことができる。そこで、本研究では論文（1）で提案した複数書体に対応可能なスケルトンフォントの形式で部品のデザインを表現する。組合せの種類として、横方向、縦方向、片方の部品の空白部分に他方の部品を配置する嵌込みが考えられる。JIS X0208に含まれるすべての漢字をこの3種類の組合せで表現して、最初の2つの組合せを扱うだけでもある程度デザインコストを減らせるが、嵌込みを扱うと更に効果があることを確かめた。また、未知の漢字が現われた時に、既知の部品の組合せだけで表現できる可能性を、JIS X0212の漢字の何割がJIS X0208の漢字の部品で表現できるかによって見積もった。表現した漢字を表示、印刷するためには組合せアルゴリズムが重要である。そこで、一番容易な横方向の組合せを実現するために単純な方法をいくつか実装し、評価をおこなった。その中でもっとも良かった組合せアルゴリズムをもとに縦方向、嵌込みのプログラムを実装し、JIS X0208とJIS X0212のフォントセットを作成した。これが単純なアルゴリズムで作成されたものにもかかわらず、ある程度の品質に達していることを確かめた。

CiNii Research

researchmap

記述言語：英語   掲載種別：研究論文（国際会議プロシーディングス）  

researchmap

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/BF03038309

Web of Science

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：一般社団法人情報処理学会  

本論文では、並列記号処理言語の処理系を実装する際の墓礎となる"核"の設計・実現法について述ぺ、実際にトランスビュータのために開発したシステムTK800について議論する。TK800核は、利用者プログラムに対して、非同期スレッド間通信、スレッドの動的生成などの高レベルの機能を提供するが、中でも特に重要なのは、記号処理言語の処理系記述を念頭においた、ごみ集めを含むヒープ管理である。TK800核は、オブジェクトヘのポインタの形、いくつかの種類のオブジェクト本体の形状を既定義のものとして与え、さらに、利用者 プログラム独自のオブジェクトを定義・利用する方法も提供する。それは多 くの場合は、マクロを機械的に定義するだけですむ。ヒープ領域のごみ集めは、核が責任 をもって行うので、利用者は、オブジェクトの割り当て、形状、ごみ集めなどのヒープ管理こ煩わされることなく、言語処理系を構成することが可能である。本論文では、TK800の内部構成、並列関数型言語の解釈実行系のTK800を利用した記述についても述べ、さらに設計・実現法についての考察も加える。

CiNii Research

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）   出版者・発行元：一般社団法人情報処理学会  

本論文では 並列処理言語の処理系をUnix系共有メモリ型マルチプロセッサ計算機上に実装する際に直面するいくつかの問題点について議論する.ここでは マルチューザの下でCPU資源を使う環境を想定する・さらに 並列処理言語の実際例を示し 考察も加える 実現例を示すのは 並列性言語仕様として持つLisp方言mutilispである.従来のUnixでは システムコールの重さ・機能そのものや機能面の細かさ 並列性記述のためのライブラリが単一プロセッサ向きである点などが マルチプロセッサにおける処理系作成上の問題点となる.mutilispではインタプリタ本体で効率的に解決するのが困難な問題については これをインタプリタ上で動いているLispプログラムに通知する機構を導入し そのプログラムに処置を委ねる という解決法をとる.その結果 問題解決のためには 上位部の特定のプログラム間の関係のみに注目すればよくなり たとえばCPUの放棄も容易に実現でき 処理系の柔軟性が向上することになる。また 本論文では 処理系の性能についても簡単にふれ mutilispでのアプローチが有効であることを示した.本論文で提案する手法は 実行時の動的スケジューリングをおこなうシステムで有効であり 多くの言語処理系に対して応用が可能である.

CiNii Research

researchmap

記述言語：英語   掲載種別：研究論文（学術雑誌）  

DOI： 10.1007/BFb0024165

Web of Science

researchmap

記述言語：日本語   掲載種別：研究論文（学術雑誌）  

researchmap

記述言語：日本語   出版者・発行元：一般社団法人情報処理学会  

近年，リアルタイム性を必要とし，停止できない Web サービスが増加している．それらのメンテナンス処理はサービスを継続した状態で行う必要がある．このようなメンテナンスをオンラインメンテナンスと呼ぶ．オンラインメンテナンスの例には，データの集計や削除がある．オンラインメンテナンスを行う上で，メンテナンス処理の I/O 負荷が Web サービスに悪影響を及ぼすことが問題となっている．たとえば，データベースサーバ上の数百 GB のログファイルを削除するメンテナンスをオンラインで行う場合，大量の I/O 処理が行われデータベース処理が長時間停止するという事態が生じる．このような問題を解決するために，本研究ではメンテナンスの I/O 処理の実行をゆっくりと行う機構を提案する．Linux においては，I/O 処理の実行順序は I/O スケジューラが決定する．そこで，リアルタイム性を必要とする Web サービスのバックエンドで用いられている I/O スケジューラに，低優先度処理を指定する機能を追加した．実験用のデータベースサーバ上で本機構を評価したところ，既存の I/O スケジューラではデータベースと関係のない I/O 処理の実行中にデータベースのスループットが 30%以下に低下したのに対し，提案する I/O スケジューラでは 75%以上となった．The availablity of web services has been incresingly demanded. To achieve high availablity, database servers used in the backends of web services have to respond in a low latency. Maintenance operations (e.g., deleting log files and mining data) executed by an operator may raise a pressure on I/O subsystem, which increases the latency of database processing. To solve this problem, it is desired to execute maintenance operations in low priority. However, the deadline I/O scheduler, which is recommended for database servers on Linux cannot deal with priorities for I/O operations. In this research, we have extended the deadline I/O scheduler to enable us to assign low priority to a process, which is inherited to the children. Our I/O scheduler can suppress the increase of latency by executing the maintenance operations at low priority. We evaluated the usefulness of our I/O scheduler on a database server. While in the deadline I/O scheduler, maintenance operations degraded the throughput of database processing down to less than 30%, in our I/O scheduler they degraded that down to at most 75% by assigning low priority to maintenance operations.

CiNii Research

researchmap

記述言語：日本語  

researchmap

記述言語：日本語  

近年データセンタでは，サーバの消費電力の増大が問題となっている．サーバの消費電力を抑えるには，例えばWebサーバではリクエストを処理し終えたら次のリクエストが到着するまでサーバをスリープさせるという手法が考えられる．しかし，現状のLinuxのスリープ機構はACPIを利用しており，スリープからの復帰に多くの時間がかかるという問題点がある．本研究では，ACPIを利用しないスリープ機構を作成した．このスリープ機構は，システム全体はスリープさせず，一部のデバイスのみをスリープさせ，CPUを簡易低電力状態にする．この方法で，Linuxのスリープを用いた場合と比較して，スリープからの復帰時間を大幅に削減できる事を確認した．

CiNii Research

researchmap

記述言語：日本語  

Jikes RVM上で，ビットマップマーキングを利用したマークコンパクトごみ集めを実装し評価した．マークコンパクトごみ集めで広く使われているLisp 2アルゴリズムでは，オブジェクトの移動処理のために，生きているオブジェクトをアドレス順に2回探索する．本手法は，オブジェクトの生存情報をビットマップを使って保持し，そのビットマップをスキャンすることによって，生きているオブジェクトを探索する．生きているオブジェクトが少ない場合，ビットマップ上ではゼロビットが連続しているため，この探索を高速化することができる．提案するごみ集めの性能をDaCapoベンチマークを用いて評価したところ，プログラムによっては，ヒープの使用率が低い場合に，Jikes RVMに標準で搭載されているマークコンパクトごみ集めよりも優れた結果を示した．We have implemented and evaluated a mark-compact garbage collection using bitmap marking on Jikes RVM. The Lisp 2 algorithm, which is widely used in mark-compact garbage colletion, searches twice for live objects in the address order. Our garbage collection holds the locations of live objects in the bitmap by marking their corresponding bits. Then it scans the bitmap for live objects. In the case where the number of live objects is small, the bitmap can be scanned quickly because it has long sequences of zero bits. According to the results of DaCapo benchmarks, our garbage collection is faster than the one that has been implemented on Jikes RVM, depending on programs and heap usage.

CiNii Research

researchmap

記述言語：日本語  

CiNii Research

researchmap

記述言語：日本語  

J-GLOBAL

researchmap

記述言語：英語   出版者・発行元：[日本ソフトウェア科学会]  

CiNii Research

researchmap

記述言語：日本語  

CiNii Research

researchmap

記述言語：日本語  

近年，Rubyによる大規模アプリケーションの開発が行われるようになってきている．大規模なアプリケーションの特徴として，大量のデータを扱い長時間動作し続けるという特徴があげられる．既存のRuby処理系は保守的マークスイープ方式でごみ集め（GC）をしているが，このような特徴を持つアプリケーションでは，世代別コピーGCでGCの時間を短縮できることが知られている．しかし，Ruby処理系には保守的GCを前提に作られている部分があり，移動できないオブジェクトが多くある．そのため，通常のコピーGCは実現できない．そこで，移動できないオブジェクトが存在しても，コピーGCを実現できるMostly-Copying GCを用いることにした．Mostly-Copying GCでは，ヒープを固定長のブロックに分割する．我々のGCでは，ブロックごとに世代を持たせる．マイナGCでは，新世代にある移動できるオブジェクトを旧世代に移動させるだけでなく，生存オブジェクトの多いブロックは，ブロックごと旧世代に含める．これにより移動できないオブジェクトも旧世代に移すことができる．Recently, large-scale applications have come to be developed in Ruby. A large-scale application tends to treat a large amount of data and to keep working for a long time. While the Ruby VM has the conservative mark-sweep GC, it is known that the time spent on GC in such an application can be reduced by using the generational copying GC. However, we cannot implement the copying GC in the Ruby VM, because part of the VM depends on the conservative GC, and many objects cannot be moved. Therefore we decided to use the mostly-copying GC, which collects garbage by copying only movable objects. The mostly-copying GC divides the heap into equal sized blocks. In our garbage collector, each block has a generation. In minor GC, the collector does not only move movable objects in the new generation to the old generation, but also turns blocks into the old generation if they contain many live objects. This allows immovable objects to get promoted.

CiNii Research

researchmap

記述言語：日本語   出版者・発行元：情報処理学会  

近年，連続的に利用されるシステムが広く普及したことに伴ない，予期せぬ実行時エラーに対処するため，耐故障性に関する研究がなされてきている．耐故障性に関する研究の一つとして，Checkpoint/Restart と呼ばれる手法がある．この手法は正常動作しているプロセスの状態を予め保存しておき，障害発生時に保存しておいた状態を復元する手法である．しかし，通常 Checkpoint/Restart は，同じプログラムを利用するプロセスへ保存した情報を復元するので，バグが原因の障害の場合，同じ障害が発生してしまう．そこで本論文では，バグを修正するなどプログラムの内容を更新したプロセスへ状態を復元することが可能な Checkpoint/Restart 機構の設計と実装を行った．提案機構を利用することで，予め保存した状態を更新後のプログラムを持つプロセスへ復元可能になり，バグの修正に本機構を利用することで，サービスを継続したままプログラムが原因の障害を防げることを確認した．Checkpoint/Restart is a well-known and useful technology for the recovery from a crash due to an unexpected runtime error. This technology first saves the snapshot of a process's running state, and if an error occurs, restores the snapshot to re-construct the state of the running process and resume the execution. However, Checkpoint/Restart usually restores a saved state to a process executing the same program used by the checkpointed process. Thus the same runtime error may occur in the future, since the bug is not fixed. To resolve this problem, this paper described the design and implementation of a Checkpoint/ Restart system which enables users to restore a snapshot to a process executing a program whose bug has been fixed. We have confirmed that the new system are able to prevents the restored process from suffering from the same runtime error.

CiNii Research

researchmap

その他リンク： http://id.nii.ac.jp/1001/00070082/

記述言語：日本語  

近年，Web アプリケーションをはじめとする Ruby による大規模アプリケーションの開発が行われるようになってきている．大規模なアプリケーションの特徴として，大量のデータを扱い長時間動作し続けるという特徴があげられる．既存の Ruby 処理系は保守的マークスイープ方式でごみ集め （GC） をしているが，このような特徴を持つアプリケーションでは，世代別コピー GC で GC の時間を短縮できることが知られている．しかし，Ruby 処理系には保守的 GC を前提に作られている部分があり，移動できないオブジェクトがあるため，通常のコピー GC は実現できない．そこで，移動できないオブジェクトが存在しても，コピー GC を実現できる Mostly-Copying GC を用いることにした．本研究では，世代別 Mostly-Copying GC の実装による GC 時間の短縮を目標として，Ruby1.9 の VM に Mostly-Copying GC の実装を行い，Ruby on Rails 組み込みの Web サーバなどを対象に移動できないオブジェクトの数やその寿命など世代別 GC の設計に必要なデータ収集を行った．その結果，移動できないオブジェクトの割合は少なくないが，それらは長寿命であるという傾向が分かった．本発表では，これらのデータを基に世代別 Mostly-Copying GC の実装方針と設計について述べる．Recently, large-scale applications, such as web applications, have come to be developed in Ruby. A large-scale application tends to treat a large amount of data and to keep working for a long time. While the Ruby VM has the conservative mark-sweep GC, it is known that the time spent on GC in such an application can be reduced by using the generational copying GC. However, we cannot implement the copying GC on the Ruby VM, because part of the VM depends on the conservative GC, and some objects cannot be moved. Therefore we decided to use the mostly-copying GC, which collects garbage by copying only movable objects. In this research, we aim to reduce the time spent on GC by implementing the mostly-copying GC on the VM of Ruby 1.9. We implemented the mostly-copying GC on the VM and examined the behavior of objects in the heap, such as the ratio of immovable objects and their lifetime, using the VM and a web server program of Ruby on Rails. As a result, we found immovable objects tend to be long-lived though the ratio of them is not small. In this presentation, we present the design of generational mostly-copying GC based on the observation.

CiNii Research

researchmap

記述言語：日本語  

プロセスの動的な負荷を分散するための手法として，スレッドマイグレーションがある．しかし，Ruby の処理系はプロセス実行時に C のスタックを使うため，Ruby ではスレッドマイグレーションの実現は難しい．そこで本発表では，メソッド実行委託という負荷分散の機構を提案し，Ruby のライブラリとして実装する．メソッド実行委託とは，メソッドの実行に必要なオブジェクトとクラス定義を，呼び出し時に選んだ別の計算機上のプロセスに動的に転送して実行させることで，負荷を分散する機構である．メソッド実行を請け負うプロセスは，本機構によって自動的に決定されるため，プログラマは請負先の明示的な記述をする必要はない．このライブラリを用いれば，既存の Ruby プログラムに対して，委託用コードを簡単に付加することができ，負荷分散を考慮したプログラムを Ruby で簡潔に記述できる．本発表では，JPEG 圧縮の計算における負荷の分散，クライアント・サーバ型アプリケーションにおけるサーバプロセスの負荷分散をするプログラムを用いて，提案機構の有効性についても述べる．Thread migration is a well-known technique for load balancing. However, since a RubyVM uses a C stack in runtime, it is difficult to implement a thread migration on Ruby. To cope with this problem, we propose a load distribution framework named "method entrusting" and implemented it as a library. The method entrusting dynamically chooses another process on another computer and entrust the process with a method invocation by transferring objects and class definitions, if necessary, that are indispensable for the invocation. The framework automatically selects an appropriate process that contract the method execution. Thus, programmers are not required to specify the process explicitly in their programs. This library enables programmers to easily add codes for method entrusting into existing Ruby programs and to easily achieve load balancing. In this presentation, we also show the effectiveness of this framework with a program for JPEG compression and a program for load distribution on server processes in a client-server application.

CiNii Research

researchmap

記述言語：日本語   掲載種別：記事・総説・解説・論説等（その他）  

researchmap

記述言語：日本語   掲載種別：記事・総説・解説・論説等（その他）  

researchmap

記述言語：日本語   出版者・発行元：日本ソフトウェア科学会  

並列プログラミングにおける, 通信, 同期, 資源の配置などの問題を解消する一つのパラダイムとして, スケルトン並列プログラミングが提案されている. 我々は, 並列スケルトンライブラリ「助っ人」を開発してきた. 助っ人の特徴としては, (1) 分散データ構造として, リスト, 木, 二次元配列をサポートしていること, (2) 構成的アルゴリズム論による最適化機構, が挙げられる. 本論文では, 具体例を交えて, 本ライブラリを紹介する.

CiNii Research

researchmap

出版者・発行元：日本ソフトウェア科学会  

並列プログラムを作成する難しさを緩和するため，頻繁に用いられる並列処理のパターンをあらかじめ実装しておき，そのパターンの組み合わせでプログラムを作成する「スケルトン並列プログラミング」が考案されている．プログラマは並列スケルトンと呼ばれる関数を組み合わせることによって，並列プログラムを容易に記述することができるようになる．しかし，並列スケルトンで書かれたプログラムは，必ずしも実行効率が良くないという問題点がある．本研究では，BMFという計算モデルに基づいた並列スケルトンライブラリをC++上に実装した．その上で，融合変換と呼ばれる，複数の関数呼び出しを単一の関数呼び出しに融合する手法を適用し，並列スケルトンで書かれたプログラムを最適化する機構を実現した．本発表では，並列スケルトンライブラリの実装を提案し，最適化の効果について報告する．

DOI： 10.11309/jssstconference.21.0.46.0

CiNii Research

researchmap

researchmap

記述言語：日本語  

CiNii Research

researchmap

記述言語：日本語   掲載種別：記事・総説・解説・論説等（その他）  

researchmap

記述言語：英語   出版者・発行元：一般社団法人情報処理学会  

List Homomorphismは, 理想的には分割統治アルゴリズムに適しており, 並列プログラミングの分野で最近注目を集めているが, 従来の議論はアドホックに行なわれる傾向があった. 本稿では, 「平面上の矩形和の最大値問題」を例題として, 素朴で効率の悪いプログラムから効率のよい並列プログラムを系統的・形式的に導出する方法を報告し, List Homomorphismの再帰的構造に基づいて定義されるTuplingとFusionというふたつの変換技法を提案する.

CiNii Research

researchmap

出版者・発行元：社団法人情報処理学会  

関数プログラムでは, 関数の間で受け渡されるが最終結果には出現しない中間的なデータ構造を生成しないように, 関数合成をひとつの関数にプロモーションする(融合する)ことが, 効率改善にとって重要である. 補助引数あるいは蓄積引数を持つ関数に関してこの問題を解決するための手法として, &quot;高階catamorphism&quot;を用いる方法と, &quot;媒介型&quot;を導入することによるhylomorphismを用いる方法が研究されている. 本稿は, 補助引数を持つ関数の高階catamorphismによる融合操作は, 媒介型を用いた変換操作の枠組で説明することができることを, 簡単な具体例を通して示す.

CiNii Research

researchmap

researchmap

記述言語：英語   出版者・発行元：一般社団法人情報処理学会  

関係は数学的に扱いやすいいろいろな性質をもっているので,関係を用いてプログラムの仕様と実現の両方を定義することができる.つまり,関係を入力値と出力値の間の論理式と見なすときに,それを仕様として使うことができ,関係を再帰的に定義された他の関係の合成と見なすときに,そのを実現の記述として使うことができる.本論文では,関係の再帰定義のスキームを導入し,その性質について述べる.また,それを利用して,GAMMAアルゴリズムモデルを書き換え,例を通じてプログラム変換技術についても述べる.

CiNii Research

researchmap

記述言語：英語   出版者・発行元：一般社団法人電子情報通信学会  

Accumulationとは,構造を持つデータに対する計算を,途中経過を保持しつつ進めていく方法であり,逐次・並列を問わず,効率の良いプログラムの設計・記述によく用いられる.本論文では,Accumulationを定式化するために,従来のCatamorphismの考えを拡張した高階Catamorphismを提案する.また,高階Caramorphismを用いて記述されたプログラムの実行効率を改善するための,基本的な変換定理(プロモーション定理)を示す.さらに、具体的な変換手順を、いくつかの例とともに示す.

CiNii Research

researchmap

出版者・発行元：社団法人情報処理学会  

Accumulationとは,構造を持つデータに対する計算を,途中経過を保持しつつ進めていく方法であり,逐次・並列を問わず,効率の良いプログラムの設計・記述によく用いられる.本論文では,Accumulationを定式化するために,従来のCatamorphismの考えを拡張した高階Catamorphismを提案する.また,高階Caramorphismを用いて記述されたプログラムの実行効率を改善するための,基本的な変換定理(プロモーション定理)を示す.さらに,具体的な変換手順を,いくつかの例とともに示す.

CiNii Research

researchmap

記述言語：日本語   会議種別：口頭発表（一般）  

researchmap

記述言語：日本語   会議種別：シンポジウム・ワークショップ パネル（公募）  

researchmap