scholarly journals High-Level and Efficient Stream Parallelism on Multi-core Systems with SPar for Data Compression Applications

2017 ◽  
Author(s):  
Dalvan Griebler ◽  
Renato B. Hoffmann ◽  
Junior Loff ◽  
Marco Danelutto ◽  
Luiz Gustavo Fernandes
Keyword(s):  
Data Compression ◽  
State Of The Art ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific ◽  
Code Refactoring ◽  
Real World Applications ◽  
Significant Performance ◽  
High Level ◽  
Level Parallelism

The stream processing domain is present in several real-world applications that are running on multi-core systems. In this paper, we focus on data compression applications that are an important sub-set of this domain. Our main goal is to assess the programmability and efficiency of domain-specific language called SPar. It was specially designed for expressing stream parallelism and it promises higher-level parallelism abstractions without significant performance losses. Therefore, we parallelized Lzip and Bzip2 compressors with SPar and compared with state-of-the-art frameworks. The results revealed that SPar is able to efficiently exploit stream parallelism as well as provide suitable abstractions with less code intrusion and code refactoring.

A high-level domain-specific language for SIEM (design, development and formal verification)

2017 ◽  
Vol 20 (3) ◽  
pp. 2423-2437 ◽  
Author(s):  
Anam Nazir ◽  
Masoom Alam ◽  
Saif U. R. Malik ◽  
Adnan Akhunzada ◽  
Muhammad Nadeem Cheema ◽  
...  
Keyword(s):  
Formal Verification ◽  
Domain Specific Language ◽  
Design Development ◽  
Specific Language ◽  
Domain Specific ◽  
High Level

Automated Context Formalization for Context-aware Specification Approach

2018 ◽  
Vol 9 (3) ◽  
pp. 23-47
Author(s):  
Amel Benabbou ◽  
Safia Nait-Bahloul
Keyword(s):  
Environmental Conditions ◽  
Use Cases ◽  
Domain Specific Language ◽  
Context Aware ◽  
Effective Technique ◽  
Specific Language ◽  
Requirement Specification ◽  
Domain Specific ◽  
High Level ◽  
Formal Requirements

Requirement specification is a key element in model-checking verification. The context-aware approach is an effective technique for automating the specification of requirement considering specific environmental conditions. In most of existing approaches, there is no support of this crucial task and are mainly based on the considerable efforts and expertise of engineers. A domain-specific language, called CDL, has been proposed to facilitate the specification of requirement by formalizing contexts. However, the feedback has shown that manually writing CDL is hard, error prone and difficult to grasp on complex systems. In this article, the authors propose an approach to automatically generate CDL models using (IODs) elaborated through transformation chains from textual use cases. They offer an intermediate formalism between informal use cases scenarios and CDL models allowing to engineers to manipulate with familiar artifacts. Thanks to such high-level formalism, the gap between informal and formal requirements is reduced; consequently, the requirement specification is facilitated.

scholarly journals SPar: A DSL for High-Level and Productive Stream Parallelism

2017 ◽  
Vol 27 (01) ◽  
pp. 1740005 ◽  
Author(s):  
Dalvan Griebler ◽  
Marco Danelutto ◽  
Massimo Torquati ◽  
Luiz Gustavo Fernandes
Keyword(s):  
Shared Memory ◽  
Stream Processing ◽  
Parallel Applications ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific ◽  
Implementation Techniques ◽  
High Level

This paper introduces SPar, an internal C++ Domain-Specific Language (DSL) that supports the development of classic stream parallel applications. The DSL uses standard C++ attributes to introduce annotations tagging the notable components of stream parallel applications: stream sources and stream processing stages. A set of tools process SPar code (C++ annotated code using the SPar attributes) to generate FastFlow C++ code that exploits the stream parallelism denoted by SPar annotations while targeting shared memory multi-core architectures. We outline the main SPar features along with the main implementation techniques and tools. Also, we show the results of experiments assessing the feasibility of the entire approach as well as SPar’s performance and expressiveness.

scholarly journals Charting the design space of query execution using VOILA

2021 ◽  
Vol 14 (6) ◽  
pp. 1067-1079
Author(s):  
Tim Gubner ◽  
Peter Boncz
Keyword(s):  
Design Space ◽  
State Of The Art ◽  
Domain Specific Language ◽  
Query Execution ◽  
Exploration Process ◽  
Specific Language ◽  
Domain Specific ◽  
Engine Design ◽  
Query Engine ◽  
Basic Concepts

Database architecture, while having been studied for four decades now, has delivered only a few designs with well-understood properties. These few are followed by most actual systems. Acquiring more knowledge about the design space is a very time-consuming processes that requires manually crafting prototypes with a low chance of generating material insight. We propose a framework that aims to accelerate this exploration process significantly. Our framework enables synthesizing many different engines from a description in a carefully designed domain-specific language (VOILA). We explain basic concepts and formally define the semantics of VOILA. We demonstrate VOILA's flexibility by presenting translation back-ends that allow the synthesis of state-of-the-art paradigms (data-centric compilation, vectorized execution, AVX-512), mutations and mixes thereof. We show-case VOILA's flexibility by exploring the query engine design space in an automated fashion. We generated thousands of query engines and report our findings. Queries generated by VOILA achieve similar performance as state-of-the-art hand-optimized implementations and are up to 35.5X faster than well-known systems.

scholarly journals Model Driven Software Engineering Meta-Workbenches: An XTools Approach

2020 ◽  
Vol 26 (9) ◽  
pp. 1148-1176
Author(s):  
Tony Clark ◽  
Jens Gulden
Keyword(s):  
Software Engineering ◽  
State Of The Art ◽  
Domain Specific Language ◽  
Specific Language ◽  
Model Driven ◽  
Modelling Languages ◽  
Domain Specific ◽  
Current State ◽  
Software Modelling ◽  
Language Workbenches

Model Driven Software Engineering aims to provide a quality assured process for designing and generating software. Modelling frameworks that offer technologies for domain specific language and associated tool construction are called language workbenches. Since modelling is itself a domain, there are benefits to applying a workbenchbased approach to the construction of modelling languages and tools. Such a framework is a meta-modelling tool and those that can generate themselves are reflective metatools. This article reviews the current state of the art for modelling tools and proposes a set of reflective meta-modelling tool requirements. The XTools framework has been designed as a reflective meta-tool and is used as a benchmark.

Design and Implementation of a Domain Specific Language for Phylogenetic Inference

2003 ◽  
Vol 01 (02) ◽  
pp. 201-230 ◽  
Author(s):  
Enrico Pontelli ◽  
Desh Ranjan ◽  
Gopal Gupta ◽  
Brook Milligan
Keyword(s):  
Denotational Semantics ◽  
Phylogenetic Inference ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Experts ◽  
Domain Specific ◽  
Level Of Abstraction ◽  
Inference Problems ◽  
High Level ◽  
Very High

Domain experts think and reason at a high level of abstraction when they solve problems in their domain of expertise. We present the design and motivation behind a domain specific language, called ΦLOG, to enable biologists to program solutions to phylogenetic inference problems at a very high level of abstraction. The implementation infrastructure (interpreter, compiler, debugger) for the DSL is automatically obtained through a software engineering framework based on Denotational Semantics and Logic Programming.

scholarly journals Design, Implementation and Evaluation of IPv4/IPv6 Longest Prefix Match support in P4 Dataplanes

2018 ◽  
Author(s):  
Fabricio E. Rodriguez Cesen ◽  
P Gyanesh Kumar Patra ◽  
Christian Esteve Rothenberg ◽  
Gergely Pongracz
Keyword(s):  
Software Defined Networking ◽  
Domain Specific Language ◽  
Multiple Targets ◽  
Specific Language ◽  
Domain Specific ◽  
Definition Of ◽  
High Level ◽  
Compiler System ◽  
Target Platform

New trends in dataplane programmability inside Software Defined Networking (SDN) paradigm are in an effort to bring multi-platform support with a high-level definition of the dataplane pipeline functions. The MultiArchitecture Compiler System for Abstract Dataplanes (MACSAD) can integrate the Protocol-Independent Packet Processors (P4) domain-specific language and the OpenDataPlane Project (ODP) APIs, to define a programmable dataplane across multiple targets in a unified compiler system. In this paper, we present and evaluate the IPv4/IPv6 Longest Prefix Match (LPM) support in MACSAD. We develop a new ODP Helper library implementing the IPv6 lookup mechanism based on the current IPv4 solution and evaluate its performance and scalability for diverse workloads and target platform configurations.

Sign in / Sign up

Export Citation Format

Share Document