High Performance Transaction Systems Using Transaction Semantics

使用事务语义的高性能事务系统

• 批准号: 9402415
• 负责人: Arthur Bernstein
• 金额: $ 20万
• 依托单位: SUNY at Stony Brook
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1994
• 资助国家: 美国
• 起止时间: 1994-09-15 至 1998-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9402415&HistoricalAwards=false
• 关键词: Performance; Transaction; Systems; Using; Semantics

9402415 Avrunin The major obstacle to developing automated tools for the detection of faults in concurrent software systems is the state explosion problem: the number of possible states of a concurrenet system is, in general, exponential in the number of processes making up the system. but most real concurrent software systems remain beyond the reach of existing approaches to analysis. This project would continue the development of an approach to analysis based on generating necessary conditions for the existence of certain executions of a concurrent system and using integer programming to check the consistency of those conditions. This approach does not require enumeration or explicit representation of the states of the system being analyzed, and can be used to check such properties as deadlock, starvation, mutual exlusion, and minimum and maximum elapsed time between events. This project includes research intended to take advantage of the compositional structure and symmetries of a concurrent system and investigates connections with other automated analysis methods. ***

小行星9402415 在并发软件系统中，开发自动化故障检测工具的主要障碍是状态爆炸问题：并发系统的可能状态的数量通常是组成系统的进程数量的指数。 但是大多数真实的并发软件系统仍然超出了现有分析方法的范围。 该项目将继续发展一种分析方法，其基础是为并发系统的某些执行的存在产生必要条件，并使用整数规划来检查这些条件的一致性。 这种方法不需要枚举或显式表示被分析的系统的状态，并可以用来检查这样的属性，如死锁，饥饿，相互排斥，事件之间的最小和最大经过时间。 该项目包括旨在利用并发系统的组成结构和对称性的研究，并调查与其他自动分析方法的连接。 ***