Practical Object-Oriented Back-in-Time Debugging

Back-in-time debuggers are extremely useful tools for identifying the causes of bugs, as they allow us to inspect the past states of objects no longer present in the current execution stack. Unfortunately the "omniscient" approaches that try to remember all previous states are impractical because they either consume too much space or they are far too slow. Several approaches rely on heuristics to limit these penalties, but they ultimately end up throwing out too much relevant information. In this paper we propose a practical approach to back-in-time debugging that attempts to keep track of only the relevant past data. In contrast to other approaches, we keep object history information together with the regular objects in the application memory. Although seemingly counter-intuitive, this approach has the effect that past data that is not reachable from current application objects (and hence, no longer relevant) is automatically garbage collected. In this paper we describe the technical details of our approach, and we present benchmarks that demonstrate that memory consumption stays within practical bounds. Furthermore since our approach works at the virtual machine level, the performance penalty is significantly better than with other approaches.

Back to the future in one week - implementing a Smalltalk VM in PyPy

We report on our experiences with the Spy project, including implementation details and benchmark results. Spy is a re-implementation of the Squeak (i.e., Smalltalk-80) VM using the PyPy toolchain. The PyPy project allows code written in RPython, a subset of Python, to be translated to a multitude of different backends and architectures. During the translation, many aspects of the implementation can be independently tuned, such as the garbage collection algorithm or threading implementation. In this way, a whole host of interpreters can be derived from one abstract interpreter definition. Spy aims to bring these benefits to Squeak, allowing for greater portability and, eventually, improved performance. The current Spy codebase is able to run a small set of benchmarks that demonstrate performance superior to many similar Smalltalk VMs, but which still run slower than in Squeak itself. Spy was built from scratch over the course of a week during a joint Squeak-PyPy Sprint in Bern last autumn.

Flow-Centric, Back-In-Time Debugging

Conventional debugging tools present developers with means to explore the run-time context in which an error has occurred. In many cases this is enough to help the developer discover the faulty source code and correct it. However, rather often errors occur due to code that has executed in the past, leaving certain objects in an inconsistent state. The actual run-time error only occurs when these inconsistent objects are used later in the program. So-called back-in-time debuggers help developers step back through earlier states of the program and explore execution contexts not available to conventional debuggers. Nevertheless, even back-in-time debuggers do not help answer the question, ``Where did this object come from?'' The Object-Flow Virtual Machine, which we have proposed in previous work, tracks the flow of objects to answer precisely such questions, but this VM does not provide dedicated debugging support to explore faulty programs. In this paper we present a novel debugger, called Compass, to navigate between conventional run-time stack-oriented control flow views and object flows. Compass enables a developer to effectively navigate from an object contributing to an error back-in-time through all the code that has touched the object. We present the design and implementation of Compass, and we demonstrate how flow-centric, back-in-time debugging can be used to effectively locate the source of hard-to-find bugs.

Modernity Strikes Back? A Historical Perspective on the Latest Increase in Interpersonal Violence (1960-1990)

There is a plethora of criminological explanations why criminal violence increased during the three decades between the early 1960s and the early 1990s. This paper argues that most available interpretations are lacking in three respects: they lack a historical perspective that anchors the three critical decades in a wider understanding of long-term trends; they take the nation-state as their unit of analysis and disregard important commonalities across the Western world; and they pay insufficient attention to different trends in broad categories of physical violence.This paper therefore takes a macro-level and long-term perspective on violent crime, focussing on European homicide during the past 160 years. It demonstrates that the period of increase was preceded by a long-term decline and convergence of homicide rates from the 1840s to the 1950s. Also, it shows that both the decline and the increase primarily resulted from temporal variation in the likelihood of physical aggression between men in public space. It argues that explanations of these common trends need to take into account broad long-term cultural change common to Western societies. In particular, the paper suggests that shifts in culturally transmitted and institutionally embedded ideals of the conduct of life may provide an explanation for long-term change in levels of interpersonal violence.

Coping resources in a sample of chronic low back pain patients: Evaluation of the questionnaire for back pain

BACKGROUND The coping resources questionnaire for back pain (FBR) uses 12 items to measure the perceived helpfulness of different coping resources (CRs, social emotional support, practical help, knowledge, movement and relaxation, leisure and pleasure, spirituality and cognitive strategies). The aim of the study was to evaluate the instrument in a clinical patient sample assessed in a primary care setting. SAMPLE AND METHODS The study was a secondary evaluation of empirical data from a large cohort study in general practices. The 58 participating primary care practices recruited patients who reported chronic back pain in the consultation. Besides the FBR and a pain sketch, the patients completed scales measuring depression, anxiety, resilience, sociodemographic factors and pain characteristics. To allow computing of retested parameters the FBR was sent to some of the original participants again after 6 months (90% response rate). We calculated consistency and retest reliability coefficients as well as correlations between the FBR subscales and depression, anxiety and resilience scores to account for validity. By means of a cluster analysis groups with different resource profiles were formed. Results. RESULTS For the study 609 complete FBR baseline data sets could be used for statistical analysis. The internal consistency scores ranged fromα=0.58 to α=0.78 and retest reliability scores were between rTT=0.41 and rTT=0.63. Correlation with depression, fear and resilience ranged from r=-0.38 to r=0.42. The cluster analysis resulted in four groups with relatively homogenous intragroup profiles (high CRs, low spirituality, medium CRs, low CRs). The four groups differed significantly in fear and depression (the more inefficient the resources the higher the difference) as well as in resilience (the more inefficient the lower the difference). The group with low CRs also reported permanent pain with no relief. The groups did not otherwise differ. CONCLUSIONS The FBR is an economic instrument that is suitable for practical use e.g. in primary care practices to identify strengths and deficits in the CRs of chronic pain patients that can then be specified in face to face consultation. However, due to the rather low reliability, the use of subscales for profile differentiation and follow-up measurement in individual diagnoses is limited.

Assessing collective defensive performances in football: A Qualitative Comparative Analysis of central back pairs

Ahead of the World Cup in Brazil the crucial question for the Swiss national coach is the nomination of the starting eleven central back pair. A fuzzy set Qualitative Comparative Analysis assesses the defensive performances of different Swiss central back pairs during the World Cup campaign (2011 – 2014). This analysis advises Ottmar Hitzfeld to nominate Steve von Bergen and Johan Djourou as the starting eleven central back pair. The alternative with a substantially weaker empirical validity would be Johan Djourou together with Phillippe Senderos. Furthermore, this paper aims to be a step forward in mainstream football analytics. It analyses the undervalued and understudied defense (Anderson and Sally 2012, Statsbomb 2013) by explaining collective defensive performances instead of assessments of individual player or team performances. However, a qualitatively (better defensive metrics) and quantitatively (more games) improved and extended data set would allow for a more sophisticated analysis of collective defensive performances.

Rigorously assessing whether the data backs the back school.

A rigorous between-subjects methodology employing independent random samples and having broad clinical applicability was designed and implemented to evaluate the effectiveness of back safety and patient transfer training interventions for both hospital nurses and nursing assistants. Effects upon self-efficacy, cognitive, and affective measures are assessed for each of three back safety procedures. The design solves the problem of obtaining randomly assigned independent controls where all experimental subjects must participate in the training interventions.

Investigating the sensitivity of hurricane intensity and trajectory to sea surface temperatures using the regional model WRF

The influence of sea surface temperature (SST) anomalies on the hurricane characteristics are investigated in a set of sensitivity experiments employing the Weather Research and Forecasting (WRF) model. The idealised experiments are performed for the case of Hurricane Katrina in 2005. The first set of sensitivity experiments with basin-wide changes of the SST magnitude shows that the intensity goes along with changes in the SST, i.e., an increase in SST leads to an intensification of Katrina. Additionally, the trajectory is shifted to the west (east), with increasing (decreasing) SSTs. The main reason is a strengthening of the background flow. The second set of experiments investigates the influence of Loop Current eddies idealised by localised SST anomalies. The intensity of Hurricane Katrina is enhanced with increasing SSTs close to the core of a tropical cyclone. Negative nearby SST anomalies reduce the intensity. The trajectory only changes if positive SST anomalies are located west or north of the hurricane centre. In this case the hurricane is attracted by the SST anomaly which causes an additional moisture source and increased vertical winds.