Kerncraft: A Tool for Analytic Performance Modeling of Loop Kernels

Achieving optimal program performance requires deep insight into the interaction between hardware and software. For software developers without an in-depth background in computer architecture, understanding and fully utilizing modern architectures is close to impossible. Analytic loop performance modeling is a useful way to understand the relevant bottlenecks of code execution based on simple machine models. The Roofline Model and the Execution-Cache-Memory (ECM) model are proven approaches to performance modeling of loop nests. In comparison to the Roofline model, the ECM model can also describes the single-core performance and saturation behavior on a multicore chip. We give an introduction to the Roofline and ECM models, and to stencil performance modeling using layer conditions (LC). We then present Kerncraft, a tool that can automatically construct Roofline and ECM models for loop nests by performing the required code, data transfer, and LC analysis. The layer condition analysis allows to predict optimal spatial blocking factors for loop nests. Together with the models it enables an ab-initio estimate of the potential benefits of loop blocking optimizations and of useful block sizes. In cases where LC analysis is not easily possible, Kerncraft supports a cache simulator as a fallback option. Using a 25-point long-range stencil we demonstrate the usefulness and predictive power of the Kerncraft tool.Comment: 22 pages, 5 figure

Search for a Solution of the Pioneer Anomaly

In 1972 and 1973 the Pioneer 10 and 11 missions were launched. They were the first to explore the outer solar system and achieved stunning breakthroughs in deep-space exploration. But beginning in about 1980 an unmodeled force of \sim 8 \times 10^{-8} cm/s^2, directed approximately towards the Sun, appeared in the tracking data. It later was unambiguously verified as being in the data and not an artifact. The cause remains unknown (although radiant heat remains a likely origin). With time more and more effort has gone into understanding this anomaly (and also possibly related effects). We review the situation and describe ongoing programs to resolve the issue.Comment: 24 pages 8 figure

Use of Non-Steroidal Anti-Inflammatory Drugs That Elevate Cardiovascular Risk: An Examination of Sales and Essential Medicines Lists in Low-, Middle-, and High-Income Countries

PMCID: PMC3570554This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited

On the Geroch-Traschen class of metrics

We compare two approaches to semi-Riemannian metrics of low regularity. The maximally 'reasonable' distributional setting of Geroch and Traschen is shown to be consistently contained in the more general setting of nonlinear distributional geometry in the sense of Colombea

An axiomatic approach to the non-linear theory of generalized functions and consistency of Laplace transforms

We offer an axiomatic definition of a differential algebra of generalized functions over an algebraically closed non-Archimedean field. This algebra is of Colombeau type in the sense that it contains a copy of the space of Schwartz distributions. We study the uniqueness of the objects we define and the consistency of our axioms. Next, we identify an inconsistency in the conventional Laplace transform theory. As an application we offer a free of contradictions alternative in the framework of our algebra of generalized functions. The article is aimed at mathematicians, physicists and engineers who are interested in the non-linear theory of generalized functions, but who are not necessarily familiar with the original Colombeau theory. We assume, however, some basic familiarity with the Schwartz theory of distributions.Comment: 23 page