Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA

Context sensitive pointer analyses based on Whaley and Lam’s bddbddb system have been shown to scale to large Java programs. We provide a technique to incorporate flow sensitivity for Java fields into one such analysis and obtain an escape analysis based on it. First, we express an intraprocedural field flow sensitive analysis, using Fink et al.’s Heap Array SSA form in Datalog. We then extend this analysis interprocedurally by introducing two new φ functions for Heap Array SSA Form and adding deduction rules corresponding to them. Adding a few more rules gives us an escape analysis. We describe two types of field flow sensitivity: partial (PFFS) and full (FFFS), the former without strong updates to fields and the latter with strong updates. We compare these analyses with two different (field flow insensitive) versions of Whaley-Lam analysis: one of which is flow sensitive for locals (FS) and the other, flow insensitive for locals (FIS). We have implemented this analysis on the bddbddb system while using the SOOT open source framework as a front end. We have run our analysis on a set of 15 Java programs. Our experimental results show that the time taken by our field flow sensitive analyses is comparable to that of the field flow insensitive versions while doing much better in some cases. Our PFFS analysis achieves average reductions of about 23% and 30% in the size of the points-to sets at load and store statements respectively and discovers 71% more “caller-captured” objects than FIS.

Dynamic path profile aided recompilation in a JAVA just-in-time compiler

Just-in-Time (JIT) compilers for Java can be augmented by making use of runtime profile information to produce better quality code and hence achieve higher performance. In a JIT compilation environment, the profile information obtained can be readily exploited in the same run to aid recompilation and optimization of frequently executed (hot) methods. This paper discusses a low overhead path profiling scheme for dynamically profiling AT produced native code. The profile information is used in recompilation during a subsequent invocation of the hot method. During recompilation tree regions along the hot paths are enlarged and instruction scheduling at the superblock level is performed. We have used the open source LaTTe AT compiler framework for our implementation. Our results on a SPARC platform for SPEC JVM98 benchmarks indicate that (i) there is a significant reduction in the number of tree regions along the hot paths, and (ii) profile aided recompilation in LaTTe achieves performance comparable to that of adaptive LaTTe in spite of retranslation and profiling overheads.

Java Memory Model aware Software validation

The Java Memory Model (JMM) provides a semantics of Java multithreading for any implementation platform. The JMM is defined in a declarative fashion with an allowed program execution being defined in terms of existence of "commit sequences" (roughly, the order in which actions in the execution are committed). In this work, we develop OpMM, an operational under-approximation of the JMM. The immediate motivation of this work lies in integrating a formal specification of the JMM with software model checkers. We show how our operational memory model description can be integrated into a Java Path Finder (JPF) style model checker for Java programs.

Does lean imply green?: a study of the power performance implications of Java runtime bloat

The presence of software bloat in large flexible software systems can hurt energy efficiency. However, identifying and mitigating bloat is fairly effort intensive. To enable such efforts to be directed where there is a substantial potential for energy savings, we investigate the impact of bloat on power consumption under different situations. We conduct the first systematic experimental study of the joint power-performance implications of bloat across a range of hardware and software configurations on modern server platforms. The study employs controlled experiments to expose different effects of a common type of Java runtime bloat, excess temporary objects, in the context of the SPECPower_ssj2008 workload. We introduce the notion of equi-performance power reduction to characterize the impact, in addition to peak power comparisons. The results show a wide variation in energy savings from bloat reduction across these configurations. Energy efficiency benefits at peak performance tend to be most pronounced when bloat affects a performance bottleneck and non-bloated resources have low energy-proportionality. Equi-performance power savings are highest when bloated resources have a high degree of energy proportionality. We develop an analytical model that establishes a general relation between resource pressure caused by bloat and its energy efficiency impact under different conditions of resource bottlenecks and energy proportionality. Applying the model to different "what-if" scenarios, we predict the impact of bloat reduction and corroborate these predictions with empirical observations. Our work shows that the prevalent software-only view of bloat is inadequate for assessing its power-performance impact and instead provides a full systems approach for reasoning about its implications.

CancerLectinDB: a database of lectins relevant to cancer

The role of lectins in mediating cancer metastasis, apoptosis as well as various other signaling events has been well established in the past few years. Data on various aspects of the role of lectins in cancer is being accumulated at a rapid pace. The data on lectins available in the literature is so diverse, that it becomes difficult and time-consuming, if not impossible to comprehend the advances in various areas and obtain the maximum benefit. Not only do the lectins vary significantly in their individual functional roles, but they are also diverse in their sequences, structures, binding site architectures, quaternary structures, carbohydrate affinities and specificities as well as their potential applications. An organization of these seemingly independent data into a common framework is essential in order to achieve effective use of all the data towards understanding the roles of different lectins in different aspects of cancer and any resulting applications. An integrated knowledge base (CancerLectinDB) together with appropriate analytical tools has therefore been developed for lectins relevant for any aspect of cancer, by collating and integrating diverse data. This database is unique in terms of providing sequence, structural, and functional annotations for lectins from all known sources in cancer and is expected to be a useful addition to the number of glycan related resources now available to the community. The database has been implemented using MySQL on a Linux platform and web-enabled using Perl-CGI and Java tools. Data for individual lectins pertain to taxonomic, biochemical, domain architecture, molecular sequence and structural details as well as carbohydrate specificities. Extensive links have also been provided for relevant bioinformatics resources and analytical tools. Availability of diverse data integrated into a common framework is expected to be of high value for various studies on lectin cancer biology.

Effect of the addition of B2O3 and BaO-B2O3-SiO2 glasses on the microstructure and dielectric properties of giant dielectric constant material CaCu3Ti4O12

The effect of the addition of glassy phases on the microstructure and dielectric properties of CaCu3Ti4O12 (CCTO) ceramics was investigated. Both single-component (B2O3) and multi-cornponent (30wt% BaO-60wt% B2O3-10wt% SiO2 (BBS)) glass systems were chosen to study their effect on the density, microstructure and dielectric properties of CCTO. Addition of an optimum amount of B2O3 glass facilitated grain growth and an increase in dielectric constant. However, further increase in the B2O3 content resulted in its segregation at the grain boundaries associated with a reduction in the grain size. In contrast, BBS glass addition resulted in well-faceted grains and increase in the dielectric constant and decrease in the dielectric loss. An internal barrier layer capacitance (IBLC) model was invoked to correlate the dielectric constant with the grain size in these samples. (c) 2007 Elsevier Inc. All rights reserved.

On the roles of the northeast cold surge, the Borneo vortex, the Madden-Julian Oscillation, and the Indian Ocean Dipole during the extreme 2006/2007 flood in southern Peninsular Malaysia

The mid-December 2006 to late January 2007 flood in southern Peninsular Malaysia was the worst flood in a century and was caused by three extreme precipitation episodes. These extreme precipitation events were mainly associated with strong northeasterly winds over the South China Sea. In all cases, the northeasterlies penetrated anomalously far south and followed almost a straight trajectory. The elevated terrain over Sumatra and southern Peninsular Malaysia caused low-level convergence. The strong easterly winds near Java associated with the Rossby wave-type response to Madden-Julian Oscillation (MJO) inhibited the counter-clockwise turning of the northeasterlies and the formation of the Borneo vortex, which, in turn, enhanced the low-level convergence over the region. The abrupt termination of the Indian Ocean Dipole (IOD) in December 2006 played a secondary role as warmer equatorial Indian Ocean helped in the MJO formation.

Dielectric properties of some MM′O4 and MTiM′O6 (M=Cr, Fe, Ga; M′=Nb, Ta, Sb) rutile-type oxides

We describe an investigation of the structure and dielectric properties of MM'O-4 and MTiM'O-6 rutile-type oxides for M = Cr, Fe, Ga and M' = Nb. Ta and Sb. All the oxides adopt a disordered rutile structure (P4(2)/mnm) at ambient temperature. A partial ordered trirutile-type structure is confirmed for FeTaO4 from the low temperature (17 K) neutron diffraction studies While both the MM'O-4 oxides (CrTaO4 and FeTaO4) investigated show a normal dielectric property MTiM'O-6 oxides for M = Fe, Cr and M' = Nb/Ta/Sb display a distinct relaxor/relaxor-like response. Significantly the corresponding gallium analogs, GaTiNbO6 and GaTiTaO6, do not show a relaxor response at T<500K (C) 2010 Elsevier Inc All rights reserved

Crystal structures and photocatalysis of the triclinic polymorphs of BiNbO4 and BiTaO4

The high-temperature polymorphs of two photocatalytic materials, BiNbO4 and BiTaO4 were synthesized by the ceramic method. The crystal structures of these materials were determined by single-crystal X-ray diffraction. BiNbO4 and BiTaO4 crystallize into the triclinic system P (1) over bar (No. 2), with a = 5.5376(4) angstrom, b = 7.6184(3) angstrom, c = 7.9324(36) angstrom, alpha = 102.565(3)degrees, beta = 90.143(2)degrees, gamma = 92.788 (4)degrees, V = 326.21 (5) angstrom(3). Z = 4 and a = 5.931(1) angstrom, b = 7.672(2) angstrom, c = 7.786(2) angstrom, alpha = 102.94 (3)degrees, beta = 90.04(3)degrees gamma = 93.53(3)degrees, V = 344.59(1) angstrom(3) and Z = 4, respectively. The structures along the c-axis, consist of layers of [Bi2O2] units separated by puckered sheets of (Nb/Ta)O-6 octahedra. Photocatalytic studies on the degradation of dyes indicate selectivity of BiNbO4 towards aromatics containing quinonic and azo functional groups

Synthesis and characterization of Pd(0), PdS, and Pd@PdO core-shell nanoparticles by solventless thermolysis of a Pd-thiolate cluster

Colloids of palladium nanoparticles have been prepared by the solvated metal atom dispersion (SMAD) method. The as-prepared Pd colloid consists of particles with an average diameter of 2.8 +/- 0.1 nm. Digestive ripening of the as-prepared Pd colloid, a process involving refluxing the as-prepared colloid at or near the boiling point of the solvent in the presence of a passivating agent, dodecanethiol resulted in a previously reported Pd-thiolate cluster, Pd(SC12H25)(2)](6) but did not render the expected narrowing down of the particle size distribution. Solventless thermolysis of the Pd-thiolate complex resulted in various Pd systems such as Pd(0), PdS, and Pd@PdO core-shell nanoparticles thus demonstrating its versatility. These I'd nanostructures have been characterized using high-resolution electron microscopy and powder X-ray diffraction methods. (C) 2010 Elsevier Inc. All rights reserved.

Combustion Synthesis and Properties of Fine Particle Spinel Manganites

Fine particle spinel manganites have been prepared by thermal decomposition of the precursors N2H5M1/3Mn2/3(N2H3COO)3 · H2O (M = Co and Ni) and M1/3 Mn2/3(N2H3COO)2 · 2H2O (M = Mg and Zn), as well as by the combustion of redox mixtures containing M(II) nitrate (M = Mg, Co, Ni, Cu, and Zn), Mn(II) nitrate, and maleic hydrazide (MH) in the required molar ratio. Both the precursor and redox mixtures undergo self-propagating, gas-producing, exothermic reactions once ignited at 250-375°C to yield corresponding manganites in less than 5 min. Formation of single phase products was confirmed by X-ray powder diffraction patterns. The manganites are of submicrometer size and have surface area in the range 20-76 m2/g.

Effect of Sorbate-Zeolite Interaction on Cluster Lifetime and Size of Sorbates: Xe in NaY

Molecular dynamics calculations are reported for Xe in sodium Y zeolite with varying strengths of sorbate-zeolite dispersion interaction. In the absence of any dispersion interaction between the sorbate and the zeolite, the presence of the zeolite has a purely geometrical role. Increase in the strength of the sorbate-zeolite interaction increases the monomer population and decreases the population of dimers and higher sized clusters. The lifetime of the monomers as well as dimers increases with the strength of the dispersion interaction. The observed variations in the lifetime and the population of the different sized clusters is explained in terms of the changes in the potential energy surface caused by the increase in the strength of the dispersion interaction.

Fe-57 Mössbauer and Mo K-EXAFS Investigations of MoxFe3-xO4, an Interesting Mixed-Valent Oxide System

Ferrites of the formula MoxFe3-xO4, prepared by a soft-chemistry route, show mixed valence states of both iron and molybdenum cations. Mössbauer studies show that Fe2+ and Fe3+ ions are present on both the A and B sites, giving Fe an average oxidation state between 2+ and 3+. Molybdenum is present in the 3+ and the 4+ states on the B sites. The presence of Mo in the 3+ state has been established by determining the Mo3+-O distance (2.2 Å), for the first time, by Mo K-EXAFS. The mixed valence of Fe on both the A and B sites and of Mo on the B sites is responsible for the fast electron transfer between the cations. All the Mössbauer parameters including the line width show a marked change at a composition (x ? 0.3) above which the concentration of Fe2+A increases rapidly.

K1-xLaxCa2-xNb3O10, a Layered Perovskite Series with Variable Interlayer Cation Density, and LaCaNb3O10, a Novel Layered Perovskite Oxide with No Interlayer Cations

A series of layered perovskite oxides of the formula K1-xLaxCa2-xNb3O10 for 0 < x ≤ 1.0 have been prepared. All the members are isostructural, possessing the structure of KCa2Nb3O10. The interlayer potassium ions in the new series can be ion-exchanged with protons to give H1-xLaxCa2-xNb3O10. The latter readily forms intercalation compounds of the formula (CnH2n+1NH3)1-x LaxCa2-xNb3O10, just as the parent solid acid HCa2Nb3O10. The end member LaCaNb3O10 containing no interlayer cations is a novel layered perovskite oxide, being a n = 3 member of the series An-1BnX3n+1.