Multithreaded Test Synthesis for Deadlock Detection

Designing and implementing thread-safe multithreaded libraries can be a daunting task as developers of these libraries need to ensure that their implementations are free from concurrency bugs, including deadlocks. The usual practice involves employing software testing and/or dynamic analysis to detect. deadlocks. Their effectiveness is dependent on well-designed multithreaded test cases. Unsurprisingly, developing multithreaded tests is significantly harder than developing sequential tests for obvious reasons. In this paper, we address the problem of automatically synthesizing multithreaded tests that can induce deadlocks. The key insight to our approach is that a subset of the properties observed when a deadlock manifests in a concurrent execution can also be observed in a single threaded execution. We design a novel, automatic, scalable and directed approach that identifies these properties and synthesizes a deadlock revealing multithreaded test. The input to our approach is the library implementation under consideration and the output is a set of deadlock revealing multithreaded tests. We have implemented our approach as part of a tool, named OMEN1. OMEN is able to synthesize multithreaded tests on many multithreaded Java libraries. Applying a dynamic deadlock detector on the execution of the synthesized tests results in the detection of a number of deadlocks, including 35 real deadlocks in classes documented as thread-safe. Moreover, our experimental results show that dynamic analysis on multithreaded tests that are either synthesized randomly or developed by third-party programmers are ineffective in detecting the deadlocks.

Estimates of site response based on spectral ratio between horizontal and vertical components of ambient vibrations in the source zone of 2001 Bhuj earthquake

We investigated the site response characteristics of Kachchh rift basin over the meizoseismal area of the 2001, Mw 7.6, Bhuj (NW India) earthquake using the spectral ratio of the horizontal and vertical components of ambient vibrations. Using the available knowledge on the regional geology of Kachchh and well documented ground responses from the earthquake, we evaluated the H/V curves pattern across sediment filled valleys and uplifted areas generally characterized by weathered sandstones. Although our HIV curves showed a largely fuzzy nature, we found that the hierarchical clustering method was useful for comparing large numbers of response curves and identifying the areas with similar responses. Broad and plateau shaped peaks of a cluster of curves within the valley region suggests the possibility of basin effects within valley. Fundamental resonance frequencies (f(0)) are found in the narrow range of 0.1-2.3 Hz and their spatial distribution demarcated the uplifted regions from the valleys. In contrary, low HIV peak amplitudes (A(0) = 2-4) were observed on the uplifted areas and varying values (2-9) were found within valleys. Compared to the amplification factors, the liquefaction indices (kg) were able to effectively indicate the areas which experienced severe liquefaction. The amplification ranges obtained in the current study were found to be comparable to those obtained from earthquake data for a limited number of seismic stations located on uplifted areas; however the values on the valley region may not reflect their true amplification potential due to basin effects. Our study highlights the practical usefulness as well as limitations of the HIV method to study complex geological settings as Kachchh. (C) 2014 Elsevier Ltd. All rights reserved.

High Temperatures Result in Smaller Nurseries which Lower Reproduction of Pollinators and Parasites in a Brood Site Pollination Mutualism

In a nursery pollination mutualism, we asked whether environmental factors affected reproduction of mutualistic pollinators, non-mutualistic parasites and seed production via seasonal changes in plant traits such as inflorescence size and within-tree reproductive phenology. We examined seasonal variation in reproduction in Ficus racemosa community members that utilise enclosed inflorescences called syconia as nurseries. Temperature, relative humidity and rainfall defined four seasons: winter; hot days, cold nights; summer and wet seasons. Syconium volumes were highest in winter and lowest in summer, and affected syconium contents positively across all seasons. Greater transpiration from the nurseries was possibly responsible for smaller syconia in summer. The 3-5 degrees C increase in mean temperatures between the cooler seasons and summer reduced fig wasp reproduction and increased seed production nearly two-fold. Yet, seed and pollinator progeny production were never negatively related in any season confirming the mutualistic fig-pollinator association across seasons. Non-pollinator parasites affected seed production negatively in some seasons, but had a surprisingly positive relationship with pollinators in most seasons. While within-tree reproductive phenology did not vary across seasons, its effect on syconium inhabitants varied with season. In all seasons, within-tree reproductive asynchrony affected parasite reproduction negatively, whereas it had a positive effect on pollinator reproduction in winter and a negative effect in summer. Seasonally variable syconium volumes probably caused the differential effect of within-tree reproductive phenology on pollinator reproduction. Within-tree reproductive asynchrony itself was positively affected by intra-tree variation in syconium contents and volume, creating a unique feedback loop which varied across seasons. Therefore, nursery size affected fig wasp reproduction, seed production and within-tree reproductive phenology via the feedback cycle in this system. Climatic factors affecting plant reproductive traits cause biotic relationships between plants, mutualists and parasites to vary seasonally and must be accorded greater attention, especially in the context of climate change.

Maximum likelihood analysis of multi-stress accelerated life test data of series systems with competing log-normal causes of failure

This article presents frequentist inference of accelerated life test data of series systems with independent log-normal component lifetimes. The means of the component log-lifetimes are assumed to depend on the stress variables through a linear stress translation function that can accommodate the standard stress translation functions in the literature. An expectation-maximization algorithm is developed to obtain the maximum likelihood estimates of model parameters. The maximum likelihood estimates are then further refined by bootstrap, which is also used to infer about the component and system reliability metrics at usage stresses. The developed methodology is illustrated by analyzing a real as well as a simulated dataset. A simulation study is also carried out to judge the effectiveness of the bootstrap. It is found that in this model, application of bootstrap results in significant improvement over the simple maximum likelihood estimates.

First principles study of structural stability and site preference in Co-3 (W,X)

Since the discovery 1] of gamma' precipitate (L1(2) - Co-3 (Al, W)) in the Co-Al-W ternary system, there has been an increased interest in Co-based superalloys. Since these alloys have two phase microstructures (gamma + gamma') similar to Ni-based superalloys 2], they are viable candidates in high temperature applications, particularly in land-based turbines. The role of alloying on stability of the gamma' phase has been an active area of research. In this study, electronic structure calculations were done to probe the effect of alloying in Co3W with L1(2) structure. Compositions of type Co-3(W, X), (where X/Y = Mn, Fe, Ni, Pt, Cr, Al, Si, V, W, Ta, Ti, Nb, Hf, Zr and Mo) were studied. Effect of alloying on equilibrium lattice parameters and ground state energies was used to calculate Vegard's coefficients and site preference related data. The effect of alloying on the stability of the L1(2) structure vis a vis other geometrically close packed ordered structures was also studied for a range of Co3X compounds. Results suggest that the penchant of element for the W sublattice can be predicted by comparing heats of formation of Co3X in different structures.

Shear strength characteristics of mechanically biologically treated municipal solid waste (MBT-MSW) from Bangalore

Strength and stiffness properties of municipal solid waste (MSW) are important in landfill design. This paper presents the results of comprehensive testing of shear strength properties of mechanically biologically treated municipal solid waste (MBT-MSW) in laboratory. Changes in shear strength of MSW as a function of unit weight and particle size were investigated by performing laboratory studies on the MSW collected from Mavallipura landfill site in Bangalore. Direct shear tests, small scale and large scale consolidated undrained and drained triaxial tests were conducted on reconstituted compost reject MSW samples. The triaxial test results showed that the MSW samples exhibited a strain-hardening behaviour and the strength of MSW increased with increase in unit weight. Consolidated drained tests showed that the mobilized shear strength of the MSW increased by 40% for a unit weight increase from 7.3 kN/m(3) to 10.3 kN/m(3) at 20% strain levels. The mobilized cohesion and friction angle ranged from 5 to 9 kPa and 8 degrees to 33 degrees corresponding to a strain level of 20%. The consolidated undrained tests exhibited reduced friction angle values compared to the consolidated drained tests. The friction angle increased with increase in the unit weight from 8 degrees to 55 degrees in the consolidated undrained tests. Minor variations were found in the cohesion values. Relationships for strength and stiffness of MSW in terms of strength and stiffness ratios are developed and discussed. The stiffness ratio and the strength ratio of MSW were found to be 10 and 0.43. (c) 2015 Elsevier Ltd. All rights reserved.

Nest site characterization of sympatric hornbills in a tropical dry forest

Hornbills, among the largest and most threatened tropical frugivores, provide important seed dispersal services. Hornbill nest site characteristics are known primarily from wet tropical forests. Nests of the Indian grey hornbill Ocyceros birostris and Oriental pied hornbill Anthracoceros albirostris were characterized in a tropical dry forest. Despite A. albirostris being twice the size of O. birostris, few of the nest cavity attributes were different. A. albirostris nests were surrounded by higher proportion of mixed forest and lower sal forest compared to O. birostris. In this landscape, the larger A. albirostris may prefer to nest in sites with more food plants compared to the smaller O. birostris.

Use of permeable reactive barrier to mitigate groundwater nitrate contamination from on-site sanitation

Nearly 50% of India's population depends on variants of pit-toilet systems for human waste disposal. Nitrate contamination of groundwater by pit-toilet leachate is a major environmental concern in the country as it sources a major proportion (50-80%) of potable water from aquifers. Therefore, minimizing nitrate contamination of groundwater due to leachate infiltration from pit-toilet systems is essential. Batch and column experiments demonstrated the capability of bentonite-enhanced sand (BES) specimens to reduce nitrate concentrations in synthetic solutions (initial NO3-N concentration = 22.7 mg/L, C/N = 3) by about 85-90% in 10 to 24 hour by a heterotrophic denitrification process. Based on the laboratory results, it is recommended that use of a BES-permeable reactive barrier layer at the base of pit-toilets will facilitate heterotrophic denitrification and mitigate nitrate contamination of the underlying aquifer.

Efficient Site-Specific Incorporation of Thioamides into Peptides on a Solid Support

Designing bioactive peptides containing thioamide functionality to modulate their pharmacological properties has been thwarted so far because of various synthetic challenges. The fast, efficient, and inexpensive synthesis and incorporation of a wide range of thionated amino acids into a growing peptide chain on a solid support is reported using standard Fmoc-based chemistry. The commonly employed methodology is comprehensively investigated and optimized with significant improvements regarding the quantity of reagents and reaction conditions. The utility of the protocol is further demonstrated in the synthesis of dithionated linear and monothionated cyclic peptides, which has been a daunting task.

Seismic hazard maps and spectrum for Patna considering region-specific seismotectonic parameters

The objective of this paper was to develop the seismic hazard maps of Patna district considering the region-specific maximum magnitude and ground motion prediction equation (GMPEs) by worst-case deterministic and classical probabilistic approaches. Patna, located near Himalayan active seismic region has been subjected to destructive earthquakes such as 1803 and 1934 Bihar-Nepal earthquakes. Based on the past seismicity and earthquake damage distribution, linear sources and seismic events have been considered at radius of about 500 km around Patna district center. Maximum magnitude (M (max)) has been estimated based on the conventional approaches such as maximum observed magnitude (M (max) (obs) ) and/or increment of 0.5, Kijko method and regional rupture characteristics. Maximum of these three is taken as maximum probable magnitude for each source. Twenty-seven ground motion prediction equations (GMPEs) are found applicable for Patna region. Of these, suitable region-specific GMPEs are selected by performing the `efficacy test,' which makes use of log-likelihood. Maximum magnitude and selected GMPEs are used to estimate PGA and spectral acceleration at 0.2 and 1 s and mapped for worst-case deterministic approach and 2 and 10 % period of exceedance in 50 years. Furthermore, seismic hazard results are used to develop the deaggregation plot to quantify the contribution of seismic sources in terms of magnitude and distance. In this study, normalized site-specific design spectrum has been developed by dividing the hazard map into four zones based on the peak ground acceleration values. This site-specific response spectrum has been compared with recent Sikkim 2011 earthquake and Indian seismic code IS1893.

ANRC Hybrid Test Bed Implementation and an End-to-End Performance Characterization of Dynamic Spectrum Access

An abundance of spectrum access and sensing algorithms are available in the dynamic spectrum access (DSA) and cognitive radio (CR) literature. Often, however, the functionality and performance of such algorithms are validated against theoretical calculations using only simulations. Both the theoretical calculations and simulations come with their attendant sets of assumptions. For instance, designers of dynamic spectrum access algorithms often take spectrum sensing and rendezvous mechanisms between transmitter-receiver pairs for granted. Test bed designers, on the other hand, either customize so much of their design that it becomes difficult to replicate using commercial off the shelf (COTS) components or restrict themselves to simulation, emulation /hardware-in-Ioop (HIL), or pure hardware but not all three. Implementation studies on test beds sophisticated enough to combine the three aforementioned aspects, but at the same time can also be put together using COTS hardware and software packages are rare. In this paper we describe i) the implementation of a hybrid test bed using a previously proposed hardware agnostic system architecture ii) the implementation of DSA on this test bed, and iii) the realistic hardware and software-constrained performance of DSA. Snapshot energy detector (ED) and Cumulative Summation (CUSUM), a sequential change detection algorithm, are available for spectrum sensing and a two-way handshake mechanism in a dedicated control channel facilitates transmitter-receiver rendezvous.

Effects of site stiffness and source to receiver distance on surface wave tests' results

By using six 4.5 Hz geophones, surface wave tests were performed on four different sites by dropping freely a 65 kg mass from a height of 5 m. The receivers were kept far away from the source to eliminate the arrival of body waves. Three different sources to nearest receiver distances (S), namely, 46 m, 56 m and 66 m, were chosen. Dispersion curves were drawn for all the sites. The maximum wavelength (lambda(max)), the maximum depth (d(max)) up to which exploration can be made and the frequency content of the signals depends on the site stiffness and the value of S. A stiffer site yields greater values of lambda(max) and d(max). For stiffer sites, an increase in S leads to an increase in lambda(max). The predominant time durations of the signals increase from stiffer to softer sites. An inverse analysis was also performed based on the stiffness matrix approach in conjunction with the maximum vertical flexibility coefficient of ground surface to establish the governing mode of excitation. For the Site 2, the results from the surface wave tests were found to compare reasonably well with that determined on the basis of cross boreholes seismic tests. (C) 2015 Elsevier Ltd. All rights reserved.

Thermal test method for high power three-phase grid-connected inverters

Semiconductor device junction temperatures are maintained within datasheet specified limits to avoid failure in power converters. Burn-in tests are used to ensure this. In inverters, thermal time constants can be large and burn-in tests are required to be performed over long durations of time. At higher power levels, besides increased production cost, the testing requires sources and loads that can handle high power. In this study, a novel method to test a high power three-phase grid-connected inverter is proposed. The method eliminates the need for high power sources and loads. Only energy corresponding to the losses is consumed. The test is done by circulating rated current within the three legs of the inverter. All the phase legs being loaded, the method can be used to test the inverter in both cases of a common or independent cooling arrangement for the inverter phase legs. Further, the method can be used with different inverter configurations - three- or four-wire and for different pulse width modulation (PWM) techniques. The method has been experimentally validated on a 24 kVA inverter for a four-wire configuration that uses sine-triangle PWM and a three-wire configuration that uses conventional space vector PWM.

DESIGN OF AN EXPERIMENTAL TEST FACILITY FOR SUPERCRITICAL CO2 BRAYTON CYCLE

A supercritical CO2 test facility is currently being developed at Indian Institute of Science, Bangalore, India to analyze the performance of a closed loop Brayton cycle for concentrated solar power (CSP) generation. The loop has been designed for an external heat input of 20 kW a pressure range of 75-135 bar, flow rate of 11 kg/min, and a maximum cycle temperature of 525 degrees C. The operation of the loop and the various parametric tests planned to be performed are discussed in this paper The paper addresses various aspects of the loop design with emphasis on design of various components such as regenerator and expansion device. The regenerator design is critical due to sharp property variations in CO2 occurring during the heat exchange process between the hot and cold streams. Two types of heat exchanger configurations 1) tube-in-tube (TITHE) and 2) printed circuit heat exchanger (PCHE) are analyzed and compared. A PCHE is found to be similar to 5 times compact compared to a TITHE for identical heat transfer and pressure drops. The expansion device is being custom designed to achieve the desired pressure drop for a range of operating temperatures. It is found that capillary of 5.5 mm inner diameter and similar to 2 meter length is sufficient to achieve a pressure drop from 130 to 75 bar at a maximum cycle temperature of 525 degrees C.

Site-Selective Addition of Maleimide to Indole at the C-2 Position: Ru(II)-Catalyzed C-H Activation

Synthesis of 3-(indol-2-yl)succinimide derivatives is presented using a directing group strategy. Selective functionalization of C-2 in the presence of highly reactive C-3 in indole derivatives has been achieved. A conjugate addition product instead of Heck-type product has been brought about by careful selection of the alkene partner (maleimides and maleate esters) such that a beta-hydride elimination is avoided.