1 /*
2 * This software is part of the SBCL system. See the README file for
3 * more information.
4 *
5 * This software is derived from the CMU CL system, which was
6 * written at Carnegie Mellon University and released into the
7 * public domain. The software is in the public domain and is
8 * provided with absolutely no warranty. See the COPYING and CREDITS
9 * files for more information.
10 */
11
12 #include <stdio.h>
13 #include <string.h>
14 #include <sys/types.h>
15 #include <stdlib.h>
16
17 #include "sbcl.h"
18 #include "runtime.h"
19 #include "vars.h"
20 #include "os.h"
21
22 #define NAME_BUCKETS 31
23 #define OBJ_BUCKETS 31
24
25 static struct var *NameHash[NAME_BUCKETS], *ObjHash[OBJ_BUCKETS];
26 static int tempcntr = 1;
27
28 struct var {
29 lispobj obj;
30 lispobj (*update_fn)(struct var *var);
31 char *name;
32 sword_t clock;
33 boolean map_back, permanent;
34
35 struct var *nnext; /* Next in name list */
36 struct var *onext; /* Next in object list */
37 };
38
hash_name(char * name)39 static int hash_name(char *name)
40 {
41 uword_t value = 0;
42
43 while (*name != '\0') {
44 value = (value << 1) ^ *(unsigned char *)(name++);
45 value = (value & (1-(1<<24))) ^ (value >> 24);
46 }
47
48 return value % NAME_BUCKETS;
49 }
50
hash_obj(lispobj obj)51 static int hash_obj(lispobj obj)
52 {
53 return (uword_t)obj % OBJ_BUCKETS;
54 }
55
flush_vars()56 void flush_vars()
57 {
58 int index;
59 struct var *var, *next, *perm = NULL;
60
61 /* Note: all vars in the object hash table also appear in the name hash
62 * table, so if we free everything in the name hash table, we free
63 * everything in the object hash table. */
64
65 for (index = 0; index < NAME_BUCKETS; index++)
66 for (var = NameHash[index]; var != NULL; var = next) {
67 next = var->nnext;
68 if (var->permanent) {
69 var->nnext = perm;
70 perm = var;
71 }
72 else {
73 free(var->name);
74 free(var);
75 }
76 }
77 memset(NameHash, 0, sizeof(NameHash));
78 memset(ObjHash, 0, sizeof(ObjHash));
79 tempcntr = 1;
80
81 for (var = perm; var != NULL; var = next) {
82 next = var->nnext;
83 index = hash_name(var->name);
84 var->nnext = NameHash[index];
85 NameHash[index] = var;
86 if (var->map_back) {
87 index = hash_obj(var->obj);
88 var->onext = ObjHash[index];
89 ObjHash[index] = var;
90 }
91 }
92 }
93
lookup_by_name(name)94 struct var *lookup_by_name(name)
95 char *name;
96 {
97 struct var *var;
98
99 for (var = NameHash[hash_name(name)]; var != NULL; var = var->nnext)
100 if (strcmp(var->name, name) == 0)
101 return var;
102 return NULL;
103 }
104
lookup_by_obj(obj)105 struct var *lookup_by_obj(obj)
106 lispobj obj;
107 {
108 struct var *var;
109
110 for (var = ObjHash[hash_obj(obj)]; var != NULL; var = var->onext)
111 if (var->obj == obj)
112 return var;
113 return NULL;
114 }
115
make_var(char * name,boolean perm)116 static struct var *make_var(char *name, boolean perm)
117 {
118 struct var *var = (struct var *)malloc(sizeof(struct var));
119 char buffer[256];
120 int index;
121
122 if (name == NULL) {
123 sprintf(buffer, "%d", tempcntr++);
124 name = buffer;
125 }
126 var->name = (char *)malloc(strlen(name)+1);
127 strcpy(var->name, name);
128 var->clock = 0;
129 var->permanent = perm;
130 var->map_back = 0;
131
132 index = hash_name(name);
133 var->nnext = NameHash[index];
134 NameHash[index] = var;
135
136 return var;
137 }
138
define_var(char * name,lispobj obj,boolean perm)139 struct var *define_var(char *name, lispobj obj, boolean perm)
140 {
141 struct var *var = make_var(name, perm);
142 int index;
143
144 var->obj = obj;
145 var->update_fn = NULL;
146
147 if (lookup_by_obj(obj) == NULL) {
148 var->map_back = 1;
149 index = hash_obj(obj);
150 var->onext = ObjHash[index];
151 ObjHash[index] = var;
152 }
153
154 return var;
155 }
156
define_dynamic_var(char * name,lispobj updatefn (struct var *),boolean perm)157 struct var *define_dynamic_var(char *name, lispobj updatefn(struct var *),
158 boolean perm)
159 {
160 struct var *var = make_var(name, perm);
161
162 var->update_fn = updatefn;
163
164 return var;
165 }
166
var_name(struct var * var)167 char *var_name(struct var *var)
168 {
169 return var->name;
170 }
171
var_value(struct var * var)172 lispobj var_value(struct var *var)
173 {
174 if (var->update_fn != NULL)
175 var->obj = (*var->update_fn)(var);
176 return var->obj;
177 }
178
var_clock(struct var * var)179 sword_t var_clock(struct var *var)
180 {
181 return var->clock;
182 }
183
var_setclock(struct var * var,sword_t val)184 void var_setclock(struct var *var, sword_t val)
185 {
186 var->clock = val;
187 }
188