00:30:15 -!- Summermute [n=Summermu@c-68-55-123-182.hsd1.dc.comcast.net] has quit [Client Quit] 01:20:35 palter [n=palter@c-65-96-32-204.hsd1.ma.comcast.net] has joined #ccl 01:32:19 retroj [n=retroj@pdpc/supporter/active/retroj] has joined #ccl 02:07:58 -!- billstclair [n=billstcl@unaffiliated/billstclair] has quit [Remote closed the connection] 02:08:42 billstclair [n=billstcl@gw3.tacwap.org] has joined #ccl 02:16:13 sellout [n=greg@c-24-128-48-180.hsd1.ma.comcast.net] has joined #ccl 02:17:36 -!- retroj [n=retroj@pdpc/supporter/active/retroj] has quit [Nick collision from services.] 02:18:03 retroj [n=retroj@pdpc/supporter/active/retroj] has joined #ccl 03:20:06 -!- palter [palter@clozure-BB1CFD88.hsd1.ma.comcast.net] has quit [Connection reset by peer] 03:20:08 palter_ [n=palter@c-65-96-32-204.hsd1.ma.comcast.net] has joined #ccl 03:20:08 -!- palter [n=palter@c-65-96-32-204.hsd1.ma.comcast.net] has quit [Read error: 104 (Connection reset by peer)] 03:20:11 -!- palter_ is now known as palter 04:32:15 lpolzer__ [n=lpolzer@dslb-088-073-193-255.pools.arcor-ip.net] has joined #ccl 04:48:30 -!- lpolzer_ [n=lpolzer@dslb-088-073-255-005.pools.arcor-ip.net] has quit [Read error: 110 (Connection timed out)] 05:09:55 -!- palter [n=palter@c-65-96-32-204.hsd1.ma.comcast.net] has quit [] 06:50:05 -!- Adlai is now known as adlai_ 06:50:14 -!- adlai_ is now known as Adlai 06:55:02 -!- Adlai [n=Adlai@unaffiliated/adlai] has quit ["work"] 06:55:44 Adlai [n=adlai@unaffiliated/adlai] has joined #ccl 06:58:18 -!- Adlai [n=adlai@unaffiliated/adlai] has quit [Client Quit] 07:15:56 Adlai [n=adlai@unaffiliated/adlai] has joined #ccl 07:44:37 Adlai` [n=adlai@unaffiliated/adlai] has joined #ccl 07:45:21 -!- Adlai [n=adlai@unaffiliated/adlai] has quit [Nick collision from services.] 07:45:21 -!- Adlai` is now known as Adlai 07:59:07 -!- Adlai [n=adlai@unaffiliated/adlai] has quit ["driving away from the wlan point"] 08:08:32 Adlai [n=adlai@unaffiliated/adlai] has joined #ccl 08:14:31 -!- Adlai [n=adlai@unaffiliated/adlai] has quit ["leaving this wlan point too now"] 09:23:17 Adlai [n=adlai@unaffiliated/adlai] has joined #ccl 09:37:35 tfb [n=tfb@212.183.140.37] has joined #ccl 11:29:35 leo2007 [n=leo@cpc2-cmbg15-2-0-cust694.5-4.cable.virginmedia.com] has joined #ccl 11:58:37 -!- billstclair [wws@clozure-5627EB61.taconic.net] has quit [Input/output error] 12:17:11 -!- billstclair [n=billstcl@unaffiliated/billstclair] has quit [Read error: 110 (Connection timed out)] 12:18:05 -!- fmeyer [n=fmeyer@189.4.254.233] has quit ["Leaving..."] 12:19:45 silenius [n=jl@yian-ho03.nir.cronon.net] has joined #ccl 12:59:55 -!- leo2007 [n=leo@cpc2-cmbg15-2-0-cust694.5-4.cable.virginmedia.com] has quit ["rcirc on GNU Emacs 23.1.91.2"] 13:02:13 palter [n=palter@c-65-96-32-204.hsd1.ma.comcast.net] has joined #ccl 13:04:10 -!- Adlai [n=adlai@unaffiliated/adlai] has quit [Remote closed the connection] 13:04:44 Adlai [n=adlai@unaffiliated/adlai] has joined #ccl 13:57:37 billstclair [n=billstcl@gw3.tacwap.org] has joined #ccl 14:35:02 -!- retroj [n=retroj@pdpc/supporter/active/retroj] has quit [Read error: 110 (Connection timed out)] 14:54:22 palter_ [n=palter@c-65-96-32-204.hsd1.ma.comcast.net] has joined #ccl 15:01:01 -!- palter_ [n=palter@c-65-96-32-204.hsd1.ma.comcast.net] has quit [] 15:36:14 anRch [n=markmill@64.134.70.46] has joined #ccl 15:43:07 -!- sykopomp [n=sykopomp@unaffiliated/sykopomp] has quit [Read error: 60 (Operation timed out)] 15:46:34 -!- billstclair [n=billstcl@unaffiliated/billstclair] has quit [Remote closed the connection] 16:12:38 -!- Adlai [n=adlai@unaffiliated/adlai] has quit ["home"] 16:21:59 sykopomp [n=user@unaffiliated/sykopomp] has joined #ccl 16:23:11 palter_ [n=palter@c-65-96-32-204.hsd1.ma.comcast.net] has joined #ccl 16:27:40 -!- palter_ [palter@clozure-BB1CFD88.hsd1.ma.comcast.net] has quit [Quit: palter_] 16:27:40 -!- palter_ [n=palter@c-65-96-32-204.hsd1.ma.comcast.net] has quit [Client Quit] 16:27:56 retroj [n=retroj@pdpc/supporter/active/retroj] has joined #ccl 16:52:02 -!- anRch [n=markmill@64.134.70.46] has quit [] 16:52:40 milanj [n=milan@91.150.119.4] has joined #ccl 17:31:20 -!- Modius [n=Modius@cpe-70-123-130-159.austin.res.rr.com] has quit [Read error: 104 (Connection reset by peer)] 17:31:28 Modius [n=Modius@cpe-70-123-130-159.austin.res.rr.com] has joined #ccl 17:43:36 -!- silenius [n=jl@yian-ho03.nir.cronon.net] has quit [Remote closed the connection] 17:48:02 Adlai [n=Adlai@unaffiliated/adlai] has joined #ccl 17:59:10 rme [n=rme@pool-70-104-120-122.chi.dsl-w.verizon.net] has joined #ccl 18:26:44 gz [n=gz@209-6-40-245.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #ccl 18:27:42 -!- tfb [n=tfb@212.183.140.37] has quit [Read error: 110 (Connection timed out)] 18:36:02 milanj- [n=milan@77.46.225.120] has joined #ccl 18:39:53 rme, herep 18:39:58 t 18:40:17 short and probably stupid question about your post on closures in ccl... 18:41:15 I don't get this: 18:41:48 "To avoid talking about tagging, we just observe that memory-allocated objects are always dnode (two machine words) aligned. 18:41:48 Thus we just mask off the low 4 bits." 18:42:36 where does masking off the bits get us to, and how so? 18:43:14 What I was trying to show was how to get at the beginning of the lisp object in memory so that we could look at it with gdb. 18:43:23 -!- milanj [n=milan@91.150.119.4] has quit [Read error: 104 (Connection reset by peer)] 18:44:15 so what does the original address as given by the printer of #'2-to-the point to? 18:44:19 If we have a tagged pointer to a lisp object, the low 4 bits are the tag. 18:44:47 -!- retroj [n=retroj@pdpc/supporter/active/retroj] has left #ccl 18:44:48 In the case of #'2-to-the the tagged pointer is the actual address of the machine code. 18:44:48 ah, so those are not actually part of the address but a tag value 18:46:10 I'm not sure about the memory layout here. 18:46:12 The bits are part of the address, but they're redundant in that memory allocated objects are always 16-byte aligned. 18:46:52 the allocated blocks is aligned to 16 bytes 18:47:07 but the function pointer as given by #'2-to-the is not 18:47:18 yes, that's right. 18:48:13 so the machine code of the fun starts at block+F? 18:48:19 exactly. 18:48:43 what's in between block and block+F then? 18:48:58 the first word is the uvector header. 18:49:40 how is it guaranteed then that there is space for the header 18:49:43 the next 32-bit word is the "immediate word count". the next 3 bytes are unused. 18:51:19 let's assume that our allocated block is already aligned to a dnode 18:51:28 right, as it always will be. 18:51:45 let me think about this a moment. 18:53:28 if the offset of the code is F (or another value), how can those four bits also contain tag information? am I totally off here? 18:56:59 The tag for functions is #xf. Since we want to be able to jump to functions directly, we just arrange that the code starts there (at block + #xf). 18:57:28 ah, now it makes sense 18:57:43 thank you! 18:57:46 sure 19:15:15 phf [n=user@pool-96-227-154-60.phlapa.east.verizon.net] has joined #ccl 19:15:39 -!- phf [n=user@pool-96-227-154-60.phlapa.east.verizon.net] has left #ccl 19:56:56 leo2007 [n=leo@cpc2-cmbg15-2-0-cust694.5-4.cable.virginmedia.com] has joined #ccl 20:00:50 tfb [n=tfb@restormel.cley.com] has joined #ccl 21:40:53 -!- tfb [n=tfb@restormel.cley.com] has quit [Remote closed the connection] 23:53:27 -!- milanj- [n=milan@77.46.225.120] has quit [Client Quit]