Atom is a domain-specific language (DSL) in Haskell, for designing real-time embedded software.
| Paradigm | Functional, synchronous, reactive |
|---|---|
| Family | Haskell |
| Designed by | Thomas Hawkins |
| First appeared | 2007 |
| Stable release | 1.0.13
/ November 13, 2021 |
| Typing discipline | static, strong |
| OS | Cross-platform |
| License | BSD3 |
| Website | hackage |
| Influenced by | |
| Bluespec, Confluence, Haskell | |
History
editOriginally intended as a high-level hardware description language (HDL), Atom was created in early 2007 and released as free and open-source software (FOSS) of April of that year.[1] Inspired by TRS[2] and Bluespec, Atom compiled circuit descriptions, that were based on guarded atomic operations, or conditional term rewriting, into Verilog netlists for simulation and logic synthesis. As a hardware compiler, Atom's main objective is to maximize the number of operations, or rules, that can execute in a given clock cycle without violating the semantics of atomic operation. By employing the properties of conflict-free and sequentially composable rules,[2] Atom reduced maximizing execution concurrency to a feedback arc set optimization of a rule-data dependency graph. This process was similar to James Hoe's original algorithm.[2]
When Atom's author switched careers in late 2007, from logic design to embedded system software engineering, Atom was redesigned from an HDL to a domain-specific language targeting hard real-time computing embedded applications. As a result, Atom's compiler's main objective changed from maximizing rule concurrency to balancing processing load and minimizing worst case timing latency. In September 2008, Atom was presented at the Commercial Users of Functional Programming (CUFP) conference.[3] In April 2009, in its new form, it was released as FOSS.[4]
Overview
editAtom is a concurrent programming language intended for embedded applications. Atom features compile time task scheduling and generates code with deterministic execution time and memory use, simplifying worst case execution time analysis for applications that need hard realtime performance. Atom's concurrency model is that of guarded atomic actions, which eliminates the need for, and the problems of using, mutex locks.
By removing runtime task scheduling and mutex locking, two services traditionally served by a real-time operating system (RTOS), Atom can eliminate the need and overhead of an RTOS in embedded applications.
Limits
editTo provide guarantees of deterministic execution time and memory consumption, Atom places several restrictions on computing. First, Atom designs are always finite state: all variables are global and declared at compile time and dynamic memory allocation is disallowed. Second, Atom provides no function or looping constructs. Instead, state variable updates are pure combinational logic functions of the current state.
References
edit- ^ ANN: Atom: Yet another Haskell HDL (Report).
- ^ a b c Hoe, James C.; Arvind (November 2000). Synthesis of Operation-Centric Hardware Descriptions (PDF). International Conference on Computer Aided Design (ICCAD).
- ^ "Controlling Hybrid Vehicles with Haskell". Archived from the original on 2008-07-04. Retrieved 2009-12-05.
- ^ ANN: atom-0.0.2