Sense-VM is a bytecode-vm for microcontrollers such as STM32, and NRF52. Sense-VM is based on the Categorical Abstract Machine but is augmented to support Concurrent ML style concurrency.
The compiler is implemented in Haskell and uses the stack build
system (get stack).
Go to the frontend/CamIoT directory and issue the command:
stack build
The command above builds an executable called camiotc somewhere
under the .stack-work directory that the stack tool generates.
To install the binary to $HOME/.local/bin issue the command:
stack install
camiotc takes one or more arguments one of which should be a source file.
For example, to compile one of the example programs under testcases do:
camiotc testcases/good11.cam
The output of this command should be:
compiling file `testcases/good11.cam` to output `out.svm`
Alternatively a specific output file can be specified using the -o parameter:
camiotc testcases/good11.cam -o good11.svm
and the output should be:
compiling file `testcases/good11.cam` to output `good11.svm`
Examples are located in the examples directory and are set up to
build together with ChibiOS 20.3.3. Your copy of the Chibios source
code should be located at position ../../../ChibiOS_20.3.3 relative
to a given example directory.
The button_blinky example consists of the following files:
.
├── button_blinky.cam
├── Makefile
├── src-chibios
│ ├── chconf.h
│ ├── flash.sh
│ ├── halconf.h
│ ├── Makefile
│ ├── mcuconf.h
│ └── stm32f407g.cfg
├── svm_chibios_conf.h
└── vm-conf.h
button_blinky.camis the source code of the example program.Makefilecompiles the example to bytecode and compiles the virtual machine with the specifications provided insvm_chibios_conf.handvm-conf.h- The
src-chibiosdirectory contains files related to the configuration of ChibiOS. svm_chibios_conf.hcontains information related to peripherals on the target board.vm-confcontains specification of virtual machine parameters.
The svm_chibios_conf.h contains microcontroller and board specific
mappings of hardware (pins/peripherals) to concepts known to SenseVM.
#ifndef SVM_CHIBIOS_CONF_H_
#define SVM_CHIBIOS_CONF_H_
#define LED0_GPIO GPIOD
#define LED0_PIN 13
#define LED0_MODE PAL_MODE_OUTPUT_PUSHPULL | PAL_STM32_OSPEED_HIGHEST
#define LED1_GPIO GPIOD
#define LED1_PIN 12
#define LED1_MODE PAL_MODE_OUTPUT_PUSHPULL | PAL_STM32_OSPEED_HIGHEST
#define BUTTON0_GPIO GPIOA
#define BUTTON0_PIN 0
#define BUTTON0_MODE PAL_MODE_INPUT
#define BUTTON0_EVENT_MODE PAL_EVENT_MODE_BOTH_EDGES
#define SYS_TIMER 5 /*select tim5 for system time*/
#endif vm-conf contains configuration of the virtual machine. Below is an excerpt from this file.
#define VMC_CONTAINER_1_HEAP_SIZE_BYTES 2048
#define VMC_CONTAINER_1_BYTECODE_FILE "button_blinky.svm"
#define VMC_CONTAINER_1_STACK_SIZE_BYTES 1024
#define VMC_CONTAINER_1_ARRAY_MEM_SIZE_BYTES 0
#define VMC_CONTAINER_1_USE_BUTTON_0 1
#define VMC_CONTAINER_1_USE_LED_0 1To build the example run make in the example directory. This relies
on ChibiOS 20.3.3 being in the right location and that you have cross
compilation tools installed (Get'em
here). It
also requires that you have built and "installed" the camiotc compiler
using the instructions above.
The examples are set up to run on STM32F4-Discovery (the stm32f407 model) and
to be flashed using OpenOCD. To flash a Discovery board,
connect the programming interface USB cable and run make flash.
After flashing, the program will immediately start running on the board. Currently some debug information will be printed over the USB interface (the USB port on the oposite end to the programming interface on the discovery board).
SenseVM can be built on top of ChibiOS or ZephyrOS, currently the "user friendly" examples are just set up to use ChibiOS. There is no real reason for this other than it is what we had time to do first.
Examples on top of ZephyrOS will appear when time allows.
First commit 8 July 2020.
Higher-Order Concurrency for Microcontroller - MPLR '21