03:09:48 -!- alms_ [~alms_@146-115-42-237.c3-0.bkl-ubr1.sbo-bkl.ma.cable.rcn.com] has quit [Quit: alms_] 03:09:55 alms_ [~alms_@146-115-42-237.c3-0.bkl-ubr1.sbo-bkl.ma.cable.rcn.com] has joined #ccl 05:17:33 |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has joined #ccl 05:22:27 -!- rme [~rme@pool-70-106-130-236.chi01.dsl-w.verizon.net] has quit [Ping timeout: 246 seconds] 05:52:49 mdc [~mdc@flash.etherboot.org] has joined #ccl 05:52:56 -!- mdc_ [~mdc@flash.etherboot.org] has quit [Ping timeout: 246 seconds] 05:52:57 -!- clop [~jared@moat3.centtech.com] has quit [Ping timeout: 246 seconds] 05:56:04 -!- Guest10409 [~gb@c-68-35-35-22.hsd1.nm.comcast.net] has quit [Read error: Connection reset by peer] 05:56:29 Guest10409 [~gb@c-68-35-35-22.hsd1.nm.comcast.net] has joined #ccl 06:01:55 -!- Guest10409 [~gb@c-68-35-35-22.hsd1.nm.comcast.net] has quit [Quit: Leaving] 06:02:20 gbyers [~gb@c-68-35-35-22.hsd1.nm.comcast.net] has joined #ccl 06:05:09 clop [~jared@moat3.centtech.com] has joined #ccl 06:13:12 -!- andreer_ is now known as andreer 06:38:54 leo2007 [~leo@111.194.93.79] has joined #ccl 07:11:43 jdz [~jdz@193.206.22.97] has joined #ccl 07:53:00 -!- leo2007 [~leo@111.194.93.79] has quit [Ping timeout: 246 seconds] 08:15:45 -!- orivej [~orivej@host-113-146-66-217.spbmts.ru] has quit [Ping timeout: 246 seconds] 08:18:02 orivej [~orivej@host-94-146-66-217.spbmts.ru] has joined #ccl 08:37:54 -!- gbyers [~gb@c-68-35-35-22.hsd1.nm.comcast.net] has quit [*.net *.split] 08:37:57 -!- |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has quit [*.net *.split] 08:38:01 -!- billstclair [~billstcla@unaffiliated/billstclair] has quit [*.net *.split] 08:38:02 -!- colazero [~colazero@www5054u.sakura.ne.jp] has quit [*.net *.split] 08:38:03 -!- Modius [~Modius@cpe-70-123-140-183.austin.res.rr.com] has quit [*.net *.split] 08:38:05 -!- andreer [andreer@flode.pvv.ntnu.no] has quit [*.net *.split] 08:38:06 -!- jdz [~jdz@193.206.22.97] has quit [*.net *.split] 08:38:06 -!- clop [~jared@moat3.centtech.com] has quit [*.net *.split] 08:38:07 -!- Adlai [~Adlai@unaffiliated/adlai] has quit [*.net *.split] 08:38:11 -!- danlentz [~danlentz@c-68-46-98-23.hsd1.nj.comcast.net] has quit [*.net *.split] 08:38:12 -!- deepfire__ [~deepfire@80.92.100.69] has quit [*.net *.split] 08:38:12 -!- bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has quit [*.net *.split] 08:38:13 -!- bfulgham [~brent@wsip-72-215-191-226.sb.sd.cox.net] has quit [*.net *.split] 08:38:16 -!- alms_ [~alms_@146-115-42-237.c3-0.bkl-ubr1.sbo-bkl.ma.cable.rcn.com] has quit [*.net *.split] 08:38:17 -!- ChanServ [ChanServ@services.] has quit [*.net *.split] 08:38:20 -!- orivej [~orivej@host-94-146-66-217.spbmts.ru] has quit [*.net *.split] 08:38:21 -!- mdc [~mdc@flash.etherboot.org] has quit [*.net *.split] 08:45:14 orivej [~orivej@host-94-146-66-217.spbmts.ru] has joined #ccl 08:45:14 jdz [~jdz@193.206.22.97] has joined #ccl 08:45:14 clop [~jared@moat3.centtech.com] has joined #ccl 08:45:14 gbyers [~gb@c-68-35-35-22.hsd1.nm.comcast.net] has joined #ccl 08:45:14 mdc [~mdc@flash.etherboot.org] has joined #ccl 08:45:14 |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has joined #ccl 08:45:14 alms_ [~alms_@146-115-42-237.c3-0.bkl-ubr1.sbo-bkl.ma.cable.rcn.com] has joined #ccl 08:45:14 bfulgham [~brent@wsip-72-215-191-226.sb.sd.cox.net] has joined #ccl 08:45:14 Adlai [~Adlai@unaffiliated/adlai] has joined #ccl 08:45:14 billstclair [~billstcla@unaffiliated/billstclair] has joined #ccl 08:45:14 danlentz [~danlentz@c-68-46-98-23.hsd1.nj.comcast.net] has joined #ccl 08:45:14 andreer [andreer@flode.pvv.ntnu.no] has joined #ccl 08:45:14 deepfire__ [~deepfire@80.92.100.69] has joined #ccl 08:45:14 colazero [~colazero@www5054u.sakura.ne.jp] has joined #ccl 08:45:14 bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has joined #ccl 08:45:14 Modius [~Modius@cpe-70-123-140-183.austin.res.rr.com] has joined #ccl 08:45:14 ChanServ [ChanServ@services.] has joined #ccl 08:45:14 -!- lindbohm.freenode.net has set mode +o ChanServ 10:15:07 hargettp [~hargettp@pool-71-174-135-190.bstnma.east.verizon.net] has joined #ccl 12:01:31 -!- sellout [~Adium@c-24-61-13-161.hsd1.ma.comcast.net] has quit [Quit: Leaving.] 12:11:22 -!- hargettp [~hargettp@pool-71-174-135-190.bstnma.east.verizon.net] has quit [Quit: Leaving...] 12:15:16 -!- orivej [~orivej@host-94-146-66-217.spbmts.ru] has quit [Ping timeout: 276 seconds] 12:20:13 sellout [~Adium@64.134.103.216] has joined #ccl 12:36:44 superjudge [~mjl@c83-250-110-188.bredband.comhem.se] has joined #ccl 12:42:51 it seems like it's hard to imagine it working any other way, but is there some guarantee that a post-gc hook will run "before" the gc finishes and returns control to whatever code was being interrupted? i.e., is it plausible to use a post-gc hook to restore an invariant between a weak hash table and another structure? 12:46:53 A post-gc hook can't run while the GC's running; it should generally run "soon" after, but I don't think that there's any guarantee that the hook will run before the next GC. (In other words, I don't think that I understand the question.) 12:51:37 -!- superjudge [~mjl@c83-250-110-188.bredband.comhem.se] has quit [Ping timeout: 252 seconds] 13:05:47 gbyers, thanks, i think that tells me that the answer is no 13:05:55 to try to make the question more clear 13:06:18 imagine you have, say, a weak hash table and an array 13:06:35 and the array is supposed to always agree with the hash table in some way 13:07:28 for the sake of argument, say the table binds elements to conses of the form (number . _) 13:07:36 and that you want the array to always have a property like 13:07:58 arr[number] = 1 exactly when an ht[key] = (number . _) for some key 13:08:20 then since a gc could "kill" some elements of the hash table 13:08:29 you'd need to be sure to update the array after any gc 13:08:47 but it sounds like there'd be a small window of time during which the relation wouldn't hold 13:20:43 -!- billstclair [~billstcla@unaffiliated/billstclair] has quit [Ping timeout: 248 seconds] 13:24:20 tfb [~tfb@94.197.105.10.threembb.co.uk] has joined #ccl 13:51:33 rme_ [~rme@pool-70-104-125-229.chi.dsl-w.verizon.net] has joined #ccl 14:11:29 -!- deepfire__ [~deepfire@80.92.100.69] has quit [Ping timeout: 240 seconds] 14:12:06 orivej [~orivej@rk4015.ws.pu.ru] has joined #ccl 14:18:53 -!- sellout [~Adium@64.134.103.216] has quit [Quit: Leaving.] 14:31:34 clop: the time window could be up to about 1/3 second. 14:32:58 sellout [~Adium@c-24-61-13-161.hsd1.ma.comcast.net] has joined #ccl 14:34:13 rgr, it seems unsafe to ignore 14:35:15 -!- orivej [~orivej@rk4015.ws.pu.ru] has quit [Ping timeout: 240 seconds] 14:37:28 billstclair [~billstcla@unaffiliated/billstclair] has joined #ccl 15:58:29 milanj [~milanj_@212.200.217.107] has joined #ccl 15:58:54 udzinari [~user@ip-89-102-12-6.net.upcbroadband.cz] has joined #ccl 16:05:47 -!- tfb [~tfb@94.197.105.10.threembb.co.uk] has quit [Ping timeout: 250 seconds] 16:09:28 deepfire__ [~deepfire@80.92.100.69] has joined #ccl 16:10:33 gst [~gst@w-albuq-9-12.7cities.net] has joined #ccl 16:11:08 -!- jdz [~jdz@193.206.22.97] has quit [Ping timeout: 250 seconds] 16:11:57 Adlai` [~adlai@109-186-115-92.bb.netvision.net.il] has joined #ccl 16:13:28 -!- Adlai [~Adlai@unaffiliated/adlai] has quit [Ping timeout: 250 seconds] 16:14:35 -!- Modius [~Modius@cpe-70-123-140-183.austin.res.rr.com] has quit [Ping timeout: 248 seconds] 16:15:22 -!- clop [~jared@moat3.centtech.com] has quit [Ping timeout: 250 seconds] 16:16:32 tfb [~tfb@94.197.105.10.threembb.co.uk] has joined #ccl 16:16:52 clop [~jared@moat3.centtech.com] has joined #ccl 16:20:54 -!- tfb [~tfb@94.197.105.10.threembb.co.uk] has quit [Client Quit] 16:27:47 anRch [~markmilli@ip-64-7-14-173.bos.megapath.net] has joined #ccl 16:33:11 -!- udzinari [~user@ip-89-102-12-6.net.upcbroadband.cz] has quit [Ping timeout: 250 seconds] 16:33:19 -!- billstclair [~billstcla@unaffiliated/billstclair] has quit [Ping timeout: 276 seconds] 16:34:20 -!- Adlai` [~adlai@109-186-115-92.bb.netvision.net.il] has quit [Changing host] 16:34:21 Adlai` [~adlai@unaffiliated/adlai] has joined #ccl 16:34:28 -!- Adlai` is now known as Adlai 16:40:32 -!- gst [~gst@w-albuq-9-12.7cities.net] has quit [Quit: Colloquy for iPad - http://colloquy.mobi] 16:43:01 gst [~gst@w-albuq-9-12.7cities.net] has joined #ccl 17:26:01 -!- sellout [~Adium@c-24-61-13-161.hsd1.ma.comcast.net] has quit [Ping timeout: 246 seconds] 17:31:14 sellout [~Adium@gw3.tacwap.org] has joined #ccl 17:35:50 billstclair [~billstcla@unaffiliated/billstclair] has joined #ccl 17:36:26 superjudge [~mjl@c83-250-110-188.bredband.comhem.se] has joined #ccl 17:46:18 -!- anRch [~markmilli@ip-64-7-14-173.bos.megapath.net] has quit [Quit: anRch] 18:24:11 -!- bfulgham [~brent@wsip-72-215-191-226.sb.sd.cox.net] has quit [Ping timeout: 252 seconds] 18:27:02 -!- sellout [~Adium@gw3.tacwap.org] has quit [Remote host closed the connection] 18:27:16 sellout [~Adium@gw3.tacwap.org] has joined #ccl 18:29:23 bfulgham [~brent@wsip-72-215-191-226.sb.sd.cox.net] has joined #ccl 18:44:20 jdz [~jdz@host133-24-dynamic.0-87-r.retail.telecomitalia.it] has joined #ccl 19:15:20 udzinari [~user@ip-89-102-12-6.net.upcbroadband.cz] has joined #ccl 19:23:23 -!- superjudge [~mjl@c83-250-110-188.bredband.comhem.se] has quit [Read error: Operation timed out] 19:43:44 -!- Adlai [~adlai@unaffiliated/adlai] has quit [Ping timeout: 264 seconds] 20:12:51 hargettp [~hargettp@pool-71-174-135-190.bstnma.east.verizon.net] has joined #ccl 20:19:04 anRch [~markmilli@64.134.102.174] has joined #ccl 20:24:29 -!- rme_ [~rme@pool-70-104-125-229.chi.dsl-w.verizon.net] has quit [Quit: rme_] 20:35:35 -!- hargettp [~hargettp@pool-71-174-135-190.bstnma.east.verizon.net] has quit [Quit: Leaving...] 20:56:48 orivej [~orivej@host-92-146-66-217.spbmts.ru] has joined #ccl 20:58:03 rme_ [~rme@pool-70-104-125-229.chi.dsl-w.verizon.net] has joined #ccl 21:12:16 -!- milanj [~milanj_@212.200.217.107] has quit [Quit: Leaving] 21:13:37 -!- gst [~gst@w-albuq-9-12.7cities.net] has quit [Quit: Colloquy for iPad - http://colloquy.mobi] 21:30:01 gst [~gst@w-albuq-9-12.7cities.net] has joined #ccl 21:32:19 -!- anRch [~markmilli@64.134.102.174] has quit [Quit: anRch] 21:55:43 -!- billstclair [~billstcla@unaffiliated/billstclair] has quit [Ping timeout: 276 seconds] 22:28:01 -!- jdz [~jdz@host133-24-dynamic.0-87-r.retail.telecomitalia.it] has quit [Ping timeout: 252 seconds] 22:35:14 billstclair [~billstcla@unaffiliated/billstclair] has joined #ccl 23:23:22 -!- billstclair [~billstcla@unaffiliated/billstclair] has quit [Ping timeout: 246 seconds]