版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
计算机怎么算高性能?
怎么算安全可靠?
闵应骅计算机科学面临的挑战高层研讨会厦门,03/12/272003/11/81计算机性能评价影响计算机的发展The18NSFworkshop(Dec.2001)panelistsagreedthatcurrentlimitationsandtrendsinevaluationtechniquesaretroublesomeandcouldnoticeablyslowtherateofcomputersystemsinnovation.2003/11/82微处理机的峰值性能Asanexample,aPentiumIIIwithacycletimeof750MHz.Duringacycletheresultsofeithertheadderormultipliercanbecompleted:1operation/1cycle750MHz=750Mflop/s2003/11/83
DavidH.Bailey,NERSCChiefTechnologist,LawrenceBerkeleyNationalLaboratory132003/11/84LinpackBemchmarks性能应该与体系结构有关还是无关?2003/11/856412882=131072processors2.8GF131072/2=183500.8180TF/s2003/11/86微处理器芯片性能片数的恶果多个PC机堆在一起??怎么连接?怎么运作?2003/11/87究竟怎么算一个计算机?计算模型计算模型应该与计算机的实现技术无关电子计算机、生物计算机、量子计算机等是否存在这样一个模型?Church-Turing假设:所有算法都可用一个图灵机描述。计算机科学要有1000个深层次算法就算成熟。现有约500.(DonaldKnuth)Dijkstra说:计算机科学的主要挑战是“Hownottomakeamessofit.”并行机模型2003/11/88计算机性能与什么有关?
JackJ.Dongarray,PiotrLuszczeky,andAntoinePetitetztheapplicationthealgorithmthesizeoftheproblemthehigh-levellanguagetheimplementationthehumanlevelofeffortusedtooptimizetheprogramthecompiler'sabilitytooptimizetheageofthecompilertheoperatingsystemthearchitectureofthecomputer,thehardwarecharacteristics.Theresultspresentedforbenchmarksuitesshouldnotbeextolledasmeasuresoftotalsystemperformance.2003/11/89结构信息的定量化FrederickP.Brooks,JR.Professor,UniversityofNorthCarolinaA.M.TuringAward,AssociationforComputingMachinery(1999)Member,NationalAcademyofEngineering“ThreeGreatChallengesforHalf-Century-OldComputerScience”JACM,Jan.03Wehavenotheorythatgivesusametricfortheinformationembodiedinstructure,especiallyphysicalstructure.Weknowthatanautomobileisamorecomplexstructurethanarowboat.Wecannotyetsayitisxtimesmorecomplex,wherexissomenumber.2003/11/810三大挑战(F.P.Brooks)结构信息的定量化汽车比小船复杂多少倍?软件评价软件工程要变成一个可预见的学科,像土木工程、电气工程一样。用户接口用户接口设计是艺术,不是工程。2003/11/811Benchmarks科学计算要求高性能的计算机,这是毫无疑问的。计算机应用场景非常多。“未来决定于社会的选择,研究人员的责任是扩大技术可能性空间,为社会提供新的选择。”无处不在的计算主要不是科学计算。待处理的问题的复杂性与计算复杂性不是一回事。2003/11/812计算机可信吗?用不可靠元件组成可靠系统,至今是一个挑战。(Dijkstra,1999)人设计错误运行错误有意攻击2003/11/813计算机系统的挑战FernandoJ.CorbatóMITprofessorFellow,IEEEandACM美国两院院士1990图灵奖OnComputerSystemChallenges
JACM,Jan.03用黑盒子系统做选举,可信吗?网络没宪法。几十、几百年后,不可读的数据库和程序语言,丢失的机器。2003/11/814CRAConference2002年6月,CRA(ComputingResearchAssociation)召开关于计算机科学与工程研究的挑战会议,9人发起,70人参加。对付可信性“今天信息技术是许多关键应用和服务中最薄弱环节。信息技术简直不可信赖。出的问题从慢性危机到致命攻击。”战胜复杂性“明天的计算系统不能用今天的方法来建造。”2003/11/815信息安全问题信息安全究竟是个技术问题,还是政治问题?究竟什么叫安全?系统怎么分内外?安全问题必须分敌友防火墙能防内奸吗?2003/11/816技术走在理论的前面计算机技术的大发展主要应归功与集成电路技术的进步。到90纳米技术,在520平方毫米的芯片上集成2亿晶体管或4千万逻辑门,2.0-3.5G时,计
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 蚌埠经济技术职业学院《会计实训》2025-2026学年期末试卷
- 长春医学高等专科学校《管理逻辑学》2025-2026学年期末试卷
- 皖北卫生职业学院《进出口贸易实务》2025-2026学年期末试卷
- 钒铁浸滤工岗前标准化考核试卷含答案
- 文化传媒公司工作总结报告
- 重冶备料工岗前评优考核试卷含答案
- 桥梁工风险评估强化考核试卷含答案
- 机械手表装配工安全风险知识考核试卷含答案
- 投资测绘未来-践行创新引领行业发展
- 衰弱老年病人的识别与护理全周期管理指南
- 第九讲混一南北与中华民族大统合+第十讲中外会通与中华民族巩固壮大(明朝时期)-中华民族共同体概论专家大讲堂课件+第十一讲中华一家和中华民族格局底定
- 纺织品基本知识培训课件
- 《免疫细胞治疗》课件
- 2025年中国SPA馆市场发展前景预测及投资战略咨询报告
- 术中低体温的预防课件
- 电梯维护保养规则(TSG T5002-2017)
- 河南林业职业学院单招《英语》备考试题库(含答案)
- 新车上市方案
- 酶催化蛋白糖基化改造与新型抗体药物研发
- 品质部质量月报表
- 斗牛场建设项目申请书
评论
0/150
提交评论