[patch] Hash::Util::FieldHash v1.01
[p5sagit/p5-mst-13.2.git] / ext / Hash / Util / FieldHash / FieldHash.xs
CommitLineData
1e73acc8 1#include "EXTERN.h"
2#include "perl.h"
3#include "XSUB.h"
4
5/* support for Hash::Util::FieldHash, prefix HUF_ */
6
6ff38c27 7/* A Perl sub that returns a hashref to the object registry */
8#define HUF_OB_REG "Hash::Util::FieldHash::_ob_reg"
1e73acc8 9/* Magic cookies to recognize object id's. Hi, Eva, David */
10#define HUF_COOKIE 2805.1980
11#define HUF_REFADDR_COOKIE 1811.1976
d74d639b 12/* Identifier for PERL_MAGIC_ext magic */
13#define HUF_IDCACHE 0x4944
1e73acc8 14
1e73acc8 15/* For global cache of object registry */
16#define MY_CXT_KEY "Hash::Util::FieldHash::_guts" XS_VERSION
17typedef struct {
18 HV* ob_reg; /* Cache object registry */
19} my_cxt_t;
20START_MY_CXT
21
6ff38c27 22/* Inquire the object registry (a lexical hash) from perl */
23HV* HUF_get_ob_reg(void) {
24 dSP;
91dba0be 25 HV* ob_reg = NULL;
0dbc1c87 26 I32 items;
91dba0be 27 ENTER;
28 SAVETMPS;
29
30 PUSHMARK(SP);
0dbc1c87 31 items = call_pv(HUF_OB_REG, G_SCALAR|G_NOARGS);
6ff38c27 32 SPAGAIN;
91dba0be 33
45552c86 34 if (items == 1 && TOPs && SvROK(TOPs) && SvTYPE(SvRV(TOPs)) == SVt_PVHV)
91dba0be 35 ob_reg = (HV*)SvRV(POPs);
91dba0be 36 PUTBACK;
37 FREETMPS;
38 LEAVE;
39
45552c86 40 if (!ob_reg)
41 Perl_die(aTHX_ "Can't get object registry hash");
42 return ob_reg;
6ff38c27 43}
44
1e73acc8 45/* Deal with global context */
46#define HUF_INIT 1
47#define HUF_CLONE 0
48#define HUF_RESET -1
49
50void HUF_global(I32 how) {
51 if (how == HUF_INIT) {
52 MY_CXT_INIT;
6ff38c27 53 MY_CXT.ob_reg = HUF_get_ob_reg();
1e73acc8 54 } else if (how == HUF_CLONE) {
55 MY_CXT_CLONE;
6ff38c27 56 MY_CXT.ob_reg = HUF_get_ob_reg();
1e73acc8 57 } else if (how == HUF_RESET) {
58 dMY_CXT;
6ff38c27 59 MY_CXT.ob_reg = HUF_get_ob_reg();
1e73acc8 60 }
61}
62
d74d639b 63/* Object id */
1e73acc8 64
d74d639b 65/* definition of id transformation */
66#define HUF_OBJ_ID(x) newSVuv(PTR2UV(x))
1e73acc8 67
1e73acc8 68SV* HUF_obj_id(SV* obj) {
d74d639b 69 SV *item = SvRV(obj);
70 MAGIC *mg;
71 SV *id;
72
73 /* Get cached object ID, if it exists */
74 if (SvTYPE(item) >= SVt_PVMG) {
75 for ( mg = SvMAGIC(item); mg; mg = mg->mg_moremagic ) {
76 if ((mg->mg_type == PERL_MAGIC_ext) &&
77 (mg->mg_private == HUF_IDCACHE)
78 ) {
79 return mg->mg_obj;
80 }
81 }
82 }
83
84 /* Create an object ID, cache it */
85 id = HUF_OBJ_ID(item);
86 mg = sv_magicext(item, id, PERL_MAGIC_ext, NULL, NULL, 0);
87 mg->mg_private = HUF_IDCACHE;
88
89 /* Return the object ID */
90 return id;
1e73acc8 91}
92
93/* set up uvar magic for any sv */
94void HUF_add_uvar_magic(
6ff38c27 95 SV* sv, /* the sv to enchant, visible to get/set */
1e73acc8 96 I32(* val)(pTHX_ IV, SV*), /* "get" function */
97 I32(* set)(pTHX_ IV, SV*), /* "set" function */
98 I32 index, /* get/set will see this */
99 SV* thing /* any associated info */
100) {
1e73acc8 101 struct ufuncs uf;
102 uf.uf_val = val;
103 uf.uf_set = set;
104 uf.uf_index = index;
105 sv_magic(sv, thing, PERL_MAGIC_uvar, (char*)&uf, sizeof(uf));
106}
107
108/* Fetch the data container of a trigger */
109AV* HUF_get_trigger_content(SV* trigger) {
110 MAGIC* mg;
111 if (trigger && (mg = mg_find(trigger, PERL_MAGIC_uvar)))
112 return (AV*)mg->mg_obj;
113 return NULL;
114}
115
116/* Delete an object from all field hashes it may occur in. Also delete
c418a2d4 117 * the object's entry from the object registry. This function goes in
118 * the uf_set field of the uvar magic of a trigger.
1e73acc8 119 */
120I32 HUF_destroy_obj(pTHX_ IV index, SV* trigger) {
121 /* Do nothing if the weakref wasn't undef'd. Also don't bother
122 * during global destruction. (MY_CXT.ob_reg is sometimes funny there) */
123 if (!SvROK(trigger) && (!PL_in_clean_all)) {
124 dMY_CXT;
125 AV* cont = HUF_get_trigger_content(trigger);
126 SV* ob_id = *av_fetch(cont, 0, 0);
127 HV* field_tab = (HV*) *av_fetch(cont, 1, 0);
128 HE* ent;
129 hv_iterinit(field_tab);
130 while (ent = hv_iternext(field_tab)) {
131 SV* field_ref = HeVAL(ent);
132 SV* field = SvRV(field_ref);
133 hv_delete_ent((HV*)field, ob_id, G_DISCARD, 0);
134 }
135 /* make it safe in case we must run in global clenaup, after all */
136 if (PL_in_clean_all)
d74d639b 137 HUF_global(HUF_RESET); /* shoudn't be needed */
1e73acc8 138 hv_delete_ent(MY_CXT.ob_reg, ob_id, G_DISCARD, 0);
139 }
140 return 0;
141}
142
d74d639b 143/* Create a trigger for an object. The trigger is a magical SV
144 * that holds a weak ref to the object. The magic fires when the object
145 * expires and takes care of garbage collection in registred hashes.
146 * For that purpose, the magic structure holds the original id of
147 * the object, and a list (a hash, really) of hashes from which the
148 * object may * have to be deleted. The trigger is stored in the
149 * object registry and is also deleted when the object expires.
1e73acc8 150 */
151SV* HUF_new_trigger(SV* obj, SV* ob_id) {
152 dMY_CXT;
153 SV* trigger = sv_rvweaken(newRV_inc(SvRV(obj)));
154 AV* cont = newAV();
155 sv_2mortal((SV*)cont);
156 av_store(cont, 0, SvREFCNT_inc(ob_id));
157 av_store(cont, 1, (SV*)newHV());
158 HUF_add_uvar_magic(trigger, NULL, &HUF_destroy_obj, 0, (SV*)cont);
159 hv_store_ent(MY_CXT.ob_reg, ob_id, trigger, 0);
160 return trigger;
161}
162
163/* retrieve a trigger for obj if one exists, return NULL otherwise */
164SV* HUF_ask_trigger(SV* ob_id) {
165 dMY_CXT;
166 HE* ent;
167 if (ent = hv_fetch_ent(MY_CXT.ob_reg, ob_id, 0, 0))
168 return HeVAL(ent);
169 return NULL;
170}
171
172/* get the trigger for an object, creating it if necessary */
d74d639b 173SV* HUF_get_trigger0(SV* obj, SV* ob_id) {
1e73acc8 174 SV* trigger;
175 if (!(trigger = HUF_ask_trigger(ob_id)))
176 trigger = HUF_new_trigger(obj, ob_id);
177 return trigger;
178}
179
d74d639b 180SV* HUF_get_trigger(SV* obj, SV* ob_id) {
181 SV* trigger = HUF_ask_trigger(ob_id);
182 if (!trigger)
183 trigger = HUF_new_trigger(obj, ob_id);
184 return( trigger);
185}
186
187/* mark an object (trigger) as having been used with a field
188 (a clenup-liability)
189*/
1e73acc8 190void HUF_mark_field(SV* trigger, SV* field) {
191 AV* cont = HUF_get_trigger_content(trigger);
192 HV* field_tab = (HV*) *av_fetch(cont, 1, 0);
193 SV* field_ref = newRV_inc(field);
d74d639b 194 UV field_addr = PTR2UV(field);
195 hv_store(field_tab, (char *)&field_addr, sizeof(field_addr), field_ref, 0);
1e73acc8 196}
197
d74d639b 198/* Determine, from the value of action, whether this call may create a new
199 * hash key */
324a0d18 200#define HUF_WOULD_CREATE_KEY(x) ((x) != HV_DELETE && ((x) & (HV_FETCH_ISSTORE | HV_FETCH_LVALUE)))
a607227a 201
d74d639b 202/* The key exchange functions. They communicate with S_hv_magic_uvar_xkey
1e73acc8 203 * in hv.c */
d74d639b 204I32 HUF_watch_key_safe(pTHX_ IV action, SV* field) {
1e73acc8 205 MAGIC* mg = mg_find(field, PERL_MAGIC_uvar);
6ff38c27 206 SV* keysv;
d74d639b 207 if (mg && (keysv = mg->mg_obj)) {
208 if (SvROK(keysv)) { /* ref key */
45552c86 209 SV* ob_id = HUF_obj_id(keysv);
210 mg->mg_obj = ob_id; /* key replacement */
211 if (HUF_WOULD_CREATE_KEY(action)) {
212 SV* trigger = HUF_get_trigger(keysv, ob_id);
213 HUF_mark_field(trigger, field);
214 }
d74d639b 215 } else if (HUF_WOULD_CREATE_KEY(action)) { /* string key */
216 /* registered as object id? */
217 SV* trigger;
218 if ( trigger = HUF_ask_trigger(keysv))
219 HUF_mark_field( trigger, field);
a607227a 220 }
45552c86 221 } else {
d74d639b 222 Perl_die(aTHX_ "Rogue call of 'HUF_watch_key_safe'");
223 }
224 return 0;
225}
226
227I32 HUF_watch_key_id(pTHX_ IV action, SV* field) {
228 MAGIC* mg = mg_find(field, PERL_MAGIC_uvar);
229 SV* keysv;
230 if (mg && (keysv = mg->mg_obj)) {
231 if (SvROK(keysv)) /* ref key */
232 mg->mg_obj = HUF_obj_id(keysv); /* key replacement */
233 } else {
234 Perl_die(aTHX_ "Rogue call of 'HUF_watch_key_id'");
1e73acc8 235 }
236 return 0;
237}
238
239/* see if something is a field hash */
240int HUF_get_status(HV* hash) {
241 int ans = 0;
242 if (hash && (SvTYPE(hash) == SVt_PVHV)) {
1e73acc8 243 MAGIC* mg;
244 struct ufuncs* uf;
d74d639b 245 if ((mg = mg_find((SV*)hash, PERL_MAGIC_uvar)) &&
1e73acc8 246 (uf = (struct ufuncs *)mg->mg_ptr) &&
d74d639b 247 (uf->uf_set == NULL)
248 ) {
249 ans = HUF_func_2mode(uf->uf_val);
250 }
1e73acc8 251 }
252 return ans;
253}
254
d74d639b 255int HUF_func_2mode( I32(* val)(pTHX_ IV, SV*)) {
256 int ans = 0;
257 if (val == &HUF_watch_key_id)
258 ans = 1;
259 if (val == &HUF_watch_key_safe)
260 ans = 2;
261 return(ans);
262}
263
264I32(* HUF_mode_2func( int mode))(pTHX_ IV, SV*) {
265 I32(* ans)(pTHX_ IV, SV*) = NULL;
266 switch (mode) {
267 case 1:
268 ans = &HUF_watch_key_id;
269 break;
270 case 2:
271 ans = &HUF_watch_key_safe;
272 break;
273 }
274 return(ans);
275}
276
1e73acc8 277/* Thread support. These routines are called by CLONE (and nothing else) */
278
279/* Fix entries for one object in all field hashes */
280void HUF_fix_trigger(SV* trigger, SV* new_id) {
281 AV* cont = HUF_get_trigger_content(trigger);
282 HV* field_tab = (HV*) *av_fetch(cont, 1, 0);
283 HV* new_tab = newHV();
284 HE* ent;
285 SV* old_id = *av_fetch(cont, 0, 0);
286 hv_iterinit(field_tab);
287 while (ent = hv_iternext(field_tab)) {
288 SV* field_ref = HeVAL(ent);
1e73acc8 289 HV* field = (HV*)SvRV(field_ref);
d74d639b 290 UV field_addr = PTR2UV(field);
1e73acc8 291 SV* val;
292 /* recreate field tab entry */
d74d639b 293 hv_store(new_tab, (char *)&field_addr, sizeof(field_addr), SvREFCNT_inc(field_ref), 0);
1e73acc8 294 /* recreate field entry, if any */
295 if (val = hv_delete_ent(field, old_id, 0, 0))
296 hv_store_ent(field, new_id, SvREFCNT_inc(val), 0);
297 }
298 /* update the trigger */
299 av_store(cont, 0, SvREFCNT_inc(new_id));
300 av_store(cont, 1, (SV*)new_tab);
301}
302
303/* Go over object registry and fix all objects. Also fix the object
304 * registry.
305 */
ce809d1f 306void HUF_fix_objects(void) {
1e73acc8 307 dMY_CXT;
308 I32 i, len;
309 HE* ent;
310 AV* oblist = (AV*)sv_2mortal((SV*)newAV());
311 hv_iterinit(MY_CXT.ob_reg);
312 while(ent = hv_iternext(MY_CXT.ob_reg))
313 av_push(oblist, SvREFCNT_inc(hv_iterkeysv(ent)));
314 len = av_len(oblist);
315 for (i = 0; i <= len; ++i) {
316 SV* old_id = *av_fetch(oblist, i, 0);
317 SV* trigger = hv_delete_ent(MY_CXT.ob_reg, old_id, 0, 0);
d74d639b 318 SV* obj = SvRV(trigger);
319 MAGIC *mg;
320
321 SV* new_id = HUF_OBJ_ID(obj);
322
323 /* Replace cached object ID with this new one */
324 for (mg = SvMAGIC(obj); mg; mg = mg->mg_moremagic) {
325 if ((mg->mg_type == PERL_MAGIC_ext) &&
326 (mg->mg_private == HUF_IDCACHE)
327 ) {
328 mg->mg_obj = new_id;
329 }
330 }
331
1e73acc8 332 HUF_fix_trigger(trigger, new_id);
333 hv_store_ent(MY_CXT.ob_reg, new_id, SvREFCNT_inc(trigger), 0);
334 }
335}
336
337/* test support (not needed for functionality) */
338
339static SV* counter;
1748121c 340I32 HUF_inc_var(pTHX_ IV index, SV* which) {
1e73acc8 341 sv_setiv(counter, 1 + SvIV(counter));
342 return 0;
343}
344
345MODULE = Hash::Util::FieldHash PACKAGE = Hash::Util::FieldHash
346
347BOOT:
348{
349 HUF_global(HUF_INIT); /* create variables */
350}
351
352int
353_fieldhash(SV* href, int mode)
354PROTOTYPE: $$
355CODE:
356 HV* field;
357 RETVAL = 0;
358 if (mode &&
359 href && SvROK(href) &&
360 (field = (HV*)SvRV(href)) &&
361 SvTYPE(field) == SVt_PVHV
362 ) {
d74d639b 363
1e73acc8 364 HUF_add_uvar_magic(
365 SvRV(href),
d74d639b 366 HUF_mode_2func( mode),
1e73acc8 367 NULL,
368 0,
369 NULL
370 );
371 RETVAL = HUF_get_status(field);
372 }
373OUTPUT:
374 RETVAL
375
376void
d74d639b 377id(SV* ref)
378PPCODE:
379 if (SvROK(ref)) {
380 XPUSHs(HUF_obj_id(ref));
381 } else {
382 XPUSHs(ref);
383 }
384
385SV*
386id_2obj(SV* id)
387PROTOTYPE: $
388CODE:
389 SV* obj = HUF_ask_trigger(id);
390 if (obj) {
391 RETVAL = newRV_inc(SvRV(obj));
392 } else {
393 RETVAL = &PL_sv_undef;
394 }
395OUTPUT:
396 RETVAL
397
398SV*
399register(SV* obj, ...)
400PROTOTYPE: $@
401CODE:
402 SV* trigger;
403 int i;
404 RETVAL = NULL;
405 if (!SvROK(obj)) {
406 Perl_die(aTHX_ "Attempt to register a non-ref");
407 } else {
408 RETVAL = newRV_inc(SvRV(obj));
409 }
410 trigger = HUF_get_trigger(obj, HUF_obj_id(obj));
411 for (i = 1; i < items; ++ i) {
412 SV* field_ref = POPs;
413 if (SvROK(field_ref) && (SvTYPE(SvRV(field_ref)) == SVt_PVHV)) {
414 HUF_mark_field(trigger, SvRV(field_ref));
415 }
416 }
417OUTPUT:
418 RETVAL
419
420void
87d46f97 421CLONE(char* classname)
1e73acc8 422CODE:
87d46f97 423 if (0 == strcmp(classname, "Hash::Util::FieldHash")) {
1e73acc8 424 HUF_global(HUF_CLONE);
425 HUF_fix_objects();
426 }
427
c418a2d4 428void
1e73acc8 429_active_fields(SV* obj)
430PPCODE:
431 if (SvROK(obj)) {
432 SV* ob_id = HUF_obj_id(obj);
433 SV* trigger = HUF_ask_trigger(ob_id);
434 if (trigger) {
435 AV* cont = HUF_get_trigger_content(trigger);
436 HV* field_tab = (HV*) *av_fetch(cont, 1, 0);
437 HE* ent;
438 hv_iterinit(field_tab);
439 while (ent = hv_iternext(field_tab)) {
440 HV* field = (HV*)SvRV(HeVAL(ent));
441 if (hv_exists_ent(field, ob_id, 0))
442 XPUSHs(sv_2mortal(newRV_inc((SV*)field)));
443 }
444 }
445 }
446
447void
448_test_uvar_get(SV* svref, SV* countref)
449CODE:
450 if (SvROK(svref) && SvROK(countref)) {
451 counter = SvRV(countref);
452 sv_setiv(counter, 0);
453 HUF_add_uvar_magic(
454 SvRV(svref),
455 &HUF_inc_var,
456 NULL,
457 0,
458 SvRV(countref)
459 );
460 }
461
462void
463_test_uvar_set(SV* svref, SV* countref)
464CODE:
465 if (SvROK(svref) && SvROK(countref)) {
466 counter = SvRV(countref);
467 sv_setiv(counter, 0);
468 counter = SvRV(countref);
469 HUF_add_uvar_magic(
470 SvRV(svref),
471 NULL,
472 &HUF_inc_var,
473 0,
474 SvRV(countref)
475 );
476 }
477
478void
479_test_uvar_same(SV* svref, SV* countref)
480CODE:
481 if (SvROK(svref) && SvROK(countref)) {
482 counter = SvRV(countref);
483 sv_setiv(counter, 0);
484 HUF_add_uvar_magic(
485 SvRV(svref),
486 &HUF_inc_var,
487 &HUF_inc_var,
488 0,
489 NULL
490 );
491 }
492