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.

BDDT: Block-level Dynamic Dependence Analysis for Task-Based Parallelism

We present BDDT, a task-parallel runtime system that dynamically discovers and resolves dependencies among parallel tasks. BDDT allows the programmer to specify detailed task footprints on any memory address range, multidimensional array tile or dynamic region. BDDT uses a block-based dependence analysis with arbitrary granularity. The analysis is applicable to existing C programs without having to restructure object or array allocation, and provides flexibility in array layouts and tile dimensions.
We evaluate BDDT using a representative set of benchmarks, and we compare it to SMPSs (the equivalent runtime system in StarSs) and OpenMP. BDDT performs comparable to or better than SMPSs and is able to cope with task granularity as much as one order of magnitude finer than SMPSs. Compared to OpenMP, BDDT performs up to 3.9× better for benchmarks that benefit from dynamic dependence analysis. BDDT provides additional data annotations to bypass dependence analysis. Using these annotations, BDDT outperforms OpenMP also in benchmarks where dependence analysis does not discover additional parallelism, thanks to a more efficient implementation of the runtime system.

Ages of 24 widespread tephras erupted since 30,000 years ago in New Zealand, with re-evaluation of the timing and palaeoclimatic implications of the Lateglacial cool episode recorded at Kaipo bog

Tephras are important for the NZ-INTIMATE project because they link all three records comprising the composite inter-regional stratotype developed for the New Zealand climate event stratigraphy (NZ-CES). Here we firstly report new calendar ages for 24 widespread marker tephras erupted since 30,000 calendar (cal.) years ago in New Zealand to help facilitate their use as chronostratigraphic dating tools for the NZ-CES and for other palaeoenvironmental and geological applications. The selected tephras comprise 12 rhyolitic tephras from Taupo, nine rhyolitic tephras from Okataina, one peralkaline rhyolitic tephra from Tuhua, and one andesitic tephra each from Tongariro and Egmont/Taranaki volcanic centres. Age models for the tephras were obtained using three methods: (i) C-based wiggle-match dating of wood from trees killed by volcanic eruptions (these dates published previously); (ii) flexible depositional modelling of a high-resolution C-dated age-depth sequence at Kaipo bog using two Bayesian-based modelling programs, Bacon and OxCal's P_Sequence function, and the IntCal09 data set (with SH offset correction-44±17yr); and (iii) calibration of C ages using OxCal's Tau_Boundary function and the SHCal04 and IntCal09 data sets. Our preferred dates or calibrated ages for the 24 tephras are as follows (youngest to oldest, all mid-point or mean ages of 95% probability ranges): Kaharoa AD 1314±12; Taupo (Unit Y) AD 232±10; Mapara (Unit X) 2059±118cal.yrBP; Whakaipo (Unit V) 2800±60cal.yrBP; Waimihia (Unit S) 3401±108cal.yrBP; Stent (Unit Q) 4322±112cal.yrBP; Unit K 5111±210cal.yrBP; Whakatane 5526±145cal.yrBP; Tuhua 6577±547cal.yrBP; Mamaku 7940±257cal.yrBP; Rotoma 9423±120cal.yrBP; Opepe (Unit E) 9991±160cal.yrBP; Poronui (Unit C) 11,170±115cal.yrBP; Karapiti (Unit B) 11,460±172cal.yrBP; Okupata 11,767±192cal.yrBP; Konini (bed b) 11,880±183cal.yrBP; Waiohau 14,009±155cal.yrBP; Rotorua 15,635±412cal.yrBP; Rerewhakaaitu 17,496±462cal.yrBP; Okareka 21,858±290cal.yrBP; Te Rere 25,171±964cal.yrBP; Kawakawa/Oruanui 25,358±162cal.yrBP; Poihipi 28,446±670cal.yrBP; and Okaia 28,621±1428cal.yrBP.Secondly, we have re-dated the start and end of the Lateglacial cool episode (climate event NZce-3 in theNZ-CES), previously referred to as the Lateglacial climate reversal, as defined at Kaipo bog in eastern North Island, New Zealand, using both Bacon and OxCal P_Sequence modelling with the IntCal09 data set. The ca1200-yr-long cool episode, indicated by a lithostratigraphic change in the Kaipo peat sequence to grey mudwith lowered carbon content, and a high-resolution pollen-derived cooling signal, began 13,739±125cal.yrBP and ended 12,550±140cal.yrBP (mid-point ages of the 95% highest posterior density regions, Bacon modelling). The OxCal modelling, generating almost identical ages, confirmed these ages. The Lateglacial cool episode (ca 13.8-12.6cal.kaBP) thus overlaps a large part of the entire Antarctic Cold Reversal chronozone (ca 14.1-12.4cal.kaBP or ca 14.6-12.8cal.kaBP), and an early part of the Greenland Stadial-1 (Younger Dryas) chronozone (ca 12.9-11.7cal.kaBP). The timing of the Lateglacial cool episode at Kaipo is broadly consistent with the latitudinal patterns in the Antarctic Cold Reversal signal suggested for the New Zealand archipelago from marine and terrestrial records, and with records from southern South America. © 2012 Elsevier Ltd.

Analysis of Dependence Tracking Algorithms for Task Dataflow Execution

Processor architectures has taken a turn towards many-core processors, which integrate multiple processing cores on a single chip to increase overall performance, and there are no signs that this trend will stop in the near future. Many-core processors are harder to program than multi-core and single-core processors due to the need of writing parallel or concurrent programs with high degrees of parallelism. Moreover, many-cores have to operate in a mode of strong scaling because of memory bandwidth constraints. In strong scaling increasingly finer-grain parallelism must be extracted in order to keep all processing cores busy.

Task dataflow programming models have a high potential to simplify parallel program- ming because they alleviate the programmer from identifying precisely all inter-task de- pendences when writing programs. Instead, the task dataflow runtime system detects and enforces inter-task dependences during execution based on the description of memory each task accesses. The runtime constructs a task dataflow graph that captures all tasks and their dependences. Tasks are scheduled to execute in parallel taking into account dependences specified in the task graph.

Several papers report important overheads for task dataflow systems, which severely limits the scalability and usability of such systems. In this paper we study efficient schemes to manage task graphs and analyze their scalability. We assume a programming model that supports input, output and in/out annotations on task arguments, as well as commutative in/out and reductions. We analyze the structure of task graphs and identify versions and generations as key concepts for efficient management of task graphs. Then, we present three schemes to manage task graphs building on graph representations, hypergraphs and lists. We also consider a fourth edge-less scheme that synchronizes tasks using integers. Analysis using micro-benchmarks shows that the graph representation is not always scalable and that the edge-less scheme introduces least overhead in nearly all situations.

Ash from Changbaishan Millennium eruption recorded in Greenland ice: Implications for determining the eruption's timing and impact

Major volcanic eruptions can impact on global climate by injecting large quantities of aerosols and ash into the atmosphere that alter the radiative balance and chemical equilibrium of the stratosphere. The Millennium eruption of Tianchi (Paektu), China/North Korea, was one of the largest Late Holocene eruptions. Uncertainty about the precise timing of the eruption has hindered the recognition of its climate impact in palaeoclimate and historical records. Here we report the compelling identification of the eruption's volcanic signal in Greenland ice cores through the association of geochemically-characterized volcanic glass, represented in by bimodal populations that compare with proximal material from the source eruption. The eruption most probably occurred in the AD 940?s, seven years after the Eldgjá eruption on Iceland. We examine the eruption's potential for climate forcing using the sulfate records from the ice-cores and conclude that it was unlikely to have had a global or extra-regional impact.

TLM2.0 based timing accurate modeling method for complex NoC systems

Scalability and efficiency of on-chip communication of emerging Multiprocessor System-on-Chip (MPSoC) are critical design considerations. Conventional bus based interconnection schemes no longer fit for MPSoC with a large number of cores. Networks-on-Chip (NoC) is widely accepted as the next generation interconnection scheme for large scale MPSoC. The increase of MPSoC complexity requires fast and accurate system-level modeling techniques for rapid modeling and veri-fication of emerging MPSoCs. However, the existing modeling methods are limited in delivering the essentials of timing accuracy and simulation speed. This paper proposes a novel system-level Networks-on-Chip (NoC) modeling method, which is based on SystemC and TLM2.0 and capable of delivering timing accuracy close to cycle accurate modeling techniques at a significantly lower simulation cost. Experimental results are presented to demonstrate the proposed method. ©2010 IEEE.

Ecological Relevance Determines Task Priority in Older Adults' Multitasking

Objectives: Multitasking is a challenging aspect of human behavior, especially if the concurrently performed tasks are different in nature. Several studies demonstrated pronounced performance decrements (dual-task costs) in older adults for combinations of cognitive and motor tasks. However, patterns of costs among component tasks differed across studies and reasons for participants' resource allocation strategies remained elusive.
Method:We investigated young and older adults' multitasking of a working memory task and two sensorimotor tasks, one with low (finger force control) and one with high ecological relevance (postural control). The tasks were performed in single-, dual-, and triple-task contexts.
Results: Working memory accuracy was reduced in dual-task contexts with either sensorimotor task and deteriorated further under triple-task conditions. Postural and force performance deteriorated with age and task difficulty in dual-task contexts. However, in the triple-task context with its maximum resource demands, older adults prioritized postural control
over both force control and memory.
Discussion: Our results identify ecological relevance as the key factor in older adults’ multitasking.

Neural correlates of task switching in paternal 15q11-q13 deletion Prader-Willi syndrome

We report a first study of brain activity linked to task switching in individuals with Prader-Willi syndrome (PWS) PWS individuals show a specific cognitive deficit in task switching which may be associated with the display of temper outbursts and repetitive questioning The performance of participants with PWS and typically developing controls was matched in a cued task switching procedure and brain activity was contrasted on switching and non switching blocks using SARI Individuals with PWS did not show the typical frontal-parietal pattern of neural activity associated with switching blocks, with significantly reduced activation in regions of the posterior parietal and ventromedial prefrontal cortices We suggest that this is linked to a difficulty in PWS in setting appropriate attentional weights to enable task set reconfiguration In addition to this, PWS individuals did not show the typical pattern of deactivation, with significantly less deactivation in an anterior region of the ventromedial prefrontal cortex One plausible explanation for this is that individuals with PWS show dysfunction within the default mode network which has been linked to attentional control The data point to functional changes in the neural circuitry supporting task switching in PWS even when behavioural performance is matched to controls and thus highlight neural mechanisms that may be involved in a specific pathway between genes cognition and behaviour (C) 2010 Elsevier B V All rights reserved

Task-switching deficits and repetitive behaviour in genetic neurodevelopmental disorders: Data from children with Prader-Willi syndrome chromosome 15 q11-q13 deletion and boys with Fragile X syndrome

Prader-Willi syndrome (PWS) and Fragile X syndrome (FraX) are associated with distinctive cognitive and behavioural profiles. We examined whether repetitive behaviours in the two syndromes were associated with deficits in specific executive functions. PWS, FraX, and typically developing (TD) children were assessed for executive functioning using the Test of Everyday Attention for Children and an adapted Simon spatial interference task. Relative to the TD children, children with PWS and FraX showed greater costs of attention switching on the Simon task, but after controlling for intellectual ability, these switching deficits were only significant in the PWS group. Children with PWS and FraX also showed significantly increased preference for routine and differing profiles of other specific types of repetitive behaviours. A measure of switch cost from the Simon task was positively correlated to scores on preference for routine questionnaire items and was strongly associated with scores on other items relating to a preference for predictability. It is proposed that a deficit in attention switching is a component of the endophenotypes of both PWS and FraX and is associated with specific behaviours. This proposal is discussed in the context of neurocognitive pathways between genes and behaviour.

Encouraging children to think counterfactually enhances blocking in a causal learning task

According to a higher order reasoning account, inferential reasoning processes underpin the widely observed cue competition effect of blocking in causal learning. The inference required for blocking has been described as modus tollens (if p then q, not q therefore not p). Young children are known to have difficulties with this type of inference, but research with adults suggests that this inference is easier if participants think counterfactually. In this study, 100 children (51 five-year-olds and 49 six- to seven-year-olds) were assigned to two types of pretraining groups. The counterfactual group observed demonstrations of cues paired with outcomes and answered questions about what the outcome would have been if the causal status of cues had been different, whereas the factual group answered factual questions about the same demonstrations. Children then completed a causal learning task. Counterfactual pretraining enhanced levels of blocking as well as modus tollens reasoning but only for the younger children. These findings provide new evidence for an important role for inferential reasoning in causal learning.