Parallel Programming of General-Purpose Programs Using Task-Based Programming Models

The prevalence of multicore processors is bound to drive most kinds of software development towards parallel programming. To limit the difficulty and overhead of parallel software design and maintenance, it is crucial that parallel programming models allow an easy-to-understand, concise and dense representation of parallelism. Parallel programming models such as Cilk++ and Intel TBBs attempt to offer a better, higher-level abstraction for parallel programming than threads and locking synchronization. It is not straightforward, however, to express all patterns of parallelism in these models. Pipelines are an important parallel construct, although difficult to express in Cilk and TBBs in a straightfor- ward way, not without a verbose restructuring of the code. In this paper we demonstrate that pipeline parallelism can be easily and concisely expressed in a Cilk-like language, which we extend with input, output and input/output dependency types on procedure arguments, enforced at runtime by the scheduler. We evaluate our implementation on real applications and show that our Cilk-like scheduler, extended to track and enforce these dependencies has performance comparable to Cilk++.

Service user involvement in drug treatment programs: Barriers to implementation and potential benefits for client recovery

Service user forums have the potential for improving awareness of services, empowering service users and strengthening community partnerships within an inclusive treatment and rehabilitation framework. The research aimed to investigate perspectives about service user involvement in order to inform the development of effective service user forum(s) in west Ireland. A total of 30 interviews with key service providers and 12 interviews with service users were conducted, with interview questions focusing on: (1) awareness of the Service User Support Team and (2) barriers to service user involvement and the development of service user forums in the region. An integrated data collection and thematic analysis was undertaken. Current levels of service user involvement were low, restricted by one-way communication and appeared grounded in user-provider power differentials and stigma relating to drug dependency. Service providers queried the actual terms of reference, capacity and training that would be needed for service user forums to advocate and lobby for service users. The use of existing support groups, creation of internet user forums and rotation of rural meetings were recommended to promote engagement among service users. The research underscores the need for transparency, resources and a framework for good practice that reflects a participatory approach


Read More: http://informahealthcare.com/doi/abs/10.3109/09687637.2012.671860

The physical activity loyalty card scheme:Development and application of a novel system for incentivizing behaviour change

In the Public Health White Paper "Healthy Lives, Healthy People" (2010), the UK Government emphasised using incentives and "nudging" to encourage positive, healthy behaviour changes. However, there is little evidence that nudging is effective, in particular for increasing physical activity. We have created a platform to research the effectiveness of health-related behaviour change interventions and incentive schemes. The system consists of an outward-facing website, incorporating tools for incentivizing behaviour change, and a novel physical activity monitoring system. The monitoring system consists of the "Physical Activity Loyalty Card", which contains a passive RFID tag, and a contactless sensor network to detect the cards. This paper describes the application of this novel web-based system to investigate the effectiveness of non-cash incentives to "nudge" adults to undertake more physical activity. © 2012 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering.

Exploring the use of physical activity loyalty cards for behaviour change in public health: randomised controlled trial

Abstract
Background Physical inactivity is a major public health concern, and more innovative approaches are urgently needed to address it. The UK Government supports the use of incentives and so-called nudges to encourage healthy behaviour changes, and has encouraged business sector involvement in public health through the Public Health Responsibility Deal. To test the effectiveness of provision of incentives to encourage adults to increase their physical activity, we
recruited 406 adults from a workplace setting (office-based) to take part in an assessor-blind randomised controlled trial.
Methods
We developed the physical activity loyalty card scheme, which integrates a novel physical activity tracking system with web-based monitoring (palcard). Participants were recruited from two buildings at Northern Ireland’s main
government offices and were randomly allocated (grouped by building [n=2] to reduce contamination) to either incentive group (n=199) or no incentive group (n=207). We included participants aged 16–65 years, based at the worksite 4 days or more per week and for 6 h or more per day, and able to complete 15 min of moderate-paced walking (self-report). Exclusion criteria included having received specific advice by a general practitioner not to exercise. A statistician not involved in administration of the trial prepared a computer-generated random allocation sequence. Random assignments were placed in individually numbered, sealed envelopes by the statistician to ensure concealment of allocation. Only the assessor was masked to assignment. Sensors were placed along footpaths and the gym in the workplace. Participants scanned their loyalty card at the sensor when undertaking physical activity (eg, walking), which logged activity. Participants in the incentive group monitored their physical activity, collected points, and received rewards (retail vouchers) for minutes of physical activity completed over the 12-week intervention. Rewards were vouchers sponsored by local retailers. Participants in the no incentive group used their loyalty card to self-monitor their physical activity but were not able to earn points or receive rewards. The primary outcome was change in minutes of moderate to vigorous physical activity with the Global Physical Activity Questionnaire, measured at baseline, week 12, and 6 months. Activity was objectively measured with the tracking system over the 12-week intervention. Mann Whitney U tests were done to assess change between groups.
Findings
The mean age of participants was 43·32 years (SD 9·37), and 272 (67%) were women. We obtained follow-up data from 353 (87%) participants at week 12 and 341 (84%) at 6 months. At week 12, participants in the incentive group increased moderate to vigorous physical activity by a median of 60 min per week (IQR –10 to 120) compared with 30 min per week (–60 to 90) in the no incentive group (p=0·05). At 6 months, participants in the incentive group had
increased their moderate to vigorous physical activity by 30 min per week (–60 to 100) from baseline compared with 0 min per week (–115 to 1110) in the no incentive group (p=0·099). We noted no significant differences between groups
for use of loyalty card (p=0·18). Participants in the incentive group recorded a mean of 60·22 min (95% CI 50·90–69·55) of physical activity per week with their loyalty card on week 1 and 23·56 min (17·06–30·06) at week 12, which was similar to that for those in the no incentive group (59·74 min, 51·24–68·23, at week 1; 20·25 min, 14·45–26·06, at week 12; p=0·94 for differences between groups at week 1; p=0·45 for differences between groups at week 12).
Interpretation:
Financial incentives showed a short-term behaviour change in physical activity. This innovative study contributes to the necessary evidence base, and has important implications for physical activity promotion and business engagement in health. The optimum incentive-based approach needs to be established. Results should be interpreted with some caution as the analyses of secondary outcomes were not adjusted for multiple comparisons.

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.

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.