-
Control of bow shock induced three-dimensional separation using bleed through holes
Authors:
Hemanth Chandravamsi,
Sourabh Bhardwaj,
K. Ramachandra,
R. Sriram
Abstract:
The unsteady three-dimensional separated flow on a wall induced by a square protrusion (approximately twice the local boundary layer thickness in width and height), and its control by means of passive suction through holes, is investigated using wind tunnel experiments at Mach $2.87$. The baseline flow without any control was characterized and compared against the cases with bleed. A bow-shaped se…
▽ More
The unsteady three-dimensional separated flow on a wall induced by a square protrusion (approximately twice the local boundary layer thickness in width and height), and its control by means of passive suction through holes, is investigated using wind tunnel experiments at Mach $2.87$. The baseline flow without any control was characterized and compared against the cases with bleed. A bow-shaped separation line on the wall with a mid-span separation length of $5.57δ$ from protrusion face was traced from oil-flow visualization. The averaged pressure distribution surveyed using static pressure ports placed on the wall has mapped plateau, high-pressure, and a low-pressure region in the separated flow, distinctive to three-dimensional interactions. Ten control configurations were tested with suction holes placed along mid-span in the different pressure zones. Significant spanwise `Mean Reduction in Separation Length' of up to $0.93δ$ was observed from oil-flow visualization. A comparison of observations from various control configurations suggested that bleeding the flow from the high-pressure region could in general delay the separation and reduce the bubble size. Further, time-resolved schlieren visualizations have confirmed reduction in both `mid-span separation length' and `shock-intermittent-region' with the introduction of suction in high-pressure region. Fourier and Proper Orthogonal Decomposition analysis done on the schlieren data has confirmed the presence of low-frequency separation-shock oscillations at Strouhal Numbers of order $10^{-2}$, both with and without control. Furthermore, the amplitudes of separation-shock oscillations in the spectrum were reduced with the introduction of suction simultaneously from two holes placed in high and low-pressure regions.
△ Less
Submitted 22 November, 2022;
originally announced November 2022.
-
Probability bounds for $n$ random events under $(n-1)$-wise independence
Authors:
Karthik Natarajan,
Arjun Kodagehalli Ramachandra,
Colin Tan
Abstract:
A collection of $n$ random events is said to be $(n - 1)$-wise independent if any $n - 1$ events among them are mutually independent. We characterise all probability measures with respect to which $n$ random events are $(n - 1)$-wise independent. We provide sharp upper and lower bounds on the probability that at least $k$ out of $n$ events with given marginal probabilities occur over these probabi…
▽ More
A collection of $n$ random events is said to be $(n - 1)$-wise independent if any $n - 1$ events among them are mutually independent. We characterise all probability measures with respect to which $n$ random events are $(n - 1)$-wise independent. We provide sharp upper and lower bounds on the probability that at least $k$ out of $n$ events with given marginal probabilities occur over these probability measures. The bounds are shown to be computable in polynomial time.
△ Less
Submitted 3 November, 2022;
originally announced November 2022.
-
Optimizing Cursor Loops in Relational Databases
Authors:
Surabhi Gupta,
Sanket Purandare,
Karthik Ramachandra
Abstract:
Loops that iterate over SQL query results are quite common, both in application programs that run outside the DBMS, as well as User Defined Functions (UDFs) and stored procedures that run within the DBMS. It can be argued that set-oriented operations are more efficient and should be preferred over iteration; but from real-world use cases, it is clear that loops over query results are inevitable in…
▽ More
Loops that iterate over SQL query results are quite common, both in application programs that run outside the DBMS, as well as User Defined Functions (UDFs) and stored procedures that run within the DBMS. It can be argued that set-oriented operations are more efficient and should be preferred over iteration; but from real-world use cases, it is clear that loops over query results are inevitable in many situations, and are preferred by many users. Such loops, known as cursor loops, come with huge trade-offs and overheads w.r.t. performance, resource consumption and concurrency.
We present Aggify, a technique for optimizing loops over query results that overcomes all these overheads. It achieves this by automatically generating custom aggregates that are equivalent in semantics to the loop. Thereby, Aggify completely eliminates the loop by rewriting the query to use this generated aggregate. This technique has several advantages such as: (i) pipelining of entire cursor loop operations instead of materialization, (ii) pushing down loop computation from the application layer into the DBMS, closer to the data, (iii) leveraging existing work on optimization of aggregate functions, resulting in efficient query plans. We describe the technique underlying Aggify and present our experimental evaluation over benchmarks as well as real workloads that demonstrate the significant benefits of this technique.
△ Less
Submitted 5 May, 2020; v1 submitted 11 April, 2020;
originally announced April 2020.
-
Optimization of Imperative Programs in a Relational Database
Authors:
Karthik Ramachandra,
Kwanghyun Park,
K. Venkatesh Emani,
Alan Halverson,
Cesar Galindo-Legaria,
Conor Cunningham
Abstract:
For decades, RDBMSs have supported declarative SQL as well as imperative functions and procedures as ways for users to express data processing tasks. While the evaluation of declarative SQL has received a lot of attention resulting in highly sophisticated techniques, the evaluation of imperative programs has remained naive and highly inefficient. Imperative programs offer several benefits over SQL…
▽ More
For decades, RDBMSs have supported declarative SQL as well as imperative functions and procedures as ways for users to express data processing tasks. While the evaluation of declarative SQL has received a lot of attention resulting in highly sophisticated techniques, the evaluation of imperative programs has remained naive and highly inefficient. Imperative programs offer several benefits over SQL and hence are often preferred and widely used. But unfortunately, their abysmal performance discourages, and even prohibits their use in many situations. We address this important problem that has hitherto received little attention.
We present Froid, an extensible framework for optimizing imperative programs in relational databases. Froid's novel approach automatically transforms entire User Defined Functions (UDFs) into relational algebraic expressions, and embeds them into the calling SQL query. This form is now amenable to cost-based optimization and results in efficient, set-oriented, parallel plans as opposed to inefficient, iterative, serial execution of UDFs. Froid's approach additionally brings the benefits of many compiler optimizations to UDFs with no additional implementation effort. We describe the design of Froid and present our experimental evaluation that demonstrates performance improvements of up to multiple orders of magnitude on real workloads.
△ Less
Submitted 20 August, 2019; v1 submitted 1 December, 2017;
originally announced December 2017.
-
Program Transformations for Asynchronous and Batched Query Submission
Authors:
Karthik Ramachandra,
Mahendra Chavan,
Ravindra Guravannavar,
S Sudarshan
Abstract:
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…
▽ More
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 rules. Our rules 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.
△ Less
Submitted 24 February, 2014;
originally announced February 2014.
-
Time-delay, energy-continuum, and systematics of particles
Authors:
S. R. Jain,
R. Ramanna,
K. Ramachandra
Abstract:
Finding systematics in the mass-lifetime data for all the hadrons has been an outstanding problem. In this work, we show that the product of mass and lifetime for unstable particles is very well-approximated by \hbar 2^n/n where n is an integer specific for a particle. In doing so, we have employed a relation between time-delay and resonances. The energy-continuum has been treated in a way to ta…
▽ More
Finding systematics in the mass-lifetime data for all the hadrons has been an outstanding problem. In this work, we show that the product of mass and lifetime for unstable particles is very well-approximated by \hbar 2^n/n where n is an integer specific for a particle. In doing so, we have employed a relation between time-delay and resonances. The energy-continuum has been treated in a way to take advantage of Cantor's mathematical work on continuum. Thus, even though the resonances are designated by complex energy variables where ordering is not possible, in terms of stability, the index n labels these resonances; larger the n, more stable a resonance is.
△ Less
Submitted 11 November, 2003;
originally announced November 2003.