Exposing errors related to weak memory in GPU applications

© 2016 ACM.We present the systematic design of a testing environment that uses stressing and fuzzing to reveal errors in GPU applications that arise due to weak memory effects. We evaluate our approach on seven GPUS spanning three NVIDIA architectures, across ten CUDA applications that use fine-grained concurrency. Our results show that applications that rarely or never exhibit errors related to weak memory when executed natively can readily exhibit these errors when executed in our testing environment. Our testing environment also provides a means to help identify the root causes of such errors, and automatically suggests how to insert fences that harden an application against weak memory bugs. To understand the cost of GPU fences, we benchmark applications with fences provided by the hardening strategy as well as a more conservative, sound fencing strategy

Spectral function of the 1D Hubbard model in the U→+∞U\to +\infty limit

We show that the one-particle spectral functions of the one-dimensional Hubbard model diverge at the Fermi energy like $|\omega-\varepsilon_F|^{-3/8}$ in the $U\to +\infty$ limit. The Luttinger liquid behaviour $|\omega-\varepsilon_F|^\alpha$, where $\alpha \to 1/8$ as $U\to +\infty$, should be limited to $|\omega-\varepsilon_F| \sim t^2/U$ (for $U$ large but finite), which shrinks to a single point, $\omega=\varepsilon_F$,in that limit. The consequences for the observation of the Luttinger liquid behaviour in photoemission and inverse photoemission experiments are discussed.Comment: 4 pages, RevTeX, 2 figures on reques

Altered branching patterns of Purkinje cells in mouse model for cortical development disorder

Disrupted cortical cytoarchitecture in cerebellum is a typical pathology in reeler. Particularly interesting are structural problems at the cellular level: dendritic morphology has important functional implication in signal processing. Here we describe a combinatorial imaging method of synchrotron X-ray microtomography with Golgi staining, which can deliver 3-dimensional(3-D) micro-architectures of Purkinje cell(PC) dendrites, and give access to quantitative information in 3-D geometry. In reeler, we visualized in 3-D geometry the shape alterations of planar PC dendrites (i.e., abnormal 3-D arborization). Despite these alterations, the 3-D quantitative analysis of the branching patterns showed no significant changes of the 77 ± 8° branch angle, whereas the branch segment length strongly increased with large fluctuations, comparing to control. The 3-D fractal dimension of the PCs decreased from 1.723 to 1.254, indicating a significant reduction of dendritic complexity. This study provides insights into etiologies and further potential treatment options for lissencephaly and various neurodevelopmental disorders

Spectral functions of the 1D Hubbard model in the U -> \infty limit: How to use the factorized wave-function

We give the details of the calculation of the spectral functions of the 1D Hubbard model using the spin-charge factorized wave-function for several versions of the U -> +\infty limit. The spectral functions are expressed as a convolution of charge and spin dynamical correlation functions. A procedure to evaluate these correlation functions very accurately for large systems is developed, and analytical results are presented for the low energy region. These results are fully consistent with the conformal field theory. We also propose a direct method of extracting the exponents from the matrix elements in more general cases.Comment: 15 pages,7 eps figures, RevTeX, needs epsf and multico

Critical Josephson Current in a Model Pb/YBa_2Cu_3O_7 Junction

In this article we consider a simple model for a c--axis Pb/YBa_2Cu_3O_{7-\delta} Josephson junction. The observation of a nonzero current in such a junction by Sun et al. [A. G. Sun, D. A. Gajewski, M. B. Maple, R. C. Dynes, Phys. Rev. Lett. 72, 2267 (1994)] has been taken as evidence against d--wave superconductivity in YBa_2Cu_3O_{7-\delta}. We suggest, however, that the pairing interaction in the CuO_2 planes may well be d--wave but that the CuO chains destroy the tetragonal symmetry of the system. We examine two ways in which this happens. In a simple model of an incoherent junction, the chains distort the superconducting condensate away from d_{x^2-y^2} symmetry. In a specular junction the chains destroy the tetragonal symmetry of the tunneling matrix element. In either case, the loss of tetragonal symmetry results in a finite Josephson current. Our calculated values of the critical current for specular junctions are in good agreement with the results of Sun and co-workers.Comment: Latex File, 21 pages, 6 figures in uuencoded postscript, In Press (Phys. Rev. B

Towards high efficiency inversion layer cells based on ion-charged dielectrics

This work investigates the production and performance of p-type Inversion Layer (IL) Si solar cells, manufactured with an ion-injection technique that produces a highly charged dielectric nanolayer. Ions are applied to the front dielectric layer and then driven towards the c-Si/SiO2 interface by an electric field before stabilisation with an anneal. As this process can be performed in minutes at temperatures below 500 °C, it potentially provides a fast, yet controllable way for IL cell manufacturing. We demonstrate by simulations using Sentaurus TCAD that for the 1 ·cm p-type Si/thermal oxide model defined in this work, the sheet resistance of the field-induced electron layer can reach 1.1 k/sq in the dark by reducing band-tail interface state density to below 1014 eV-1cm-2 and increasing the dielectric charge density to above 2 × 1013 cm-2. Additionally, we present a proof-of-concept p-type IL cell on a non-gettered, non-hydrogenated substrate with an efficiency of 10.8%, and an open-circuit voltage (VOC) equivalent to that in a cell with a diffused phosphorous emitter. Lastly, we perform Sentaurus TCAD simulations to assess the efficiency potential of such IL cells. By incorporating optimal passivation, gettering, hydrogenation and metallisation, IL cells are predicted to reach an efficiency of 24.5% on 5 ·cm, and beyond 24.8% on 10 ·cm p-type substrates, provided the dielectric charge density reaches 2 × 1013 cm-2, which has been experimentally demonstrated to be possible. IL cells are therefore, in principle, a potential competitive candidate in the photovoltaic industry

Supporting positive dimensions of health, challenges in mental health care

This paper will explore two contrasting paradigms in mental health care and their relationship to evidence-based practice. The biomedical perspective of pathogenesis and the health perspective of salotogenesis are two major diverse views in mental health care. Positive dimensions of health are traditionally viewed as software not suitable for statistical analysis, while absence of symptoms of disease are regarded as measurable and suitable for statistical analysis and appropriate as a foundation of evidence-based practice. If the main goal of mental health care is to enhance subjectively experienced health among patients, it will not be sufficient to evaluate absence of symptoms of disease as a measure of quality of care. The discussion focuses on the paradox of evidence-based absence of illness and disease versus subjectively experienced health and well-being as criterions of quality of care in mental health care