LoCal: a language for programs operating on serialized data
LoCal: a language for programs operating on serialized data
复制标题
LoCal：一种用于操作序列化数据的程序的语言
DOI：
10.1145/3314221.3314631
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Newton, Ryan R.
中科院分区：
文献类型：
--
作者：
Vollmer, Michael;Koparkar, Chaitanya;Rainey, Mike;Sakka, Laith;Kulkarni, Milind;Newton, Ryan R.
在一个典型的数据处理程序中，数据在内存中的表示与在磁盘上的串行化表示是不同的。前者具有指针和任意稀疏的布局，便于程序轻松操作，而后者是连续打包的，便于I/O。我们提出了一种语言，Local，统一在内存和序列化格式。LoCal将区域演算扩展到分配演算，采用跟踪所有堆值的字节寻址布局的类型系统。我们形式化的Local和证明类型安全，并显示如何Local程序可以推断出从未注释的源terms.We改造现有的GitHub编译器使用Local作为一个中间语言，与实现代码速度和数据紧凑性之间的平衡，通过引入足够的间接到堆布局的目标，保持传统的表示的渐近复杂性，但大部分或完全序列化的数据。我们表明，我们的方法产生显着的性能改善，比以前的方法操作打包数据，而不放弃惯用的编程与递归函数。
In a typical data-processing program, the representation of datain memoryis distinct from its representation in aserializedform on disk. The former has pointers and arbitrary, sparse layout, facilitating easy manipulation by a program, while the latter is packed contiguously, facilitating easy I/O. We propose a language, LoCal, to unify in-memory and serialized formats. LoCal extends a region calculus into alocation calculus, employing a type system that tracks the byte-addressed layout of all heap values. We formalize LoCal and prove type safety, and show how LoCal programs can be inferred from unannotated source terms.We transform the existing Gibbon compiler to use LoCal as anintermediate language, with the goal of achieving a balance between code speed and data compactness by introducingjust enoughindirection into heap layouts, preserving the asymptotic complexity of traditional representations, but working with mostly or completely serialized data. We show that our approach yields significant performance improvement over prior approaches to operating on packed data, without abandoning idiomatic programming with recursive functions.
登录
查看更多内容
GPU 执行树遍历的一般转换
DOI：
--
发表时间：
2013
期刊：
2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC)
影响因子：
--
作者：
Michael Goldfarb;Youngjoon Jo;Milind Kulkarni
通讯作者：
Milind Kulkarni
通过紧凑的范式进行高效的通信和收集
DOI：
--
发表时间：
2015
期刊：
ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
Edward Z. Yang;Giovanni Campagna;Ömer S. Agacan;Ahmed El;Abhishek Kulkarni;Ryan Newton
通讯作者：
Ryan Newton
DOI：
--
发表时间：
2011
期刊：
影响因子：
--
作者：
Leo A. Meyerovich;Todd Mytkowicz;Wolfram Schulte
通讯作者：
Wolfram Schulte
DOI：
10.1145/2632215
发表时间：
2014-06
期刊：
ACM Trans. Archit. Code Optim.
影响因子：
--
作者：
Bin Ren;Todd Mytkowicz;G. Agrawal
通讯作者：
Bin Ren;Todd Mytkowicz;G. Agrawal
机器学习中装饰的原则性方法
DOI：
--
发表时间：
2017
期刊：
Proc. ACM Program. Lang.
影响因子：
--
作者：
Thomas Williams;Didier Rémy
通讯作者：
Didier Rémy