NAME ^

src/interpreter.c - Parrot Interpreter

DESCRIPTION ^

The interpreter API handles running the operations.

The predereferenced code chunk is pre-initialized with the opcode function pointers, addresses, or opnumbers of the prederef__ opcode. This opcode then calls the do_prederef() function, which then fills in the real function, address or op number.

Because the prederef__ opcode returns the same pc_prederef it was passed, the runops loop will re-execute the same location, which will then have the pointer to the real prederef opfunc and prederef args.

Pointer arithmetic is used to determine the index into the bytecode corresponding to the currect opcode. The bytecode and prederef arrays have the same number of elements because there is a one-to-one mapping.

Functions ^

static void prederef_args

Called from do_prederef() to deal with any arguments.

pc_prederef is the current opcode.

void do_prederef

This is called from within the run cores to predereference the current opcode.

pc_prederef is the current opcode, and type is the run core type.

static void turn_ev_check

Turn on or off event checking for prederefed cores.

Fills in the event_checker opcode, or restores original ops in all branch locations of the opcode stream.

Note that when on is true, this is being called from the event handler thread.

static oplib_init_f get_core_op_lib_init

Returns an opcode's library op_lib init function.

which is the run core type.

static oplib_init_f get_dynamic_op_lib_init

Returns an dynamic oplib's opcode's library op_lib init function.

lib will be a ParrotLibrary PMC.

static void load_prederef

interp->op_lib = prederefed oplib.

static void init_prederef

Initialize: load prederef func_table, file prederef.code.

static void stop_prederef

Restore the interpreter's op function tables to their initial state. Also recreate the event function pointers. This is only necessary for run-core changes, but we don't know the old run core.

void exec_init_prederef

interp->op_lib = prederefed oplib

The "normal" op_lib has a copy in the interpreter structure - but get the op_code lookup function from standard core prederef has no op_info_table

void *init_jit

Initializes JIT function for the specified opcode and returns it.

void prepare_for_run

Prepares to run the interpreter's run core.

static opcode_t *runops_jit

Runs the JIT code for the specified opcode.

static opcode_t *runops_exec

Runs the native executable version of the specified opcode.

static opcode_t *runops_cgp

Runs the C goto, predereferenced core.

static opcode_t *runops_switch

Runs the switch core.

void runops_int

Run Parrot operations of loaded code segment until an end opcode is reached. Run core is selected depending on the Interp_flags. When a restart opcode is encountered, a different core may be selected and evaluation of opcode continues.

void Parrot_setup_event_func_ptrs

Setup a func_table containing pointers (or addresses) of the check_event__ opcode.

TODO: Free it at destroy. Handle run-core changes.

Dynamic Loading Functions ^

void dynop_register

Register a dynamic oplib.

static void dynop_register_xx

Register op_lib with other cores.

static void dynop_register_switch

Used only at the end of dynop_register. Sums the old and new op_counts storing the result into the operations count field of the interpreter object.

static void notify_func_table

Tell the interpreter's running core about the new function table.

void disable_event_checking

Restore old function table.

XXX This is only implemented for the function core at present.

void enable_event_checking

Replace func table with one that does event checking for all opcodes.

NOTE: enable_event_checking() is called async by the event handler thread. All action done from here has to be async safe.

XXX This is only implemented for the function core at present.

SEE ALSO ^

include/parrot/interpreter.h, src/inter_cb.c, src/inter_create.c, src/inter_misc.c, src/inter_run.c.


parrot