Dataflow analysis for data-race free programs

Memory models for shared-memory concurrent programming languages typically guarantee sequential consistency (SC) semantics for datarace-free (DRF) programs, while providing very weak or no guarantees for non-DRF programs. In effect programmers are expected to write only DRF programs, which are then executed with SC semantics. With this in mind, we propose a novel scalable solution for dataflow analysis of concurrent programs, which is proved to be sound for DRF programs with SC semantics. We use the synchronization structure of the program to propagate dataflow information among threads without requiring to consider all interleavings explicitly. Given a dataflow analysis that is sound for sequential programs and meets certain criteria, our technique automatically converts it to an analysis for concurrent programs.

SuSeFLAV 1.2: Program for supersymmetric mass spectra with seesaw mechanism and rare lepton flavor violating decays

Accurate supersymmetric spectra are required to confront data from direct and indirect searches of supersymmetry. SuSeFLAV is a numerical tool capable of computing supersymmetric spectra precisely for various supersymmetric breaking scenarios applicable even in the presence of flavor violation. The program solves MSSM RGEs with complete 3 x 3 flavor mixing at 2-loop level and one loop finite threshold corrections to all MSSM parameters by incorporating radiative electroweak symmetry breaking conditions. The program also incorporates the Type-I seesaw mechanism with three massive right handed neutrinos at user defined mass scales and mixing. It also computes branching ratios of flavor violating processes such as l(j) -> l(i)gamma, l(j) -> 3 l(i), b -> s gamma and supersymmetric contributions to flavor conserving quantities such as (g(mu) - 2). A large choice of executables suitable for various operations of the program are provided. Program summary Program title: SuSeFLAV Catalogue identifier: AEOD_v1_0 Program summary URL: http://cpc.cs.qub.ac.uk/summaries/AEOD_v1_0.html Program obtainable from: CPC Program Library, Queen's University, Belfast, N. Ireland Licensing provisions: GNU General Public License No. of lines in distributed program, including test data, etc.: 76552 No. of bytes in distributed program, including test data, etc.: 582787 Distribution format: tar.gz Programming language: Fortran 95. Computer: Personal Computer, Work-Station. Operating system: Linux, Unix. Classification: 11.6. Nature of problem: Determination of masses and mixing of supersymmetric particles within the context of MSSM with conserved R-parity with and without the presence of Type-I seesaw. Inter-generational mixing is considered while calculating the mass spectrum. Supersymmetry breaking parameters are taken as inputs at a high scale specified by the mechanism of supersymmetry breaking. RG equations including full inter-generational mixing are then used to evolve these parameters up to the electroweak breaking scale. The low energy supersymmetric spectrum is calculated at the scale where successful radiative electroweak symmetry breaking occurs. At weak scale standard model fermion masses, gauge couplings are determined including the supersymmetric radiative corrections. Once the spectrum is computed, the program proceeds to various lepton flavor violating observables (e.g., BR(mu -> e gamma), BR(tau -> mu gamma) etc.) at the weak scale. Solution method: Two loop RGEs with full 3 x 3 flavor mixing for all supersymmetry breaking parameters are used to compute the low energy supersymmetric mass spectrum. An adaptive step size Runge-Kutta method is used to solve the RGEs numerically between the high scale and the electroweak breaking scale. Iterative procedure is employed to get the consistent radiative electroweak symmetry breaking condition. The masses of the supersymmetric particles are computed at 1-loop order. The third generation SM particles and the gauge couplings are evaluated at the 1-loop order including supersymmetric corrections. A further iteration of the full program is employed such that the SM masses and couplings are consistent with the supersymmetric particle spectrum. Additional comments: Several executables are presented for the user. Running time: 0.2 s on a Intel(R) Core(TM) i5 CPU 650 with 3.20 GHz. (c) 2012 Elsevier B.V. All rights reserved.

Memory effect in SrRu(1-x)O3 (0.01 < x < 0.07)

SrRuO3 is widely known to be an itinerant ferromagnet with a T-C similar to 160 K. It is well known that glassy materials exhibit time dependent phenomena such as memory effect due to their generic slow dynamics. However, for the first time, we have observed memory effect in SrRu(1-x)O3 (0.01memory etc. arise in disordered glassy systems. Thus the observation of memory effect in case of an itinerant ferromagnetic system like SrRuO3 is quite strange. The emergence of such unusual magnetic response is strongly believed to be connected with a cryptic interactions arises in the low temperature. Our effort on neutron diffraction study has been able to trace the cause of such hidden magnetic interaction responsible for bringing glassiness in a ferromagnet.

Effect of thermal and thermo-mechanical cycling on the microstructure of Ni-rich NiTi shape memory alloys

Microstructural changes of Ni-rich NiTi shape memory alloy during thermal and thermo-mechanical cycling have been investigated using Electron Back Scattered Diffraction. A strong dependence of the orientation of the prior austenite grain on the misorientation development has been observed during thermal cycling and thermo-mechanical cycling. This effect is more pronounced at the grain boundaries compared to grain interior. At a larger applied strain, the volume fraction of stabilized martensite phase increases with increase in the number of cycling. Deformation within the martensite leads to stabilization of martensitic phase even at temperatures slightly above the austenite finish temperature. Modulus variation with respect to temperature has been explained on the basis of martensitic transformation.

Spatial memory deficits in maternal iron deficiency paradigms are associated with altered glucocorticoid levels

``The goal of this study was to examine the effect of maternal iron deficiency on the developing hippocampus in order to define a developmental window for this effect, and to see whether iron deficiency causes changes in glucocorticoid levels. The study was carried out using pre-natal, post-natal, and pre + post-natal iron deficiency paradigm. Iron deficient pregnant dams and their pups displayed elevated corticosterone which, in turn, differentially affected glucocorticoid receptor (GR) expression in the CA1 and the dentate gyrus. Brain Derived Neurotrophic Factor (BDNF) was reduced in the hippocampi of pups following elevated corticosterone levels. Reduced neurogenesis at P7 was seen in pups born to iron deficient mothers, and these pups had reduced numbers of hippocampal pyramidal and granule cells as adults. Hippocampal subdivision volumes also were altered. The structural and molecular defects in the pups were correlated with radial arm maze performance; reference memory function was especially affected. Pups from dams that were iron deficient throughout pregnancy and lactation displayed the complete spectrum of defects, while pups from dams that were iron deficient only during pregnancy or during lactation displayed subsets of defects. These findings show that maternal iron deficiency is associated with altered levels of corticosterone and GR expression, and with spatial memory deficits in their pups.'' (C) 2013 Elsevier Inc. All rights reserved.

Temperature dependence of indentation recovery ratios in austenitic and martensitic shape memory alloys

Instrumented microindentation (IM) on two Ni-Ti shape memory alloys (SMAs), where one is austenitic and the other is martensitic at room temperature, were conducted from 40 to 150 degrees C. Results show that the depth and work recovery ratios, eta(d) and eta(w) respectively, are complementary to each other. While eta(d) decreases gradually with temperature for austenite, it drops markedly for the martensite in the martensite-to-austenite transformation regime. These results affirm the utility of IM for characterizing SMAs.

Simultaneous measurement of mechanical and electrical contact resistances during nanoindentation of NiTi shape memory alloys

The nanoindentation technique can be employed in shape memory alloys (SMAs) to discern the transformation temperatures as well as to characterize their mechanical behavior. In this paper, we use it with simultaneous measurements of the mechanical and the electrical contact resistances (ECR) at room temperature to probe two SMAs: austenite (RTA) and martensite (RTM). Two different types of indenter tips - Berkovich and spherical - are employed to examine the SMAs' indentation responses as a function of the representative strain, epsilon(R). In Berkovich indentation, because of the sharp nature of the tip, and in consequence the high levels of strain imposed, discerning the two SMAs on the basis of the indentation response alone is difficult. In the case of the spherical tip, epsilon(R) is systematically varied and its effect on the depth recovery ratio, eta(d), is examined. Results indicate that RTA has higher eta(d) than RTM, but the difference decreases with increasing epsilon(R) such that eta(d) values for both the alloys would be similar in the fully plastic regime. The experimental trends in eta(d) vs. epsilon(R) for both the alloys could be described well with a eta(d) proportional to (epsilon(R))(-1) type equation, which is developed on the basis of a phenomenological model. This fit, in turn, directs us to the maximum epsilon(R), below which plasticity underneath the indenter would not mask the differences in the two SMAs. It was demonstrated that the ECR measurements complement the mechanical measurements in demarcating the reverse transformation from martensite to austenite during unloading of RTA, wherein a marked increase in the voltage was noted. A correlation between recovery due to reverse transformation during unloading and increase in voltage (and hence the electrical resistance) was found. (C) 2013 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

Evolution of microstructure and texture in Ni49.4Ti38.6Hf12 shape memory alloy during hot rolling

This paper deals with the evolution of microstructure and texture during hot rolling of hafnium containing NiTi based shape memory alloy Ni49.4Ti38.6Hf12. The formation of the R-phase has been associated with the precipitation of (Ti,Hf)(2)Ni phase. The crystallographic texture of the parent phase B2 as well as the product phases R and B19' have been determined. It has been found that the variant selection during the B2 -> R phase transformation is quite strong compared to the case of the B2 -> B19' transformation. During deformation, the texture of the austenite phase evolves with strong Goss and Bs components. After transformation to martensitic structure, it gives rise to a 011]parallel to RD fiber. Microstructure and texture studies reveal the occurrence of partial dynamic recrystallization during hot rolling. Large strain heterogeneities that occur surrounding (Ti,Hf)(2)Ni precipitates are relieved through extended dynamic recovery instead of particle stimulated nucleation.

Combining indentation and diffusion couple techniques for combinatorial discovery of high temperature shape memory alloys

We demonstrate the possibility of accelerated identification of potential compositions for high-temperature shape memory alloys (SMAs) through a combinatorial material synthesis and analysis approach, wherein we employ the combination of diffusion couple and indentation techniques. The former was utilized to generate smooth and compositionally graded inter-diffusion zones (IDZs) in the Ni-Ti-Pd ternary alloy system of varying IDZ thickness, depending on the annealing time at high temperature. The IDZs thus produced were then impressed with an indenter with a spherical tip so as to inscribe a predetermined indentation strain. Subsequent annealing of the indented samples at various elevated temperatures, T-a, ranging between 150 and 550 degrees C allows for partial to full relaxation of the strain imposed due to the shape memory effect. If T-a is above the austenite finish temperature, A(f), the relaxation will be complete. By measuring the depth recovery, which serves as a proxy for the shape recovery characteristic of the SMA, a three-dimensional map in the recovery temperature composition space is constructed. A comparison of the published Af data for different compositions with the Ta data shows good agreement when the depth recovery is between 70% and 80%, indicating that the methodology proposed in this paper can be utilized for the identification of promising compositions. Advantages and further possibilities of this methodology are discussed.

Interdependent cache analyses for better precision and safety

One of the challenges for accurately estimating Worst Case Execu-tion Time(WCET) of executables is to accurately predict their cache behaviour. Various techniques have been developed to predict the cache contents at different program points to estimate the execution time of memory-accessing instructions. One of the most widely used techniques is Abstract Interpretation based Must Analysis, which de-termines the cache blocks guaranteed to be present in the cache, and hence provides safe estimation of cache hits and misses. However,Must Analysis is highly imprecise, and platforms using Must Analysis have been known to produce blown-up WCET estimates. In our work, we propose to use May Analysis to assist the Must Analysis cache up-date and make it more precise. We prove the safety of our approach as well as provide examples where our Improved Must Analysis provides better precision. Further, we also detect a serious flaw in the original Persistence Analysis, and use Must and May Analysis to assist the Persistence Analysis cache update, to make it safe and more precise than the known solutions to the problem.

Fast and efficient automatic memory management for GPUs using compiler-assisted runtime coherence scheme

Exploiting the performance potential of GPUs requires managing the data transfers to and from them efficiently which is an error-prone and tedious task. In this paper, we develop a software coherence mechanism to fully automate all data transfers between the CPU and GPU without any assistance from the programmer. Our mechanism uses compiler analysis to identify potential stale accesses and uses a runtime to initiate transfers as necessary. This allows us to avoid redundant transfers that are exhibited by all other existing automatic memory management proposals. We integrate our automatic memory manager into the X10 compiler and runtime, and find that it not only results in smaller and simpler programs, but also eliminates redundant memory transfers. Tested on eight programs ported from the Rodinia benchmark suite it achieves (i) a 1.06x speedup over hand-tuned manual memory management, and (ii) a 1.29x speedup over another recently proposed compiler--runtime automatic memory management system. Compared to other existing runtime-only and compiler-only proposals, it also transfers 2.2x to 13.3x less data on average.

Multiple sub-row buffers in DRAM: unlocking performance and energy improvement opportunities

The twin demands of energy-efficiency and higher performance on DRAM are highly emphasized in multicore architectures. A variety of schemes have been proposed to address either the latency or the energy consumption of DRAMs. These schemes typically require non-trivial hardware changes and end up improving latency at the cost of energy or vice-versa. One specific DRAM performance problem in multicores is that interleaved accesses from different cores can potentially degrade row-buffer locality. In this paper, based on the temporal and spatial locality characteristics of memory accesses, we propose a reorganization of the existing single large row-buffer in a DRAM bank into multiple sub-row buffers (MSRB). This re-organization not only improves row hit rates, and hence the average memory latency, but also brings down the energy consumed by the DRAM. The first major contribution of this work is proposing such a reorganization without requiring any significant changes to the existing widely accepted DRAM specifications. Our proposed reorganization improves weighted speedup by 35.8%, 14.5% and 21.6% in quad, eight and sixteen core workloads along with a 42%, 28% and 31% reduction in DRAM energy. The proposed MSRB organization enables opportunities for the management of multiple row-buffers at the memory controller level. As the memory controller is aware of the behaviour of individual cores it allows us to implement coordinated buffer allocation schemes for different cores that take into account program behaviour. We demonstrate two such schemes, namely Fairness Oriented Allocation and Performance Oriented Allocation, which show the flexibility that memory controllers can now exploit in our MSRB organization to improve overall performance and/or fairness. Further, the MSRB organization enables additional opportunities for DRAM intra-bank parallelism and selective early precharging of the LRU row-buffer to further improve memory access latencies. These two optimizations together provide an additional 5.9% performance improvement.

Evolution and stability of phases in a high temperature shape memory alloy Ni49.4Ti38.6Hf12

Ni49.4Ti38.6Hf12 shape memory alloy has been characterized for structure, microstructure and transformation temperatures. The microstructure of the as-cast sample consists of B19' and R-phases, and (Ti,Hf)(2)Ni precipitate phase along the grain boundaries in the form of dendrites. The microstructure of the solution treated sample contains only B19' martensite phase, whereas a second heat treatment after solutionizing results in reappearance of the R-phase and the (Ti,Hf)(2)Ni grain boundary precipitate phase in the microstructure. A detailed microstructural examination shows the presence of precipitates having both coherent and incoherent interface with the matrix, the type of interface being dictated by the crystallographic orientation of the matrix phase. The present study shows that the (Ti,Hf)(2)Ni precipitates having coherent interface with the matrix, drive the formation of the R-phase in the microstructure. (C) 2013 Elsevier Ltd. All rights reserved.

Graphene-MoS2 hybrid structures for multifunctional photoresponsive memory devices

Combining the electronic properties of graphene(1,2) and molybdenum disulphide (MoS2)(3-6) in hybrid heterostructures offers the possibility to create devices with various functionalities. Electronic logic and memory devices have already been constructed from graphene-MoS2 hybrids(7,8), but they do not make use of the photosensitivity of MoS2, which arises from its optical-range bandgap(9). Here, we demonstrate that graphene-on-MoS2 binary heterostructures display remarkable dual optoelectronic functionality, including highly sensitive photodetection and gate-tunable persistent photoconductivity. The responsivity of the hybrids was found to be nearly 1 x 10(10) A W-1 at 130 K and 5 x 10(8) A W-1 at room temperature, making them the most sensitive graphene-based photodetectors. When subjected to time-dependent photoillumination, the hybrids could also function as a rewritable optoelectronic switch or memory, where the persistent state shows almost no relaxation or decay within experimental timescales, indicating near-perfect charge retention. These effects can be quantitatively explained by gate-tunable charge exchange between the graphene and MoS2 layers, and may lead to new graphene-based optoelectronic devices that are naturally scalable for large-area applications at room temperature.

Nanoscale compositional analysis of NiTi shape memory alloy films deposited by DC magnetron sputtering

The formation of surface oxide layer as well as compositional changes along the thickness for NiTi shape memory alloy thin films deposited by direct current magnetron sputtering at substrate temperature of 300 degrees C in the as-deposited condition as well as in the postannealed (at 600 degrees C) condition have been thoroughly studied by using secondary ion mass spectroscopy, x-ray photoelectron spectroscopy, and scanning transmission electron microscopy-energy dispersive x-ray spectroscopy techniques. Formation of titanium oxide (predominantly titanium dioxide) layer was observed in both as-deposited and postannealed NiTi films, although the oxide layer was much thinner (8 nm) in as-deposited condition. The depletion of Ti and enrichment of Ni below the oxide layer in postannealed films also resulted in the formation of a graded microstructure consisting of titanium oxide, Ni3Ti, and B2 NiTi. A uniform composition of B2 NiTi was obtained in the postannealed film only below a depth of 200-250 nm from the surface. Postannealed film also exhibited formation of a ternary silicide (NixTiySi) at the film-substrate interface, whereas no silicide was seen in the as-deposited film. The formation of silicide also caused a depletion of Ni in the film in a region similar to 250-300 nm just above the film substrate interface. (C) 2013 American Vacuum Society.