Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
Wed 22 Jul 2020 16:58 - 17:05 at Zoom - TOOL DEMO Chair(s): Owolabi Legunsen

Lock is a frequently-used synchronization mechanism to enforce exclusive access to a shared resource. However, lock-based concurrent programs are susceptible to lock contention, which leads to low performance and poor scalability. Furthermore, inappropriate granularity of a lock makes lock contention even worse. Compared to coarse-grained lock, fine-grained lock can mitigate lock contention but difficult to use. Converting coarse-grained lock into fine-grained lock manually is not only error-prone and tedious, but also requires a lot of expertise. In this paper, we propose to leverage program analysis techniques and pushdown automaton to automatically covert coarse-grained locks into fine-grained locks to reduce lock contention. We developed a prototype \textit{FineLock} and evaluates it on 5 projects. The evaluation results demonstrate \textit{FineLock} can refactor 1,546 locks in an average of 27.6 seconds, including converting 129 coarse-grained locks into fine-grained locks and 1,417 coarse-grained locks into read/write locks. By automatically providing potential refactoring recommendations, our tool saves a lot of efforts for developers.

Wed 22 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

16:30 - 17:33: Tool Demonstration - TOOL DEMO at Zoom
Chair(s): Owolabi LegunsenCornell University

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

issta-2020-tool-demonstration16:30 - 16:37
Ezio BartocciTechnische Universit├Ąt Wien, Niveditha ManjunathVienna University of Technology, Leonardo MarianiUniversity of Milano Bicocca, Cristinel MateisAIT Austrian Institute of Technology GmbH, Dejan NickovicAustrian Institute of Technology, Fabrizio PastoreUniversity of Luxembourg
issta-2020-tool-demonstration16:37 - 16:44
Chao GuoNanjing University, Tieke HeNanjing University, Wei YuanNanjing University, Yue GuoNanjing University, Rui HaoNanjing University, China
issta-2020-tool-demonstration16:44 - 16:51
Wentian YanPeking University, Jianbo GaoPeking University, Zhenhao WuPeking University and Boya Blockchain Inc, Yue LiPeking University, Zhi GuanPeking University, Qingshan LiPeking University, Zhong Chen
issta-2020-tool-demonstration16:51 - 16:58
Gustavo GriecoTrail of Bits, Will SongTrail of Bits, Artur CyganTrail of Bits, Josselin FeistTrail of Bits, Alex GroceNorthern Arizona University
issta-2020-tool-demonstration16:58 - 17:05
Yang ZhangHebei University of Science and Technology, Shuai ShaoHebei University of Science and Technology, Juan ZhaiRutgers University, Shiqing MaRutgers University, USA
issta-2020-tool-demonstration17:05 - 17:12
Ali GhanbariThe University of Texas at Dallas
issta-2020-tool-demonstration17:12 - 17:19
George ThompsonNorth Carolina A&T State University, Allison SullivanThe University of Texas at Arlington
issta-2020-tool-demonstration17:19 - 17:26
Zichen GuoNanjing University, Jiawei LiuNanjing University, Tieke HeNanjing University, Zhuoyang LiNanjing University, Peitian ZhangzhuNanjing University
issta-2020-tool-demonstration17:26 - 17:33
Ruixiang QianState Key Laboratory for Novel Software Technology, Nanjing University, Yuan ZhaoState Key Laboratory for Novel Software Technology, Nanjing University, Duo MenState Key Laboratory for Novel Software Technology, Nanjing University, Yang FengNanjing University, Qingkai ShiThe Hong Kong University of Science and Technology, Yong HuangState Key Laboratory for Novel Software Technology, Nanjing University, Zhenyu ChenNanjing University