PLATIN toolset

This directory contains the PLATIN tools for manipulating, generating and transforming PML files.

Setup

Recommended

• ./setup.sh
• export PATH=<platin_dir>:$PATH

Alternative

• ./install.sh -i <build_dir>
• export PATH=<build_dir>/bin/:$PATH

Requirements

• ruby 1.9 or newer (mandatory)
  • ruby 2.6.3 known to work
• lpsolve
  • sudo aptitude install liblpsolve55-dev
• Ubuntu/Debian specific
  • point LD_LIBRARY_PATH to the lpsolve library, e.g export LD_LIBRARY_PATH=/usr/lib/lp_solve:$LD_LIBRARY_PATH

Basic Usage

• Compile test program

    echo 'volatile int out; __attribute__((noinline)) void f(int x) { int i; for(i = 0; i<1024;i++) out+=x; } ' > test.c
    echo 'int main() { f(3); f(5); return 0; }' >> test.c
    patmos-clang -Wall -mserialize=test.pml -mpreemit-bitcode=test.bc -o test test.c

• Analyze using aiT

    platin wcet -i test.pml -b test --report

• Analyze f() using platin-internal analyzer only

    platin wcet --analysis-entry f -i test.pml -b test --disable-ait --enable-wca --report

• Enable analysis of the (dynamic) execution trace [for comparison]

    platin wcet --enable-trace-analysis  --trace-entry main --analysis-entry f -i test.pml -b test --enable-wca --report

• Use flow facts from the (dynamic) execution trace [for early-stage development]

    platin wcet --use-trace-facts  --trace-entry main --analysis-entry f -i test.pml -b test --enable-wca --report

LLVM Options

CodeGen/Passes:

• -mserialize=FILE
• -mpreemit-bitcode=FILE
• -mserialize-roots=LIST

Known Problems

• tool chain problems
  • mrtc/whet -O0: Needs math libraries => problem with atan function

Demo of individual tools

MORE TO COME

Architectures

Notes for ARM (not up-to-date)

# Install ARM crosscompiler (Ubuntu)
#   sudo aptitude install gcc-arm-linux-gnueabi  libc6-dev-armel-cross
#
# Install ARM simulator (Ubuntu)
#   hg clone http://repo.gem5.org/gem5-stable
#   cd gem5-stable
#   emacs src/arch/arm/linux/process.cc # change linux version in line 69 to '2.6.35'
#   scons build/ARM/gem5.opt
#   GEM5_HOME=`pwd`

# Demo
# source = src/$1.c
mkdir -p bin out

# Compile using clang
patmos-clang -O1 -target arm-linux-gnueabi -marm -Xclang -backend-option -Xclang -mserialize=bin/$1.pml \
                 -c -o bin/$1.o  src/$1.c

# Link using arm-linux-gnueabi-gcc
arm-linux-gnueabi-gcc  -static bin/$1.o -o bin/$1.elf

# Simulate using GEM5
$GEM5_HOME/build/ARM/gem5.opt --debug-flags=Exec,-ExecMicro,ExecMacro --trace-file=$1.trace \
                              $GEM5_HOME/configs/example/se.py -c bin/$1.elf

# Analyze using platin (pseudo costs)
platin wcet --disable-ait --trace-file m5out/$1.trace --outdir out -b bin/$1.elf -i bin/$1.pml --report

LICENSE

Initially, platin's source code was located in T-Crest's patmos-llvm repository, under tools/platin and as such inherited its NCSA-license, with the following copyright notice, which we hereby retain:

Copyright (c) 2003-2013 University of Illinois at Urbana-Champaign.

Even though most contributions were done by Benedict Huber and Stefan Hepp (counting commitlogs), to the best of our knowledge, neither them nor anybody else did adapt that copyright notice.

The tool was since extracted from that repository and new changes were added by different contributers, partly under the terms of the GPLv3. As NCSA is GPL-compatible, this is possible, as long as the above copyright statement is preserved. As such, the complete derivative work is available under the terms of the GPLv3, with the obligation to carry the original copyright notice and disclaimer, as seen in the COPYING file.