用于在迁移遗留系统时强制执行线程内一致锁的静态分析

2010 IEEE International Conference on Software Maintenance Pub Date : 2010-09-12 DOI:10.1109/ICSM.2010.5609727

M. Ceccato, P. Tonella

{"title":"用于在迁移遗留系统时强制执行线程内一致锁的静态分析","authors":"M. Ceccato, P. Tonella","doi":"10.1109/ICSM.2010.5609727","DOIUrl":null,"url":null,"abstract":"Often, legacy data management systems provide no native support to transactions. Programmers protect data from concurrent access by adopting commonly agreed patterns, relying on low level concurrency primitives, such as semaphores. In such cases, consistent data access is granted only if all code components are compliant with the adopted mutual exclusion patterns.","PeriodicalId":101801,"journal":{"name":"2010 IEEE International Conference on Software Maintenance","volume":"48 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Static analysis for enforcing intra-thread consistent locks in the migration of a legacy system\",\"authors\":\"M. Ceccato, P. Tonella\",\"doi\":\"10.1109/ICSM.2010.5609727\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Often, legacy data management systems provide no native support to transactions. Programmers protect data from concurrent access by adopting commonly agreed patterns, relying on low level concurrency primitives, such as semaphores. In such cases, consistent data access is granted only if all code components are compliant with the adopted mutual exclusion patterns.\",\"PeriodicalId\":101801,\"journal\":{\"name\":\"2010 IEEE International Conference on Software Maintenance\",\"volume\":\"48 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-09-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 IEEE International Conference on Software Maintenance\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICSM.2010.5609727\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 IEEE International Conference on Software Maintenance","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSM.2010.5609727","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

通常，遗留数据管理系统不提供对事务的本地支持。程序员通过采用普遍同意的模式来保护数据不受并发访问，这种模式依赖于低级并发原语，比如信号量。在这种情况下，只有当所有代码组件都符合所采用的互斥模式时，才能授予一致的数据访问权。

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

查看原文本刊更多论文

Static analysis for enforcing intra-thread consistent locks in the migration of a legacy system

Often, legacy data management systems provide no native support to transactions. Programmers protect data from concurrent access by adopting commonly agreed patterns, relying on low level concurrency primitives, such as semaphores. In such cases, consistent data access is granted only if all code components are compliant with the adopted mutual exclusion patterns.

求助全文

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

来源期刊

2010 IEEE International Conference on Software Maintenance

自引率

0.00%

发文量