An Execution Model for Fine-Grained Parallelism in Ada

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

Knowledge representation into Ada parallel processing

The Knowledge Representation into Ada Parallel Processing project is a joint NASA and Air Force funded project to demonstrate the execution of intelligent systems in Ada on the Charles Stark Draper Laboratory fault-tolerant parallel processor (FTPP). Two applications were demonstrated - a portion of the adaptive tactical navigator and a real time controller. Both systems are implemented as Activation Framework Objects on the Activation Framework intelligent scheduling mechanism developed by Worcester Polytechnic Institute. The implementations, results of performance analyses showing speedup due to parallelism and initial efficiency improvements are detailed and further areas for performance improvements are suggested

Emulating Digital Logic using Transputer Networks (Very High Parallelism = Simplicity = Performance)

Modern VLSI technology has changed the economic rules by which the balance between processing power, memory and communications is decided in computing systems. This will have a profound impact on the design rules for the controlling software. In particular, the criteria for judging efficiency of the algorithms will be somewhat different. This paper explores some of these implications through the development of highly parallel and highly distributable algorithms based on occam and transputer networks. The major results reported are a new simplicity for software designs, a corresponding ability to reason (formally and informally) about their properties, the reusability of their components and some real performance figures which demonstrate their practicality. Some guidelines to assist in these designs are also given. As a vehicle for discussion, an interactive simulator is developed for checking the functional and timing characteristics of digital logic circuits of arbitrary complexity

THE DISCURSIVE INTERACTION BETWEEN REPRESENTATIVE MAN AND WOMAN IN MAPPETTU ADA MARRIAGE PROPOSAL IN BUGINESE SOCIETY (A SEMIOTIC APPROACH)

The discursive interaction consists of dialogism and parallelism. This research is aimed to analyze the discursive interaction that occurs in Mappettu Ada event. The researcher employed descriptive qualitative method, shows a description and elaboration systematically what the interactions happened in Mappettu Ada event. The data were taken from text of Mappettu Ada who utterred by the representative of man and woman which was held in Mappettu Ada event.The result of the data shows that the Mappettu Ada is carried out through two representative of man and woman held the ceremonial custom meeting in order to discuss about tanra esso (the day of marriage), sompa (dowry), balanca (expenses/money for celebrating the marriage). Other result is the discursive interaction that occurs in Mappettu Ada event are dialogism and parallelism. The form of parallelism which occurs in Mappettu Ada event is interactional parallelism.Keywords: Mappettu Ada, interaction, parallelism. Interaksi diskursif meliputi dialogism dan parallelism. Penelitian ini bertujuan untuk menganalisa interaksi diskursif yang muncul pada acara Mappettu Ada. Penelitian ini menggunakan metode deskriptif kualitatif yang menunjukkan penggambaran dan elaborasi secara sistematis tentang interaksi apa saja yang terdapat dalam acara Mappettu Ada. Data ini diperoleh dari ujaran dalam Mappettu Ada yang diujarkan oleh perwakilan laki-laki dan perempuan yang diselenggarakan dalam acara Mappettu Ada. Hasil dari data menunjukkan bahwa acara Mappettu Ada diselenggarakan dengan diadakannya pertemuan secara adat antara perwakilan pihak laki-laki dan perempuan dengan maksud untuk mendiskusikan tentang tanra esso (hari pernikahan), sompa (mahar), balanca (uang belanja). Hasil lain penelitian ini adalah adanya interaksi diskursif yang muncul dalam Mappettu Ada yaitu dialogisme dan parallelisme. Bentuk parallelism yang muncul dalam acara Mappettu Ada adalah parallelisme interaksi. Kata kunci: Mappettu Ada, interaksi, parallelism

Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP

There is a growing need to support parallel computation in Ada to cope with the performance requirements of the most advanced functionalities of safety-critical systems. In that regard, the use of parallel programming models is paramount to exploit the benefits of parallelism. Recent works motivate the use of OpenMP for being a de facto standard in high-performance computing for programming shared memory architectures. These works address two important aspects towards the introduction of OpenMP in Ada: the compatibility of the OpenMP syntax with the Ada language, and the interoperability of the OpenMP and the Ada runtimes, demonstrating that OpenMP complements and supports the structured parallelism approach of the tasklet model. This paper addresses a third fundamental aspect: functional safety from a compiler perspective. Particularly, it focuses on race conditions and considers the fine-grain and unstructured capabilities of OpenMP. Hereof, this paper presents a new compiler analysis technique that: (1) identifies potential race conditions in parallel Ada programs based on OpenMP or Ada tasks or both, and (2) provides solutions for the detected races.This work was supported by the Spanish Ministry of Science and Innovation under contract TIN2015-65316-P, and by the FCT (Portuguese Foundation for Science and Technology) within the CISTER Research Unit (CEC/04234).Peer ReviewedPostprint (author's final draft

A LISP-Ada connection

The prototype demonstrates the feasibility of using Ada for expert systems and the implementation of an expert-friendly interface which supports knowledge entry. In the Ford LISP-Ada Connection (FLAC) system LISP and Ada are used in ways which complement their respective capabilities. Future investigation will concentrate on the enhancement of the expert knowledge entry/debugging interface and on the issues associated with multitasking and real-time expert systems implementation in Ada

Silicon compilation

Silicon compilation is a term used for many different purposes. In this paper we define silicon compilation as a mapping from some higher level description into layout. We define the basic issues in structural and behavioral silicon compilation and some possible solutions to those issues. Finally, we define the concept of an intelligent silicon compiler in which the compiler evaluates the quality of the generated design and attempts to improve it if it is not satisfactory

Parallel Ada benchmarks for the SVMS

The use of parallel processing paradigm to design and develop faster and more reliable computers appear to clearly mark the future of information processing. NASA started the development of such an architecture: the Spaceborne VHSIC Multi-processor System (SVMS). Ada will be one of the languages used to program the SVMS. One of the unique characteristics of Ada is that it supports parallel processing at the language level through the tasking constructs. It is important for the SVMS project team to assess how efficiently the SVMS architecture will be implemented, as well as how efficiently Ada environment will be ported to the SVMS. AUTOCLASS II, a Bayesian classifier written in Common Lisp, was selected as one of the benchmarks for SVMS configurations. The purpose of the R and D effort was to provide the SVMS project team with the version of AUTOCLASS II, written in Ada, that would make use of Ada tasking constructs as much as possible so as to constitute a suitable benchmark. Additionally, a set of programs was developed that would measure Ada tasking efficiency on parallel architectures as well as determine the critical parameters influencing tasking efficiency. All this was designed to provide the SVMS project team with a set of suitable tools in the development of the SVMS architecture