如何在不付费的情况下获得实时事务的序列化性

1993 Proceedings Real-Time Systems Symposium Pub Date : 1993-12-01 DOI:10.1109/REAL.1993.393515

M. Graham

{"title":"如何在不付费的情况下获得实时事务的序列化性","authors":"M. Graham","doi":"10.1109/REAL.1993.393515","DOIUrl":null,"url":null,"abstract":"A new approach to the problem of achieving serializability for real-time transaction systems is presented. It is shown that certain properties that have been claimed to be characteristic of real-time systems are sufficient in themselves to guarantee that the system will run serializably, without any extra effort having to be taken. These systems can be said to achieve serializability \"for free.\".<<ETX>>","PeriodicalId":198313,"journal":{"name":"1993 Proceedings Real-Time Systems Symposium","volume":"47 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"28","resultStr":"{\"title\":\"How to get serializability for real-time transactions without having to pay for it\",\"authors\":\"M. Graham\",\"doi\":\"10.1109/REAL.1993.393515\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A new approach to the problem of achieving serializability for real-time transaction systems is presented. It is shown that certain properties that have been claimed to be characteristic of real-time systems are sufficient in themselves to guarantee that the system will run serializably, without any extra effort having to be taken. These systems can be said to achieve serializability \\\"for free.\\\".<<ETX>>\",\"PeriodicalId\":198313,\"journal\":{\"name\":\"1993 Proceedings Real-Time Systems Symposium\",\"volume\":\"47 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"28\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"1993 Proceedings Real-Time Systems Symposium\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/REAL.1993.393515\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"1993 Proceedings Real-Time Systems Symposium","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/REAL.1993.393515","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 28

摘要

提出了一种解决实时事务系统可串行化问题的新方法。结果表明，被认为是实时系统特征的某些特性本身就足以保证系统以串行方式运行，而无需采取任何额外的努力。这些系统可以说是“免费”地实现了序列化。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

How to get serializability for real-time transactions without having to pay for it

A new approach to the problem of achieving serializability for real-time transaction systems is presented. It is shown that certain properties that have been claimed to be characteristic of real-time systems are sufficient in themselves to guarantee that the system will run serializably, without any extra effort having to be taken. These systems can be said to achieve serializability "for free.".<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

1993 Proceedings Real-Time Systems Symposium

自引率

0.00%

发文量