ブックマーク / www.jstage.jst.go.jp (1)

  • Glasgow Haskell Compiler上の遅延オブジェクト再利用手法の設計と実装

    関数型言語 Haskellは,遅延評価を標準とするプログラミング言語であり,近年注目を集めている.デファクトスタンダードの処理系である Glasgow Haskell Compiler(GHC)は多くの研究の基盤として用いられ,新しい言語概念など先進的な研究成果が取り入れられている.その一方で,GHCの実装は巨大で複雑になってきており,GHCに新機能を導入することは障壁が高くなってしまった.このような状況において,我々は実行時メモリの効率化を目指して,遅延オブジェクトを再利用する手法を提案し,GHCに実装してきた.我々が提案した手法は,コンパイル時にプログラム変換を行い,再利用対象とする遅延オブジェクトへの参照を単一にした上で,遅延オブジェクトを破壊的に書き換えて再利用する.その基的な機構は既に先行論文において述べ,メモリ削減の効果も確認済みである.論文は,再利用手法を実現するために考

    albacore
    albacore 2018/04/05
  • 1