Pub Date : 1900-01-01DOI: 10.1109/SAMOS.2012.6404149
Edward A. Lee
Summary form only given. All widely used software abstractions lack temporal semantics. The notion of correct execution of a program written in every widely-used programming language and in nearly every processor instruction-set today does not depend on the timing of the execution. Computer architects exploit the fact that timing is irrelevant to correctness with aggressive performance-enhancing techniques such as speculative execution, branch prediction, dynamic dispatch, cache memories, virtual memory, etc. While these techniques improve average case performance, they do so at the expense of controllability, repeatability, and predictability of timing. But temporal behavior matters in almost all systems, but most particularly in networked embedded systems. Even in systems with no particular real-time requirements, timing of programs is relevant to the value delivered by programs, and in the case of concurrent and distributed programs, also affects the functionality. In systems with real-time requirements, including most embedded systems, temporal behavior affects not just the value delivered by a system but also its correctness. This talk will argue that time can and must become part of the semantics of programs and computer architectures. To illustrate that this is both practical and useful, we will describe recent efforts at Berkeley in the design and analysis of timing-centric software systems. In particular, we will focus on two projects, PRET, which seeks to provide computing platforms with repeatable timing, and PTIDES, which provides a programming model for distributed real-time systems.
{"title":"It's about time","authors":"Edward A. Lee","doi":"10.1109/SAMOS.2012.6404149","DOIUrl":"https://doi.org/10.1109/SAMOS.2012.6404149","url":null,"abstract":"Summary form only given. All widely used software abstractions lack temporal semantics. The notion of correct execution of a program written in every widely-used programming language and in nearly every processor instruction-set today does not depend on the timing of the execution. Computer architects exploit the fact that timing is irrelevant to correctness with aggressive performance-enhancing techniques such as speculative execution, branch prediction, dynamic dispatch, cache memories, virtual memory, etc. While these techniques improve average case performance, they do so at the expense of controllability, repeatability, and predictability of timing. But temporal behavior matters in almost all systems, but most particularly in networked embedded systems. Even in systems with no particular real-time requirements, timing of programs is relevant to the value delivered by programs, and in the case of concurrent and distributed programs, also affects the functionality. In systems with real-time requirements, including most embedded systems, temporal behavior affects not just the value delivered by a system but also its correctness. This talk will argue that time can and must become part of the semantics of programs and computer architectures. To illustrate that this is both practical and useful, we will describe recent efforts at Berkeley in the design and analysis of timing-centric software systems. In particular, we will focus on two projects, PRET, which seeks to provide computing platforms with repeatable timing, and PTIDES, which provides a programming model for distributed real-time systems.","PeriodicalId":130275,"journal":{"name":"2012 International Conference on Embedded Computer Systems (SAMOS)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130212793","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：