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 */