DocumentCode :
2442663
Title :
Static detection of resource contention problems in server-side scripts
Author :
Zheng, Yunhui ; Zhang, Xiangyu
Author_Institution :
Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
fYear :
2012
fDate :
2-9 June 2012
Firstpage :
584
Lastpage :
594
Abstract :
With modern multi-core architectures, web applications are usually configured to serve multiple requests simultaneously by spawning multiple instances. These instances may access the same external resources such as database tables and files. Such contentions may become severe during peak time, leading to violations of atomic business logic. In this paper, we propose a novel static analysis that detects atomicity violations of external operations for server side scripts. The analysis differs from traditional atomicity violation detection techniques by focusing on external resources instead of shared memory. It consists of three components. The first one is an interprocedural and path-sensitive resource identity analysis that determines whether multiple operations access the same external resource, which is critical to identifying contentions. The second component infers pairs of external operations that should be executed atomically. Finally, violations are detected by reasoning about serializability of interleaved atomic pairs. Experimental results show that the analysis is highly effective in detecting atomicity violations in real-world web apps.
Keywords :
Internet; inference mechanisms; multiprocessing systems; program diagnostics; Web applications; atomic business logic violation; atomicity violation detection techniques; external resources; interleaved atomic pair serializability reasoning; interprocedural resource identity analysis; multicore architectures; path-sensitive resource identity analysis; resource contention problems; server-side script external operation; static analysis; static detection; Abstracts; Cognition; Computational modeling; Context; Databases; Encoding; Servers; constraint solving; php; resource contention; static analysis;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering (ICSE), 2012 34th International Conference on
Conference_Location :
Zurich
ISSN :
0270-5257
Print_ISBN :
978-1-4673-1066-6
Electronic_ISBN :
0270-5257
Type :
conf
DOI :
10.1109/ICSE.2012.6227158
Filename :
6227158
Link To Document :
بازگشت