arrow
返回

Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation

delete2019-01-01
delete15
delete
OA
AI
张杨 封面图
张杨 (Yang Zhang) *
S
Shuai Shao
H
Huan Liu
J
Jing Qiu *
D
Dongwen Zhang
G
Guanghua Zhang
DOI:10.1109/ACCESS.2019.2919203delete
delete原文链接
delete分享
delete收藏
查看原文
摘要

摘要

En 中文
Developers of parallel programming are faced with choices of using various Java locks. Choosing the best lock is a challenging task because a multithreaded application implemented using different locks may end up with uncertain performance. There is a strong need for automated tool support that helps Java programmers choose the best lock for each specific application. This paper presents an automated transformation approach to convert an implementation using a synchronized lock to a ReentrantLock or a ReentrantReadWriteLock at the bytecode level. For the ReentrantLock, our approach runs analysis for global monitors using the visitor pattern in the Joeq compiler. For the ReentrantReadWriteLock, a read or write lock is chosen after a side-effect analysis. Then, the proposed system validates the consistency of the analysis results to ensure a correct sequence of lock usage. Finally, lock operations and related thread communication operations are transformed into a ReentrantLock or a ReentrantReadWriteLock using a bytecode transformation framework Javassist. We validate our approach on several benchmarks including RBTree, PC, SPECjbb2005, and HSQLDB. The experimental results show that the proposed automated transformation approach can transform these benchmarks successfully in a timely fashion.
Keyword:
Software refactoring
synchronization
consistency
locks
program analysis
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

IEEE Access 封面图
IEEE Access
IF:
3.6
论文数:
9.8W
被引数:
29.4W

机构

G
Guangzhou University
学者数:
1.8W
论文数: 1.3W
被引数: 1.8W
引用论文

引用论文

err分享
err收藏
Automated Behavioral Testing of Refactoring Engines
err2013-02-01
err83
PREAI
errSoares, Gustavo; Gheyi, Rohit; Massoni, Tiago
err分享
err收藏
err分享
err收藏
Is there a sex gap in outcomes of comparable patients supported with left ventricular assist devices?
err2022-06-30
err0
errOAAI
errTong Li; Silvia Mariani; Karl Bounader; Dietmar Boethig; Alexandra Schöde; Katharina Homann; Jasmin S. Hanke; L. Christian Napp; Ali Saad Merzah; Guenes Dogan; Axel Haverich; Jan D. Schmitto
err分享
err收藏
err分享
err收藏
A scalable lock-free stack algorithm
err2010-01-01
err47
errOAAI
errHendler, Danny; Shavit, Nir; Yerushalmi, Lena
err分享
err收藏
学者 查看更多内容