TCP: thread contention predictor for parallel programs

With proliferation of chip multicores (CMPs) on desktops and embedded platforms, multi-threaded programs have become ubiquitous. Existence of multiple threads may cause resource contention, such as, in on-chip shared cache and interconnects, depending upon how they access resources. Hence, we propose a tool - Thread Contention Predictor (TCP) to help quantify the number of threads sharing data and their sharing pattern. We demonstrate its use to predict a more profitable shared, last level on-chip cache (LLC) access policy on CMPs. Our cache configuration predictor is 2.2 times faster compared to the cycle-accurate simulations. We also demonstrate its use for identifying hot data structures in a program which may cause performance degradation due to false data sharing. We fix layout of such data structures and show up-to 10% and 18% improvement in execution time and energy-delay product (EDP), respectively.

Static analysis for checking data format compatibility of programs

Large software systems are developed by composing multiple programs. If the programs manip-ulate and exchange complex data, such as network packets or files, it is essential to establish that they follow compatible data formats. Most of the complexity of data formats is associated with the headers. In this paper, we address compatibility of programs operating over headers of network packets, files, images, etc. As format specifications are rarely available, we infer the format associated with headers by a program as a set of guarded layouts. In terms of these formats, we define and check compatibility of (a) producer-consumer programs and (b) different versions of producer (or consumer) programs. A compatible producer-consumer pair is free of type mismatches and logical incompatibilities such as the consumer rejecting valid outputs gen-erated by the producer. A backward compatible producer (resp. consumer) is guaranteed to be compatible with consumers (resp. producers) that were compatible with its older version. With our prototype tool, we identified 5 known bugs and 1 potential bug in (a) sender-receiver modules of Linux network drivers of 3 vendors and (b) different versions of a TIFF image library.

Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation

We propose a new approach for producing precise constrained slices of programs in a language such as C. We build upon a previous approach for this problem, which is based on term-rewriting, which primarily targets loop-free fragments and is fully precise in this setting. We incorporate abstract interpretation into term-rewriting, using a given arbitrary abstract lattice, resulting in a novel technique for slicing loops whose precision is linked to the power of the given abstract lattice. We address pointers in a first-class manner, including when they are used within loops to traverse and update recursive data structures. Finally, we illustrate the comparative precision of our slices over those of previous approaches using representative examples.

Compiler/Runtime Framework for Dynamic Dataflow Parallelization of Tiled Programs

Task-parallel languages are increasingly popular. Many of them provide expressive mechanisms for intertask synchronization. For example, OpenMP 4.0 will integrate data-driven execution semantics derived from the StarSs research language. Compared to the more restrictive data-parallel and fork-join concurrency models, the advanced features being introduced into task-parallelmodels in turn enable improved scalability through load balancing, memory latency hiding, mitigation of the pressure on memory bandwidth, and, as a side effect, reduced power consumption. In this article, we develop a systematic approach to compile loop nests into concurrent, dynamically constructed graphs of dependent tasks. We propose a simple and effective heuristic that selects the most profitable parallelization idiom for every dependence type and communication pattern. This heuristic enables the extraction of interband parallelism (cross-barrier parallelism) in a number of numerical computations that range from linear algebra to structured grids and image processing. The proposed static analysis and code generation alleviates the burden of a full-blown dependence resolver to track the readiness of tasks at runtime. We evaluate our approach and algorithms in the PPCG compiler, targeting OpenStream, a representative dataflow task-parallel language with explicit intertask dependences and a lightweight runtime. Experimental results demonstrate the effectiveness of the approach.

Micronutrient intakes and the role of nutritional supplements in the diets of Irish adults and pre-school children

To investigate micronutrient intakes and the role of nutritional supplements in the diets of Irish adults aged 18-64 years and pre-school children aged 1-4 years. Analysis is based on data from the National Adult Nutrition Survey (NANS) (n=1274) and the National Pre-School Nutrition Survey (NPNS) (n=500). Food and beverage intakes and nutritional supplement use were recorded using 4-day food records. Nutrients were estimated using WISP© which is based on McCance and Widdowson’s The Composition of Foods, 6thEd and the Irish Food Composition Database. “Meats”, “milk/yoghurt”, “breads”, “fruit/fruit juices” and “breakfast cereals” made important contributions to the intakes of a number of micronutrients. Micronutrient intakes were generally adequate, with the exception of iron (in adult females and 1 year olds) and vitamin D (in all population groups). For iron, zinc, copper and vitamin B6, up to 2% of adults had intakes that exceeded the upper limit (UL). Small proportions of children had intakes of zinc (11%), copper (2%), retinol (4%) and folic acid (5%) exceeding the UL. Nutritional supplements (predominantly multivitamin and/or mineral preparations) were consumed by 28% of adults and 20% of pre-school children. Among users, supplements were effective in reducing the % with inadequate intakes for vitamins A and D (both population groups) and iron (adult females only). Supplement users had a lower prevalence of inadequate intakes for vitamin A and iron compared to non-users. In adults only, users had a lower prevalence of inadequate intakes for magnesium, calcium and zinc, and displayed better compliance with dietary recommendations and lifestyle characteristics compared with non-users. There is poor compliance among women of childbearing age for the recommendation to take a supplement containing 400µg/day of folic acid. These findings are important for the development of nutrition policies and future recommendations for adults and pre-school children in Ireland and the EU.

National food consumption surveys: micronutrient intakes and the role of fortified foods in the diets of Irish pre-school children and adults

This research investigated the micronutrient intakes of Irish pre-school children (1-4 years) and adults (18-64 years) and the role that fortified foods (FFs) play in the diets of these population groups. Dietary intake data were collected as part of the National Pre-school Nutrition Survey (NPNS) (2010-2011) and the National Adult Nutrition Survey (NANS) (2008-2010) using 4-day food and beverage records. Nutrient intakes were estimated using WISP©, which encompasses McCance and Widdowson’s The Composition of Foods and the Irish Food Composition Database. A FF is one in which one or more micronutrients are added. Key dietary sources of micronutrients in NPNS and NANS were “milk”, “meat & meat products”, “breakfast cereals”, “fruit & fruit juices” and “breads”. In general, intakes of most micronutrients were adequate with the exception of iron (1 year old children and adult women) and vitamin D (in all population groups). Small proportions of the pre-school population had intakes which exceeded the upper level (UL) (zinc: 11%, folic acid: 5%, retinol: 4%, copper: 2%). Less than 2% of adults had intakes of iron, copper, zinc and vitamin B6 which exceeded the UL. FFs were consumed by 97% of pre-school children and 82% of adults, representing 17% and 9% of mean daily energy intake respectively. Relative to energy intake, FFs contributed substantially greater proportions to intakes of key micronutrients, such as iron and vitamin D. FFs were effective in reducing the prevalence of inadequate micronutrient intakes in these population groups, particularly for iron in women and 1 year old children. FFs made a significant contribution to folate intake in women of childbearing age (72µg). FFs contributed greater proportions of carbohydrate and lower proportions of fat to the diets of consumers. Voluntary addition of nutrients to foods did not contribute appreciably to intakes exceeding the UL in these population groups.

A systematic review of the effect of dietary exposure that could be achieved through normal dietary intake on learning and performance of school-aged children of relevance to UK schools

The aim of the present review was to perform a systematic in-depth review of the best evidence from controlled trial studies that have investigated the effects of nutrition, diet and dietary change on learning, education and performance in school-aged children (4-18 years) from the UK and other developed countries. The twenty-nine studies identified for the review examined the effects of breakfast consumption, sugar intake, fish oil and vitamin supplementation and 'good diets'. In summary, the studies included in the present review suggest there is insufficient evidence to identify any effect of nutrition, diet and dietary change on learning, education or performance of school-aged children from the developed world. However, there is emerging evidence for the effects of certain fatty acids which appear to be a function of dose and time. Further research is required in settings of relevance to the UK and must be of high quality, representative of all populations, undertaken for longer durations and use universal validated measures of educational attainment. However, challenges in terms of interpreting the results of such studies within the context of factors such as family and community context, poverty, disease and the rate of individual maturation and neurodevelopment will remain. Whilst the importance of diet in educational attainment remains under investigation, the evidence for promotion of lower-fat, -salt and -sugar diets, high in fruits, vegetables and complex carbohydrates, as well as promotion of physical activity remains unequivocal in terms of health outcomes for all schoolchildren.

Teachers and pupils: educational experiences and school based responses to the conflict in Northern Ireland

This article describes a study which examined (a) the impact of the political conflict on teachers' and ppils' experiences of education in Northern Ireland and (b) the impact of curricular-based interventions designed to support the ppils and reduce prejudice. The focus of the second part of the article is on the prejudice reduction initiatives identified. A total of 44 staff and 78 pupils spread across 8 schools participated and both teachers' and ppils' perspectives were identified, the latter being an extremely important dimension which has rarely been addressed in previous studies of this area. The findings, which highlight the complexity of the impact of the political conflict, are considered to have both practical and theoretical implications for prejudice reduction programs.

Conditional cash transfer programs and the representations of poverty in Bolivia and Peru

Bolivia and Peru adopted the same instruments of social policy —conditional cash transfer programs��� to solve the same public problems under different political regimes. By means of the qualitative methodology of discourse analysis, this paper studies the representations of poverty and State made by key actors of those social programs. Underlying more differences than similarities, one demonstrates that the same social policy is linked to opposite social representations of poverty and the State role in every country. The main explanation for this is, far from being imposed by international organizations, those programs are adopted and adapted by each political regime.

Bolsa Familia Program and school enrolment: An analysis of the 2010 Brazilian demographic census

The Bolsa Família Program goal is to promote social development and poverty reduction, through the direct transfer of conditional cash, in association with other social programs. This study aims to analyze whether Bolsa Família had an association with children’s school attendance, which is one of the educational conditions of the program. Our main hypothesis is that children living in households receiving Bolsa Família had greater chances of attending school. Data from the Ministry of Social Development and Combating Famine indicated that children living in households with Bolsa Família had greater school enrolment levels. By using data from the 2010 Demographic Census, collected by the Brazilian Institute of Geography and Statistics (IBGE), some descriptive analyzes and binary logistic regression models were performed for different thresholds of household per capita income. These estimates were made by comparing children who lived in households receiving Bolsa Família to those children not receiving the program. We took into consideration characteristics about the household, mothers, and children. The results were clustered by the municipality of residence of the child. In all income thresholds, children benefi ting from Bolsa Família were more likely to be enrolled in school, compared to children not receiving the benefi t.

METAMORPHOSE European Doctoral Programs on Metamaterials - State-of-the-art

A new European Doctoral Program on Metamaterials has been initiated by the European Union (EU) Network of Excellence METAMORPHOSE. So far, twenty European academic institutions have established a consortium that operates a geographically distributed doctoral school in the emerging and multidisciplinary field of metamaterials.

Did children’s perceptions of an after-school social learning program predict change in their behavior?

This research explored the influence of children’s perceptions of a pro-social behavior after-school program on actual change in the children’s behavioral outcomes over the program’s duration. Children’s perceptions of three program processes were collected as well as self-reported pro-social and anti-social behavior before and after the program. Statistical models showed that: Positive perceptions of the program facilitators’ dispositions significantly predicted reductions in anti-social behavior; and positive perceptions with the program activities significantly predicted gains in pro-social behavior. The children’s perceptions of their peers’ behavior in the sessions were not found to a significant predictor of behavioral change. The two significant perceptual indicators predicted a small percentage of the change in the behavioral outcomes. However, as after-school social learning programs have a research history of problematic implementation children’s perceptions should be considered in future program design, evaluation and monitoring.