00:02:14 -!- Fare [~fare@cpe-69-203-115-132.nyc.res.rr.com] has quit [Ping timeout: 240 seconds] 00:04:48 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 00:12:52 -!- Vivitron [~Vivitron@c-50-172-44-193.hsd1.il.comcast.net] has quit [Remote host closed the connection] 00:15:24 Fare [fare@nat/google/x-dgdbreqbvhyfurss] has joined #sbcl 00:48:05 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 01:07:11 Munksgaard [~philip@80-71-132-106.u.parknet.dk] has joined #sbcl 01:20:48 -!- Munksgaard [~philip@80-71-132-106.u.parknet.dk] has quit [Ping timeout: 252 seconds] 01:23:56 -!- scymtym_ [~user@ip-5-147-115-29.unitymediagroup.de] has quit [Ping timeout: 245 seconds] 01:24:14 -!- oleo [~oleo@xdsl-78-35-170-198.netcologne.de] has quit [Ping timeout: 240 seconds] 01:24:44 oleo [~oleo@xdsl-78-35-173-25.netcologne.de] has joined #sbcl 01:53:28 -!- luis [~luis@kerno.org] has quit [Ping timeout: 240 seconds] 01:53:52 luis [~luis@kerno.org] has joined #sbcl 01:54:28 echo-area [~user@nat/yahoo/x-aktsdraaibmjveeo] has joined #sbcl 01:56:59 -!- Bike [~Glossina@gannon-wless-gw.resnet.wsu.edu] has quit [Ping timeout: 265 seconds] 02:01:02 Bike [~Glossina@wl-nat99.it.wsu.edu] has joined #sbcl 02:09:17 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 02:09:51 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 02:12:32 drmeist__ [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 02:13:12 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Read error: Connection reset by peer] 02:39:25 -!- christoph_debian [~christoph@ppp-46-244-165-251.dynamic.mnet-online.de] has quit [Ping timeout: 272 seconds] 02:39:28 -!- segv- [~mb@95-91-243-220-dynip.superkabel.de] has quit [Ping timeout: 264 seconds] 02:58:19 -!- Bike [~Glossina@wl-nat99.it.wsu.edu] has quit [Ping timeout: 246 seconds] 03:05:38 ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has joined #sbcl 03:10:06 Bike [~Glossina@gannon-wless-gw.resnet.wsu.edu] has joined #sbcl 03:35:35 -!- kwmiebach [~kwmiebach@xdsl-87-78-136-36.netcologne.de] has quit [Quit: Leaving] 04:21:06 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 04:55:58 ASau` [~user@p4FF96624.dip0.t-ipconnect.de] has joined #sbcl 04:59:26 -!- ASau [~user@p5797F0B7.dip0.t-ipconnect.de] has quit [Ping timeout: 240 seconds] 05:00:41 -!- jaimef [jaimef@dns.mauthesis.com] has quit [Excess Flood] 05:03:51 -!- yacks [~py@103.6.159.103] has quit [Quit: Leaving] 05:06:18 jaimef [jaimef@dns.mauthesis.com] has joined #sbcl 05:43:14 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 06:27:42 -!- Fare [fare@nat/google/x-dgdbreqbvhyfurss] has quit [Ping timeout: 252 seconds] 06:45:01 scymtym: to me it look like allocate-vector takes a *words* argument, not bits or bytes 06:45:18 (* bytes n-word-bytes) is still wrong 06:45:29 but I can't explain why the bug only shows up on x86 06:45:38 oh, hm 06:46:07 Krystof: we have some fun things like that in OD too. one level takes words, another level takes bytes. 06:46:45 edgar-rft [~GOD@HSI-KBW-109-193-013-113.hsi7.kabel-badenwuerttemberg.de] has joined #sbcl 06:47:03 yeah, I was just thinking "my kingdom for a statically-typed language" 06:56:22 Krystof: eh, then you just have a different sort of pain :) 06:56:52 Krystof: I'm pretty firmly in the camp of dynamic with optional static and having a sliding scale. 07:09:57 well yes, so am I really 07:10:21 but I can see the attraction of compile-time dimensional analysis 07:11:24 I'll be curious to see how well the Typed Racket / Typed Clojure model of extrinsic type checking as a lint-like pass works out in the long run. 07:20:19 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Read error: Connection reset by peer] 07:20:50 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 07:30:30 Munksgaard [~philip@80-71-132-106.u.parknet.dk] has joined #sbcl 07:31:05 stassats [~stassats@wikipedia/stassats] has joined #sbcl 08:22:03 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 272 seconds] 08:35:28 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 08:43:53 prxq [~mommer@x2f68ed6.dyn.telefonica.de] has joined #sbcl 09:34:04 -!- kludge` [~comet@unaffiliated/espiral] has quit [Ping timeout: 264 seconds] 09:39:12 kludge` [~comet@unaffiliated/espiral] has joined #sbcl 09:45:56 davazp [~user@92.251.197.226.threembb.ie] has joined #sbcl 10:01:28 -!- drmeist__ [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 10:02:05 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 10:06:26 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Ping timeout: 245 seconds] 10:14:56 SamSkulls [~user@S0106001111de1fc8.cg.shawcable.net] has joined #sbcl 10:23:24 christoph_debian [~christoph@ppp-46-244-221-160.dynamic.mnet-online.de] has joined #sbcl 10:32:36 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 10:35:25 -!- ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has quit [Ping timeout: 272 seconds] 10:42:39 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Ping timeout: 272 seconds] 10:53:25 -!- davazp [~user@92.251.197.226.threembb.ie] has quit [Ping timeout: 272 seconds] 10:59:28 -!- echo-area [~user@nat/yahoo/x-aktsdraaibmjveeo] has quit [Remote host closed the connection] 11:01:04 -!- danlentz [~danlentz@c-68-37-70-235.hsd1.nj.comcast.net] has quit [Remote host closed the connection] 11:03:14 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 264 seconds] 11:22:54 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Read error: Connection reset by peer] 11:23:59 Quadrescence [~quad@c-24-4-5-176.hsd1.ca.comcast.net] has joined #sbcl 11:24:02 -!- Quadrescence [~quad@c-24-4-5-176.hsd1.ca.comcast.net] has quit [Changing host] 11:24:02 Quadrescence [~quad@unaffiliated/quadrescence] has joined #sbcl 11:38:38 drmeiste_ [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 11:42:00 -!- drmeiste_ [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Read error: Operation timed out] 11:47:39 -!- ASau` is now known as ASau 12:00:07 -!- Munksgaard [~philip@80-71-132-106.u.parknet.dk] has quit [Ping timeout: 246 seconds] 12:39:10 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 12:41:15 echo-area [~user@123.120.235.239] has joined #sbcl 12:43:19 kwmiebach [~kwmiebach@xdsl-87-78-7-221.netcologne.de] has joined #sbcl 12:43:37 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Ping timeout: 272 seconds] 12:53:52 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 12:54:20 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Read error: Connection reset by peer] 12:54:56 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 13:03:49 davazp [~user@92.251.166.227.threembb.ie] has joined #sbcl 13:25:12 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 13:25:50 drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 13:27:30 danlentz [~danlentz@c-68-37-70-235.hsd1.nj.comcast.net] has joined #sbcl 13:27:41 -!- oleo [~oleo@xdsl-78-35-173-25.netcologne.de] has quit [Ping timeout: 272 seconds] 13:27:50 -!- davazp [~user@92.251.166.227.threembb.ie] has quit [Ping timeout: 264 seconds] 13:28:01 oleo [~oleo@xdsl-78-35-162-148.netcologne.de] has joined #sbcl 13:30:21 drmeiste_ [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 13:30:51 -!- drmeister [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Ping timeout: 272 seconds] 13:34:04 Munksgaard [~philip@80-71-132-106.u.parknet.dk] has joined #sbcl 13:47:53 davazp [~user@92.251.167.125.threembb.ie] has joined #sbcl 14:06:57 Sagane [~Sagane@177.100-226-89.dsl.completel.net] has joined #sbcl 14:16:34 -!- ASau [~user@p4FF96624.dip0.t-ipconnect.de] has quit [Remote host closed the connection] 14:20:15 ASau [~user@p4FF96624.dip0.t-ipconnect.de] has joined #sbcl 14:22:12 zulu_inuoe [~quassel@71.47.78.155] has joined #sbcl 14:35:53 scymtym_ [~user@ip-5-147-115-29.unitymediagroup.de] has joined #sbcl 14:36:14 stassats [~stassats@wikipedia/stassats] has joined #sbcl 14:37:45 Krystof: i only had time for a brief look yesterday evening and may very well have gotten it wrong 14:37:55 i will take another look now 15:20:24 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 15:21:10 stassats: did you follow yesterday's and today's discussion regarding the rewritten (define-fop (fop-spec-vector 43) )? 15:21:22 i did not 15:21:32 what did it break? 15:22:10 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 15:22:11 i'm not completely sure yet, but it seems to have caused the occasional "gc invariant lost" error i was observing on x86 for two or three weeks 15:22:54 yesterday, i managed to track the problem down to the recent fop-related commits 15:25:33 the rewritten version of (define-fop (fop-spec-vector 43) ) has (allocate-vector widetag length (* bytes sb!vm:n-word-bytes)) which seemed wrong to me 15:25:36 -!- davazp [~user@92.251.167.125.threembb.ie] has quit [Remote host closed the connection] 15:26:34 yeah, whatever else is right, that is definitely wrong 15:26:47 i made some notes in http://paste.lisp.org/display/139401 15:27:16 right, it should be words (words (progn (aver (< bits-per-length 255)) (ceiling (* length bits-per-length) sb-vm::n-word-bits))) 15:27:22 and (vector (allocate-vector widetag length words)) 15:27:44 the point about padding is good too 15:28:04 in fact shouldn't it just be allocate-vector-with-widetag? 15:29:46 which interestingly replicates the saetp-n-pad-elements in a way which is not OAOO 15:29:55 well, what do you know, there's already %%simple-array-n-bits%% 15:30:17 OAOO OAOO OAOO 15:30:20 though it doesn't check for bogus widetags 15:34:55 why is %%simple-array-n-bits%% initialized using this weird read-time expansion? 15:36:53 good question. It's the equivalent of (macrolet ((frob () ...)) (frob)) 15:38:37 why frob at all? 15:39:05 Fare [~fare@cpe-69-203-115-132.nyc.res.rr.com] has joined #sbcl 15:39:21 maybe it is less code than a loop for a small number of saets? 15:39:38 s/is/expands into/ 15:42:11 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Read error: Connection reset by peer] 15:43:17 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 15:44:40 couldn't allocate-vector-with-widetag do (declare (type (integer (0) 256) n-bits)) to detect invalid widetags? 15:45:03 0 is a valid length 15:45:54 i use 255 15:46:28 but complex long-float seems to have 256 bits per element 15:47:07 tough luck for anybody who tries to resurrect them 15:47:17 -!- Munksgaard [~philip@80-71-132-106.u.parknet.dk] has quit [Ping timeout: 272 seconds] 15:49:15 -!- zulu_inuoe [~quassel@71.47.78.155] has quit [Remote host closed the connection] 16:10:16 LiamH [~none@pool-173-73-122-143.washdc.east.verizon.net] has joined #sbcl 16:48:27 -!- ASau [~user@p4FF96624.dip0.t-ipconnect.de] has quit [Ping timeout: 272 seconds] 16:50:42 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 16:50:48 ASau [~user@p4FF96624.dip0.t-ipconnect.de] has joined #sbcl 17:37:14 scymtym_: can you reproduce it when * is replaced by CEILING? 17:37:33 it may be a while until i go through all the commit hops 17:37:57 stassats: i think, i can test that tomorrow 17:38:38 it takes a while because i have to installed the patched version on our build slaves and then do a substantial number of builds 17:39:08 i did not find a more efficient way to check whether a particular commit is good or bad 17:39:24 it is strange though that creating larger arrays internally would cause such problems 17:39:53 and why does it not surface on x86_64? 17:40:28 well, i wouldn't expect it to hurt x86 either, other than some wasted space 17:41:44 i don't know enough about allocate-vector to reason about that question 17:45:50 since i usually only observed the error after multiple repeated builds and sometimes only with certain combinations of deleting or not deleting fasl caches, the failure mode could be rather subtle and depend on things like address space layout 17:50:19 if it's indeed caused by this, then all the uses of sb-impl::%shrink-vector may be affected 17:50:50 if some space is allocated but not zeroed, you could later have false roots 17:51:11 this might particularly affect stack-allocated vectors 17:51:54 but allocate-vector FOP had zeroes all the way 17:52:28 -!- drmeiste_ [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Remote host closed the connection] 17:52:29 i can see how %shrink-vector zeroes the remaining bits 17:53:04 drmeiste_ [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 17:54:14 *stassats* was unable to unite **saetp-bits-per-length** and %%simple-array-n-bits%% because of loading orders 17:55:30 the only places i could put it is compiler/generic/vm-array.lisp without changing any order, but defglobal wants to evalute at compile-time, and so on and so on 17:55:51 at which point i said "screw it" 17:57:02 -!- drmeiste_ [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has quit [Ping timeout: 240 seconds] 18:01:35 -!- edgar-rft [~GOD@HSI-KBW-109-193-013-113.hsi7.kabel-badenwuerttemberg.de] has quit [Quit: continuation corrupted by universal vacuum] 18:21:11 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 272 seconds] 18:31:09 drmeiste_ [~drmeister@pool-173-59-25-58.phlapa.fios.verizon.net] has joined #sbcl 18:44:34 -!- ASau [~user@p4FF96624.dip0.t-ipconnect.de] has quit [Remote host closed the connection] 18:50:04 ASau [~user@p4FF96624.dip0.t-ipconnect.de] has joined #sbcl 19:03:28 stassats [~stassats@wikipedia/stassats] has joined #sbcl 19:35:47 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Remote host closed the connection] 19:36:33 -!- stassats [~stassats@wikipedia/stassats] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 19:48:11 hm, now I am nervous about the extra #\Nul at the end of base-strings 20:56:14 extra #\Nul ? 20:56:52 btw, what about my patch so asdf isn't implicitly required by all the contribs at runtime? 20:59:54 I'm also thinking about adding a cross-compile-op to ASDF, for MOCL, that could be used to compile SBCL, if it makes sense to have dependency-based incremental cross compilation in phase 1. 21:02:02 stassats: how about just an assert that they are equal somewhere? 21:03:57 -!- ASau [~user@p4FF96624.dip0.t-ipconnect.de] has quit [Ping timeout: 272 seconds] 21:11:39 yacks [~py@103.6.159.103] has joined #sbcl 21:12:44 -!- kwmiebach [~kwmiebach@xdsl-87-78-7-221.netcologne.de] has quit [Read error: Connection reset by peer] 21:13:05 kwmiebach [~kwmiebach@xdsl-87-78-7-221.netcologne.de] has joined #sbcl 21:20:37 ASau [~user@p4FF96624.dip0.t-ipconnect.de] has joined #sbcl 22:09:34 -!- prxq [~mommer@x2f68ed6.dyn.telefonica.de] has quit [Remote host closed the connection] 22:11:02 -!- Sagane [~Sagane@177.100-226-89.dsl.completel.net] has quit [Ping timeout: 240 seconds] 22:14:24 -!- oleo [~oleo@xdsl-78-35-162-148.netcologne.de] has quit [Read error: Operation timed out] 22:14:54 oleo [~oleo@xdsl-78-35-162-148.netcologne.de] has joined #sbcl 23:41:33 in run-program.lisp, escape-arg looks totally wrong on Windows 23:42:07 what you need is something like the code used in uiop:run-program 23:42:21 or ccl::run-program