Single Linux Code Generator
Description
The Single Linux Code Generator is the default back-end of DAL. The back-end maps each process onto a POSIX thread and generates a simple runtime-system that can run on top of an ordinary Linux system. Therefore, the Single Linux Code Generator back-end is also called functional simulator or C/C++-backend.
The back-end implements the FIFO channels as ring buffers in the shared memory of the system and stores the DAL processes as dynamic libraries on the file system. The processes are loaded and linked dynamically when the processes are started.
A mapping and architecture specification can be provided to specify the binding of processes onto processing cores. Otherwise, all processes are mapping to the first physical core of the system.
Requirements
- C/C++ environment (g++ version 4.3 or greater)
- C POSIX library
On Windows, we suggest to use Cygwin.
Usage
The Single Linux Code Generator back-end is the default back-end of DAL and is automatically used if no other back-end is specified. Otherwise, you can explicitly specify the Single Linux Code Generator back-end using the command -Dgenerator=singlelinux
More Information
- The basic functionality of the back-end is described in CASES 2012.