![](/images/graphics-bg.png)
Concurrency Bug Avoiding Based on Optimized Software Transactional Memory
المؤلفون المشاركون
المصدر
العدد
المجلد 2019، العدد 2019 (31 ديسمبر/كانون الأول 2019)، ص ص. 1-19، 19ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2019-02-03
دولة النشر
مصر
عدد الصفحات
19
التخصصات الرئيسية
الملخص EN
Software transactional memory is an effective mechanism to avoid concurrency bugs in multithreaded programs.
However, two problems hinder the adoption of such traditional systems in the wild world: high human cost for equipping programs with transaction functionality and low compatibility with I/O calls and conditional variables.
This paper presents Convoider to solve these problems.
By intercepting interthread operations and designating code among them as transactions in each thread, Convoider automatically transactionalizes target programs without any source code modification and recompiling.
By saving/restoring stack frames and CPU registers on beginning/aborting a transaction, Convoider makes execution flow revocable.
By turning threads into processes, leveraging virtual memory protection and customizing memory allocation/deallocation, Convoider makes memory manipulations revocable.
By maintaining virtual file systems and redirecting I/O operations onto them, Convoider makes I/O effects revocable.
By converting lock/unlock operations to no-ops, customizing signal/wait operations on condition variables, and committing memory changes transactionally, Convoider makes deadlocks, data races, and atomicity violations impossible.
Experimental results show that Convoider succeeds in transparently transactionalizing twelve real-world applications with averagely incurring only 28% runtime overhead and perfectly avoid 94% of thirty-one concurrency bugs used in our experiments.
This study can help efficiently transactionalize legacy multithreaded applications and effectively improve the runtime reliability of them.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Yu, Z.& Zuo, Y.& Xiong, W. C.. 2019. Concurrency Bug Avoiding Based on Optimized Software Transactional Memory. Scientific Programming،Vol. 2019, no. 2019, pp.1-19.
https://search.emarefa.net/detail/BIM-1210772
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Yu, Z.…[et al.]. Concurrency Bug Avoiding Based on Optimized Software Transactional Memory. Scientific Programming No. 2019 (2019), pp.1-19.
https://search.emarefa.net/detail/BIM-1210772
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Yu, Z.& Zuo, Y.& Xiong, W. C.. Concurrency Bug Avoiding Based on Optimized Software Transactional Memory. Scientific Programming. 2019. Vol. 2019, no. 2019, pp.1-19.
https://search.emarefa.net/detail/BIM-1210772
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1210772
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)