小记图灵奖得主Tony Hoare博士的演讲
2006-07-14 23:52
639 查看
Dr. Tony Hoare
Quick Sort的发明人,领导设计了Algol 60语言
1977年开始,任职于牛津大学
1980年被ACM授予“图灵奖”
2000年由英女王授予爵士爵位
现任微软剑桥研究院的高级研究员
系里的教授都很给牛人面子,几乎悉数到场。讲演是关于
A compensable transaction is a program that performs an action
accompanied by a program that performs a compensation for that action.
After completion of the action, a later call of the compensation will
undo its effects, as far as possible. Long sequences of compensable
transactions can be composed into a single long-running transaction,
which is still compensable. A long-running transaction is more general
than the typical database transaction. It does not have to observe the
criterion of independence, so it can communicate with its external
environment, or even with the real world.
However, long-running transactions still observe the principle of
atomicity: each transaction either succeeds as a whole, or fails as a
whole, leaving the world in (nearly, but not exactly) the same state as
it started in. I will present a semantics for long-running transactions
in the form of structured flowcharts satisfying certain natural
healthiness conditions. I will show how they can be composed and even
nested by normal programming constructions.
理
论性很强的关于进程优化的,如何更好的架构编程体系。虽然看得出Tony
Hoare博士力图使演讲变得生动有趣,无奈很枯燥的话题还是让很多外行人昏昏欲睡,我就是其一。老婆更是在一旁折纸花。大致知道他在讲如何让一个失败了
的进程回到最近的,还没发生错误的地方,将损失降至最小。演讲快结束时,系里两个大牛人(也是大忙人)终于扛不住先离开了,一个是Euro
Graph的主席,一个是ACM的Fellow.
Quick Sort的发明人,领导设计了Algol 60语言
1977年开始,任职于牛津大学
1980年被ACM授予“图灵奖”
2000年由英女王授予爵士爵位
现任微软剑桥研究院的高级研究员
系里的教授都很给牛人面子,几乎悉数到场。讲演是关于
Compensable Transactions
内容提要:A compensable transaction is a program that performs an action
accompanied by a program that performs a compensation for that action.
After completion of the action, a later call of the compensation will
undo its effects, as far as possible. Long sequences of compensable
transactions can be composed into a single long-running transaction,
which is still compensable. A long-running transaction is more general
than the typical database transaction. It does not have to observe the
criterion of independence, so it can communicate with its external
environment, or even with the real world.
However, long-running transactions still observe the principle of
atomicity: each transaction either succeeds as a whole, or fails as a
whole, leaving the world in (nearly, but not exactly) the same state as
it started in. I will present a semantics for long-running transactions
in the form of structured flowcharts satisfying certain natural
healthiness conditions. I will show how they can be composed and even
nested by normal programming constructions.
理
论性很强的关于进程优化的,如何更好的架构编程体系。虽然看得出Tony
Hoare博士力图使演讲变得生动有趣,无奈很枯燥的话题还是让很多外行人昏昏欲睡,我就是其一。老婆更是在一旁折纸花。大致知道他在讲如何让一个失败了
的进程回到最近的,还没发生错误的地方,将损失降至最小。演讲快结束时,系里两个大牛人(也是大忙人)终于扛不住先离开了,一个是Euro
Graph的主席,一个是ACM的Fellow.
相关文章推荐
- 施一公:优秀博士如何养成(全文) 清华大学演讲
- 潘天佑博士2014微软学生夏令营演讲:如何培养领导力
- 施一公:优秀博士如何养成(全文) 清华大学演讲
- 李开复博士在MVP颁奖大会演讲:中国的IT行业发展
- 微软中国有限公司董事长张亚勤博士来重庆大学演讲
- 王坚博士跨年演讲:人类最伟大的发明,你是否忽视了?
- 施一公:优秀博士如何养成(全文) 清华大学演讲
- 【人工智能来袭】20170715凌棕博士IBM线下沙龙演讲节选
- 施一公:优秀博士如何养成(全文) 清华大学演讲
- 施一公:优秀博士如何养成(全文) 清华大学演讲
- 09年9月26日活动主题:林锐博士专场演讲“如何管理软件企业”
- 最新图灵奖得主演讲视频开放
- 施一公:优秀博士如何养成(全文) 清华大学演讲
- Apple Design Award大奖得主在斯坦福的演讲视频
- 如何管理软件企业——林锐博士免费演讲通知
- 如何管理软件企业――林锐博士免费演讲通知
- 马丁路德金博士的演讲录音(二)
- 明智软件开发——Ivar Jacobson博士上海英雄会演讲的主要思想