95,050 research outputs found

    S-Net for multi-memory multicores

    Get PDF
    Copyright ACM, 2010. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 5th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming: http://doi.acm.org/10.1145/1708046.1708054S-Net is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream processing to structure dynamically evolving networks of communicating asynchronous components. Components themselves are implemented using a conventional language suitable for the application domain. This two-level software architecture maintains a familiar sequential development environment for large parts of an application and offers a high-level declarative approach to component coordination. In this paper we present a conservative language extension for the placement of components and component networks in a multi-memory environment, i.e. architectures that associate individual compute cores or groups thereof with private memories. We describe a novel distributed runtime system layer that complements our existing multithreaded runtime system for shared memory multicores. Particular emphasis is put on efficient management of data communication. Last not least, we present preliminary experimental data

    KLAIM: A Kernel Language for Agents Interaction and Mobility

    Get PDF
    We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, like data, can be moved from one computing environment to another. The language consists of a core Linda with multiple tuple spaces and of a set of operators for building processes. KLAIM naturally supports programming with explicit localities. Localities are first-class data (they can be manipulated like any other data), but the language provides coordination mechanisms to control the interaction protocols among located processes. The formal operational semantics is useful for discussing the design of the language and provides guidelines for implementations. KLAIM is equipped with a type system that statically checks access rights violations of mobile agents. Types are used to describe the intentions (read, write, execute, etc.) of processes in relation to the various localities. The type system is used to determine the operations that processes want to perform at each locality, and to check whether they comply with the declared intentions and whether they have the necessary rights to perform the intended operations at the specific localities. Via a series of examples, we show that many mobile code programming paradigms can be naturally implemented in our kernel language. We also present a prototype implementaton of KLAIM in Java

    The JStar language philosophy

    Get PDF
    This paper introduces the JStar parallel programming language, which is a Java-based declarative language aimed at discouraging sequential programming, en-couraging massively parallel programming, and giving the compiler and runtime maximum freedom to try alternative parallelisation strategies. We describe the execution semantics and runtime support of the language, several optimisations and parallelism strategies, with some benchmark results

    Run-time scheduling and execution of loops on message passing machines

    Get PDF
    Sparse system solvers and general purpose codes for solving partial differential equations are examples of the many types of problems whose irregularity can result in poor performance on distributed memory machines. Often, the data structures used in these problems are very flexible. Crucial details concerning loop dependences are encoded in these structures rather than being explicitly represented in the program. Good methods for parallelizing and partitioning these types of problems require assignment of computations in rather arbitrary ways. Naive implementations of programs on distributed memory machines requiring general loop partitions can be extremely inefficient. Instead, the scheduling mechanism needs to capture the data reference patterns of the loops in order to partition the problem. First, the indices assigned to each processor must be locally numbered. Next, it is necessary to precompute what information is needed by each processor at various points in the computation. The precomputed information is then used to generate an execution template designed to carry out the computation, communication, and partitioning of data, in an optimized manner. The design is presented for a general preprocessor and schedule executer, the structures of which do not vary, even though the details of the computation and of the type of information are problem dependent

    Environmental complexity: A buffer against stress in the domestic chick

    Get PDF
    Birds kept in commercial production systems can be exposed to multiple stressors from early life and this alters the development of different morphological, immunological and behavioural indicators. We explore the hypothesis that provision of a complex environment during early life, better prepares birds to cope with stressful events as well as buffers them against future unpredictable stressful episodes. In this study, 96 one day old pullets were randomly distributed in eight pens (12 birds/pen). Half of the chicks (N = 48) were assigned to a Complex Environment (CENV: with perches, a dark brooder etc.) the others to a Simple Environment (SENV: without enrichment features). Half of the birds from each of these treatments were assigned to a No Stress (NSTR, 33C) or to an acute Cold Stress (CSTR, 18–20C) treatment during six hours on their second day of life. At four weeks of age, chicks with these four different backgrounds were exposed to an Intermittent Stressful Challenges Protocol (ISCP). In an immunological test indicative of pro-inflammatory status Phytohe-magglutinin-P (PHA-P), the response of CSTR birds was ameliorated by rearing chicks in a CENV as they had a similar response to NSTR chicks and a significantly better pro-inflammatory response than those CSTR birds reared in a SENV (five days after the CSTR treatment was applied). A similar better response when coping with new challenges (the ISCP) was observed in birds reared in a CENV compared to those from a SENV. Birds reared in the CENV had a lower heterophil/lymphocyte ratio after the ISCP than birds reared in SENV, independently of whether or not they had been exposed to CSTR early in life. No effects of stress on general behaviour were detected, however, the provision of a CENV increased resting behaviour, which may have favoured stress recover. Additionally, we found that exposure to cold stress at an early age might have rendered birds more vulnerable to future stressful events. CSTR birds had lower humoral immune responses (sheep red blood cells induced antibodies) after the ISCP and started using elevated structures in the CENV later compared to their NSTR conspecifics. Our study reflects the importance of the early provision of a CENV in commercial conditions to reduce negative stress-related effects. Within the context of the theory of adaptive plasticity, our results suggest that the early experience of the birds had long lasting effects on the modulation of their phenotypes.Fil: Campderrich, Irene. Centro de Investigación. Neiker - Tecnalia; España. Swedish University of Agricultural Sciences; SueciaFil: Nazar, Franco Nicolas. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas Físicas y Naturales. Instituto de Ciencias y Tecnología de los Alimentos; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto de Investigaciones Biológicas y Tecnológicas. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Instituto de Investigaciones Biológicas y Tecnológicas; ArgentinaFil: Wichman, Anette. Swedish University of Agricultural Sciences; SueciaFil: Marin, Raul Hector. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas Físicas y Naturales. Instituto de Ciencias y Tecnología de los Alimentos; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto de Investigaciones Biológicas y Tecnológicas. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Instituto de Investigaciones Biológicas y Tecnológicas; ArgentinaFil: Estevez, Inma. Centro de Investigación. Neiker - Tecnalia; EspañaFil: Keeling, Linda J.. Swedish University of Agricultural Sciences; Sueci
    corecore