Skip to content

Tutorial

Yuki Kimoto edited this page Feb 23, 2024 · 11 revisions

This is an introduction to SPVM.

Installing SPVM

SPVM is a CPAN module. SPVM can be installed from CPAN.

cpanm SPVM

cpan SPVM

Getting Started

Creating SPVM class

Create SPVM class. The extension is "spvm". In this example, the name of SPVM class is "SPVM/MyMath.spvm".

Create "SPVM/MyMath.spvm" in the "lib" directory, and you write the following code.

# lib/SPVM/MyMath.spvm
class MyMath {
  static method sum : int ($nums : int[]) {
    
    my $total = 0;
    for (my $i = 0; $i < @$nums; $i++) {
      $total += $nums->[$i];
    }
    
    return $total;
  }
}

Class Definition

The class keyword defines a class.

# Class Definition
class MyMath {

}

See also Class in SPVM document.

Method Definition

The method keyword defines a method. If the method doesn't have the instance, you define a static method using a static attribute.

class MyMath {
  # Static method definition
  static method sum : int ($nums : int[]) {
    
  }
}

See also Class in SPVM document.

Numeric Types

int type in sum return value is signed 32bit integer type. This is same as C99 int32_t.

int

See also Types in SPVM document.

Array Types

int[] type in sum arguments is array of int type.

int[]

The numeric array type guarantees that the values are consecutive in memory.

In this point, unlike Perl where all value are assigned to the dynamic type SV, SPVM has a static type, so it can represent a efficient sequence of numbers.

Local Variable Declaration

Write Local Variable Declaration by my keyword. You can initialize variables at the same time you declare variables.

my $total = 0;

The above declaration has the same meaning as:

my $total : int = 0;

0 on the right side is a signed 32-bit integer, so the type of the variable is automatically determined by type inference.

Integer Literal

0 is Integer Literal.

my $total : int = 0;

SPVM has the following Literal.

  • Integer Literal
  • Floating Point Literal
  • Charater Literal
  • String Literal
# Integer Literal
123
123_456_789

# Floating Point Literal
1.32
1.32f

# Character Literal
'a'
'c'

# String Literal
"Hello World!"

See also Lexical Tokenization in SPVM document.

Get Array Length

Let's look at the part where the sum of the arrays is calculated.

for (my $i = 0; $i < @$nums; $i++) {
  $total += $nums->[$i];
}

See @$nums.

@$nums

@ is Array Length Operator to get array length.

Unlike Perl, which is context sensitive, The array length operator of SPVM always returns the length of the array.

Increment Operator

Incremental Operator increment the value.

$i++

Array Access

Array Access can be done by "->" Arrow Operator.

$nums->[$i]

Addition Operator

See the following code.

$total += $nums->[$i];

This is same as the following Additon Operator and Assignment Operator.

$total = $total + $nums->[$i];

for Statement

Next, see for Statement.

for (my $i = 0; $i < @$nums; $i++) {
  $total += $nums->[$i];
}

See also Statements in SPVM document.

return Statement

At last, return Statement.

return $total;

Call SPVM Method from Perl

Create "sum.pl" file and write the following code. This is Perl program.

use strict;
use warnings;
use FindBin;
use lib "$FindBin::Bin/lib";

use SPVM 'MyMath';

# Call method
my $total = SPVM::MyMath->sum([3, 6, 8, 9]);

print "Total: $total\n";

# Call method with packed data
my $nums_packed = pack('l*', 3, 6, 8, 9);
my $api = SPVM::api();
my $sp_nums = $api->new_int_array_from_bin($nums_packed);
my $total_packed = SPVM::MyMath->sum($sp_nums);

print "Total Packed: $total_packed\n";

Add library path

The followings are the conventions and add current script directry's "lib" directory to library path .

use strict;
use warnings;
use FindBin;
use lib "$FindBin::Bin/lib";

use SPVM class

use SPVM class.

use SPVM 'MyMath';

In this place, compilation is not done. Collect SPVM classes.

Call SPVM Method

Call SPVM Method. It's amazing that SPVM method can be called as Perl method.

# Call method
my $total = SPVM::MyMath->sum([3, 6, 8, 9]);

Perl array reference is converted to SPVM int array.

See also Exchange API in SPVM document.

SPVM int return value is converted to Perl Scalar.

Call SPVM Method with packed data

you can pass packed binary data. The new_int_array_from_bin method creates SPVM int array from packed binary data. This is efficient.

# Call method with packed data
my $nums_packed = pack('l*', 3, 6, 8, 9);
my $api = SPVM::api();
my $sp_nums = $api->new_int_array_from_bin($nums_packed);
my $total_packed = SPVM::MyMath->sum($sp_nums);

How to improve SPVM Performance

See How to improve SPVM Performance.

If you're searching SPVM for performance reasons, here's what you really want to see.

How To Improve SPVM Performance using SPVM Precompile and SPVM Native API

SPVM Module:

# lib/SPVM/MyMath.spvm
class MyMath {
  static method sum : int ($nums : int[]) {
    
    my $total = 0;
    for (my $i = 0; $i < @$nums; $i++) {
      $total += $nums->[$i];
    }
    
    return $total;
  }
}

Use SPVM Module from Perl

# sum.pl
use strict;
use warnings;
use FindBin;
use lib "$FindBin::Bin/lib";

use SPVM 'MyMath';

# Call method
my $total = SPVM::MyMath->sum([3, 6, 8, 9]);

print "Total: $total\n";

# Call method with packed data
my $nums_packed = pack('l*', 3, 6, 8, 9);
my $api = SPVM::api();
my $sp_nums = $api->new_int_array_from_bin($nums_packed);
my $total_packed = SPVM::MyMath->sum($sp_nums);

print "Total Packed: $total_packed\n";

Precompiled SPVM Method. This means SPVM code is converted to Machine Code:

# lib/SPVM/MyMath.spvm
class MyMath : precompile {
  static method sum_precompile : int ($nums : int[]) {
    
    my $total = 0;
    for (my $i = 0; $i < @$nums; $i++) {
      $total += $nums->[$i];
    }
    
    return $total;
  }
}

Call SPVM Precompile Method from Perl

# sum_precompile.pl
use strict;
use warnings;
use FindBin;
use lib "$FindBin::Bin/lib";

use SPVM 'MyMath';

# Call precompile method
my $total_precompile = SPVM::MyMath->sum_precompile([3, 6, 8, 9]);

print "Total Precompile: $total_precompile\n";

SPVM Native Method. This means SPVM method call C/C++ native method:

# lib/SPVM/MyMath.spvm
class MyMath {
  native static method sum_native : int ($nums : int[]);
}

// lib/SPVM/MyMath.c
#include "spvm_native.h"

int32_t SPVM__SPVM__MyMath__sum_native(SPVM_ENV* env, SPVM_VALUE* stack) {
  
  void* sv_nums = stack[0].oval;
  
  int32_t length = env->length(env, stack, sv_nums);
  
  int32_t* nums = env->get_elems_int(env, stack, sv_nums);
  
  int32_t total = 0;
  for (int32_t i = 0; i < length; i++) {
    total += nums[i];
  }
  
  stack[0].ival = total;
  
  return 0;
}

# lib/SPVM/MyMath.config

use strict;
use warnings;

use SPVM::Builder::Config;
my $config = SPVM::Builder::Config->new_c99;

$config;

Use SPVM Native Method from Perl

# sum_native.pl
use strict;
use warnings;
use FindBin;
use lib "$FindBin::Bin/lib";

use SPVM 'MyMath';

# Call native method
my $total_native = SPVM::MyMath->sum_native([3, 6, 8, 9]);

print "Total Native: $total_native\n";

Environment Variable "SPVM_BUILD_DIR" must be set for precompile and native method

# bash example
export SPVM_BUILD_DIR=~/.spvm_build

How To Bind C/C++/CUDA Library to SPVM

The advantage of SPVM is that you can easily bind C/C++/CUDA.

Methods bound with SPVM can be easily called from Perl.

Before reading this page, you need to understand Native API.

Binding your own C language library

First, let's bind our own C library.

The following source code is the completed source code.

I will explain using this source code.

See also NativeClass in SPVM document.

Create a C language library for summation and call it from Perl.

# bind_clib.pl
use strict;
use warnings;

use FindBin;
use lib "$FindBin::Bin/lib";

use SPVM 'BindCLib';

my $total = SPVM::BindCLib->sum([1, 2, 3, 4]);

print "Total: $total\n";

SPVM Method Definition.

# lib/SPVM/BindCLib.spvm
class BindCLib {
  native static method sum : int ($nums : int[]);
}

Native Config.

# lib/SPVM/BindCLib.config
use strict;
use warnings;

use SPVM::Builder::Config;
my $config = SPVM::Builder::Config->new_c99;

$config;

Call C library from C program.

// lib/SPVM/BindCLib.c
#include "spvm_native.h"

#include "bind_clib.h"

int32_t SPVM__SPVM__BindCLib__sum(SPVM_ENV* env, SPVM_VALUE* stack) {
  
  void* sv_nums = stack[0].oval;
  
  int32_t length = env->length(env, stack, sv_nums);
  
  int32_t* nums = env->get_elems_int(env, stack, sv_nums);
  
  int32_t total = bind_clib_sum(nums, length);
  
  stack[0].ival = total;
  
  return 0;
}

Notice the line reading the header.

#include "bind_clib.h"

This header is included from "lib/SPVM/BindCLib.native/include/bind_clib.h". This is pure C header file.

#include <inttypes.h>

int32_t bind_clib_sum(int32_t* nums, int32_t length);

SPVM sets the include directory("SPVM/BindCLib.native/include") as the default header file read path.

C library source file is "lib/SPVM/BindCLib.native/src/bind_clib.c". This is pure C source file.

#include "bind_clib.h"

int32_t bind_clib_sum(int32_t* nums, int32_t length) {
  
  int32_t total = 0;
  for (int32_t i = 0; i < length; i++) {
    total += nums[i];
  }
  
  return total;
}

SPVM compiles all source files in the source directory("SPVM/BindCLib.native/src"). It can contain multiple source files.

See SPVM:Document::NativeAPI about the details of the native APIs.

How to bind other C Library to SPVM

If you want to know more about the bindings of other C libraries, see the example below.

How to bind C++ Library to SPVM

If you want to know more about the bindings of C++ libraries to SPVM, see the example below.

How to bind CUDA to SPVM

If you want to know more about the bindings of CUDA to SPVM, see the example below.

Complex Numbers

Complex Numbers

Copyright & License

Copyright (c) 2023 Yuki Kimoto

MIT License