65 research outputs found

    A distributable APSE

    Get PDF
    A distributed Ada program library is a key element in a distributed Ada Program Support Environment (APSE). To implement this successfully, the program library universe as defined by the Ada Reference Manual must be broken up into independently manageable pieces. This in turn requires the support of a distributed database system, as well as a mechanism for identifying compilation units, linkable subprograms, and Ada types in a decentralized way, to avoid falling victim to the bottlenecks of a global database and/or global unique-identifier manager. It was found that the ability to decentralize Ada program library activity is a major advantage in the management of large Ada programs. Currently, there are 18 resource-catalog revision sets, each in its own Host Interface (HIF) partition, plus 18 partitions for testing each of these, plus 11 partitions for the top-level compiler/linker/program library manager components. Compiling and other development work can proceed in parallel in each of these partitions, without suffering the performance bottlenecks of global locks or global unique-identifier generation

    An Execution Model for Fine-Grained Parallelism in Ada

    Get PDF
    20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 25 to 29, Jun, 2015. Madrid, Spain. Best Paper Award.This paper extends the authors earlier proposal for providing Ada with support for fine-grained parallelism with an execution model based on the concept of abstract executors, detailing the progress guarantees that these executors must provide and how these can be assured even in the presence of potentially blocking operations. The paper also describes how this execution model can be applied to real-time systems

    Constraints on the Use of Executors in Real-time Systems

    Get PDF
    18th International Real-Time Ada Workshop (IRTAW 2016). 11 to 13, Apr, 2016. BenicĂ ssim, Spain.Previous work proposed work to include parallelism in Ada to improve the use of multicore processors. This work proposed a model of Tasklets to carry the expressions of parallelism, and introduced the notion of executors to map the execution of Tasklets on hardware. In developing the model, a number of choices arise that effect how well the model will accommodate real-time systems. These choices become constraints which are examined and reasonable choices proposed for adoption in Ada.info:eu-repo/semantics/publishedVersio

    Mutation of Rubie, a Novel Long Non-Coding RNA Located Upstream of Bmp4, Causes Vestibular Malformation in Mice

    Get PDF
    Background: The vestibular apparatus of the vertebrate inner ear uses three fluid-filled semicircular canals to sense angular acceleration of the head. Malformation of these canals disrupts the sense of balance and frequently causes circling behavior in mice. The Epistatic circler (Ecl) is a complex mutant derived from wildtype SWR/J and C57L/J mice. Ecl circling has been shown to result from the epistatic interaction of an SWR-derived locus on chromosome 14 and a C57L-derived locus on chromosome 4, but the causative genes have not been previously identified. Methodology/Principal Findings: We developed a mouse chromosome substitution strain (CSS-14) that carries an SWR/J chromosome 14 on a C57BL/10J genetic background and, like Ecl, exhibits circling behavior due to lateral semicircular canal malformation. We utilized CSS-14 to identify the chromosome 14 Ecl gene by positional cloning. Our candidate interval is located upstream of bone morphogenetic protein 4 (Bmp4) and contains an inner ear-specific, long non-coding RNA that we have designated Rubie (RNA upstream of Bmp4 expressed in inner ear). Rubie is spliced and polyadenylated, and is expressed in developing semicircular canals. However, we discovered that the SWR/J allele of Rubie is disrupted by an intronic endogenous retrovirus that causes aberrant splicing and premature polyadenylation of the transcript. Rubie lies in the conserved gene desert upstream of Bmp4, within a region previously shown to be important for inner ear expression of Bmp4. We found that the expression patterns of Bmp4 and Rubie are nearly identical in developing inner ears

    Natural Cross Chlamydial Infection between Livestock and Free-Living Bird Species

    Get PDF
    The study of cross-species pathogen transmission is essential to understanding the epizootiology and epidemiology of infectious diseases. Avian chlamydiosis is a zoonotic disease whose effects have been mainly investigated in humans, poultry and pet birds. It has been suggested that wild bird species play an important role as reservoirs for this disease. During a comparative health status survey in common (Falco tinnunculus) and lesser (Falco naumanni) kestrel populations in Spain, acute gammapathies were detected. We investigated whether gammapathies were associated with Chlamydiaceae infections. We recorded the prevalence of different Chlamydiaceae species in nestlings of both kestrel species in three different study areas. Chlamydophila psittaci serovar I (or Chlamydophila abortus), an ovine pathogen causing late-term abortions, was isolated from all the nestlings of both kestrel species in one of the three studied areas, a location with extensive ovine livestock enzootic of this atypical bacteria and where gammapathies were recorded. Serovar and genetic cluster analysis of the kestrel isolates from this area showed serovars A and C and the genetic cluster 1 and were different than those isolated from the other two areas. The serovar I in this area was also isolated from sheep abortions, sheep faeces, sheep stable dust, nest dust of both kestrel species, carrion beetles (Silphidae) and Orthoptera. This fact was not observed in other areas. In addition, we found kestrels to be infected by Chlamydia suis and Chlamydia muridarum, the first time these have been detected in birds. Our study evidences a pathogen transmission from ruminants to birds, highlighting the importance of this potential and unexplored mechanism of infection in an ecological context. On the other hand, it is reported a pathogen transmission from livestock to wildlife, revealing new and scarcely investigated anthropogenic threats for wild and endangered species

    Providing additional real-time capability and flexibility for Ada 2005

    No full text
    • …
    corecore