parser_fork.h

Go to the documentation of this file.

 
#ifndef PARSER_FORK_H
#define PARSER_FORK_H
 
#include <stdbool.h>
#include <stdint.h>
#include <stddef.h>
 
#ifdef __cplusplus
extern "C" {
#endif
 
/* Forward declarations */
struct ParserSnapshot;
 
/* ================================================================== */
/* ================================================================== */
 
typedef enum ParseForkStatus {
    FORK_PENDING = 0, 
    FORK_RUNNING,     
    FORK_COMPLETED,   
    FORK_FAILED,      
    FORK_ABANDONED,   
} ParseForkStatus;
 
 
/* ================================================================== */
/* ================================================================== */
 
typedef struct ClonedParserState {
    void *state_data;  
    size_t state_size; 
    void *stack_data;        
    size_t stack_size;       
    uint32_t stack_depth;    
    uint32_t stack_capacity; 
    bool stack_is_inline; 
} ClonedParserState;
 
 
/* ================================================================== */
/* ================================================================== */
 
typedef struct ParseFork {
    ClonedParserState cloned_state; 
    struct ParserSnapshot *snapshot; 
    int priority;
 
    ParseForkStatus status; 
    void *semantic_result;
 
    void (*free_result)(void *);
 
    uint32_t tokens_consumed; 
    uint32_t error_count;     
    uint64_t fork_id; 
} ParseFork;
 
 
/* ================================================================== */
/* ================================================================== */
 
uint64_t parser_fork_next_id(void);
 
 
/* ================================================================== */
/* ================================================================== */
 
bool clone_parser_state(const void *parser, size_t parser_size, size_t stack_entry_size,
                        size_t inline_stack_offset, uint32_t inline_stack_count,
                        size_t stack_field_offset, size_t tos_field_offset, size_t stack_end_offset,
                        ClonedParserState *out);
 
void cloned_parser_state_destroy(ClonedParserState *cloned);
 
 
/* ================================================================== */
/* ================================================================== */
 
ParseFork *fork_parser(const void *parser, size_t parser_size, size_t stack_entry_size,
                       size_t inline_stack_offset, uint32_t inline_stack_count,
                       size_t stack_field_offset, size_t tos_field_offset, size_t stack_end_offset,
                       struct ParserSnapshot *snapshot, int priority);
 
void free_parse_fork(ParseFork *fork);
 
 
/* ================================================================== */
/* ================================================================== */
 
void *parse_fork_get_parser(ParseFork *fork);
 
struct ParserSnapshot *parse_fork_get_snapshot(const ParseFork *fork);
 
void parse_fork_complete(ParseFork *fork, void *result, void (*free_fn)(void *));
 
void parse_fork_fail(ParseFork *fork);
 
void parse_fork_abandon(ParseFork *fork);
 
 
/* ================================================================== */
/* ================================================================== */
 
typedef struct ParseForkSet {
    ParseFork **forks;  
    uint32_t count;     
    uint32_t capacity;  
    uint32_t max_forks; 
} ParseForkSet;
 
ParseForkSet *parse_fork_set_create(uint32_t max_forks);
 
void parse_fork_set_destroy(ParseForkSet *set);
 
bool parse_fork_set_add(ParseForkSet *set, ParseFork *fork);
 
uint32_t parse_fork_set_prune(ParseForkSet *set);
 
ParseFork *parse_fork_set_best(const ParseForkSet *set);
 
uint32_t parse_fork_set_active_count(const ParseForkSet *set);
 
 
/* ================================================================== */
/* ================================================================== */
 
#define PARSER_FORK_LAYOUT_PARAMS(ParserType, StackEntryType)                                      \
    sizeof(ParserType), sizeof(StackEntryType), offsetof(ParserType, yystk0),                      \
        (uint32_t)(sizeof(((ParserType *)0)->yystk0) / sizeof(StackEntryType)),                    \
        offsetof(ParserType, yystack), offsetof(ParserType, yytos),                                \
        offsetof(ParserType, yystackEnd)
 
 
#ifdef __cplusplus
}
#endif
 
#endif /* PARSER_FORK_H */