1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
#include <dlfcn.h>
#include <limits.h>
#include <string.h>
#include <stdio.h>
#include <stdlib.h>
#include <assert.h>
#include "disp.h"
#ifdef NDEBUG
extern struct disp *cli_disp;
extern struct disp *tui_disp;
extern struct disp *ray_disp;
#endif
#ifndef NDEBUG
static void *
load_generic_symbol(struct disp *disp, char *base_name)
{
char full_name[64] = {0};
void *ptr;
strcpy(full_name, disp->name);
strcat(full_name, "_");
strcat(full_name, base_name);
ptr = dlsym(disp->dl_handle, full_name);
if (!ptr)
{
fprintf(stderr, "calculer: %s\n", dlerror());
destroy_disp(disp);
exit(1);
}
return ptr;
}
#endif
#ifndef NDEBUG
static void
load_symbols(struct disp *disp)
{
void *handle = dlopen(disp->so_path, RTLD_LAZY);
if (!handle)
{
fprintf(stderr, "calculer: %s\n", dlerror());
destroy_disp(disp);
exit(1);
}
disp->dl_handle = handle;
disp->init = load_generic_symbol(disp, "init");
disp->display_calc = load_generic_symbol(disp, "display_calc");
disp->read_input = load_generic_symbol(disp, "read_input");
disp->display_res = load_generic_symbol(disp, "display_res");
disp->destroy = load_generic_symbol(disp, "destroy");
disp->pre_reload = load_generic_symbol(disp, "pre_reload");
disp->post_reload = load_generic_symbol(disp, "post_reload");
printf("INFO: successfully loaded symbols from \"%s\"\n",
disp->so_path);
}
#endif
struct disp *
get_disp(char *disp_name)
{
#ifndef NDEBUG
/* displays are shared libraries */
char so_path[128];
strcpy(so_path, CALCULER_PREFIX);
strcat(so_path, "/lib/calculer/lib");
strcat(so_path, disp_name);
strcat(so_path, ".so");
struct disp *disp = malloc(sizeof(*disp));
disp->so_path = strdup(so_path);
disp->name = disp_name;
load_symbols(disp);
return disp;
#else
if (strcmp(disp_name, "cli") == 0)
return cli_disp;
if (strcmp(disp_name, "tui") == 0)
return tui_disp;
if (strcmp(disp_name, "ray") == 0)
return ray_disp;
return NULL;
#endif
}
void
destroy_disp(struct disp *disp)
{
if (disp->destroy)
disp->destroy();
#ifndef NDEBUG
if (disp->dl_handle)
dlclose(disp->dl_handle);
free(disp->so_path);
free(disp);
#endif
}
#ifndef NDEBUG
void
disp_reload(struct disp *disp)
{
printf("INFO: saving state\n");
void *state = disp->pre_reload();
printf("INFO: closing shared library\n");
dlclose(disp->dl_handle);
printf("INFO: reloading symbols\n");
load_symbols(disp);
printf("INFO: loading state\n");
disp->post_reload(state);
printf("INFO: reloading done\n");
}
#endif
|
