00:07:24 -!- edgar-rft [~user@HSI-KBW-078-043-123-191.hsi4.kabel-badenwuerttemberg.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 00:32:13 -!- milanj [~milanj_@109-92-107-108.dynamic.isp.telekom.rs] has quit [Quit: Leaving] 01:37:01 homie` [~levgue@xdsl-78-35-162-20.netcologne.de] has joined #sbcl 01:38:17 -!- homie` [~levgue@xdsl-78-35-162-20.netcologne.de] has quit [Remote host closed the connection] 01:39:25 homie` [~levgue@xdsl-78-35-162-20.netcologne.de] has joined #sbcl 01:40:24 -!- homie [~levgue@xdsl-87-79-248-109.netcologne.de] has quit [Ping timeout: 265 seconds] 01:41:52 -!- homie` [~levgue@xdsl-78-35-162-20.netcologne.de] has quit [Remote host closed the connection] 01:48:32 homie [~levgue@xdsl-78-35-162-20.netcologne.de] has joined #sbcl 01:58:48 -!- stassats` [~stassats@wikipedia/stassats] has quit [Ping timeout: 250 seconds] 02:15:43 -!- loke [~elias@bb115-66-85-121.singnet.com.sg] has quit [Ping timeout: 276 seconds] 02:21:54 loke [~elias@bb115-66-85-121.singnet.com.sg] has joined #sbcl 02:32:41 kanru`` [~user@118-168-71-68.dynamic.hinet.net] has joined #sbcl 03:23:59 -!- kanru`` [~user@118-168-71-68.dynamic.hinet.net] has quit [Read error: Connection reset by peer] 03:39:41 drl [~lat@110.139.229.172] has joined #sbcl 03:56:50 stassats` [~stassats@wikipedia/stassats] has joined #sbcl 04:00:33 -!- stassats [~stassats@wikipedia/stassats] has quit [Ping timeout: 250 seconds] 04:00:33 -!- specbot [~specbot@pppoe.178-66-80-108.dynamic.avangarddsl.ru] has quit [Ping timeout: 265 seconds] 04:00:47 kanru`` [~user@118-168-71-68.dynamic.hinet.net] has joined #sbcl 04:42:56 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 05:23:59 -!- homie [~levgue@xdsl-78-35-162-20.netcologne.de] has quit [Read error: Connection reset by peer] 05:24:47 homie [~levgue@xdsl-78-35-162-20.netcologne.de] has joined #sbcl 05:52:26 -!- psilord [~psilord@76.201.149.239] has quit [Quit: Leaving.] 05:53:33 psilord [~psilord@76.201.149.239] has joined #sbcl 06:06:14 sdemarre [~serge@91.176.119.155] has joined #sbcl 06:45:30 -!- homie [~levgue@xdsl-78-35-162-20.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 06:48:41 homie [~levgue@xdsl-78-35-162-20.netcologne.de] has joined #sbcl 07:01:29 puchacz_ [~puchacz@87-194-5-99.bethere.co.uk] has joined #sbcl 07:25:01 -!- Kryztof [~user@81.174.155.115] has quit [Ping timeout: 265 seconds] 07:30:19 -!- slyrus [~chatzilla@209.52.84.50] has quit [Ping timeout: 265 seconds] 08:47:09 slyrus [~chatzilla@209.52.84.50] has joined #sbcl 09:33:58 nikodemus [~nikodemus@178-55-38-11.bb.dnainternet.fi] has joined #sbcl 09:33:58 -!- ChanServ has set mode +o nikodemus 09:44:53 -!- kanru`` [~user@118-168-71-68.dynamic.hinet.net] has quit [Ping timeout: 248 seconds] 10:18:49 -!- puchacz_ [~puchacz@87-194-5-99.bethere.co.uk] has quit [Ping timeout: 260 seconds] 10:27:28 edgar-rft [~user@HSI-KBW-078-043-123-191.hsi4.kabel-badenwuerttemberg.de] has joined #sbcl 10:37:19 nikodemus: bisecting this thing isn't going to well. sometimes things work fine, sometimes a deadlock is detected, sometimes it hangs :( 10:44:07 specbot [~specbot@pppoe.178-66-83-233.dynamic.avangarddsl.ru] has joined #sbcl 11:12:50 -!- Bugson [~Bugson@87-204-6-135.ip.netia.com.pl] has quit [Ping timeout: 260 seconds] 11:17:03 -!- homie [~levgue@xdsl-78-35-162-20.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 11:21:00 homie [~levgue@xdsl-78-35-162-20.netcologne.de] has joined #sbcl 11:21:50 slyrus: when you get a hang, give gdb a try 11:21:59 -!- angavrilov [~angavrilo@217.71.227.190] has quit [*.net *.split] 11:22:08 just seeing where it's hanging might help 11:28:35 angavrilov [~angavrilo@217.71.227.190] has joined #sbcl 12:18:30 -!- drl [~lat@110.139.229.172] has quit [Remote host closed the connection] 13:04:30 prxq [~mommer@mnhm-4d0128cb.pool.mediaWays.net] has joined #sbcl 13:35:36 gko [~gko@114-34-168-13.HINET-IP.hinet.net] has joined #sbcl 13:47:33 homie` [~levgue@xdsl-87-79-250-163.netcologne.de] has joined #sbcl 13:50:39 -!- homie [~levgue@xdsl-78-35-162-20.netcologne.de] has quit [Ping timeout: 252 seconds] 14:24:05 leuler [~user@p54902B74.dip.t-dialin.net] has joined #sbcl 14:51:25 nikodemus: http://paste.lisp.org/display/129082 14:58:33 kanru`` [~user@61-228-145-105.dynamic.hinet.net] has joined #sbcl 15:25:50 slyrus: thanks. can you pull lisp backtraces as well? 15:26:02 call lisp_backtrace(1000) 15:56:43 zhangkaizhao [~zhangkaiz@27.47.17.172] has joined #sbcl 15:56:51 -!- zhangkaizhao [~zhangkaiz@27.47.17.172] has quit [Max SendQ exceeded] 17:07:04 -!- slyrus [~chatzilla@209.52.84.50] has quit [Ping timeout: 252 seconds] 17:17:35 -!- sdemarre [~serge@91.176.119.155] has quit [Ping timeout: 246 seconds] 17:45:52 -!- jsnell [~jsnell@ash.snellman.net] has quit [Remote host closed the connection] 18:23:34 -!- specbot [~specbot@pppoe.178-66-83-233.dynamic.avangarddsl.ru] has quit [Remote host closed the connection] 18:24:01 specbot [~specbot@pppoe.178-66-83-233.dynamic.avangarddsl.ru] has joined #sbcl 19:04:38 -!- angavrilov [~angavrilo@217.71.227.190] has quit [Ping timeout: 240 seconds] 19:35:16 -!- prxq [~mommer@mnhm-4d0128cb.pool.mediaWays.net] has quit [Quit: Leaving] 19:51:02 I could use some advice on naming a type. Can anyone spare a moment? 19:54:43 ask away... We support surprisingly high latency. 19:55:13 There is a possible optimization in x86-64/arith.lisp. 19:55:20 In the VOPs working with tagged fixnums a type test for (signed-byte 29) is done to check whether a constant argument to the VOP can be assembled as an immediate argument to the machine instruction, e.g. ADD. 19:55:26 This can be changed to (signed-byte #.(- 32 n-fixnum-tag-bits)), allowing larger values to be assembled as immediates when n-fixnum-tag-bits is less than 3. 19:55:33 As this type occurs a dozen times in arith.lisp I would like to deftype it. 19:55:36 I thought of "immediate-fixnum", but the concept "immediate" is most often used for the immediate SC which is something different. 20:00:05 So, which name should I choose for this type? "small-fixnum"? 20:02:32 x86-signed-immediate? 20:05:01 -!- Phoodus [~foo@wsip-68-107-217-139.ph.ph.cox.net] has quit [Ping timeout: 252 seconds] 20:07:49 -!- blackwol` [~blackwolf@ool-4575fc51.dyn.optonline.net] has quit [Read error: Connection reset by peer] 20:08:05 blackwol` [~blackwolf@ool-4575fc51.dyn.optonline.net] has joined #sbcl 20:09:29 I would expect that to mean (signed-byte 32). 20:15:42 small fixnum is just asking for trouble 20:15:56 next thing we know, we'll have tiny fixnums as well ;) 20:16:38 OK. 20:17:42 I'd like to see "fixnum" in the name as it should convey "tagged", too. 20:18:04 You would use "immediate" despite its ambiguity? Could we agree on "x86-immediate-fixnum"? 20:19:16 I'd rather see tagged than fixnum ;) 20:20:13 Well, "tagged" alone doesn't tell that the number of tag bits is specifically that of fixnums. 20:20:36 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Quit: +++ killed by SIGSEGV +++] 20:22:13 yet we use it (tagged-num) 20:24:52 Good! That is defined as (:or positive-fixnum fixnum). 20:26:24 imm-tagged-num would probably only be clear to those who work on the encoder. 20:26:58 x86-64/array.lisp uses "low-index" for something somewhat comparable, meaning (signed-byte 29) there. 20:29:59 So, "low-tagged-num", meaning something that is both shorter than "tagged-num", but also signed-only? 20:30:56 short might be more clear? 20:34:25 Yes. 20:42:02 -!- cmm [~cmm@109.65.214.84] has quit [Ping timeout: 265 seconds] 20:47:44 OK, I'll use "short-tagged-num". Thank you! (In any case, it's in one file only and commented, too ...) 20:48:43 oh, I was afraid it'd be scattered all over 20:48:53 if it's only one file, it doesn't matter much 21:00:20 There are a few more bare "29"s in other files (in that directory) but I believe only one of them (in move.lisp) should at all vary with the number of fixnum tag bits, and this move thing I believe can be rewritten to not need this value any more, at all. 21:02:39 -!- nikodemus [~nikodemus@178-55-38-11.bb.dnainternet.fi] has quit [Quit: Leaving] 21:10:14 slyrus [~chatzilla@204.239.250.1] has joined #sbcl 21:15:37 -!- slyrus [~chatzilla@204.239.250.1] has quit [Read error: Connection reset by peer] 21:19:39 slyrus [~chatzilla@204.239.250.1] has joined #sbcl 21:56:38 -!- slyrus [~chatzilla@204.239.250.1] has quit [Ping timeout: 240 seconds] 22:10:44 stassats [~stassats@wikipedia/stassats] has joined #sbcl 22:28:02 -!- leuler [~user@p54902B74.dip.t-dialin.net] has quit [Quit: ERC Version 5.1.2 $Revision: 1.796.2.6 $ (IRC client for Emacs)] 23:13:55 saschakb [~saschakb@p4FEA0EF2.dip0.t-ipconnect.de] has joined #sbcl 23:36:10 -!- christoph_debian [~user@oteiza.siccegge.de] has quit [Remote host closed the connection] 23:39:37 jsnell [~jsnell@ash.snellman.net] has joined #sbcl