Program Transformations for Asynchronous and Batched Query Submission

被引:12
|
作者
Ramachandra, Karthik [1 ]
Chavan, Mahendra [2 ]
Guravannavar, Ravindra [3 ]
Sudarshan, S. [1 ]
机构
[1] Indian Inst Technol, Dept Comp Sci & Engn, Bombay 400076, Maharashtra, India
[2] SAP, Pune, Maharashtra, India
[3] IIT Hyderabad, Dept Comp Sci & Engn, Hyderabad, Andhra Pradesh, India
关键词
Query optimization; program analysis; program transformation; PREFETCH;
D O I
10.1109/TKDE.2014.2334302
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The performance of database/web-service backed applications can be significantly improved by asynchronous submission of queries/requests well ahead of the point where the results are needed, so that results are likely to have been fetched already when they are actually needed. However, manually writing applications to exploit asynchronous query submission is tedious and error-prone. In this paper, we address the issue of automatically transforming a program written assuming synchronous query submission, to one that exploits asynchronous query submission. Our program transformation method is based on data flow analysis and is framed as a set of transformation examples. Our examples can handle query executions within loops, unlike some of the earlier work in this area. We also present a novel approach that, at runtime, can combine multiple asynchronous requests into batches, thereby achieving the benefits of batching in addition to that of asynchronous submission. We have built a tool that implements our transformation techniques on Java programs that use JDBC calls; our tool can be extended to handle Web service calls. We have carried out a detailed experimental study on several real-life applications, which shows the effectiveness of the proposed rewrite techniques, both in terms of their applicability and the performance gains achieved.
引用
收藏
页码:531 / 544
页数:14
相关论文
共 50 条
  • [41] Implementing typeful program transformations
    Chen, CY
    Shi, R
    Xi, HW
    FUNDAMENTA INFORMATICAE, 2006, 69 (1-2) : 103 - 121
  • [42] Future directions in program transformations
    Paige, R
    ACM SIGPLAN NOTICES, 1997, 32 (01) : 94 - 98
  • [43] A LANGUAGE FOR SPECIFYING PROGRAM TRANSFORMATIONS
    HILDUM, D
    COHEN, J
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (06) : 630 - 638
  • [44] APL PROGRAM FOR BILINEAR TRANSFORMATIONS
    MOORE, KA
    IEEE TRANSACTIONS ON ACOUSTICS SPEECH AND SIGNAL PROCESSING, 1974, AS22 (03): : 225 - 226
  • [45] PROGRAM TRANSFORMATIONS FOR CONFIGURING COMPONENTS
    MASON, IA
    TALCOTT, CL
    SIGPLAN NOTICES, 1991, 26 (09): : 297 - 308
  • [46] The New ACR CT Accreditation Program: Phantom Submission Process
    Pfeiffer, D.
    MEDICAL PHYSICS, 2011, 38 (06)
  • [47] EQUIVALENCY AND TRANSFORMATIONS OF PROGRAM SCHEMES
    YANOV, YI
    DOKLADY AKADEMII NAUK SSSR, 1957, 113 (01): : 39 - 42
  • [48] Specification method of program transformations
    Liu, Zongtian
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 35 (01): : 87 - 90
  • [49] Automating Mathematical Program Transformations
    Agarwal, Ashish
    Bhat, Sooraj
    Gray, Alexander
    Grossmann, Ignacio E.
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2010, 5937 : 134 - +
  • [50] Mathematical foundations for program transformations
    Ben Ayed, R
    Desharnais, J
    Frappier, M
    Mili, A
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 1999, 1559 : 319 - 321