基于核外计算的Datalog引擎设计与实现

张奕裕; 王归航; 左志强; 李宣东

首页> 中文期刊> 《软件学报》 >基于核外计算的Datalog引擎设计与实现

基于核外计算的Datalog引擎设计与实现

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

随着新兴技术的迅速发展,领域软件对开发效率提出了新的要求.Datalog语言作为一门具有简洁语法和良好语义的声明式编程语言,能帮助开发人员快速开发和解决问题,近年来越来越受到重视与欢迎.但解决真实场景问题时,现有的单机Datalog引擎计算规模往往受限于内存容量大小,不具有可扩展性.为解决上述问题,设计并实现基于核外计算的Datalog引擎.方法首先设计一系列计算Datalog程序所需的支持核外计算的操作算子,然后将Datalog程序转换合成带核外计算算子的C++程序,接着方法设计基于Hash的分区策略和基于搜索树剪枝的最少置换调度策略,将相应的分区文件调度执行计算并得到最终结果.基于该方法,实现原型工具DDL(disk-based Datalog engine),并选取广泛应用的真实Datalog程序,在合成数据集以及真实数据集上进行实验,实验结果体现了DDL良好性能以及高可扩展性.

著录项

来源
《软件学报》 |2023年第8期|3587-3604|共18页
作者
张奕裕; 王归航; 左志强; 李宣东;
展开▼
作者单位

南京大学计算机科学与技术系;

计算机软件新技术国家重点实验室(南京大学);

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
Datalog引擎; 核外计算; 操作算子; 分区策略; 调度策略;

相似文献

中文文献
外文文献
专利

1. 基于流式计算引擎的时空查询中间件设计与实现 [J] . 秦俊峰 ,熊文 . 无线互联科技 . 2022,第22期
2. 基于P2P构架的PC网格计算引擎设计与实现 [J] . 黄华 ,张恒锋 ,陈轩 . 南昌航空大学学报（自然科学版） . 2005,第2期
3. 标清数字电视图像截取引擎IP核的设计与实现 [J] . 童佳杰 ,张立超 . 电视技术 . 2009,第7期
4. 面向工作站机群的核外计算模型及实现 [J] . 唐剑琪 ,方滨兴 ,胡铭曾 . 高技术通讯 . 2003,第7期
5. 虚拟共享存储系统中核外计算的实现 [J] . 李春江 ,杨学军 . 计算机工程与科学 . 2000,第4期
6. 大规模计算平台的互联网文本信息搜索引擎系统基于REST架构的OAM系统的设计与实现 [C] . WANG Da-Lu ,王大路 ,LI Qiang . 2013年第四届全国通信新理论与新技术学术大会CTC2013 . 2014
7. DGA—一种支持核外计算并行程序编程模型的设计与实现 [A] . 王童 . 2013

基于核外计算的Datalog引擎设计与实现

摘要

著录项

相似文献

相关主题

期刊订阅