CRAFT: Configurable Runtime Analysis for Floating-point Tuning
Mike Lam, James Madison University
Building and using this project currently requires some experience in systems development and tool infrastructure. This file includes some basic installation and suage instructions, but they may require some manual modification on your specific platform. Contact the author if you encounter issues.
Variable Mode (newer)
CRAFT now has support for a source-level search mode, enabled using the
command-line flag. In this mode, CRAFT performs type conversions in source code,
allowing it to search a variable space rather than an instruction space (as in
the binary mode described below).
Note that using variable mode means that you do not need to build the binary
instrumentation part of CRAFT, which negates the instructions in the section
below; all you need is to make sure the
scripts folder is in your
that you have Ruby 2.0 or later installed. You will also need to install the
created using the Rose compiler framework.
For a more automated and interactive experience, see the FloatSmith project.
This support is still very brittle and experimental, and it is under active development as of Spring 2019. More documentation is on the way. Please contact the author if you have questions or run into issues.
Binary Mode (original)
Currently this project only works on x86_64 Linux. The environment variable
PLATFORM needs to be set to "
I have provided a rudimentary Bash build/installation script (
will acquire dependencies and build everything; it should work as long as the
system Boost headers are compatible (this is to save space in the common case).
This script will also create a Bash environment script (
env-setup.sh) that you
should source every time you want to run CRAFT (or you could put it in your Bash
If you need to set up a build environment manually, here is a list of the
DyninstAPI (Tested version: 9.1.0)
Dyninst must be compiled and accessible to the linker. The environment variable
DYNINST_ROOTshould point to the location it is installed.
XED2 Library (Tested version: from Pin 2.14-71313)
XED_KITvariable in the Makefile appropriately after you have downloaded Pin. There is no need to compile Pin or XED from source. Note that CRAFT does not use Pin directly, only XED.
Boost headers (Tested version: 1.53.0)
The default Boost headers on your system may work. If you get Boost-related compile errors, download the headers from the URL above and use the
LOCAL_INC_DIRSvariable in the Makefile to point the compiler to it (using
You will also need a reasonably recent (4.x) version of gcc. The build has been tested with gcc version 4.6.2 and 4.9.3.
To build CRAFT manually once the dependencies are in place, use the
command in the root directory. You will also need to add the
folder created by the build process to
LD_LIBRARY_PATH. I recommend
writing a shell script to set
For replacement analysis to work, the current directory ("
.") also needs to be
LD_LIBRARY_PATH so that the runtime linker can find the rewritten shared
To test the build, execute the
./run_tests command in the testsuite folder.
To sanity-check a non-testsuite executable, try the following commands:
fpinst --cinst <binary> fpinst --dcancel <binary> fpinst --svinp double <binary>
To use the automatic search script (
craft in the
scripts folder), you will
need Ruby 2.0 or later.
To build and use the GUI tools in the
viewer folder, you will need Java 1.6 or
For further instructions and a short tutorial, see the Sum2PI_X example/demo.
- "Dynamic Floating-Point Cancellation Detection" (PARCO'13)
- "Automatically Adapting Programs for Mixed-Precision Floating-Point Computation" (ICS'13)
- "Fine-Grained Floating-Point Precision Analysis" (IJHPCA'16)
CRAFT is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License along with this program. If not, see http://www.gnu.org/licenses/.
For more license details, please read LICENSE in the main project directory.