算礼：探索计算系统的可分析抽象

徐志伟; 王一帆; 赵永威; 李春典

doi:10.7544/issn1000-1239.2020.20200058

算礼：探索计算系统的可分析抽象

(计算机体系结构国家重点实验室(中国科学院计算技术研究所) 北京 100190) (中国科学院大学北京 100049) (zxu@ict.ac.cn)

基金项目: 国家重点研发计划项目(2016YFB1000200)；国家自然科学基金重点项目(61532016)；中国科学院网络计算创新研究院物端计算系统项目

详细信息

中图分类号: TP301
计量
- 文章访问数: 1687
- HTML全文浏览量: 10
- PDF下载量: 550
出版历程
- 发布日期: 2020-04-30

Computation Protocols: Analyzable Abstractions for Computing Systems

(State Key Laboratory of Computer Architecture (Institute of Computing Technology, Chinese Academy of Sciences), Beijing 100190) (University of Chinese Academy of Sciences, Beijing 100049)

Funds: 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.

摘要

摘要: 计算机系统结构研究正在进入多样性时代.同时，以原型系统构建和基准程序测试为主要特征的计算系统研究方法，使得计算系统的研究成本依然居高不下，难以应对多样性挑战.这个矛盾呼唤新的可分析计算系统学术抽象，其主要特征是研究某个新系统时，在原型系统实现和基准程序测试之前，就能够分析出该系统的主要性质，进而筛掉不合适的候选系统，大幅度降低研究成本.这正是作为计算机应用抽象的算法概念所具有的特征：在算法实现和基准测试之前就基本可以分析出该算法的时间复杂度和空间复杂度等主要性质.首先，归纳了算法抽象的7条优点，指出最值得计算系统研究学习的是可分析抽象.其次，回顾了系统抽象的相关工作和历史经验，并提出了一个初步候选，称为算礼(computation protocol).最后，讨论了算礼的通用定义、黑箱表示和白箱表示，并用初步的实例指出，算礼思想有助于在计算系统领域提出系统猜想、分析新的并行计算模型、拓展现有架构、启发新的系统评价方法.
- 算礼 /
- 可分析抽象 /
- 计算系统研究 /
- 原型系统实现 /
- 基准程序测试
Abstract: Computing systems research is entering an era of diversity. At the same time, systems research still mainly follows the prototype development and benchmark evaluation approach, making the research cost too high to address the diversity challenge. This dilemma calls for new analyzable abstractions of computing systems. When researching a new system, we can use its abstraction to analyze its characteristics to filter out inappropriate candidate systems before costly prototyping and benchmarking. We already have such a concept for computer applications, called algorithm. Before an algorithm’s implementation and benchmark evaluation, we can usually analyze its main properties, such as time complexity and space complexity. In this paper, we summarize seven advantages of the algorithm concept and propose a preliminary counterpart for computing systems, called computation protocol. Learning from six historical lessons from systems research, we discuss a general definition, a black-box representation, and a white-box representation of the computation protocol concept. We use preliminary examples to point out that computation protocol thinking may be helpful to propose computing systems conjecture, analyze new parallel computing model, extend existing systems architecture, and inspire new system evaluation method.
- computation protocol /
- analyzable abstraction /
- computing systems research /
- prototype system development /
- benchmark evaluation

HTML全文

参考文献(0)

施引文献(21)

期刊类型引用(14)

1.	孙林，马天娇. 基于中心偏移的Fisher score与直觉邻域模糊熵的多标记特征选择. 计算机科学. 2024(07): 96-107 . 百度学术
2.	袁钟，陈红梅，王志红，李天瑞 . 利用混杂核模糊补互信息选择特征. 计算机研究与发展. 2023(05): 1111-1120 . 本站查看
3.	杨璇，马建敏，赵曼君. 基于邻域互信息的高维时序数据特征选择. 计算机工程. 2023(07): 135-142+149 . 百度学术
4.	马明艳，陈伟，吴礼发. 基于CNN＿BiLSTM网络的入侵检测方法. 计算机工程与应用. 2022(10): 116-124 . 百度学术
5.	孙林，梁娜，徐久成. 基于自适应邻域互信息与谱聚类的特征选择. 山东大学学报(理学版). 2022(12): 13-24 . 百度学术
6.	刘文，米据生，孙妍. 一种新的犹豫模糊粗糙近似算子的公理刻画. 计算机研究与发展. 2021(09): 2062-2070 . 本站查看
7.	王翔，谢胜军. 加权社会网络低维冗余数据快速挖掘算法仿真. 计算机仿真. 2021(08): 372-375+477 . 百度学术
8.	张敏，彭红伟，颜晓玲. 基于神经网络的模糊决策树改进算法. 计算机工程与应用. 2021(21): 174-179 . 百度学术
9.	张仕斌，黄曦，昌燕，闫丽丽，程稳. 大数据环境下量子机器学习的研究进展及发展趋势. 电子科技大学学报. 2021(06): 802-819 . 百度学术
10.	姚晟，陈菊，吴照玉. 一种基于邻域容差信息熵的组合度量方法. 小型微型计算机系统. 2020(01): 46-50 . 百度学术
11.	徐道磊，陈培林，唐轶轩，吴尚，路宇，卞显福. 一种新的决策粗糙集最小化决策代价属性约简算法. 微电子学与计算机. 2020(08): 55-60+65 . 百度学术
12.	姚晟，吴照玉，陈菊，王维. 基于决策理论粗糙集的一种新属性约简方法. 微电子学与计算机. 2019(05): 76-81 . 百度学术
13.	段海玲，王光琼. 一种高效的复杂信息系统增量式属性约简. 华南理工大学学报(自然科学版). 2019(06): 18-30 . 百度学术
14.	龚芝，陈志伟，马凌. 不完备信息系统中一种新的不确定性度量方法. 测控技术. 2018(11): 116-119+124 . 百度学术