00:14:08 Bike [~Glossina@gannon-wless-gw.resnet.wsu.edu] has joined #sbcl 00:26:08 -!- oleo [~oleo@xdsl-78-35-131-23.netcologne.de] has quit [Ping timeout: 240 seconds] 00:26:50 oleo [~oleo@xdsl-78-35-128-92.netcologne.de] has joined #sbcl 01:49:19 -!- kwmiebach [~kwmiebach@xdsl-195-14-206-157.netcologne.de] has quit [Quit: Leaving] 02:10:21 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 02:16:32 -!- kludge` [~comet@unaffiliated/espiral] has quit [Ping timeout: 248 seconds] 02:22:18 kludge` [~comet@unaffiliated/espiral] has joined #sbcl 02:38:24 -!- christoph_debian [~christoph@ppp-46-244-212-165.dynamic.mnet-online.de] has quit [Ping timeout: 248 seconds] 02:38:39 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 02:44:16 -!- Bike [~Glossina@gannon-wless-gw.resnet.wsu.edu] has quit [*.net *.split] 02:44:17 -!- jdz [~jdz@85.254.212.34] has quit [*.net *.split] 02:44:33 Bike [~Glossina@gannon-wless-gw.resnet.wsu.edu] has joined #sbcl 02:44:42 jdz [~jdz@85.254.212.34] has joined #sbcl 03:21:42 ubii [~ubii@unaffiliated/ubii] has joined #sbcl 03:31:16 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 03:31:52 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 03:34:22 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [*.net *.split] 03:34:22 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [*.net *.split] 03:34:22 -!- oleo [~oleo@xdsl-78-35-128-92.netcologne.de] has quit [*.net *.split] 03:34:23 -!- ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has quit [*.net *.split] 03:34:23 -!- daimrod [daimrod@sbrk.org] has quit [*.net *.split] 03:34:36 ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has joined #sbcl 03:34:53 oleo [~oleo@xdsl-78-35-128-92.netcologne.de] has joined #sbcl 03:34:59 attila_lendvai [~attila_le@92.47.206.220] has joined #sbcl 03:35:20 -!- attila_lendvai [~attila_le@92.47.206.220] has quit [Changing host] 03:35:20 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 04:12:09 edgar-rft [~GOD@HSI-KBW-109-193-013-113.hsi7.kabel-badenwuerttemberg.de] has joined #sbcl 04:42:42 drmeiste_ [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 04:47:23 -!- drmeiste_ [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Ping timeout: 248 seconds] 04:55:52 ASau` [~user@p5797F0B7.dip0.t-ipconnect.de] has joined #sbcl 04:59:17 -!- ASau [~user@p5797F856.dip0.t-ipconnect.de] has quit [Ping timeout: 248 seconds] 05:04:59 -!- Vivitron [~Vivitron@c-50-172-44-193.hsd1.il.comcast.net] has quit [Ping timeout: 248 seconds] 05:12:43 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 05:20:46 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Remote host closed the connection] 05:21:26 angavrilov_ [~angavrilo@217.71.227.190] has joined #sbcl 05:27:23 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Quit: Leaving] 05:30:20 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 05:30:28 Munksgaard [~philip@80-71-132-106.u.parknet.dk] has joined #sbcl 05:51:29 -!- angavrilov_ [~angavrilo@217.71.227.190] has quit [Remote host closed the connection] 05:51:52 angavrilov_ [~angavrilo@217.71.227.190] has joined #sbcl 06:16:33 yacks [~py@103.6.159.103] has joined #sbcl 06:53:12 stassats [~stassats@wikipedia/stassats] has joined #sbcl 07:20:15 drmeiste_ [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 07:20:23 -!- drmeiste_ [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 07:21:00 drmeiste_ [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 07:25:25 -!- drmeiste_ [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Ping timeout: 248 seconds] 07:36:44 -!- danlentz [~danlentz@c-68-37-70-235.hsd1.nj.comcast.net] has quit [Remote host closed the connection] 07:37:04 -!- Munksgaard [~philip@80-71-132-106.u.parknet.dk] has quit [Ping timeout: 264 seconds] 07:37:35 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 07:42:10 -!- Fare [fare@nat/google/x-ovwwthxfphshcndn] has quit [Quit: Leaving] 07:42:31 -!- ASau` is now known as ASau 07:55:37 christoph_debian [~christoph@ppp-46-244-165-251.dynamic.mnet-online.de] has joined #sbcl 08:08:27 Munksgaard [~philip@shop3.diku.dk] has joined #sbcl 08:41:52 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 264 seconds] 08:44:11 echo-area [~user@nat/yahoo/x-uouirhpscfeyspoq] has joined #sbcl 08:59:54 -!- otwieracz [~gonet9@v6.gen2.org] has left #sbcl 09:02:06 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 09:11:34 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Quit: Ping timeout: ] 09:16:07 ams [ams@Psilocybe.Update.UU.SE] has joined #sbcl 09:17:29 -!- ams [ams@Psilocybe.Update.UU.SE] has quit [Changing host] 09:17:29 ams [ams@gnu/inetutils/ams] has joined #sbcl 09:22:03 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 09:26:49 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Ping timeout: 272 seconds] 09:33:57 -!- kludge` [~comet@unaffiliated/espiral] has quit [Ping timeout: 248 seconds] 09:37:39 kludge` [~comet@unaffiliated/espiral] has joined #sbcl 10:05:17 -!- ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has quit [Ping timeout: 265 seconds] 10:19:39 -!- Munksgaard [~philip@shop3.diku.dk] has quit [Ping timeout: 272 seconds] 10:42:29 segv- [~mb@95-91-243-220-dynip.superkabel.de] has joined #sbcl 10:43:52 stassats [~stassats@wikipedia/stassats] has joined #sbcl 10:59:31 kwmiebach [~kwmiebach@xdsl-87-78-52-163.netcologne.de] has joined #sbcl 11:08:14 pranavrc [~pranavrc@122.164.108.246] has joined #sbcl 11:08:25 -!- pranavrc [~pranavrc@122.164.108.246] has quit [Changing host] 11:08:26 pranavrc [~pranavrc@unaffiliated/pranavrc] has joined #sbcl 11:11:17 Munksgaard [~philip@shop3.diku.dk] has joined #sbcl 11:15:13 -!- stassats [~stassats@wikipedia/stassats] has quit [Remote host closed the connection] 11:15:36 stassats [~stassats@wikipedia/stassats] has joined #sbcl 11:23:13 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 11:27:16 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Ping timeout: 245 seconds] 11:30:13 -!- scymtym [~user@ip-5-147-115-29.unitymediagroup.de] has quit [Ping timeout: 248 seconds] 11:35:43 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Read error: Operation timed out] 11:44:57 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 11:53:36 scymtym [~user@2001:638:504:2093:baca:3aff:fe83:e736] has joined #sbcl 11:59:01 -!- Posterdati [~kvirc@host192-225-dynamic.10-87-r.retail.telecomitalia.it] has quit [Quit: KVIrc 4.1.3 Equilibrium http://www.kvirc.net/] 12:00:19 Posterdati [~kvirc@host192-225-dynamic.10-87-r.retail.telecomitalia.it] has joined #sbcl 12:00:36 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 12:05:30 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Ping timeout: 252 seconds] 12:05:47 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 12:21:46 -!- segv- [~mb@95-91-243-220-dynip.superkabel.de] has quit [Remote host closed the connection] 12:23:52 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 12:27:39 segv- [~mb@95-91-243-220-dynip.superkabel.de] has joined #sbcl 12:29:46 -!- oleo [~oleo@xdsl-78-35-128-92.netcologne.de] has quit [Ping timeout: 245 seconds] 12:32:16 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 12:32:54 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 12:33:25 oleo [~oleo@xdsl-78-35-170-198.netcologne.de] has joined #sbcl 12:37:15 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Ping timeout: 248 seconds] 12:38:21 -!- yacks [~py@103.6.159.103] has quit [Ping timeout: 272 seconds] 12:38:24 -!- pranavrc [~pranavrc@unaffiliated/pranavrc] has quit [Quit: Ping timeout: ] 13:06:51 -!- ASau [~user@p5797F0B7.dip0.t-ipconnect.de] has quit [Ping timeout: 272 seconds] 13:15:51 two weeks or so ago i mentioned "gc invariant lost" errors on x86 but we were unable to diagnose the problem; i just upgraded to 1.1.12 in our build environment and the error is back: https://ci.cor-lab.org/job/rsb-cl-trunk/label=ubuntu_precise_32bit/811/console 13:16:31 it is my impression that the problem has something to do with writing or loading fasls since i only observed it while compiling or loading 13:18:11 unfortunately, i still did not manage to create a reduced test case or bisect the bad commit (if any) 13:18:13 either something weird happens when we allocate some block of memory as a nursery page 13:18:33 or it was uncovered by nyef's changes to some of that logic 13:19:19 as before, this only happens on x86, not x86_64 13:21:47 379e3d3ee80c6b9dd9c59f8f76baa6d47c8c5b71 would be a likely "good" revision 13:23:53 pkhuong: thanks, i will try make the error appear reliably by flushing the right fasl cache directories and then check whether going back to that revision makes it disappear 13:28:16 drmeiste_ [~drmeister@farnsworth.chem.temple.edu] has joined #sbcl 13:31:18 -!- jdz [~jdz@85.254.212.34] has quit [Quit: Byebye.] 13:33:38 danlentz [~danlentz@c-68-37-70-235.hsd1.nj.comcast.net] has joined #sbcl 13:46:33 scymtym: i can't load cl-hooks, is that intended? 13:47:43 or is quicklisp just have a very old version? 13:58:55 -!- echo-area [~user@nat/yahoo/x-uouirhpscfeyspoq] has quit [Remote host closed the connection] 14:00:21 stassats: yes, the quicklisp version is a bit old, sorry 14:00:27 that was just my haphazard way of using quicklisp 14:02:38 but i still can't convince sbcl to crash 14:03:21 stassats: some weeks ago, i tried to track the error down on my laptop without success 14:03:52 but now it seems to happen reliably on the build server 14:08:35 yacks [~py@103.6.159.103] has joined #sbcl 14:16:28 stassats: it does not always happen when compiling/loading cl-hooks (see https://ci.cor-lab.org/job/rsb-cl-trunk/814/label=ubuntu_precise_32bit/console) 14:20:35 ok, it sadly does not happen deterministically (or even reliably), but two builds on two x86 slaves seem to be sufficient to very likely trigger it 14:20:53 will try the likely good commit next 14:21:21 gah, stupid AMOP 14:21:25 what is a "type specifier name"? 14:25:19 a symbol that's deftyped? 14:26:31 I think I'm going to go with "an editing error" 14:28:10 amop specifies that the :type initarg to slotds should be a "type specifier name" 14:33:27 I think pkhuong's right 14:34:54 fe[nl]ix: but that wouldn't make any sense 14:35:50 why not ? 14:36:54 I meant that pkhuong's interpretation seems reasonable, not that it would be a good design choice from the author 14:39:59 fe[nl]ix: because deftype also defines type specifiers, not names 14:40:16 clhs 4.2.3 14:40:16 Type Specifiers: http://www.lispworks.com/reference/HyperSpec/Body/04_bc.htm 14:40:53 it lists "type specifier names" 14:41:12 clhs deftype 14:41:12 http://www.lispworks.com/reference/HyperSpec/Body/m_deftp.htm 14:41:14 amop tries to imply that it should be a valid type specifier 14:47:13 rpg [~rpg@23-25-144-217-static.hfc.comcastbusiness.net] has joined #sbcl 14:53:05 attila_lendvai [~attila_le@95.56.69.101] has joined #sbcl 14:53:05 -!- attila_lendvai [~attila_le@95.56.69.101] has quit [Changing host] 14:53:05 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 14:55:09 *stassats* sees that out of line %ldb can avoid dealing with bignums if the integer-length doesn't exceed the asked size 14:56:04 assuming that (ldb (byte 64/32 x) y) is common, and Y being full 64/32-bit of length is not common 14:58:07 *scymtym* is now trying 379e3d3ee80c6b9dd9c59f8f76baa6d47c8c5b71 14:58:08 and the slow down seems to be far smaller than the speed up 14:59:43 and in fact, it seems to be called a lot with size 63 15:05:24 pkhuong: any candidate bad commits i could build while verifying that 379e is good? 15:09:39 09c78105eabc6bf2b339f421d4ed1df4678003db and 8c2a7241975ae5defff823601379c805acf262b6 15:13:59 pkhuong: thanks, will do 15:14:53 (ldb (byte 32 0) z) actually conses more than (ldb (byte x y) z) with unknown x y, later passed as 32 and 0 15:16:37 scymtym: my hypothesis is that something unexpected broke either when the pinning logic was moved later or when the "ends_contiguous_block" test was slightly changed during factoring. 15:16:41 (byte 32 0) conses more than (byte 64 0), while it shouldn't cons at all 15:20:20 pkhuong: i think, i didn't see problems with 1.1.8, but i will try the revisions anyway 15:22:05 -!- oleo [~oleo@xdsl-78-35-170-198.netcologne.de] has quit [Read error: Connection reset by peer] 15:22:28 -!- Munksgaard [~philip@shop3.diku.dk] has quit [Ping timeout: 240 seconds] 15:34:02 379e3d3 is very likely good, now trying 09c78105 15:45:49 09c78105 looks good so far; any other candidates? 15:49:44 oleo [~oleo@xdsl-78-35-170-198.netcologne.de] has joined #sbcl 15:54:24 I don't know. 15:54:52 i will just try 1.1.{10,11} then 16:04:39 Vivitron [~Vivitron@c-50-172-44-193.hsd1.il.comcast.net] has joined #sbcl 16:33:57 ASau [~user@p5797F0B7.dip0.t-ipconnect.de] has joined #sbcl 16:35:52 eca54df (~ 1.1.10) is seems good, now trying a2d2060 (= 1.1.11) 16:42:11 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 272 seconds] 16:42:52 prxq [~mommer@x2f64d2e.dyn.telefonica.de] has joined #sbcl 17:01:51 -!- prxq [~mommer@x2f64d2e.dyn.telefonica.de] has quit [Ping timeout: 245 seconds] 17:11:36 -!- ASau [~user@p5797F0B7.dip0.t-ipconnect.de] has quit [Ping timeout: 265 seconds] 17:18:10 ASau [~user@p5797F0B7.dip0.t-ipconnect.de] has joined #sbcl 17:26:39 a2d2060 (= 1.1.11) seems good, now trying 6242b9f8 (halfway between 1.1.11 and 1.1.12) 17:57:26 milosn_ [~milosn@user-5af5080d.broadband.tesco.net] has joined #sbcl 17:58:03 -!- milosn [~milosn@user-5af50bff.broadband.tesco.net] has quit [Ping timeout: 252 seconds] 18:06:24 prxq [~mommer@x2f64d2e.dyn.telefonica.de] has joined #sbcl 18:10:40 -!- edgar-rft [~GOD@HSI-KBW-109-193-013-113.hsi7.kabel-badenwuerttemberg.de] has quit [Quit: experience terminated because universe burns] 18:18:36 6242b9f seems good, d7cbe5c4 (almost 1.1.12) is bad 18:20:25 daimrod [daimrod@sbrk.org] has joined #sbcl 18:22:16 *scymtym* will now test 05e28b1 since the two following commits look like they could break fasl dumping/loading 18:28:12 I hope you don't hate doing this on a Friday evening :-/ 18:28:43 scymtym: but while you're here... one of the things that we could do with the googlesummermoney is have an SBCL14 meetup 18:28:55 and one thought I had was that it might be interesting to have it in Bielefeld 18:29:43 Krystof: that comes as a surprise for me 18:29:49 but a pleasant one :) 18:30:55 and about the bug: i would hate not doing something about it much more 18:32:41 you might shame me into spending some more time on a bug irritatingly tagged "easy" in launchpad :-) 18:32:56 oh, no, my work in progress is on my work machine. Shame... 18:35:16 Krystof: no worries. i fully recognize that most of you work on SBCL as volunteers 18:36:40 sure. Social pressure works pretty well. It's somewhat irritating to me that despite working as an academic in Computing the open source work that I've done is still viewed as a sideline and ancillary, though it's possible that one of my sbcl-related papers will be submitted to the "Research Excellence Framework" tickbox exercise this year 18:36:55 if it is, I will feel justified in doing more sbcl hacking at work 18:39:11 Krystof: maybe you are happy to hear then that SBCL is used in some pretty central software components of http://www.cit-ec.de/ 18:40:37 -!- ASau [~user@p5797F0B7.dip0.t-ipconnect.de] has quit [Ping timeout: 272 seconds] 18:42:41 I'd like to hear more :-) 18:43:43 SBCL102 is clearly the way forward 18:47:52 among other things, there is a CL implementation of https://code.cor-lab.org/projects/rsb which loads and compiles IDL files at runtime and is used in https://code.cor-lab.org/projects/rsbag (which is used for recording all kinds of experiments) 18:48:30 there is also a CL tool for generating jobs on Jenkins CI servers 18:49:20 and an IDL compiler with multiple front- and backends 18:51:04 but is there an sbcl-controlled killer robot ready to be loosed on an unsuspecting world? 18:52:17 no, those are programmed in C++, naturally 18:53:53 *phew* they'll never work, then 18:54:03 :) 18:54:51 but the iCub (http://en.wikipedia.org/wiki/ICub) /can/ be interfaced with via RSB and therefore CL 18:55:55 05e28b1 seems good so far 18:59:27 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 19:19:12 f423746 is bad 19:33:31 lufu [~user@5.254.129.59] has joined #sbcl 19:34:46 stassats [~stassats@wikipedia/stassats] has joined #sbcl 19:37:32 ASau [~user@p5797F0B7.dip0.t-ipconnect.de] has joined #sbcl 19:40:49 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 246 seconds] 19:52:02 -!- angavrilov_ [~angavrilo@217.71.227.190] has quit [Remote host closed the connection] 19:54:43 -!- kwmiebach [~kwmiebach@xdsl-87-78-52-163.netcologne.de] has quit [Ping timeout: 272 seconds] 19:55:15 kwmiebach [~kwmiebach@xdsl-87-78-136-36.netcologne.de] has joined #sbcl 20:01:03 milosn [~milosn@user-5af509ea.broadband.tesco.net] has joined #sbcl 20:01:46 so the culprit seems to be either 7dfa542 or 05e28b1 20:02:57 no, either f423746 or 7dfa542, sorry 20:03:35 *scymtym* switches the build server to 05e28b1 (immediately before these two) for now to verify that it really is good 20:03:50 -!- milosn_ [~milosn@user-5af5080d.broadband.tesco.net] has quit [Ping timeout: 264 seconds] 20:40:32 -!- lufu [~user@5.254.129.59] has quit [Remote host closed the connection] 20:58:08 Fare [~fare@cpe-69-203-115-132.nyc.res.rr.com] has joined #sbcl 21:01:08 scymtym_ [~user@ip-5-147-115-29.unitymediagroup.de] has joined #sbcl 21:09:26 -!- drmeiste_ [~drmeister@farnsworth.chem.temple.edu] has quit [Remote host closed the connection] 21:10:02 drmeister [~drmeister@farnsworth.chem.temple.edu] has joined #sbcl 21:14:43 -!- drmeister [~drmeister@farnsworth.chem.temple.edu] has quit [Ping timeout: 265 seconds] 21:39:08 in (define-fop (fop-spec-vector 43) ), could (* bytes n-word-bytes) be wrong? 21:40:12 from a quick investigation, i gathered that ALLOCATE-VECTOR expects a number of bits 21:40:58 that would also explain why nothing goes wrong on x86_64 where n-word-bytes happens to 8 21:49:46 scymtym: that sounds correct. 21:50:57 pkhuong: the current code or my reasoning? 21:51:31 drmeister [~drmeister@farnsworth.chem.temple.edu] has joined #sbcl 21:55:15 -!- drmeister [~drmeister@farnsworth.chem.temple.edu] has quit [Remote host closed the connection] 21:55:50 drmeister [~drmeister@farnsworth.chem.temple.edu] has joined #sbcl 21:59:52 -!- drmeister [~drmeister@farnsworth.chem.temple.edu] has quit [Ping timeout: 240 seconds] 22:05:43 -!- rpg [~rpg@23-25-144-217-static.hfc.comcastbusiness.net] has quit [Quit: rpg] 22:17:42 drmeister [~drmeister@166.137.87.121] has joined #sbcl 22:41:52 -!- drmeister [~drmeister@166.137.87.121] has quit [Read error: Connection reset by peer] 22:50:57 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 23:01:06 -!- prxq [~mommer@x2f64d2e.dyn.telefonica.de] has quit [Remote host closed the connection] 23:21:03 -!- ASau [~user@p5797F0B7.dip0.t-ipconnect.de] has quit [Remote host closed the connection] 23:26:24 ASau [~user@p5797F0B7.dip0.t-ipconnect.de] has joined #sbcl