Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::avm Namespace Reference

Classes

struct  AvmRequest
 Context passed to each command's execute() method. Provides access to WSDB and CDB IPC clients. More...
 

Functions

template<>
void handle_simulate (AvmRequest &request, wire::AvmSimulate &&command, Responder< wire::AvmSimulateResponse > respond)
 
template<>
void handle_simulate_with_hints (AvmRequest &request, wire::AvmSimulateWithHints &&command, Responder< wire::AvmSimulateWithHintsResponse > respond)
 
int execute_avm_server (const std::string &input_path, const std::string &wsdb_path, const std::string &cdb_path)
 Start the bb-avm-sim IPC server.
 
int parse_and_run_avm (int argc, char *argv[])
 

Variables

const avm2::simulation::CancellationTokenPtr g_sim_cancellation_token
 
std::atomic< avm2::simulation::CancellationToken * > g_active_cancellation_token { nullptr }
 

Function Documentation

◆ execute_avm_server()

int bb::avm::execute_avm_server ( const std::string &  input_path,
const std::string &  wsdb_path,
const std::string &  cdb_path 
)

Start the bb-avm-sim IPC server.

Connects to WSDB and CDB as IPC clients, then runs the server loop dispatching incoming simulation commands.

Parameters
input_pathIPC path for TS client connections.
wsdb_pathIPC path to the running WSDB server.
cdb_pathIPC path to the running CDB server.
Returns
0 on success, non-zero on error.

Definition at line 19 of file avm_ipc_server.cpp.

◆ handle_simulate()

template<>
void bb::avm::handle_simulate ( AvmRequest request,
wire::AvmSimulate &&  command,
Responder< wire::AvmSimulateResponse >  respond 
)

Definition at line 53 of file avm_execute.cpp.

◆ handle_simulate_with_hints()

template<>
void bb::avm::handle_simulate_with_hints ( AvmRequest request,
wire::AvmSimulateWithHints &&  command,
Responder< wire::AvmSimulateWithHintsResponse >  respond 
)

Definition at line 108 of file avm_execute.cpp.

◆ parse_and_run_avm()

int bb::avm::parse_and_run_avm ( int  argc,
char *  argv[] 
)

Definition at line 11 of file cli.cpp.

Variable Documentation

◆ g_active_cancellation_token

std::atomic< avm2::simulation::CancellationToken * > bb::avm::g_active_cancellation_token { nullptr }

Global cancellation token for the active simulation. SIGUSR1 handler uses this.

Definition at line 35 of file avm_execute.cpp.

◆ g_sim_cancellation_token

const avm2::simulation::CancellationTokenPtr bb::avm::g_sim_cancellation_token
Initial value:
=
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition tuple.hpp:13

Definition at line 32 of file avm_execute.cpp.