Trace Driven Dynamic Deadlock Detection and Reproduction

Dynamic analysis techniques have been proposed to detect potential deadlocks. Analyzing and comprehending each potential deadlock to determine whether the deadlock is feasible in a real execution requires significant programmer effort. Moreover, empirical evidence shows that existing analyses are quite imprecise. This imprecision of the analyses further void the manual effort invested in reasoning about non-existent defects. In this paper, we address the problems of imprecision of existing analyses and the subsequent manual effort necessary to reason about deadlocks. We propose a novel approach for deadlock detection by designing a dynamic analysis that intelligently leverages execution traces. To reduce the manual effort, we replay the program by making the execution follow a schedule derived based on the observed trace. For a real deadlock, its feasibility is automatically verified if the replay causes the execution to deadlock. We have implemented our approach as part of WOLF and have analyzed many large (upto 160KLoC) Java programs. Our experimental results show that we are able to identify 74% of the reported defects as true (or false) positives automatically leaving very few defects for manual analysis. The overhead of our approach is negligible making it a compelling tool for practical adoption.

Differential expression of estrogen receptor alpha in the embryonic adrenal-kidney-gonadal complex of the oviparous lizard, Calotes versicolor (Daud.)

Estrogen signalling is critical for ovarian differentiation in reptiles with temperature-dependent sex determination (TSD). To elucidate the involvement of estrogen in this process, adrenal-kidney-gonadal (AKG) expression of estrogen receptor (ER alpha) was studied at female-producing temperature (FPT) in the developing embryos of the lizard, Calotes versicolor which exhibits a distinct pattern of TSD. The eggs of this lizard were incubated at 31.5 +/- 0.5 degrees C (100% FPT). The torso of embryos containing adrenal-kidney-gonadal complex (AKG) was collected during different stages of development and subjected to Western blotting and immunohistochemistry analysis. The ER alpha, antibody recognized two protein bands with apparent molecular weight similar to 55 and similar to 45 kDa in the total protein extracts of embryonic AKG complex of C. versicolor. The observed results suggest the occurrence of isoforms of ER alpha. The differential expression of two different protein isoforms may reveal their distinct role in cell proliferation during gonadal differentiation. This is the first report to reveal two isoforms of the ER alpha in a reptile during development. Immunohistochemical studies reveal a weak, but specific, cytoplasmic ER alpha immunostaining exclusively in the AKG during late thermo-sensitive period suggesting the responsiveness of AKG to estrogens before gonadal differentiation at FPT. Further, cytoplasmic as well as nuclear expression of ER alpha in the medulla and in oogonia of the cortex (faint activity) at gonadal differentiation stage suggests that the onset of gonadal estrogen activity coincides with sexual differentiation of gonad. Intensity and pattern of the immunoreactions of ER alpha in the medullary region at FPT suggest endogenous production of estrogen which may act in a paracrine fashion to induce neighboring cells into ovarian differentiation pathway. (C) 2014 Elsevier Inc. All rights reserved.