Paper Info
Title
Enhancing domain specific language implementations through ontology.
Abstract
Domain specific languages (DSLs) offer an attractive path to program large-scale, heterogeneous parallel computers since application developers can leverage high-level annotations defined by DSLs to efficiently express algorithms without being distracted by low-level hardware details. However, performance of DSL programs heavily relies on how well a DSL implementation, including compilers and runtime systems, can exploit knowledge across multiple layers of software/hardware environments for optimizations. The knowledge ranges from domain assumptions, high-level DSL semantics, to low-level hardware features. Traditionally, such knowledge is either implicitly assumed or represented using ad-hoc approaches, including narrative text, source-level annotations, or customized software and hardware specifications in high performance computing (HPC). The lack of a formal, uniform, extensible, reusable and scalable knowledge management approach is becoming a major obstacle to efficient DSLs implementations targeting fast-changing parallel architectures. In this paper, we present a novel DSL implementation paradigm using an ontology-based knowledge base to formally and uniformly exploit the knowledge needed for optimizations. An ontology is a formal and explicit knowledge representation to describe concepts, properties, and individuals in a domain. During the past decades, a wide range of ontology standards and tools have been developed to help users capture, share, utilize and reason domain knowledge. Using modern ontology techniques, we design a knowledge base capturing concepts and properties of a problem domain, DSL programs, and hardware architectures. Compiler interfaces are also defined to allow interactions with the knowledge base to assist program analysis, optimization and code generation. Our preliminary evaluation using stencil computation shows the feasibility and benefits of our approach.
Year
DOI
Venue
2015
10.1145/2830018.2830022
WOLFHPC@SC
Field
DocType
Citations 
Ontology (information science),Domain-specific language,Programming language,Domain knowledge,Problem domain,Explicit knowledge,Computer science,Parallel computing,Knowledge-based systems,Knowledge base,Distributed computing,Open Knowledge Base Connectivity
Conference
0
PageRank 
References 
Authors
0.34
21
5
Name
Order
Citations
PageRank
Chunhua Liao133030.72
Pei-Hung Lin2358.34
Daniel J. Quinlan365280.13
Yue Zhao4544.50
Xipeng Shen52025118.55