infix
A JIT-Powered FFI Library for C
Loading...
Searching...
No Matches
loader.c
Go to the documentation of this file.
1
30#if defined(INFIX_OS_WINDOWS)
31#include <windows.h>
32#else
33#include <dlfcn.h>
34#endif
48 if (lib == nullptr) {
50 return nullptr;
51 }
52#if defined(INFIX_OS_WINDOWS)
53 // On Windows, passing NULL to GetModuleHandleA returns a handle to the main executable file of the current process.
54 if (path == nullptr) {
55 lib->handle = GetModuleHandleA(path);
56 lib->is_pseudo_handle = true; // Mark this as a special, non-freeable handle.
57 }
58 else {
59 lib->handle = LoadLibraryA(path);
60 lib->is_pseudo_handle = false; // This is a regular, ref-counted handle.
61 }
62#else
63 // Use RTLD_LAZY for performance (resolve symbols only when they are first used).
64 // Use RTLD_GLOBAL to make symbols from this library available for resolution
65 // by other libraries that might be loaded later. This is important for complex
66 // dependency chains.
67 // On POSIX, passing NULL to dlopen returns a handle to the main executable, allowing searching of global symbols.
68 lib->handle = dlopen(path, RTLD_LAZY | RTLD_GLOBAL);
69#endif
70 if (lib->handle == nullptr) {
71#if defined(INFIX_OS_WINDOWS)
72 // On Windows, GetLastError() provides the specific error code.
74#else
75 // On POSIX, dlerror() returns a human-readable string.
77#endif
78 infix_free(lib);
79 return nullptr;
80 }
81 return lib;
82}
91 if (lib == nullptr)
92 return;
93 if (lib->handle) {
94#if defined(INFIX_OS_WINDOWS)
95 // Only call FreeLibrary on real handles obtained from LoadLibrary.
96 // Never call it on a pseudo-handle from GetModuleHandle.
97 if (!lib->is_pseudo_handle)
98 FreeLibrary((HMODULE)lib->handle);
99#else
100 dlclose(lib->handle);
101#endif
102 }
103 infix_free(lib);
104}
121c23_nodiscard void * infix_library_get_symbol(infix_library_t * lib, const char * symbol_name) {
122 if (lib == nullptr || lib->handle == nullptr || symbol_name == nullptr)
123 return nullptr;
124#if defined(INFIX_OS_WINDOWS)
125 return (void *)GetProcAddress((HMODULE)lib->handle, symbol_name);
126#else
127 return dlsym(lib->handle, symbol_name);
128#endif
129}
148 const char * symbol_name,
149 const char * type_signature,
150 void * buffer,
152 if (buffer == nullptr)
154 void * symbol_addr = infix_library_get_symbol(lib, symbol_name);
155 if (symbol_addr == nullptr) {
158 }
159 // Parse the signature to get the type's size.
160 infix_type * type = nullptr;
161 infix_arena_t * arena = nullptr;
162 infix_status status = infix_type_from_signature(&type, &arena, type_signature, registry);
163 if (status != INFIX_SUCCESS)
164 return status;
165 // Safely copy the data using the parsed size.
166 infix_memcpy(buffer, symbol_addr, type->size);
168 return INFIX_SUCCESS;
169}
190 const char * symbol_name,
191 const char * type_signature,
192 void * buffer,
194 if (buffer == nullptr)
196 void * symbol_addr = infix_library_get_symbol(lib, symbol_name);
197 if (symbol_addr == nullptr) {
200 }
201 infix_type * type = nullptr;
202 infix_arena_t * arena = nullptr;
203 infix_status status = infix_type_from_signature(&type, &arena, type_signature, registry);
204 if (status != INFIX_SUCCESS)
205 return status;
206 // Note: This assumes the memory page containing the global is writable.
207 // This is standard for data segments but could fail in unusual cases.
208 infix_memcpy(symbol_addr, buffer, type->size);
210 return INFIX_SUCCESS;
211}
infix_arena_t * arena
Definition 005_layouts.c:60
infix_registry_t * registry
Definition 008_registry_introspection.c:32
infix_status status
Definition 103_unions.c:59
#define c23_nodiscard
A compatibility macro for the C23 [[nodiscard]] attribute.
Definition compat_c23.h:106
@ INFIX_CODE_SYMBOL_NOT_FOUND
Definition infix.h:1247
@ INFIX_CODE_LIBRARY_LOAD_FAILED
Definition infix.h:1248
@ INFIX_CODE_OUT_OF_MEMORY
Definition infix.h:1228
@ INFIX_CATEGORY_ALLOCATION
Definition infix.h:1216
@ INFIX_CATEGORY_GENERAL
Definition infix.h:1215
c23_nodiscard infix_status infix_write_global(infix_library_t *lib, const char *symbol_name, const char *type_signature, void *buffer, infix_registry_t *registry)
Writes data from a buffer into an exported global variable in a library.
Definition loader.c:189
void infix_library_close(infix_library_t *lib)
Closes a dynamic library handle and frees associated resources.
Definition loader.c:90
c23_nodiscard void * infix_library_get_symbol(infix_library_t *lib, const char *symbol_name)
Retrieves the address of a symbol (function or variable) from a loaded library.
Definition loader.c:121
c23_nodiscard infix_library_t * infix_library_open(const char *path)
Opens a dynamic library and returns a handle to it.
Definition loader.c:46
c23_nodiscard infix_status infix_read_global(infix_library_t *lib, const char *symbol_name, const char *type_signature, void *buffer, infix_registry_t *registry)
Reads the value of an exported global variable from a library into a buffer.
Definition loader.c:147
c23_nodiscard infix_status infix_type_from_signature(infix_type **, infix_arena_t **, const char *, infix_registry_t *)
Parses a signature string representing a single data type.
Definition signature.c:1009
size_t size
Definition infix.h:197
infix_status
Enumerates the possible status codes returned by infix API functions.
Definition infix.h:352
@ INFIX_SUCCESS
Definition infix.h:353
@ INFIX_ERROR_INVALID_ARGUMENT
Definition infix.h:355
#define infix_free
A macro that can be defined to override the default free function.
Definition infix.h:301
void infix_arena_destroy(infix_arena_t *)
Destroys an arena and frees all memory allocated from it.
Definition arena.c:83
#define infix_memcpy
A macro that can be defined to override the default memcpy function.
Definition infix.h:305
#define infix_calloc
A macro that can be defined to override the default calloc function.
Definition infix.h:293
Internal data structures, function prototypes, and constants.
void _infix_set_error(infix_error_category_t category, infix_error_code_t code, size_t position)
Sets the thread-local error state with detailed information.
Definition error.c:165
void _infix_set_system_error(infix_error_category_t category, infix_error_code_t code, long system_code, const char *msg)
Sets the thread-local error state for a system-level error.
Definition error.c:234
Internal definition of a memory arena.
Definition infix_internals.h:138
Internal definition of a dynamic library handle.
Definition infix_internals.h:207
void * handle
Definition infix_internals.h:208
Internal definition of a named type registry.
Definition infix_internals.h:165
A semi-opaque structure that describes a C type.
Definition infix.h:194