| |
| #ifndef Py_LIMITED_API |
| #ifndef Py_OPTIMIZER_H |
| #define Py_OPTIMIZER_H |
| #ifdef __cplusplus |
| extern "C" { |
| #endif |
| |
| typedef struct _PyExecutorLinkListNode { |
| struct _PyExecutorObject *next; |
| struct _PyExecutorObject *previous; |
| } _PyExecutorLinkListNode; |
| |
| |
| /* Bloom filter with m = 256 |
| * https://en.wikipedia.org/wiki/Bloom_filter */ |
| #define BLOOM_FILTER_WORDS 8 |
| |
| typedef struct _bloom_filter { |
| uint32_t bits[BLOOM_FILTER_WORDS]; |
| } _PyBloomFilter; |
| |
| typedef struct { |
| uint8_t opcode; |
| uint8_t oparg; |
| uint8_t valid; |
| int index; // Index of ENTER_EXECUTOR (if code isn't NULL, below). |
| _PyBloomFilter bloom; |
| _PyExecutorLinkListNode links; |
| PyCodeObject *code; // Weak (NULL if no corresponding ENTER_EXECUTOR). |
| } _PyVMData; |
| |
| #define UOP_FORMAT_TARGET 0 |
| #define UOP_FORMAT_EXIT 1 |
| #define UOP_FORMAT_JUMP 2 |
| #define UOP_FORMAT_UNUSED 3 |
| |
| /* Depending on the format, |
| * the 32 bits between the oparg and operand are: |
| * UOP_FORMAT_TARGET: |
| * uint32_t target; |
| * UOP_FORMAT_EXIT |
| * uint16_t exit_index; |
| * uint16_t error_target; |
| * UOP_FORMAT_JUMP |
| * uint16_t jump_target; |
| * uint16_t error_target; |
| */ |
| typedef struct { |
| uint16_t opcode:14; |
| uint16_t format:2; |
| uint16_t oparg; |
| union { |
| uint32_t target; |
| struct { |
| union { |
| uint16_t exit_index; |
| uint16_t jump_target; |
| }; |
| uint16_t error_target; |
| }; |
| }; |
| uint64_t operand; // A cache entry |
| } _PyUOpInstruction; |
| |
| static inline uint32_t uop_get_target(const _PyUOpInstruction *inst) |
| { |
| assert(inst->format == UOP_FORMAT_TARGET); |
| return inst->target; |
| } |
| |
| static inline uint16_t uop_get_exit_index(const _PyUOpInstruction *inst) |
| { |
| assert(inst->format == UOP_FORMAT_EXIT); |
| return inst->exit_index; |
| } |
| |
| static inline uint16_t uop_get_jump_target(const _PyUOpInstruction *inst) |
| { |
| assert(inst->format == UOP_FORMAT_JUMP); |
| return inst->jump_target; |
| } |
| |
| static inline uint16_t uop_get_error_target(const _PyUOpInstruction *inst) |
| { |
| assert(inst->format != UOP_FORMAT_TARGET); |
| return inst->error_target; |
| } |
| |
| typedef struct _exit_data { |
| uint32_t target; |
| _Py_BackoffCounter temperature; |
| const struct _PyExecutorObject *executor; |
| } _PyExitData; |
| |
| typedef struct _PyExecutorObject { |
| PyObject_VAR_HEAD |
| const _PyUOpInstruction *trace; |
| _PyVMData vm_data; /* Used by the VM, but opaque to the optimizer */ |
| uint32_t exit_count; |
| uint32_t code_size; |
| size_t jit_size; |
| void *jit_code; |
| _PyExitData exits[1]; |
| } _PyExecutorObject; |
| |
| typedef struct _PyOptimizerObject _PyOptimizerObject; |
| |
| /* Should return > 0 if a new executor is created. O if no executor is produced and < 0 if an error occurred. */ |
| typedef int (*optimize_func)( |
| _PyOptimizerObject* self, struct _PyInterpreterFrame *frame, |
| _Py_CODEUNIT *instr, _PyExecutorObject **exec_ptr, |
| int curr_stackentries); |
| |
| struct _PyOptimizerObject { |
| PyObject_HEAD |
| optimize_func optimize; |
| /* Data needed by the optimizer goes here, but is opaque to the VM */ |
| }; |
| |
| /** Test support **/ |
| typedef struct { |
| _PyOptimizerObject base; |
| int64_t count; |
| } _PyCounterOptimizerObject; |
| |
| PyAPI_FUNC(int) PyUnstable_Replace_Executor(PyCodeObject *code, _Py_CODEUNIT *instr, _PyExecutorObject *executor); |
| |
| _PyOptimizerObject *_Py_SetOptimizer(PyInterpreterState *interp, _PyOptimizerObject* optimizer); |
| |
| PyAPI_FUNC(int) PyUnstable_SetOptimizer(_PyOptimizerObject* optimizer); |
| |
| PyAPI_FUNC(_PyOptimizerObject *) PyUnstable_GetOptimizer(void); |
| |
| PyAPI_FUNC(_PyExecutorObject *) PyUnstable_GetExecutor(PyCodeObject *code, int offset); |
| |
| void _Py_ExecutorInit(_PyExecutorObject *, const _PyBloomFilter *); |
| void _Py_ExecutorClear(_PyExecutorObject *); |
| void _Py_BloomFilter_Init(_PyBloomFilter *); |
| void _Py_BloomFilter_Add(_PyBloomFilter *bloom, void *obj); |
| PyAPI_FUNC(void) _Py_Executor_DependsOn(_PyExecutorObject *executor, void *obj); |
| PyAPI_FUNC(void) _Py_Executors_InvalidateDependency(PyInterpreterState *interp, void *obj, int is_invalidation); |
| extern void _Py_Executors_InvalidateAll(PyInterpreterState *interp, int is_invalidation); |
| |
| /* For testing */ |
| PyAPI_FUNC(PyObject *)PyUnstable_Optimizer_NewCounter(void); |
| PyAPI_FUNC(PyObject *)PyUnstable_Optimizer_NewUOpOptimizer(void); |
| |
| #define _Py_MAX_ALLOWED_BUILTINS_MODIFICATIONS 3 |
| #define _Py_MAX_ALLOWED_GLOBALS_MODIFICATIONS 6 |
| |
| #ifdef __cplusplus |
| } |
| #endif |
| #endif /* !Py_OPTIMIZER_H */ |
| #endif /* Py_LIMITED_API */ |