The declarative imperative: experiences and conjectures in distributed logic
The declarative imperative: experiences and conjectures in distributed logic
复制标题
DOI：
10.1145/1860702.1860704
复制
发表时间：
2010-09
期刊：
影响因子：
--
通讯作者：
J. Hellerstein
中科院分区：
文献类型：
--
作者：
J. Hellerstein
多核处理器和云计算的兴起给软件社区带来了巨大的压力，要求他们找到解决并行和分布式编程难题的方法。与此同时，人们对以数据为中心的编程语言的兴趣比计算历史上的任何时候都要多，也更多样化，部分原因是这些语言可以自然地并行化。这种并列提高了声明性数据库查询语言理论为下一代并行和分布式编程语言提供基础的可能性。在本文中，我回顾了我的团队在过去七年中使用Datalog扩展来构建网络协议和分布式系统的经验。基于这些经验，我提出了一些理论性的猜想，它们可能会引起数据库社区的兴趣，并阐明分布式计算中的重要实际问题。最重要的是，我认为数据库研究人员应该在解决即将到来的编程危机方面发挥领导作用。这是在ACM PODS 2010会议b[32]受邀演讲的扩展版本。
The rise of multicore processors and cloud computing is putting enormous pressure on the software community to find solutions to the difficulty of parallel and distributed programming. At the same time, there is more--and more varied--interest in data-centric programming languages than at any time in computing history, in part because these languages parallelize naturally. This juxtaposition raises the possibility that the theory of declarative database query languages can provide a foundation for the next generation of parallel and distributed programming languages. In this paper I reflect on my group's experience over seven years using Datalog extensions to build networking protocols and distributed systems. Based on that experience, I present a number of theoretical conjectures that may both interest the database community, and clarify important practical issues in distributed computing. Most importantly, I make a case for database researchers to take a leadership role in addressing the impending programming crisis. This is an extended version of an invited lecture at the ACM PODS 2010 conference [32].