Single-Producer/Single-Consumer Queues on Shared Cache Multi-Core Systems

Using efficient point-to-point communication channels is critical for implementing fine grained parallel program on modern shared cache multi-core architectures. This report discusses in detail several implementations of wait-free Single-Producer/Single-Consumer queue (SPSC), and presents a novel and efficient algorithm for the implementation of an unbounded wait-free SPSC queue (uSPSC). The correctness proof of the new algorithm, and several performance measurements based on simple synthetic benchmark and microbenchmark, are also discussed

FastFlow tutorial

FastFlow is a structured parallel programming framework targeting shared memory multicores. Its layered design and the optimized implementation of the communication mechanisms used to implement the FastFlow streaming networks provided to the application programmer as algorithmic skeletons support the development of efficient fine grain parallel applications. FastFlow is available (open source) at SourceForge (http://sourceforge.net/projects/mc-fastflow/). This work introduces FastFlow programming techniques and points out the different ways used to parallelize existing C/C++ code using FastFlow as a software accelerator. In short: this is a kind of tutorial on FastFlow.Comment: 49 pages + cove

Scheduling of an aircraft fleet

Scheduling is the task of assigning resources to operations. When the resources are mobile vehicles, they describe routes through the served stations. To emphasize such aspect, this problem is usually referred to as the routing problem. In particular, if vehicles are aircraft and stations are airports, the problem is known as aircraft routing. This paper describes the solution to such a problem developed in OMAR (Operative Management of Aircraft Routing), a system implemented by Bull HN for Alitalia. In our approach, aircraft routing is viewed as a Constraint Satisfaction Problem. The solving strategy combines network consistency and tree search techniques

The value of traditional rural landscape and nature protected areas in tourism demand: A study on agritourists' preferences

This study focuses on how traditional rural landscape and proximity to a Natura 2000 Site of Community Importance (SCI) might influence consumers\u2019 choice of an agritourism farm for a weekend stay. Data were collected in Umbria region\u2019s (Italy) agritourism farms in 2014 by interviewing 160 tourists. Results from a discrete choice experiment reveal that the most important feature affecting the interviewees\u2019 propensity to pay a premium price to stay in an agritourism farm is the well-preserved traditional landscape (willingness to pay 32.32\u20ac/night for two people), followed by the availability of a swimming pool (willingness to pay 20.95\u20ac/night for two people), the proximity to a historical village (willingness to pay 18.37\u20ac/night for two people) and, the location in a Natura 2000 SCI (willingness to pay 13.57\u20ac/night for two people). Furthermore, the results underline how the preservation of the traditional landscape and protection of the surrounding environment play a strategic role in developing agritourism and provide economic benefits to local communities

THE EFFECTS OF CAP REFORM ON THE PERIURBAN AGRICULTURAL AREA IN THE PLAIN OF THE CITY OF ASSISI (CENTRAL ITALY)

In periurban areas agriculture can assume a multifunctional role that includes landscape conservation, sustainable resource management, biodiversity conservation, leisure activities, and can also maintain adequate conditions in densely populated areas for a safe and habitable environment. This study investigates the effects of the introduction of single farm payment on the periurban agricultural area in the plain of the City of Assisi, an area with a strong landscape value. A survey was carried out to determine: changes in production, changes on farm incomes, structural adjustments, the level of multifunctionality of periurban agriculture. Moreover, a survey of 355 residents was made to assess their willingness to pay for some positive externalities of the agriculture in this area. The results suggest the low-impact of reform on farms and the existence of a significant demand for environmental and social functions of the periurban agriculture of this region.Periurban Agriculture, Cap Reform, Economic Valuation, Contingent Valuation, Assisi, Agricultural and Food Policy, Research Methods/ Statistical Methods, Q10, Q18,

Social capital and rural innovation process. The evaluation of the measure 124 \u201cCooperation for Development of New Products, Processes and Technologies in the Agriculture, Food and Forestry Sector\u201d in the Umbria Region (Italy)

The most recent theories on innovation point out the role of social networks, demonstrating how knowledge is intertwined with network communities and social capital represents an essential factor to comprehend innovation. The social network dimension of the innovation process is also acknowledged in the actual definition of an agricultural innovation system (AIS). This study attempts to assess the role played by social capital in agricultural innovation projects co-financed by the Measure 124 of the Rural Development Program (2007-2013) of the Umbria Region (Italy), based on the analysis of 5 evaluation criteria (relevance, innovation, effectiveness, sustainability, and social capital) in relation to 8 selected projects. The obtained results confirm the validity of the proposed methodology both for the purpose of internal monitoring of the project and for the assessment of the measure on the basis of tangible and intangible factors, such as social capital

Accelerating sequential programs using FastFlow and self-offloading

FastFlow is a programming environment specifically targeting cache-coherent shared-memory multi-cores. FastFlow is implemented as a stack of C++ template libraries built on top of lock-free (fence-free) synchronization mechanisms. In this paper we present a further evolution of FastFlow enabling programmers to offload part of their workload on a dynamically created software accelerator running on unused CPUs. The offloaded function can be easily derived from pre-existing sequential code. We emphasize in particular the effective trade-off between human productivity and execution efficiency of the approach.Comment: 17 pages + cove

On Designing Multicore-aware Simulators for Biological Systems

The stochastic simulation of biological systems is an increasingly popular technique in bioinformatics. It often is an enlightening technique, which may however result in being computational expensive. We discuss the main opportunities to speed it up on multi-core platforms, which pose new challenges for parallelisation techniques. These opportunities are developed in two general families of solutions involving both the single simulation and a bulk of independent simulations (either replicas of derived from parameter sweep). Proposed solutions are tested on the parallelisation of the CWC simulator (Calculus of Wrapped Compartments) that is carried out according to proposed solutions by way of the FastFlow programming framework making possible fast development and efficient execution on multi-cores.Comment: 19 pages + cover pag

A Configurable Transport Layer for CAF

The message-driven nature of actors lays a foundation for developing scalable and distributed software. While the actor itself has been thoroughly modeled, the message passing layer lacks a common definition. Properties and guarantees of message exchange often shift with implementations and contexts. This adds complexity to the development process, limits portability, and removes transparency from distributed actor systems. In this work, we examine actor communication, focusing on the implementation and runtime costs of reliable and ordered delivery. Both guarantees are often based on TCP for remote messaging, which mixes network transport with the semantics of messaging. However, the choice of transport may follow different constraints and is often governed by deployment. As a first step towards re-architecting actor-to-actor communication, we decouple the messaging guarantees from the transport protocol. We validate our approach by redesigning the network stack of the C++ Actor Framework (CAF) so that it allows to combine an arbitrary transport protocol with additional functions for remote messaging. An evaluation quantifies the cost of composability and the impact of individual layers on the entire stack