Formal Analysis of MPI-based Parallel Programs

Most parallel computing applications in highperformance computing use the Message Passing Interface (MPI) API. Given the fundamental importance of parallel computing to science and engineering research, application correctness is paramount. MPI was originally developed around 1993 by the MPI Forum, a group of vendors, parallel programming researchers, and computational scientists. However, the document defining the standard is not issued by an official standards organization but has become a de facto standard © 2011 ACM.

Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update

We propose a dynamic verification approach for large-scale message passing programs to locate correctness bugs caused by unforeseen nondeterministic interactions. This approach hinges on an efficient protocol to track the causality between nondeterministic message receive operations and potentially matching send operations. We show that causality tracking protocols that rely solely on logical clocks fail to capture all nuances of MPI program behavior, including the variety of ways in which nonblocking calls can complete. Our approach is hinged on formally defining the matches-before relation underlying the MPI standard, and devising lazy update logical clock based algorithms that can correctly discover all potential outcomes of nondeterministic receives in practice. can achieve the same coverage as a vector clock based algorithm while maintaining good scalability. LLCP allows us to analyze realistic MPI programs involving a thousand MPI processes, incurring only modest overheads in terms of communication bandwidth, latency, and memory consumption. © 2011 IEEE.

Welfare risk assessment:The benefits and common pitfalls

Risk is defined as a situation involving exposure to danger. Risk assessment by nature characterises the probability of a negative event occurring and quantifies the consequences of such an event. Risk assessment is increasingly being used in the field of animal welfare as a means of drawing comparisons between multiple welfare problems within and between species and identifying those that should be prioritised by policy-makers, either because they affect a large proportion of the population or because they have particularly severe consequences for those affected. The assessment of risk is typically based on three fundamental factors: intensity of consequences, duration affected by consequences and prevalence. However, it has been recognised that these factors alone do not give a complete picture of a hazard and its associated consequences. Rather, to get a complete picture, it is important to also consider information about the hazard itself: probability of exposure to the hazard and duration of exposure to the hazard. The method has been applied to a variety of farmed species (eg poultry, dairy cows, farmed fish), investigating housing, husbandry and slaughter procedures, as well as companion animals, where it has been used to compare inherited defects in pedigree dogs and horses. To what extent can we trust current risk assessment methods to get the priorities straight? How should we interpret the results produced by such assessments? Here, the potential difficulties and pitfalls of the welfare risk assessment method will be discussed: (i) the assumption that welfare hazards are independent; (ii) the problem of quantifying the model parameters; and (iii) assessing and incorporating variability and uncertainty into welfare risk assessments. © 2012 Universities Federation for Animal Welfare.

Ethics in neuroscience graduate training programs:Views and models from Canada

Consideration of the ethical, social, and policy implications of research has become increasingly important to scientists and scholars whose work focuses on brain and mind, but limited empirical data exist on the education in ethics available to them. We examined the current landscape of ethics training in neuroscience programs, beginning with the Canadian context specifically, to elucidate the perceived needs of mentors and trainees and offer recommendations for resource development to meet those needs. We surveyed neuroscientists at all training levels and interviewed directors of neuroscience programs and training grants. A total of 88% of survey respondents reported general interest in ethics, and 96% indicated a desire for more ethics content as it applies to brain research and clinical translation. Expert interviews revealed formal ethics education in over half of programs and in 90% of grants-based programs. Lack of time, resources, and expertise, however, are major barriers to expanding ethics content in neuroscience education. We conclude with an initial set of recommendations to address these barriers which includes the development of flexible, tailored ethics education tools, increased financial support for ethics training, and strategies for fostering collaboration between ethics experts, neuroscience program directors, and funding agencies. © 2010 the Authors. Journal Compilation © 2010 International Mind, Brain, and Education Society and Blackwell Publishing, Inc.

Communicating the benefits of wholegrain and functional grain products to European consumers

In order to increase the consumption of wholegrain products or grain products with functional properties, it is important to understand consumer beliefs about such products and the impact of health claims. In a series of consumer studies several differences were found between countries. While consumers in Finland, Italy and the UK saw wholegrain products as having positive attributes, those in Finland had more negative beliefs about refined grain products. Health claims and wholegrain labels increased perceived healthiness but had a less positive impact on likelihood of buying, and in Italy both health claims and wholegrain labels even decreased the likelihood of buying.

Detection of visual-field deterioration by Glaucoma Progression Analysis and Threshold Noiseless Trend programs

BACKGROUND: To compare the ability of Glaucoma Progression Analysis (GPA) and Threshold Noiseless Trend (TNT) programs to detect visual-field deterioration.

METHODS: Patients with open-angle glaucoma followed for a minimum of 2 years and a minimum of seven reliable visual fields were included. Progression was assessed subjectively by four masked glaucoma experts, and compared with GPA and TNT results. Each case was judged to be stable, deteriorated or suspicious of deterioration

RESULTS: A total of 56 eyes of 42 patients were followed with a mean of 7.8 (SD 1.0) tests over an average of 5.5 (1.04) years. Interobserver agreement to detect progression was good (mean kappa = 0.57). Progression was detected in 10-19 eyes by the experts, in six by GPA and in 24 by TNT. Using the consensus expert opinion as the gold standard (four clinicians detected progression), the GPA sensitivity and specificity were 75% and 83%, respectively, while the TNT sensitivity and specificity was 100% and 77%, respectively.

CONCLUSION: TNT showed greater concordance with the experts than GPA in the detection of visual-field deterioration. GPA showed a high specificity but lower sensitivity, mainly detecting cases of high focality and pronounced mean defect slopes.

Reconsidering Resource Rights: The Case for a Basic Right to the Benefits of Life-Sustaining Ecosystem Services

In the presence of anthropogenic climate change, gross environmental degradation, and mass abject poverty, many political theorists currently debate issues such as people's right to water, the right to food, and the distribution of rights to natural resources more generally. However, thus far many theorists either focus (somewhat arbitrarily) only on one particular resource (e.g. water) or they treat all natural resources alike, meaning that many relevant distinctions within the group of natural resources are overlooked. Hence, the paper will start with an analysis of the various forms which natural resources can take and how this might influence one's conception of resource rights. In so doing, the paper argues that we have to carefully distinguish between the actual physical resources people might control and how we distribute these, and the life-sustaining benefits each and every person draws from sustainable and functioning ecosystems. Based on this distinction, the paper will argue for a right to the benefits of life-sustaining ecosystem services as a universal basic right every person has. Further distributive claims with respect to particular physical resources would thus be limited by the requirements of such a basic right.

Inference and Declaration of Independence in Task-Parallel Programs

The inherent difficulty of thread-based shared-memory programming has recently motivated research in high-level, task-parallel programming models. Recent advances of Task-Parallel models add implicit synchronization, where the system automatically detects and satisfies data dependencies among spawned tasks. However, dynamic dependence analysis incurs significant runtime overheads, because the runtime must track task resources and use this information to schedule tasks while avoiding conflicts and races.
We present SCOOP, a compiler that effectively integrates static and dynamic analysis in code generation. SCOOP combines context-sensitive points-to, control-flow, escape, and effect analyses to remove redundant dependence checks at runtime. Our static analysis can work in combination with existing dynamic analyses and task-parallel runtimes that use annotations to specify tasks and their memory footprints. We use our static dependence analysis to detect non-conflicting tasks and an existing dynamic analysis to handle the remaining dependencies. We evaluate the resulting hybrid dependence analysis on a set of task-parallel programs.

D3.1 Benefits Analysis of the Initial Operational Cruiser-Feeder Concept

The REsearch on a CRuiser Enabled Air Transport Environment (RECREATE) project is considers the introduction and airworthiness of cruiser-feeder operations for civil aircraft. Cruiser-feeder operations are investigated as a promising pioneering idea for the air transport of the future. The soundness of the concept of cruiser-feeder operations for civil aircraft can be understood, taking air-to-air refueling operations as an example. For this example, a comprehensive estimate of the benefits can be made, which shows a fuel burn reduction potential and a CO2 emission reduction of 31% for a typical 6000 nautical miles flight with a payload of 250 passengers. This reduction potential is known to be large by any standard. The top level objective of the RECREATE project is to demonstrate on a preliminary design level that cruiser-feeder operations (as a concept to reduce fuel burn and CO2 emission levels) can be shown to comply with the airworthiness requirements for civil aircraft. The underlying Scientific and Technological (S&T) objectives are to determine and study airworthy operational concepts for cruiser-feeder operations, and to derive and quantify benefits in terms of CO2 emission reduction but also other benefits.

Work Package (WP) 3 has the objective to substantiate the assumed benefits of the cruiser/feeder operations through refined analysis and simulation. In this report, initial benefits evaluation of the initial RECREATE cruiser/feeder concepts is presented. The benefits analysis is conducted in delta mode, i.e. comparison is made with a baseline system. Since comparing different aircraft and air transport systems is never a trivial task, appropriate measures and metrics are defined and selected first. Non-dimensional parameters are defined and values for the baseline system derived.

The impact of cruiser/feeder operations such as air-to-air refueling are studied with respect to fuel-burn (or carbon-dioxide), noise and congestion. For this purpose, traffic simulations have been conducted.
Cruiser/feeder operations will have an impact on dispatch reliability as well. An initial assessment of the effect on dispatch reliability has been made and is reported.

Finally, a considerable effort has been made to create the infrastructure for economic delta analysis of the cruiser/feeder concept of operation. First results of the cost analysis have been obtained.