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