Spatial

Setup AWS

  • scp chazz

  • scp ~/.aws

  • scp ~/.ssh/*.pem

How to Run Spatial on AWS

  • Spatial requires pkg-config, libisl, libbmp.

    • CentOS:

      • CentOS cannot install these package with gcc. Compiling from source and download_prerequisitesalso get stuck for I don't know why. Let's just download and compile.

      • yum install gmp-devel; (this must be first step, otherwise libisl cannot find bmp.h)

      • download libisl, install with ./configure && make && sudo make install. Default installed in /usr/local/lib/. So add export LD_LIBRARY_PATH=/usr/local/lib to ~/.bash_profile.

      • pkg-config: (sudo yum -y install glib-devel.) download pkg-config and ./configure --with-internal-glib && make && sudo make install.

    • I love Ubuntu

  • Simulation should work now.

    • sbt(need to install java and then sbt)

    • compile

    • runMain HelloSpatial --sim

  • Set up aws-fpga (use version 14, the server seems have strange version)

    • export AWS_HOME=~/spatials/aws-fpga/
source $AWS_HOME/hdk_setup.sh
sudo source $AWS_HOME/sdk_setup.sh

  • Compile

    • export SPATIAL_HOME=pwd/spatial-quickstart

    • export DATA_HOME=pwd/spatial-lang/apps/data/; modify $DATA to sys.env("DATA_HOME")

    • sbt

    • runMain appName --synth --fpga=AWS_F1

  • Generate bitstream

    • goto gen/appName and change build.sbt: scalatest 2.2.5 => 3.05; scalacheck 1.12.4 => 1.13.4

    • java.lang.OutOfMemoryError => export _JAVA_OPTIONS="-Xmx4g" (increase heap)

    • make aws-F1-afi | tee make.log

PreviousReviewNextDahlia Programmability

Last updated

Was this helpful?