reader_vmem_internal.h

Go to the documentation of this file.

 
#pragma once
 
#include <stddef.h>
#include <stdint.h>
 
#include "ra8_attributes.h"
#include "ra8_vmem.h"
 
#ifndef READER_VMEM_MAX_BUDGET
#define READER_VMEM_MAX_BUDGET (1024U)
#endif

typedef enum : uint32_t {
  k_rv_frame_bytes   = 4096U, 
  k_rv_bucket_count  = 1024U, 
  k_rv_host_path_cap = 4096U, 
  k_rv_host_name_cap = 256U,  
} rv_internal_limit_t;

typedef struct {
  size_t frame_offset;  
  size_t frame_bytes;   
  size_t meta_offset;   
  size_t meta_bytes;    
  size_t key_offset;    
  size_t key_bytes;     
  size_t bucket_offset; 
  size_t bucket_bytes;  
  size_t total_bytes;   
} rv_workspace_need_t;

typedef struct {
  uint8_t*          frame_mem; 
  ra8_vmem_frame_t* meta;      
  ra8_vmem_key_t*   keys;      
  int32_t*          buckets;   
} rv_workspace_t;

typedef struct {
  char     final_name[k_rv_host_name_cap]; 
  char     temp_name[k_rv_host_name_cap];  
  int      directory_fd;                   
  int      trace_fd;                       
  uint64_t offset;                         
  bool     temp_exists;                    
  bool     io_failed;                      
} rv_trace_t;

[[nodiscard]] RA8_PRIV bool priv_rv_workspace_require(uint32_t budget, rv_workspace_need_t* need);

[[nodiscard]] RA8_PRIV bool priv_rv_workspace_bind(void*                      backing,
                                                   size_t                     backing_bytes,
                                                   const rv_workspace_need_t* need,
                                                   rv_workspace_t*            workspace);

[[nodiscard]] RA8_PRIV bool priv_rv_trace_begin(const char* path, rv_trace_t* trace);

[[nodiscard]] RA8_PRIV bool
priv_rv_trace_reference(rv_trace_t* trace, uint32_t object_id, uint32_t frame);

[[nodiscard]] RA8_PRIV bool priv_rv_trace_commit(rv_trace_t* trace);

RA8_PRIV void priv_rv_trace_abort(rv_trace_t* trace);

RA8_PRIV void priv_rv_diag(const char* text);

RA8_PRIV void priv_rv_diag_u64(uint64_t value);