00:11:48 -!- rpg [~rpg@216.243.156.16.real-time.com] has quit [Remote host closed the connection] 01:49:27 _someday [~LeD|oC@173-20-115-61.client.mchsi.com] has joined #sbcl 01:49:27 -!- _someday [~LeD|oC@173-20-115-61.client.mchsi.com] has left #sbcl 02:42:48 what's your opinion on folding Waldek Hebisch's SBCL/GMP work in the mainline, as an optional build option? 02:43:06 GMP is LGPL so we're still good licence-wise. 02:44:54 I'd still be uncomfortable about any GPL-family licenses, TBH. 02:45:24 mm.. good point raised in GHC's wiki: the allocation routines are global, so that's not cool with other libraries that depend on GMP. 02:46:59 also, someone really should point out that the coroutine code snippet on planet lisp is wrong... 02:52:33 Okay, I'm about to commit the fixes I have for the d-x closure bugs. Probably in about four minutes. 02:52:46 Last chance for anyone to scream "no, don't do that!" 03:02:09 And done. 03:15:38 -!- antgreen` [~user@CPE00222d6c4710-CM00222d6c470d.cpe.net.cable.rogers.com] has quit [Read error: Connection reset by peer] 03:15:59 antgreen` [~user@CPE00222d6c4710-CM00222d6c470d.cpe.net.cable.rogers.com] has joined #sbcl 04:41:25 homie [~user@xdsl-87-79-141-122.netcologne.de] has joined #sbcl 05:00:00 -!- nyef [~nyef@pool-71-161-73-208.cncdnh.east.myfairpoint.net] has quit [Quit: G'night all.] 05:07:53 -!- antgreen` [~user@CPE00222d6c4710-CM00222d6c470d.cpe.net.cable.rogers.com] has quit [Ping timeout: 255 seconds] 06:15:47 stassats [~stassats@wikipedia/stassats] has joined #sbcl 07:10:00 cmm [~cmm@109.64.201.45] has joined #sbcl 09:04:16 thanks, nyef 10:43:32 lhz [~shrekz@c-dba672d5.021-158-73746f34.cust.bredbandsbolaget.se] has joined #sbcl 11:24:37 -!- cmm [~cmm@109.64.201.45] has quit [Ping timeout: 240 seconds] 11:25:43 cmm [~cmm@109.64.201.45] has joined #sbcl 12:45:50 -!- tcr [~tcr@cpc1-bour5-2-0-cust921.15-1.cable.virginmedia.com] has quit [Quit: Leaving.] 12:51:54 hermitek [~hermitek@ip-89-102-35-139.net.upcbroadband.cz] has joined #sbcl 13:18:14 rmarynch [~roman@88.135.194.233] has joined #sbcl 13:22:01 hargettp [~anonymous@pool-71-174-141-119.bstnma.east.verizon.net] has joined #sbcl 13:23:38 Could somebody please review my patch for https://bugs.launchpad.net/sbcl/+bug/309443 ? I am not sure whether new MIX function is "fast enough" or not 13:28:56 -!- cmm [~cmm@109.64.201.45] has quit [Remote host closed the connection] 13:29:17 cmm [~cmm@109.64.201.45] has joined #sbcl 13:53:10 b4283 [~b4283@118-171-212-32.dynamic.hinet.net] has joined #sbcl 13:53:14 hello 13:53:34 -!- hargettp [~anonymous@pool-71-174-141-119.bstnma.east.verizon.net] has quit [Quit: hargettp] 13:58:09 nyef [~nyef@pool-71-161-73-208.cncdnh.east.myfairpoint.net] has joined #sbcl 13:58:19 G'morning all. 13:58:45 -!- cmm [~cmm@109.64.201.45] has quit [Ping timeout: 272 seconds] 13:59:17 cmm [~cmm@109.64.201.45] has joined #sbcl 13:59:17 Hi nyef 13:59:53 Anything going on? 14:00:19 No new critical bugs like that one about tail-calls from d-x closures, are there? 14:00:42 tcr [~tcr@cpc1-bour5-2-0-cust921.15-1.cable.virginmedia.com] has joined #sbcl 14:04:39 Is there a solution for unable to start sbcl when ulimit is set (or any other program that uses it) ? 14:05:01 sbcl --dynamic-space-size less-than-ulimit 14:05:16 stassats: I already do that, but what about maxima ? 14:05:34 make maxima do that to sbcl 14:05:59 how is out of scope of this channel 14:06:12 Wasn't there something not so long ago about stashing runtime arguments in the core file? 14:06:30 Alternately, have you considered the (admittedly radical) solution of unsetting ulimit? 14:06:58 I came from unsetting ulimit 14:07:21 the current limit is 4G but sbcl is still stuck at it 14:08:38 64-bit system, then? 14:08:43 yes 14:09:00 I heard there's no such problem under 32 14:09:07 Hah! 14:09:31 you can also build sbcl with a different default space using --dynamic-space-size option for make.sh 14:09:33 Admittedly, a 4G limit under a 32-bit system is larger than the user address space in the first place. 14:11:03 Set the ulimit to the special value "unlimited", perhaps? 14:16:43 -!- homie [~user@xdsl-87-79-141-122.netcologne.de] has quit [Read error: Operation timed out] 14:17:09 homie` [~user@xdsl-87-79-54-198.netcologne.de] has joined #sbcl 14:19:00 -!- homie` [~user@xdsl-87-79-54-198.netcologne.de] has quit [Client Quit] 14:26:13 -!- rmarynch [~roman@88.135.194.233] has quit [Quit: Leaving] 14:32:30 homie [~user@xdsl-87-79-54-198.netcologne.de] has joined #sbcl 15:27:56 -!- cmm [~cmm@109.64.201.45] has quit [Ping timeout: 240 seconds] 15:29:09 cmm [~cmm@bzq-109-64-201-45.red.bezeqint.net] has joined #sbcl 15:55:04 -!- b4283 [~b4283@118-171-212-32.dynamic.hinet.net] has quit [Quit: WeeChat 0.3.3] 15:55:57 -!- cmm [~cmm@bzq-109-64-201-45.red.bezeqint.net] has quit [Ping timeout: 240 seconds] 15:57:04 cmm [~cmm@109.64.201.45] has joined #sbcl 16:37:55 -!- cmm [~cmm@109.64.201.45] has quit [Ping timeout: 240 seconds] 16:39:08 cmm [~cmm@109.64.201.45] has joined #sbcl 16:51:21 -!- pr [phil@unaffiliated/pr] has left #sbcl 17:02:29 jeti [~user@p548EB2A9.dip.t-dialin.net] has joined #sbcl 17:40:44 nyef_ [~nyef@pool-71-161-73-208.cncdnh.east.myfairpoint.net] has joined #sbcl 17:46:06 -!- nyef [~nyef@pool-71-161-73-208.cncdnh.east.myfairpoint.net] has quit [Ping timeout: 245 seconds] 17:46:06 -!- gor[e] [U2FsdGVkX1@79.165.187.105] has quit [Ping timeout: 245 seconds] 17:46:42 gor[e] [U2FsdGVkX1@79.165.187.105] has joined #sbcl 18:14:13 gnooth [~peter@adsl-67-119-12-215.dsl.snfc21.pacbell.net] has joined #sbcl 18:20:25 -!- gnooth [~peter@adsl-67-119-12-215.dsl.snfc21.pacbell.net] has quit [Quit: Leaving] 18:27:03 -!- tcr [~tcr@cpc1-bour5-2-0-cust921.15-1.cable.virginmedia.com] has quit [Quit: Leaving.] 18:37:26 -!- fe[nl]ix [~lacedaemo@pdpc/supporter/professional/fenlix] has quit [*.net *.split] 18:37:27 -!- jsnell [~jsnell@ash.snellman.net] has quit [*.net *.split] 18:37:27 -!- cmm [~cmm@109.64.201.45] has quit [*.net *.split] 18:37:28 -!- deepfire [~deepfire@80.92.100.69] has quit [*.net *.split] 18:37:28 -!- lhz [~shrekz@c-dba672d5.021-158-73746f34.cust.bredbandsbolaget.se] has quit [*.net *.split] 18:37:29 -!- kae_ [~dsa@ext02.gsp.se] has quit [*.net *.split] 18:37:29 -!- gor[e] [U2FsdGVkX1@79.165.187.105] has quit [*.net *.split] 18:37:30 -!- homie [~user@xdsl-87-79-54-198.netcologne.de] has quit [*.net *.split] 18:37:30 -!- ASau [~user@95-28-62-161.broadband.corbina.ru] has quit [*.net *.split] 18:37:33 -!- angavrilov [~angavrilo@217.71.227.181] has quit [*.net *.split] 18:37:33 -!- redline6561 [~redline@c-66-56-55-169.hsd1.ga.comcast.net] has quit [*.net *.split] 18:37:34 -!- specbot [~specbot@common-lisp.net] has quit [*.net *.split] 18:37:35 -!- lisppaste2 [~lisppaste@common-lisp.net] has quit [*.net *.split] 18:37:35 -!- ruediger [ruediger@pseudoterminal.org] has quit [*.net *.split] 18:37:35 -!- luis [~luis@nhop.r42.eu] has quit [*.net *.split] 18:37:37 -!- cow-orker [~mw@c541745C1.dhcp.bluecom.no] has quit [*.net *.split] 18:37:37 -!- chandler [~n@opendarwin/developer/chandler] has quit [*.net *.split] 18:37:38 -!- minion [~minion@common-lisp.net] has quit [*.net *.split] 18:37:40 -!- pkhuong_ [~pkhuong@gravelga.xen.prgmr.com] has quit [*.net *.split] 18:37:40 -!- rhct [~root@fedora/rhct] has quit [*.net *.split] 18:37:40 -!- tokenrove [~julian@miranda.org] has quit [*.net *.split] 18:37:40 -!- nyef_ [~nyef@pool-71-161-73-208.cncdnh.east.myfairpoint.net] has quit [*.net *.split] 18:37:41 -!- mega1 [~quassel@catv4E5CABA2.pool.t-online.hu] has quit [*.net *.split] 18:37:42 -!- lnostdal [~Lars@218.80-202-49.nextgentel.com] has quit [*.net *.split] 18:37:42 -!- jeti [~user@p548EB2A9.dip.t-dialin.net] has quit [*.net *.split] 18:37:43 -!- peddie [~peddie@XVM-107.MIT.EDU] has quit [*.net *.split] 18:37:43 -!- Xof_ [~crhodes@dunstaple.doc.gold.ac.uk] has quit [*.net *.split] 18:37:44 -!- joshe [~joshe@opal.elsasser.org] has quit [*.net *.split] 18:37:44 -!- vsync [~vsync@24.173.173.82] has quit [*.net *.split] 18:37:44 -!- Krystof [~csr21@csrhodes.plus.com] has quit [*.net *.split] 18:37:44 -!- slyrus_ [~chatzilla@adsl-75-36-218-150.dsl.pltn13.sbcglobal.net] has quit [*.net *.split] 18:37:45 -!- derrida [~derrida@unaffiliated/deleuze] has quit [*.net *.split] 18:37:45 -!- stassats [~stassats@wikipedia/stassats] has quit [*.net *.split] 18:37:45 -!- |3b|` [foobar@cpe-72-179-19-4.austin.res.rr.com] has quit [*.net *.split] 18:37:45 -!- foom [~jknight@ita4fw1.itasoftware.com] has quit [*.net *.split] 18:40:45 nyef_ [~nyef@pool-71-161-73-208.cncdnh.east.myfairpoint.net] has joined #sbcl 18:40:45 homie [~user@xdsl-87-79-54-198.netcologne.de] has joined #sbcl 18:40:45 ASau` [~user@95-28-62-161.broadband.corbina.ru] has joined #sbcl 18:40:45 pkhuong [~pkhuong@gravelga.xen.prgmr.com] has joined #sbcl 18:40:45 cmm [~cmm@109.64.201.45] has joined #sbcl 18:40:45 gor[e] [U2FsdGVkX1@79.165.187.105] has joined #sbcl 18:40:45 jeti [~user@p548EB2A9.dip.t-dialin.net] has joined #sbcl 18:40:45 lhz [~shrekz@c-dba672d5.021-158-73746f34.cust.bredbandsbolaget.se] has joined #sbcl 18:40:46 stassats [~stassats@wikipedia/stassats] has joined #sbcl 18:40:46 vsync [~vsync@24.173.173.82] has joined #sbcl 18:40:46 Krystof [~csr21@csrhodes.plus.com] has joined #sbcl 18:40:46 slyrus_ [~chatzilla@adsl-75-36-218-150.dsl.pltn13.sbcglobal.net] has joined #sbcl 18:40:46 minion [~minion@common-lisp.net] has joined #sbcl 18:40:46 specbot [~specbot@common-lisp.net] has joined #sbcl 18:40:46 jsnell [~jsnell@ash.snellman.net] has joined #sbcl 18:40:46 fe[nl]ix [~lacedaemo@pdpc/supporter/professional/fenlix] has joined #sbcl 18:40:46 |3b|` [foobar@cpe-72-179-19-4.austin.res.rr.com] has joined #sbcl 18:40:46 deepfire [~deepfire@80.92.100.69] has joined #sbcl 18:40:46 angavrilov [~angavrilo@217.71.227.181] has joined #sbcl 18:40:46 redline6561 [~redline@c-66-56-55-169.hsd1.ga.comcast.net] has joined #sbcl 18:40:46 lisppaste2 [~lisppaste@common-lisp.net] has joined #sbcl 18:40:46 peddie [~peddie@XVM-107.MIT.EDU] has joined #sbcl 18:40:46 ruediger [ruediger@pseudoterminal.org] has joined #sbcl 18:40:46 mega1 [~quassel@catv4E5CABA2.pool.t-online.hu] has joined #sbcl 18:40:46 kae_ [~dsa@ext02.gsp.se] has joined #sbcl 18:40:46 Xof_ [~crhodes@dunstaple.doc.gold.ac.uk] has joined #sbcl 18:40:46 luis [~luis@nhop.r42.eu] has joined #sbcl 18:40:46 cow-orker [~mw@c541745C1.dhcp.bluecom.no] has joined #sbcl 18:40:46 foom [~jknight@ita4fw1.itasoftware.com] has joined #sbcl 18:40:46 chandler [~n@opendarwin/developer/chandler] has joined #sbcl 18:40:46 rhct [~root@fedora/rhct] has joined #sbcl 18:40:46 derrida [~derrida@unaffiliated/deleuze] has joined #sbcl 18:40:46 joshe [~joshe@opal.elsasser.org] has joined #sbcl 18:40:46 -!- lindbohm.freenode.net has set mode +o Krystof 18:41:20 -!- vsync [~vsync@24.173.173.82] has quit [Ping timeout: 240 seconds] 18:41:26 lnostdal [~Lars@218.80-202-49.nextgentel.com] has joined #sbcl 18:41:27 vsync_ [~vsync@24.173.173.82] has joined #sbcl 18:43:03 tokenrove [~julian@miranda.org] has joined #sbcl 18:43:29 -!- Krystof [~csr21@csrhodes.plus.com] has quit [Ping timeout: 240 seconds] 18:44:09 -!- pkhuong is now known as Guest93649 18:44:12 Krystof_ [~csr21@csrhodes.plus.com] has joined #sbcl 18:44:12 -!- ChanServ has set mode +o Krystof_ 18:50:24 -!- mega1 [~quassel@catv4E5CABA2.pool.t-online.hu] has quit [Ping timeout: 245 seconds] 18:50:26 mega1 [~quassel@catv4E5CABA2.pool.t-online.hu] has joined #sbcl 18:53:19 tcr1 [~tcr@cpc1-bour5-2-0-cust921.15-1.cable.virginmedia.com] has joined #sbcl 19:33:09 ASau`` [~user@95-28-62-161.broadband.corbina.ru] has joined #sbcl 19:36:08 -!- mega1 [~quassel@catv4E5CABA2.pool.t-online.hu] has quit [Ping timeout: 245 seconds] 19:36:09 deepfire_ [~deepfire@80.92.100.69] has joined #sbcl 19:36:09 -!- deepfire [~deepfire@80.92.100.69] has quit [Ping timeout: 240 seconds] 19:36:10 ruediger_ [ruediger@pseudoterminal.org] has joined #sbcl 19:36:10 luis` [~luis@nhop.r42.eu] has joined #sbcl 19:36:10 -!- ASau` [~user@95-28-62-161.broadband.corbina.ru] has quit [Read error: Connection reset by peer] 19:36:10 -!- rhct [~root@fedora/rhct] has quit [Ping timeout: 264 seconds] 19:36:13 rhct [~root@fedora/rhct] has joined #sbcl 19:36:40 pkhuong_ [~pkhuong@gravelga.xen.prgmr.com] has joined #sbcl 19:37:20 -!- specbot [~specbot@common-lisp.net] has quit [Ping timeout: 342 seconds] 19:37:20 -!- luis [~luis@nhop.r42.eu] has quit [Ping timeout: 342 seconds] 19:37:20 -!- ruediger [ruediger@pseudoterminal.org] has quit [Write error: Connection reset by peer] 19:37:23 -!- minion [~minion@common-lisp.net] has quit [Ping timeout: 240 seconds] 19:37:24 -!- Guest93649 [~pkhuong@gravelga.xen.prgmr.com] has quit [Ping timeout: 240 seconds] 19:38:48 -!- ruediger_ is now known as ruediger 20:11:14 ouch. mprotect is even more expensive in SMP 20:21:22 Dare I ask? 20:31:50 I mmap a chunk of address page as read only and use a segv handler to write protect it 20:32:45 it's run in two batches, first to page everything in with reads, then writes 20:33:22 with concurrent reads (one per other processors), the write phase is 3x as slow 20:34:04 Yeah, I bet. 20:34:13 never mind concurrent mprotects. 20:34:27 When you read, the maps can be lazily updated across CPUs, surely? 20:35:11 nope. 20:35:23 full tlb flush on each other processor 20:35:45 seems single page tlb flushs are only available on the current processor? 20:40:14 Actually, why would the maps need to be entirely in sync in the first place, or does the cache coherency depend on the TLB entries being marked write-enabled on both sides? 20:55:08 -!- cmm [~cmm@109.64.201.45] has quit [Ping timeout: 265 seconds] 20:55:37 cmm [~cmm@109.64.201.45] has joined #sbcl 21:07:33 nyef_: dunno, but that's what linux does. 21:07:45 we could ask around, but I'm afraid I'd tell myself that I'm just doing it wrong ;) 21:08:17 mm.. actually, doesn't x86 work with a linear search in a linked list? 21:08:26 a bad cache for that list would be really bad. 21:08:49 never min 21:08:50 d 21:14:43 13k cycles for a single threaded mprotect too. 21:45:35 plus all the tlb misses *in all other threads* 21:56:12 Heh. Begins to sound like another solution might be in order? 21:57:23 right. 22:02:28 -!- nyef_ [~nyef@pool-71-161-73-208.cncdnh.east.myfairpoint.net] has quit [Quit: G'night all.] 22:19:22 -!- stassats [~stassats@wikipedia/stassats] has quit [Remote host closed the connection] 22:24:01 another solution for the sbcl gencgc write barrier? or was this some other use of mprotect? 22:27:34 akkartik [~akkartik@akkartik.name] has joined #sbcl 22:28:06 is there a way to suppress a specific redefinition warning in sbcl? 22:28:48 nm, found it: http://www.sbcl.org/manual/Controlling-Verbosity.html :/ 22:28:51 -!- akkartik [~akkartik@akkartik.name] has left #sbcl 22:39:26 -!- lhz [~shrekz@c-dba672d5.021-158-73746f34.cust.bredbandsbolaget.se] has quit [Quit: Leaving] 22:39:45 -!- |3b|` [foobar@cpe-72-179-19-4.austin.res.rr.com] has quit [Quit: b] 22:40:11 |3b|` [foobar@cpe-72-179-19-4.austin.res.rr.com] has joined #sbcl 23:05:56 -!- gor[e] [U2FsdGVkX1@79.165.187.105] has quit [Ping timeout: 260 seconds] 23:33:13 -!- tcr1 [~tcr@cpc1-bour5-2-0-cust921.15-1.cable.virginmedia.com] has quit [Quit: Leaving.]