Page 63 - 《软件学报》2021年第12期

张杨 等:基于下推自动机的细粒度锁自动重构方法 3727

[30] Halpert RL, Pickett CJF, Verbrugge C. Component-Based lock allocation. In: Proc. of the 16th Int’l Conf. on Parallel Architecture
and Compilation Techniques (PACT 2007). IEEE, 2007. 353−364. [doi: 10.1109/PACT.2007.23]
[31] Onodera T, Kawachiya K, Koseki A. Lock reservation for Java reconsidered. In: Odersky M, ed. Proc. of the European Conf. on
Object-Oriented Programming. Springer-Verlag, 2004. 559−583. [doi: 10.1007/978-3-540-24851-4\_26]
[32] Gudka K, Harris T, Eisenbach S. Lock inference in the presence of large libraries. In: Noble J, ed. Proc. of the European Conf. on
Object-Oriented Programming. Springer-Verlag, 2012. 308−332. [doi: 10.1007/978-3-642-31057-7\_15]
[33] Hofer P, Gnedt D, Schörgenhumer A, et al. Efficient tracing and versatile analysis of lock contention in Java applications on the
virtual machine level. In: Avritzer A, ed. Proc. of the 7th ACM/SPEC on Int’l Conf. on Performance Engineering. ACM, 2016.
263−274. [doi: 10.1145/2851553.2851559]
[34] Tallent NR, Mellor-Crummey JM, Porterfield A. Analyzing lock contention in multithreaded applications. In: Govindarajan R, ed.
Proc. of the 15th ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming. ACM, 2010. 269−280. [doi: 10.1145/
1693453.1693489]
[35] Inoue H, Nakatani T. How a Java VM can get more from a hardware performance monitor. In: Arora S, ed. Proc. of the 24th ACM
SIGPLAN Conf. on Object Oriented Programming Systems Languages and Applications. ACM, 2009. 137−154. [doi: 10.1145/
1640089.1640100]
[36] Dig D, Marrero J, Ernst MD. Refactoring sequential Java code for concurrency via concurrent libraries. In: Proc. of the 2009 IEEE
31st Int’l Conf. on Software Engineering. IEEE, 2009. 397−407. [doi: 10.1109/ICSE.2009.5070539]
[37] Dig D, Tarce M, Radoi C, et al. Relooper: Refactoring for loop parallelism in Java. In: Arora S, ed. Proc. of the 24th ACM
SIGPLAN Conf. Companion on Object Oriented Programming Systems Languages and Applications. ACM, 2009. 793−794. [doi:
10.1145/1639950.1640018]
[38] Wloka J, Sridharan M, Tip F. Refactoring for reentrancy. In: Van Vliet H, ed. Proc. of the 7th Joint Meeting of the European
Software Engineering Conf. and the ACM SIGSOFT Symp. on the Foundations of Software Engineering. ACM, 2009. 173−182.
[doi: 10.1145/1595696.1595723]
[39] Brown C, Hammond K, Danelutto M, et al. Paraphrasing: Generating parallel programs using refactoring. In: Beckert B, ed. Proc.
of the Int’l Symp. on Formal Methods for Components and Objects. Springer-Verlag, 2011. 237−256. [doi: 10.1007/978-3-642-
35887-6\_13]
[40] McCloskey B, Zhou F, Gay D, et al. Autolocker: Synchronization inference for atomic sections. In: Morrisett JG, ed. Proc. of the
Conf. Record of the 33rd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages. ACM, 2006. 346−358. [doi:
10.1145/1111037.1111068]
[41] Greenhouse A, Halloran TJ, Scherlis WL. Observations on the assured evolution of concurrent Java programs. Science of Computer
Programming, 2005,58(3):384−411. [doi: 10.1016/j.scico.2005.03.002]

附中文参考文献:
[18] 邵帅.面向细粒度读写锁的自动重构方法研究[硕士学位论文].石家庄:河北科技大学,2020.

张杨(1980－),男,博士,副教授,CCF 高级 张冬雯(1964－),女,博士,教授,CCF 专业
会员,主要研究领域为软件重构,并发软件 会员,主要研究领域为软件重构,并发软件
分析. 分析.

邵帅(1996－),男,硕士生,主要研究领域为
并发软件分析,智能化软件.