sysio::vm::execution_context_base< Derived, Host > Class Template Reference

#include <execution_context.hpp>

Collaboration diagram for sysio::vm::execution_context_base< Derived, Host >:

Public Member Functions
Derived &	derived ()
	execution_context_base (module &m)
int32_t	grow_linear_memory (int32_t pages)
int32_t	current_linear_memory () const
void	exit (std::error_code err=std::error_code())
module &	get_module ()
void	set_wasm_allocator (wasm_allocator *alloc)
auto	get_wasm_allocator ()
char *	linear_memory ()
auto &	get_operand_stack ()
const auto &	get_operand_stack () const
auto	get_interface ()
void	set_max_pages (std::uint32_t max_pages)
std::error_code	get_error_code () const
void	reset ()
template<typename Visitor , typename... Args>
std::optional< operand_stack_elem >	execute (host_type *host, Visitor &&visitor, const std::string_view func, Args... args)
template<typename Visitor , typename... Args>
void	execute_start (host_type *host, Visitor &&visitor)
Derived &	derived ()
	execution_context_base (module &m)
int32_t	grow_linear_memory (int32_t pages)
int32_t	current_linear_memory () const
void	exit (std::error_code err=std::error_code())
module &	get_module ()
void	set_wasm_allocator (wasm_allocator *alloc)
auto	get_wasm_allocator ()
char *	linear_memory ()
auto &	get_operand_stack ()
const auto &	get_operand_stack () const
auto	get_interface ()
void	set_max_pages (std::uint32_t max_pages)
std::error_code	get_error_code () const
void	reset ()
template<typename Visitor , typename... Args>
std::optional< operand_stack_elem >	execute (host_type *host, Visitor &&visitor, const std::string_view func, Args... args)
template<typename Visitor , typename... Args>
void	execute_start (host_type *host, Visitor &&visitor)

Static Protected Member Functions
template<typename... Args>
static void	type_check_args (const func_type &ft, Args &&...)
static void	handle_signal (int sig)
template<typename... Args>
static void	type_check_args (const func_type &ft, Args &&...)
static void	handle_signal (int sig)

Protected Attributes
char *	_linear_memory = nullptr
module &	_mod
wasm_allocator *	_wasm_alloc
uint32_t	_max_pages = max_pages
detail::host_invoker_t< Host >	_rhf
std::error_code	_error_code
operand_stack	_os

Detailed Description

template<typename Derived, typename Host>
class sysio::vm::execution_context_base< Derived, Host >

Definition at line 84 of file execution_context.hpp.

Constructor & Destructor Documentation

execution_context_base() [1/2]

template<typename Derived , typename Host >

sysio::vm::execution_context_base< Derived, Host >::execution_context_base ( module & m )

inline

Definition at line 88 of file execution_context.hpp.

: _mod(m) {}

execution_context_base() [2/2]

template<typename Derived , typename Host >

sysio::vm::execution_context_base< Derived, Host >::execution_context_base ( module & m )

inline

Definition at line 88 of file execution_context.hpp.

: _mod(m) {}

Member Function Documentation

current_linear_memory() [1/2]

template<typename Derived , typename Host >

int32_t sysio::vm::execution_context_base< Derived, Host >::current_linear_memory ( ) const

inline

Definition at line 105 of file execution_context.hpp.

{ return _wasm_alloc->get_current_page(); }

Here is the call graph for this function:

current_linear_memory() [2/2]

template<typename Derived , typename Host >

int32_t sysio::vm::execution_context_base< Derived, Host >::current_linear_memory ( ) const

inline

Definition at line 105 of file execution_context.hpp.

{ return _wasm_alloc->get_current_page(); }

Here is the call graph for this function:

derived() [1/2]

template<typename Derived , typename Host >

Derived & sysio::vm::execution_context_base< Derived, Host >::derived ( )

inline

Definition at line 87 of file execution_context.hpp.

{ return static_cast<Derived&>(*this); }

derived() [2/2]

template<typename Derived , typename Host >

Derived & sysio::vm::execution_context_base< Derived, Host >::derived ( )

inline

Definition at line 87 of file execution_context.hpp.

{ return static_cast<Derived&>(*this); }

execute() [1/2]

template<typename Derived , typename Host >

template<typename Visitor , typename... Args>

std::optional< operand_stack_elem > sysio::vm::execution_context_base< Derived, Host >::execute ( host_type * host, Visitor && visitor, const std::string_view func, Args... args )

inline

Definition at line 151 of file execution_context.hpp.

                                                             {
         uint32_t func_index = _mod.get_exported_function(func);
         return derived().execute(host, std::forward<Visitor>(visitor), func_index, std::forward<Args>(args)...);
      }

execute() [2/2]

template<typename Derived , typename Host >

template<typename Visitor , typename... Args>

std::optional< operand_stack_elem > sysio::vm::execution_context_base< Derived, Host >::execute ( host_type * host, Visitor && visitor, const std::string_view func, Args... args )

inline

Definition at line 151 of file execution_context.hpp.

                                                             {
         uint32_t func_index = _mod.get_exported_function(func);
         return derived().execute(host, std::forward<Visitor>(visitor), func_index, std::forward<Args>(args)...);
      }

execute_start() [1/2]

template<typename Derived , typename Host >

template<typename Visitor , typename... Args>

void sysio::vm::execution_context_base< Derived, Host >::execute_start ( host_type * host, Visitor && visitor )

inline

Definition at line 158 of file execution_context.hpp.

                                                                    {
         if (_mod.start != std::numeric_limits<uint32_t>::max())
            derived().execute(host, std::forward<Visitor>(visitor), _mod.start);
      }

execute_start() [2/2]

template<typename Derived , typename Host >

template<typename Visitor , typename... Args>

void sysio::vm::execution_context_base< Derived, Host >::execute_start ( host_type * host, Visitor && visitor )

inline

Definition at line 158 of file execution_context.hpp.

                                                                    {
         if (_mod.start != std::numeric_limits<uint32_t>::max())
            derived().execute(host, std::forward<Visitor>(visitor), _mod.start);
      }

exit() [1/2]

template<typename Derived , typename Host >

void sysio::vm::execution_context_base< Derived, Host >::exit ( std::error_code err = std::error_code() )

inline

Definition at line 106 of file execution_context.hpp.

                                                               {
         // FIXME: system_error?
         _error_code = err;
         throw wasm_exit_exception{"Exiting"};
      }

exit() [2/2]

template<typename Derived , typename Host >

void sysio::vm::execution_context_base< Derived, Host >::exit ( std::error_code err = std::error_code() )

inline

Definition at line 106 of file execution_context.hpp.

                                                               {
         // FIXME: system_error?
         _error_code = err;
         throw wasm_exit_exception{"Exiting"};
      }

get_error_code() [1/2]

template<typename Derived , typename Host >

std::error_code sysio::vm::execution_context_base< Derived, Host >::get_error_code ( ) const

inline

Definition at line 121 of file execution_context.hpp.

{ return _error_code; }

get_error_code() [2/2]

template<typename Derived , typename Host >

std::error_code sysio::vm::execution_context_base< Derived, Host >::get_error_code ( ) const

inline

Definition at line 121 of file execution_context.hpp.

{ return _error_code; }

get_interface() [1/2]

template<typename Derived , typename Host >

auto sysio::vm::execution_context_base< Derived, Host >::get_interface ( )

inline

Definition at line 118 of file execution_context.hpp.

{ return execution_interface{ _linear_memory, &_os }; }

get_interface() [2/2]

template<typename Derived , typename Host >

auto sysio::vm::execution_context_base< Derived, Host >::get_interface ( )

inline

Definition at line 118 of file execution_context.hpp.

{ return execution_interface{ _linear_memory, &_os }; }

get_module() [1/2]

template<typename Derived , typename Host >

module & sysio::vm::execution_context_base< Derived, Host >::get_module ( )

inline

Definition at line 112 of file execution_context.hpp.

{ return _mod; }

get_module() [2/2]

template<typename Derived , typename Host >

module & sysio::vm::execution_context_base< Derived, Host >::get_module ( )

inline

Definition at line 112 of file execution_context.hpp.

{ return _mod; }

get_operand_stack() [1/4]

template<typename Derived , typename Host >

auto & sysio::vm::execution_context_base< Derived, Host >::get_operand_stack ( )

inline

Definition at line 116 of file execution_context.hpp.

{ return _os; }

get_operand_stack() [2/4]

template<typename Derived , typename Host >

auto & sysio::vm::execution_context_base< Derived, Host >::get_operand_stack ( )

inline

Definition at line 116 of file execution_context.hpp.

{ return _os; }

get_operand_stack() [3/4]

template<typename Derived , typename Host >

const auto & sysio::vm::execution_context_base< Derived, Host >::get_operand_stack ( ) const

inline

Definition at line 117 of file execution_context.hpp.

{ return _os; }

get_operand_stack() [4/4]

template<typename Derived , typename Host >

const auto & sysio::vm::execution_context_base< Derived, Host >::get_operand_stack ( ) const

inline

Definition at line 117 of file execution_context.hpp.

{ return _os; }

get_wasm_allocator() [1/2]

template<typename Derived , typename Host >

auto sysio::vm::execution_context_base< Derived, Host >::get_wasm_allocator ( )

inline

Definition at line 114 of file execution_context.hpp.

{ return _wasm_alloc; }

get_wasm_allocator() [2/2]

template<typename Derived , typename Host >

auto sysio::vm::execution_context_base< Derived, Host >::get_wasm_allocator ( )

inline

Definition at line 114 of file execution_context.hpp.

{ return _wasm_alloc; }

grow_linear_memory() [1/2]

template<typename Derived , typename Host >

int32_t sysio::vm::execution_context_base< Derived, Host >::grow_linear_memory ( int32_t pages )

inline

Definition at line 90 of file execution_context.hpp.

                                                       {
         const int32_t sz = _wasm_alloc->get_current_page();
         if (pages < 0) {
            if (sz + pages < 0)
               return -1;
            _wasm_alloc->free<char>(-pages);
         } else {
            if (!_mod.memories.size() || _max_pages - sz < static_cast<uint32_t>(pages) ||
                (_mod.memories[0].limits.flags && (static_cast<int32_t>(_mod.memories[0].limits.maximum) - sz < pages)))
               return -1;
            _wasm_alloc->alloc<char>(pages);
         }
         return sz;
      }

Here is the call graph for this function:

grow_linear_memory() [2/2]

template<typename Derived , typename Host >

int32_t sysio::vm::execution_context_base< Derived, Host >::grow_linear_memory ( int32_t pages )

inline

Definition at line 90 of file execution_context.hpp.

                                                       {
         const int32_t sz = _wasm_alloc->get_current_page();
         if (pages < 0) {
            if (sz + pages < 0)
               return -1;
            _wasm_alloc->free<char>(-pages);
         } else {
            if (!_mod.memories.size() || _max_pages - sz < static_cast<uint32_t>(pages) ||
                (_mod.memories[0].limits.flags && (static_cast<int32_t>(_mod.memories[0].limits.maximum) - sz < pages)))
               return -1;
            _wasm_alloc->alloc<char>(pages);
         }
         return sz;
      }

Here is the call graph for this function:

handle_signal() [1/2]

template<typename Derived , typename Host >

static void sysio::vm::execution_context_base< Derived, Host >::handle_signal ( int sig )

inlinestaticprotected

Definition at line 172 of file execution_context.hpp.

                                         {
         switch(sig) {
          case SIGSEGV:
          case SIGBUS:
          case SIGFPE:
            break;
          default:
            /* TODO fix this */
            assert(!"??????");
         }
         throw wasm_memory_exception{ "wasm memory out-of-bounds" };
      }

handle_signal() [2/2]

template<typename Derived , typename Host >

static void sysio::vm::execution_context_base< Derived, Host >::handle_signal ( int sig )

inlinestaticprotected

Definition at line 172 of file execution_context.hpp.

                                         {
         switch(sig) {
          case SIGSEGV:
          case SIGBUS:
          case SIGFPE:
            break;
          default:
            /* TODO fix this */
            assert(!"??????");
         }
         throw wasm_memory_exception{ "wasm memory out-of-bounds" };
      }

linear_memory() [1/2]

template<typename Derived , typename Host >

char * sysio::vm::execution_context_base< Derived, Host >::linear_memory ( )

inline

Definition at line 115 of file execution_context.hpp.

{ return _linear_memory; }

linear_memory() [2/2]

template<typename Derived , typename Host >

char * sysio::vm::execution_context_base< Derived, Host >::linear_memory ( )

inline

Definition at line 115 of file execution_context.hpp.

{ return _linear_memory; }

reset() [1/2]

template<typename Derived , typename Host >

void sysio::vm::execution_context_base< Derived, Host >::reset ( )

inline

Definition at line 123 of file execution_context.hpp.

                          {
         SYS_VM_ASSERT(_mod.error == nullptr, wasm_interpreter_exception, _mod.error);
 
         _linear_memory = _wasm_alloc->get_base_ptr<char>();
         if(_mod.memories.size()) {
            SYS_VM_ASSERT(_mod.memories[0].limits.initial <= _max_pages, wasm_bad_alloc, "Cannot allocate initial linear memory.");
            _wasm_alloc->reset(_mod.memories[0].limits.initial);
         } else
            _wasm_alloc->reset();
 
         for (uint32_t i = 0; i < _mod.data.size(); i++) {
            const auto& data_seg = _mod.data[i];
            uint32_t offset = data_seg.offset.value.i32; // force to unsigned
            auto available_memory =  _mod.memories[0].limits.initial * static_cast<uint64_t>(page_size);
            auto required_memory = static_cast<uint64_t>(offset) + data_seg.data.size();
            SYS_VM_ASSERT(required_memory <= available_memory, wasm_memory_exception, "data out of range");
            auto addr = _linear_memory + offset;
            memcpy((char*)(addr), data_seg.data.raw(), data_seg.data.size());
         }
 
         // reset the mutable globals
         for (uint32_t i = 0; i < _mod.globals.size(); i++) {
            if (_mod.globals[i].type.mutability)
               _mod.globals[i].current = _mod.globals[i].init;
         }
      }

Here is the call graph for this function:

reset() [2/2]

template<typename Derived , typename Host >

void sysio::vm::execution_context_base< Derived, Host >::reset ( )

inline

Definition at line 123 of file execution_context.hpp.

                          {
         SYS_VM_ASSERT(_mod.error == nullptr, wasm_interpreter_exception, _mod.error);
 
         _linear_memory = _wasm_alloc->get_base_ptr<char>();
         if(_mod.memories.size()) {
            SYS_VM_ASSERT(_mod.memories[0].limits.initial <= _max_pages, wasm_bad_alloc, "Cannot allocate initial linear memory.");
            _wasm_alloc->reset(_mod.memories[0].limits.initial);
         } else
            _wasm_alloc->reset();
 
         for (uint32_t i = 0; i < _mod.data.size(); i++) {
            const auto& data_seg = _mod.data[i];
            uint32_t offset = data_seg.offset.value.i32; // force to unsigned
            auto available_memory =  _mod.memories[0].limits.initial * static_cast<uint64_t>(page_size);
            auto required_memory = static_cast<uint64_t>(offset) + data_seg.data.size();
            SYS_VM_ASSERT(required_memory <= available_memory, wasm_memory_exception, "data out of range");
            auto addr = _linear_memory + offset;
            memcpy((char*)(addr), data_seg.data.raw(), data_seg.data.size());
         }
 
         // reset the mutable globals
         for (uint32_t i = 0; i < _mod.globals.size(); i++) {
            if (_mod.globals[i].type.mutability)
               _mod.globals[i].current = _mod.globals[i].init;
         }
      }

Here is the call graph for this function:

set_max_pages() [1/2]

template<typename Derived , typename Host >

void sysio::vm::execution_context_base< Derived, Host >::set_max_pages ( std::uint32_t max_pages )

inline

Definition at line 119 of file execution_context.hpp.

{ _max_pages = std::min(max_pages, static_cast<std::uint32_t>(vm::max_pages)); }

set_max_pages() [2/2]

template<typename Derived , typename Host >

void sysio::vm::execution_context_base< Derived, Host >::set_max_pages ( std::uint32_t max_pages )

inline

Definition at line 119 of file execution_context.hpp.

{ _max_pages = std::min(max_pages, static_cast<std::uint32_t>(vm::max_pages)); }

set_wasm_allocator() [1/2]

template<typename Derived , typename Host >

void sysio::vm::execution_context_base< Derived, Host >::set_wasm_allocator ( wasm_allocator * alloc )

inline

Definition at line 113 of file execution_context.hpp.

{ _wasm_alloc = alloc; }

set_wasm_allocator() [2/2]

template<typename Derived , typename Host >

void sysio::vm::execution_context_base< Derived, Host >::set_wasm_allocator ( wasm_allocator * alloc )

inline

Definition at line 113 of file execution_context.hpp.

{ _wasm_alloc = alloc; }

type_check_args() [1/2]

template<typename Derived , typename Host >

template<typename... Args>

static void sysio::vm::execution_context_base< Derived, Host >::type_check_args ( const func_type & ft, Args && ... )

inlinestaticprotected

Definition at line 166 of file execution_context.hpp.

                                                                  {
         SYS_VM_ASSERT(sizeof...(Args) == ft.param_types.size(), wasm_interpreter_exception, "wrong number of arguments");
         uint32_t i = 0;
         SYS_VM_ASSERT((... && (to_wasm_type_v<detail::type_converter_t<Host>, Args> == ft.param_types.at(i++))), wasm_interpreter_exception, "unexpected argument type");
      }

type_check_args() [2/2]

template<typename Derived , typename Host >

template<typename... Args>

static void sysio::vm::execution_context_base< Derived, Host >::type_check_args ( const func_type & ft, Args && ... )

inlinestaticprotected

Definition at line 166 of file execution_context.hpp.

                                                                  {
         SYS_VM_ASSERT(sizeof...(Args) == ft.param_types.size(), wasm_interpreter_exception, "wrong number of arguments");
         uint32_t i = 0;
         SYS_VM_ASSERT((... && (to_wasm_type_v<detail::type_converter_t<Host>, Args> == ft.param_types.at(i++))), wasm_interpreter_exception, "unexpected argument type");
      }

Member Data Documentation

_error_code

template<typename Derived , typename Host >

std::error_code sysio::vm::execution_context_base< Derived, Host >::_error_code

protected

Definition at line 190 of file execution_context.hpp.

_linear_memory

template<typename Derived , typename Host >

char * sysio::vm::execution_context_base< Derived, Host >::_linear_memory = nullptr

protected

Definition at line 185 of file execution_context.hpp.

_max_pages

template<typename Derived , typename Host >

uint32_t sysio::vm::execution_context_base< Derived, Host >::_max_pages = max_pages

protected

Definition at line 188 of file execution_context.hpp.

_mod

template<typename Derived , typename Host >

module & sysio::vm::execution_context_base< Derived, Host >::_mod

protected

Definition at line 186 of file execution_context.hpp.

_os

template<typename Derived , typename Host >

operand_stack sysio::vm::execution_context_base< Derived, Host >::_os

protected

Definition at line 191 of file execution_context.hpp.

_rhf

template<typename Derived , typename Host >

detail::host_invoker_t< Host > sysio::vm::execution_context_base< Derived, Host >::_rhf

protected

Definition at line 189 of file execution_context.hpp.

_wasm_alloc

template<typename Derived , typename Host >

wasm_allocator * sysio::vm::execution_context_base< Derived, Host >::_wasm_alloc

protected

Definition at line 187 of file execution_context.hpp.

---

The documentation for this class was generated from the following files:

• libraries/sys-vm/include/sysio/sysio/vm/execution_context.hpp
• libraries/sys-vm/include/sysio/vm/execution_context.hpp