(计算机体系结构国家重点实验室(中国科学院计算技术研究所) 北京 100190) (中国科学院大学 北京 100049) (zxu@ict.ac.cn)
出版日期: 2020-05-01基金资助:国家重点研发计划项目(2016YFB1000200)；国家自然科学基金重点项目(61532016)；中国科学院网络计算创新研究院物端计算系统项目Computation Protocols: Analyzable Abstractions for Computing Systems
Xu Zhiwei, Wang Yifan, Zhao Yongwei, Li Chundian(State Key Laboratory of Computer Architecture (Institute of Computing Technology, Chinese Academy of Sciences), Beijing 100190) (University of Chinese Academy of Sciences, Beijing 100049)
Online: 2020-05-01Supported by:This work was supported by the National Key Research and Development Program of China (2016YFB1000200), the Key Program of the National Natural Science Foundation of China (61532016), and the Things Computing System Project of CAS Network Computing Innovation Institute.摘要/Abstract
摘要： 计算机系统结构研究正在进入多样性时代.同时，以原型系统构建和基准程序测试为主要特征的计算系统研究方法，使得计算系统的研究成本依然居高不下，难以应对多样性挑战.这个矛盾呼唤新的可分析计算系统学术抽象，其主要特征是研究某个新系统时，在原型系统实现和基准程序测试之前，就能够分析出该系统的主要性质，进而筛掉不合适的候选系统，大幅度降低研究成本.这正是作为计算机应用抽象的算法概念所具有的特征：在算法实现和基准测试之前就基本可以分析出该算法的时间复杂度和空间复杂度等主要性质.首先，归纳了算法抽象的7条优点，指出最值得计算系统研究学习的是可分析抽象.其次，回顾了系统抽象的相关工作和历史经验，并提出了一个初步候选，称为算礼(computation protocol).最后，讨论了算礼的通用定义、黑箱表示和白箱表示，并用初步的实例指出，算礼思想有助于在计算系统领域提出系统猜想、分析新的并行计算模型、拓展现有架构、启发新的系统评价方法.
参考文献
相关文章 15
| [1] | 刘峰, 杨杰, 李志斌, 齐佳音. 一种基于区块链的泛用型数据隐私保护的安全多方计算协议[J]. 计算机研究与发展, 2021, 58(2): 281-290. |
| [2] | 芦效峰, 廖钰盈, Pietro Lio, Pan Hui. 一种面向边缘计算的高效异步联邦学习机制[J]. 计算机研究与发展, 2020, 57(12): 2571-2582. |
| [3] | 曹杭, 袁良, 黄珊, 张云泉, 徐勇军, 陆鹏起, 张广婷. 一种基于空间密铺的星型Stencil并行算法[J]. 计算机研究与发展, 2020, 57(12): 2621-2634. |
| [4] | 刘世芳, 赵永华, 于天禹, 黄荣锋. 并行对称矩阵三对角化算法在GPU集群上的有效实现[J]. 计算机研究与发展, 2020, 57(12): 2635-2647. |
| [5] | 李德权, 许月, 薛生. 基于动态约束自适应方法抵御高维鞍点攻击[J]. 计算机研究与发展, 2020, 57(9): 2001-2008. |
| [6] | 夏冬雪, 杨燕, 王浩, 阳树洪. 基于邻域多核学习的后融合多视图聚类算法[J]. 计算机研究与发展, 2020, 57(8): 1627-1638. |
| [7] | 郑忆美, 贾彩燕, 常振海, 李轩涯. 一种度修正的属性网络随机块模型[J]. 计算机研究与发展, 2020, 57(8): 1650-1662. |
| [8] | 张承龙, 曹华伟, 王国波, 郝沁汾, 张洋, 叶笑春, 范东睿. 面向高通量计算机的图算法优化技术[J]. 计算机研究与发展, 2020, 57(6): 1152-1163. |
| [9] | 郭羽含, 张宇, 沈学利, 于俊宇. 即时车辆共乘问题的多策略解空间图搜索算法[J]. 计算机研究与发展, 2020, 57(6): 1269-1283. |
| [10] | 罗浩, 闫光辉, 张萌, 包峻波, 李俊成, 刘婷, 杨波, 魏军. 融合多元信息的多关系社交网络节点重要性研究[J]. 计算机研究与发展, 2020, 57(5): 954-970. |
| [11] | 王国卿, 庄雷, 和孟佯, 宋玉, 马岭. 实时模型检测精确加速窗口的计算原理及算法[J]. 计算机研究与发展, 2020, 57(1): 214-226. |
| [12] | 李子臣, 谢婷, 张卷美, 徐荣华. 基于RLWE的后量子认证密钥交换协议[J]. 计算机研究与发展, 2019, 56(12): 2694-2701. |
| [13] | 魏晓超,徐琳,郑志华,王皓. 适用于智能环境的高效安全云辅助模式匹配协议[J]. 计算机研究与发展, 2019, 56(11): 2365-2374. |
| [14] | 谢秦,张清华,王国胤. 基于相似度量的自适应三支垃圾邮件过滤器[J]. 计算机研究与发展, 2019, 56(11): 2410-2423. |
| [15] | 宋珂慧,张莹,张江伟,袁晓洁. 基于生成式对抗网络的结构化数据表生成模型[J]. 计算机研究与发展, 2019, 56(9): 1832-1842. |
PDF全文下载地址:
https://crad.ict.ac.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=4174
