00:20:33 tsuru`` [~charlie@adsl-74-179-25-191.bna.bellsouth.net] has joined #sbcl 00:21:42 -!- tsuru` [~charlie@adsl-74-179-25-191.bna.bellsouth.net] has quit [Ping timeout: 240 seconds] 00:25:32 -!- nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has quit [Ping timeout: 260 seconds] 00:26:21 -!- leuler [~user@p549047A1.dip.t-dialin.net] has quit [Quit: ERC Version 5.1.2 $Revision: 1.796.2.6 $ (IRC client for Emacs)] 00:27:09 nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 00:27:09 -!- ChanServ has set mode +o nikodemus 01:04:25 -!- Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [Ping timeout: 260 seconds] 01:11:09 -!- ASau` [~user@89-178-12-27.broadband.corbina.ru] has quit [Remote host closed the connection] 01:11:33 ASau` [~user@89-178-12-27.broadband.corbina.ru] has joined #sbcl 01:26:37 -!- nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has quit [Ping timeout: 240 seconds] 01:49:17 nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 01:49:17 -!- ChanServ has set mode +o nikodemus 02:10:30 -!- nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has quit [Ping timeout: 240 seconds] 02:54:12 Phoodus [~foo@ip72-223-32-241.ph.ph.cox.net] has joined #sbcl 02:56:22 -!- Phoodus [~foo@ip72-223-32-241.ph.ph.cox.net] has quit [Read error: Connection reset by peer] 03:57:07 -!- antifuchs [~foobar@care.boinkor.net] has quit [Ping timeout: 244 seconds] 03:58:44 antifuchs [~foobar@care.boinkor.net] has joined #sbcl 04:07:04 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 04:20:47 -!- nyef [~nyef@pool-70-109-144-138.cncdnh.east.myfairpoint.net] has quit [Quit: G'night all.] 04:44:57 Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 05:15:21 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 258 seconds] 05:20:29 -!- Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [Read error: Connection reset by peer] 05:20:47 Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 05:48:54 -!- Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [Read error: Connection reset by peer] 05:49:10 Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 06:55:58 -!- chp [~chp@dyn-carl-202-105.dyn.columbia.edu] has quit [Quit: Lost terminal] 06:58:44 sdemarre [~serge@91.176.28.91] has joined #sbcl 07:49:12 angavrilov [~angavrilo@217.71.227.181] has joined #sbcl 08:44:35 -!- Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [Read error: Connection reset by peer] 08:44:51 Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 08:52:26 nikodemus [~nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 08:52:26 -!- ChanServ has set mode +o nikodemus 09:01:47 -!- akovalenko [~akovalenk@95.73.216.28] has quit [Read error: Connection reset by peer] 09:08:40 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Read error: Operation timed out] 09:11:00 -!- Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [Read error: Connection reset by peer] 09:11:16 Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 09:12:54 akovalenko [~akovalenk@95.72.168.214] has joined #sbcl 09:36:08 -!- homie [~levgue@xdsl-84-44-177-79.netcologne.de] has quit [Read error: Operation timed out] 09:36:34 homie` [~levgue@xdsl-78-35-159-209.netcologne.de] has joined #sbcl 09:48:45 drl [~lat@110.139.229.172] has joined #sbcl 09:59:27 antoszka [~antoszka@unaffiliated/antoszka] has joined #sbcl 10:04:15 o/ 10:15:30 -!- Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [Read error: Connection reset by peer] 10:15:47 Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 10:40:41 *nikodemus* shudders at the amount of lispobj abuse in the runtime 10:41:52 it's supposed to be a lispobj, dammit, not a random pointer or word. and lispobj* is supposed to be a pointer to a lispobj, nothing else 10:47:25 -!- drl [~lat@110.139.229.172] has quit [Quit: Leaving] 10:49:07 -!- homie` [~levgue@xdsl-78-35-159-209.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 10:51:37 homie [~levgue@xdsl-78-35-159-209.netcologne.de] has joined #sbcl 11:20:30 attila_lendvai [~attila_le@87.247.62.173] has joined #sbcl 11:20:36 -!- attila_lendvai [~attila_le@87.247.62.173] has quit [Changing host] 11:20:36 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 11:54:55 -!- Kryztof [~user@81.174.155.115] has quit [Ping timeout: 248 seconds] 12:04:53 -!- Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [Read error: Connection reset by peer] 12:05:15 Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 12:10:47 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 252 seconds] 12:19:43 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 12:32:54 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 240 seconds] 12:38:14 borkman [~user@S0106001111de1fc8.cg.shawcable.net] has joined #sbcl 13:28:00 -!- peddie [~peddie@repl.esden.net] has quit [Quit: peace!] 13:28:45 LiamH [~healy@pool-108-18-166-81.washdc.east.verizon.net] has joined #sbcl 13:36:00 peddie [~peddie@repl.esden.net] has joined #sbcl 13:41:32 -!- peddie [~peddie@repl.esden.net] has quit [Ping timeout: 252 seconds] 13:47:30 peddie [~peddie@repl.esden.net] has joined #sbcl 13:56:31 -!- nikodemus [~nikodemus@cs181063174.pp.htv.fi] has quit [Ping timeout: 260 seconds] 14:02:39 nikodemus [~nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 14:02:39 -!- ChanServ has set mode +o nikodemus 14:04:51 Kryztof [~user@81.174.155.115] has joined #sbcl 14:04:51 -!- ChanServ has set mode +o Kryztof 14:30:32 borkman` [~user@S0106001111de1fc8.cg.shawcable.net] has joined #sbcl 14:32:20 -!- borkman [~user@S0106001111de1fc8.cg.shawcable.net] has quit [Ping timeout: 258 seconds] 14:43:06 borkman`` [~user@S0106001111de1fc8.cg.shawcable.net] has joined #sbcl 14:44:17 -!- borkman` [~user@S0106001111de1fc8.cg.shawcable.net] has quit [Ping timeout: 252 seconds] 14:45:58 leuler [~user@p54902ABA.dip.t-dialin.net] has joined #sbcl 14:46:26 -!- borkman`` is now known as borkman 14:48:01 feh. our ldb dumper is spectacularly silly on x86-64 14:48:59 -!- Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [Read error: Connection reset by peer] 14:49:16 Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 15:12:50 borkman` [~user@S0106001111de1fc8.cg.shawcable.net] has joined #sbcl 15:13:49 -!- borkman [~user@S0106001111de1fc8.cg.shawcable.net] has quit [Ping timeout: 240 seconds] 15:14:57 -!- borkman` [~user@S0106001111de1fc8.cg.shawcable.net] has quit [Client Quit] 15:16:33 -!- tsuru`` is now known as tsuru` 15:20:23 nyef [~nyef@pool-70-109-144-138.cncdnh.east.myfairpoint.net] has joined #sbcl 15:20:36 G'morning all. 15:55:14 Phooodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 15:56:55 -!- Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [Ping timeout: 260 seconds] 15:57:32 hi 15:58:25 Anything going on, or are we having a relatively quiet day? 15:59:32 i'm trying to get relocate.c to work having cleaned up all the longs there 15:59:42 Ahh. 16:00:25 Now that cold cores don't contained unboxed pointers to heap space, maybe it'll finally go in? 16:03:10 Oh, right, and the x86 code-object fixup information being properly stored in the cold cores as well. Forgot about that. 16:12:39 *nikodemus* swears at pointer arithmetic bugs 16:18:21 Hey, what would happen if we decided that x86oid FPUs should be kept in x87 mode under normal circumstances? 16:19:13 lots of code in the x86-64 backend would have to change, i guess 16:19:17 Basically only kick the FPU over to Lisp when doing FPU operations within a function, and kick it back over to C whenever we do a full call. 16:19:36 (We already have to spill our registers at that point anyway, so...) 16:21:30 #if (N_WORD_BITS == 43) 16:21:44 no wonder things were wonky 16:21:47 ... 43? Seriously? 16:22:32 my typo 16:23:16 edited relocatab initialization to match scavtab line-by-line for the most part to make it easier to check everything was there... and that happened 16:23:51 I'm really not a fan of those table initializers, FWIW. 16:24:47 if you have a better plan, i'm all ears 16:25:34 If I had a better plan, I'd have either committed it or asked for a patch review by now. 16:26:53 hash table not instance (45544e49 at 24bd70) 16:27:17 hey, now it survives relocation, just not in a working state... 16:30:52 -!- whoops [u549@gateway/web/irccloud.com/x-pcuyuxfhpkfegtig] has quit [Max SendQ exceeded] 16:30:58 whoops [u549@gateway/web/irccloud.com/x-xypfvgudpptoknuj] has joined #sbcl 16:32:05 -!- Phooodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [Read error: Connection reset by peer] 16:32:19 Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 16:34:32 pchrist_ [~spirit@gentoo/developer/pchrist] has joined #sbcl 16:35:31 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Read error: Operation timed out] 16:42:03 hahaa, finally :) 16:49:01 startup relocation works, core compaction doesn't. progress! 16:58:21 -!- homie [~levgue@xdsl-78-35-159-209.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 17:01:38 cool. what was it? 17:04:18 couple of pointer-arithmetic bugs from long-cleanup, the aforementioned bogus #if, and another strange mutation -- returning 2 where 3 was the number of words dealt with 17:18:37 nyef: what's our lowtag economy like on x86-64? 17:18:55 How do you mean? 17:19:06 if fixnums are shrunk by one bit, how many free tags appear? 17:19:22 Two tags appear. 17:19:34 oh, duh, of course 17:19:57 What do you have in mind? 17:20:25 just pondering silly ideas like immutable immediate base-string like objects 17:20:42 nothing /real/ 17:21:24 Chuck 'em in a read-only page, add a special semantic for attempting to write to it. 17:22:13 hey, 7 characters is enough to write "foobar", so it's got to be good for many things! 17:22:45 ... Okay, why not burn a widetag on it, then? 17:22:58 immediate = no consing 17:23:13 *nyef* points to CHARACTER-WIDETAG. 17:23:32 oh, right, doh 17:23:45 anyways, i'm off to find chinese 17:23:47 Of course, you don't get nearly the value space on 32-bit systems... 17:24:09 Have fun. 17:24:24 -!- nikodemus [~nikodemus@cs181063174.pp.htv.fi] has quit [Quit: This computer has gone to sleep] 17:27:51 nyef: If you have a few minutes, I would like to discuss disassembler changes for segment (and other) prefixes on x86[-64]. 17:28:18 Ah, right! 17:30:21 You might find http://repo.or.cz/w/sbcl/nyef.git/shortlog/refs/heads/x86oid-disassembler-fixes to be of interest in that direction. 17:31:08 Yes, I found that when you folks last discussed the issue here (a few weeks ago). 17:31:13 Ah, okay. 17:32:03 I seem to recall that one of the problems with it has to do with handling of 8-bit immediate data fields as signed, but I'm not absolutely certain about that. 17:32:36 zyg [d572af0d@gateway/web/freenode/ip.213.114.175.13] has joined #sbcl 17:32:38 Problems with what? 17:32:55 With that branch. 17:33:01 OK. 17:33:27 homie [~levgue@xdsl-78-35-159-209.netcologne.de] has joined #sbcl 17:33:52 Please bear with me. I have to type a few lines in one go to get to my point. 17:34:19 Okay. 17:36:25 Is this in reference to your proposal of September 3rd or so? 17:37:35 I sent a mail to sbcl-devel on 2011-09-03 with a patch to make the disassembler understand prefix instructions, so that the combinatorial explosion in instruction formats is kept in check. At that time I was not aware of your work, so the patch contains changes to display the segment prefixes, too. Your way is better (to print the segment prefixes as part of the memory address). 17:38:45 If the way I proposed to make the disassembler understand prefixes is OK, I would like to discuss how best to merge these two lines. 17:40:00 Right, let me actually take a look at your patch. It's been on my review queue for about a week now. 17:40:08 Fine. 17:49:20 -!- zyg [d572af0d@gateway/web/freenode/ip.213.114.175.13] has quit [Quit: Page closed] 17:57:14 -!- LiamH [~healy@pool-108-18-166-81.washdc.east.verizon.net] has quit [Quit: Leaving.] 17:58:59 nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 17:58:59 -!- ChanServ has set mode +o nikodemus 17:59:01 Actually, I think the only critical bit is with respect to the FS and GS segment prefixes, and for that just copy over the prefilter and the inst-prop-use stuff from my tree, and use the same convention as for the REX and x66 prefixes with respect to the prefix instruction name. 18:00:52 I'm not convinced about using DEFINE-INSTRUCTION with a BUG form in the emitter to define a disassembler-only instruction, especially given SB-DISASSEM:DEFINE-INSTRUCTION, but there's clearly precedent for it. 18:02:33 I see. 18:03:27 Concerning BUG, I just copied that from LOCK which already has it. If you have a better proposal? 18:04:37 Umm... I think it's appropriate for the "visible" prefixes, actually. Otherwise, I'd suggest either seeing what happens if you leave out the emitter clause or just using SB-DISASSEM:DEFINE-INSTRUCTION directly. 18:07:04 ... now, if we could just move the FS: and GS: segment prefixes to the EA structure, where they belong... 18:07:28 -!- homie [~levgue@xdsl-78-35-159-209.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 18:08:33 On the whole, however, the BUG thing is a minor nit, especially given the existing precedent. 18:09:20 nikodemus` [~nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 18:09:20 -!- nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has quit [Disconnected by services] 18:09:20 -!- ChanServ has set mode +o nikodemus` 18:09:42 OK, so I will redo the patch, including your parts for the segment prefixes and other suggestions above, and send a new version to the mailing list. 18:09:51 nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 18:09:51 -!- ChanServ has set mode +o nikodemus 18:10:55 -!- sdemarre [~serge@91.176.28.91] has quit [Ping timeout: 248 seconds] 18:11:05 Okay. 18:11:25 And maybe at some point I'll finally get around to cleaning up my x86oid disassembler tree for commit. 18:11:56 I will probably need a few days for that. Thanks for the review and suggestions so far. 18:12:28 No problem. 18:12:53 Thanks for tackling such a tricky area of the system... and doing a better job at it than I did. 18:13:31 homie [~levgue@xdsl-78-35-159-209.netcologne.de] has joined #sbcl 18:14:24 Thanks for the compliment! 18:17:54 nikodemu_ [~Nikodemus@GGZYYYMMCCXV.gprs.sl-laajakaista.fi] has joined #sbcl 18:18:11 -!- nikodemu_ [~Nikodemus@GGZYYYMMCCXV.gprs.sl-laajakaista.fi] has quit [Remote host closed the connection] 18:21:18 -!- nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has quit [Ping timeout: 240 seconds] 18:21:18 -!- nikodemus` [~nikodemus@cs181063174.pp.htv.fi] has quit [Ping timeout: 240 seconds] 18:26:16 nikodemus` [~nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 18:26:16 -!- ChanServ has set mode +o nikodemus` 18:28:05 morning 18:29:04 Hello slyrus. 18:29:43 hey nyef, I think I owe you a response re CMUCL and CLX but can't remember what I'm supposed to say... 18:30:19 Either that you've merged any critical changes from the CMUCL copy, or that you haven't, but will look into it. 18:30:45 haven't looked at the CMUCL copy at all 18:30:57 I guess the third option is that you don't care about CMUCL, and they're on their own. d-: 18:32:05 no, patches are gladly accepted. rtoym perhaps? 18:32:39 Yeah, he and I had a brief exchange about it on #lisp last night, as I recall. 19:04:00 pchrist [~spirit@gentoo/developer/pchrist] has joined #sbcl 19:06:44 -!- pchrist_ [~spirit@gentoo/developer/pchrist] has quit [Ping timeout: 245 seconds] 19:27:12 -!- nikodemus` [~nikodemus@cs181063174.pp.htv.fi] has quit [Quit: This computer has gone to sleep] 20:01:15 -!- angavrilov [~angavrilo@217.71.227.181] has quit [Ping timeout: 276 seconds] 20:02:06 nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 20:02:06 -!- ChanServ has set mode +o nikodemus 20:20:37 -!- nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has quit [Ping timeout: 240 seconds] 20:25:01 nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 20:25:01 -!- ChanServ has set mode +o nikodemus 20:36:41 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 20:37:14 pchrist [~spirit@gentoo/developer/pchrist] has joined #sbcl 20:45:54 -!- nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has quit [Ping timeout: 245 seconds] 20:53:34 nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 20:53:34 -!- ChanServ has set mode +o nikodemus 21:29:38 -!- Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [Read error: Connection reset by peer] 21:29:55 Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 21:48:29 LiamH [~healy@pool-108-18-166-81.washdc.east.verizon.net] has joined #sbcl 21:52:37 -!- nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has quit [Ping timeout: 240 seconds] 21:57:44 nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 21:57:44 -!- ChanServ has set mode +o nikodemus 22:01:47 -!- Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [Read error: Connection reset by peer] 22:02:03 Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has joined #sbcl 22:04:03 -!- Phoodus [~foo@ip72-223-116-248.ph.ph.cox.net] has quit [Read error: Connection reset by peer] 22:05:38 homie` [~levgue@xdsl-84-44-154-15.netcologne.de] has joined #sbcl 22:08:05 -!- homie [~levgue@xdsl-78-35-159-209.netcologne.de] has quit [Ping timeout: 252 seconds] 22:09:43 -!- homie` [~levgue@xdsl-84-44-154-15.netcologne.de] has quit [Client Quit] 22:12:38 homie [~levgue@xdsl-84-44-154-15.netcologne.de] has joined #sbcl 22:17:48 -!- nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has quit [Remote host closed the connection] 22:20:58 nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 22:20:58 -!- ChanServ has set mode +o nikodemus 23:09:39 -!- nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has quit [Ping timeout: 245 seconds] 23:23:07 nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 23:23:07 -!- ChanServ has set mode +o nikodemus 23:36:14 -!- nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has quit [Ping timeout: 252 seconds] 23:36:40 -!- leuler [~user@p54902ABA.dip.t-dialin.net] has quit [Quit: ERC Version 5.1.2 $Revision: 1.796.2.6 $ (IRC client for Emacs)] 23:37:15 nikodemus [~Nikodemus@cs181063174.pp.htv.fi] has joined #sbcl 23:37:15 -!- ChanServ has set mode +o nikodemus