00:08:41 -!- les [moreorles@fsf/member/les] has quit [Ping timeout: 255 seconds] 00:22:00 les [moreorles@lesharris.com] has joined #sbcl 00:22:01 -!- les [moreorles@lesharris.com] has quit [Changing host] 00:22:01 les [moreorles@fsf/member/les] has joined #sbcl 00:24:36 drl [~lat@110.139.229.172] has joined #sbcl 00:27:00 -!- les [moreorles@fsf/member/les] has quit [Ping timeout: 248 seconds] 00:27:31 les [~les@lesharris.com] has joined #sbcl 00:27:32 -!- les [~les@lesharris.com] has quit [Changing host] 00:27:32 les [~les@fsf/member/les] has joined #sbcl 00:34:22 -!- christoph_debian [~user@2001:a60:f01c:0:42::1] has quit [Remote host closed the connection] 01:24:15 p_nathan [~Adium@75.87.250.229] has joined #sbcl 01:33:54 -!- drl [~lat@110.139.229.172] has quit [Remote host closed the connection] 01:37:40 drl [~lat@110.139.229.172] has joined #sbcl 01:45:27 -!- drl [~lat@110.139.229.172] has quit [Quit: Leaving] 01:57:41 -!- p_nathan [~Adium@75.87.250.229] has quit [Quit: Leaving.] 02:19:36 -!- homie`` [~levgue@xdsl-84-44-210-230.netcologne.de] has quit [Ping timeout: 244 seconds] 02:25:07 attila_lendvai [~attila_le@37.99.48.182] has joined #sbcl 02:25:07 -!- attila_lendvai [~attila_le@37.99.48.182] has quit [Changing host] 02:25:07 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 02:33:10 christoph_debian [~user@2001:a60:f01c:0:42::1] has joined #sbcl 02:50:30 -!- wbooze [~wbooze@xdsl-84-44-210-230.netcologne.de] has quit [Ping timeout: 264 seconds] 03:08:58 p_nathan [~Adium@75.87.250.229] has joined #sbcl 03:27:55 Vi [~vi@70.41.175.133] has joined #sbcl 03:41:00 -!- Vi [~vi@70.41.175.133] has quit [Quit: Leaving] 04:23:11 -!- huangjs [~huangjs@69.84.244.131] has quit [*.net *.split] 04:23:12 -!- lcc [~lcc@unaffiliated/lcc] has quit [*.net *.split] 04:23:12 -!- |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has quit [*.net *.split] 04:24:39 |3b| [foobar@cpe-72-179-19-4.austin.res.rr.com] has joined #sbcl 04:28:28 huangjs [~huangjs@69.84.244.131] has joined #sbcl 04:28:28 lcc [~lcc@unaffiliated/lcc] has joined #sbcl 04:29:11 -!- Fare [fare@nat/google/x-kzeiziiljfxlazvr] has quit [Ping timeout: 245 seconds] 04:36:08 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 05:17:23 Fare [fare@nat/google/x-pwxrwljrkvhtxscw] has joined #sbcl 05:32:07 sdemarre [~serge@91.176.196.235] has joined #sbcl 05:50:07 attila_lendvai [~attila_le@87.247.13.20] has joined #sbcl 05:50:07 -!- attila_lendvai [~attila_le@87.247.13.20] has quit [Changing host] 05:50:07 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 05:55:07 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 246 seconds] 06:05:51 -!- Fare [fare@nat/google/x-pwxrwljrkvhtxscw] has quit [Ping timeout: 245 seconds] 06:08:11 attila_lendvai [~attila_le@37.99.77.137] has joined #sbcl 06:08:11 -!- attila_lendvai [~attila_le@37.99.77.137] has quit [Changing host] 06:08:11 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 06:25:55 -!- sdemarre [~serge@91.176.196.235] has quit [Ping timeout: 246 seconds] 06:32:39 _8david [~user@port-92-195-118-78.dynamic.qsc.de] has joined #sbcl 06:32:40 -!- lichtblau [~user@port-92-195-118-78.dynamic.qsc.de] has quit [Remote host closed the connection] 07:17:50 prxq [~mommer@mnhm-590c38e1.pool.mediaWays.net] has joined #sbcl 07:40:05 -!- p_nathan [~Adium@75.87.250.229] has quit [Quit: Leaving.] 08:46:29 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 256 seconds] 08:58:24 wbooze [~wbooze@xdsl-78-35-179-99.netcologne.de] has joined #sbcl 09:01:10 attila_lendvai [~attila_le@87.247.57.81] has joined #sbcl 09:01:10 -!- attila_lendvai [~attila_le@87.247.57.81] has quit [Changing host] 09:01:10 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 10:56:13 -!- wbooze [~wbooze@xdsl-78-35-179-99.netcologne.de] has quit [Quit: none] 10:57:54 wbooze [~wbooze@xdsl-78-35-179-99.netcologne.de] has joined #sbcl 11:05:53 -!- kanru` [~kanru@118-163-10-190.HINET-IP.hinet.net] has quit [Ping timeout: 256 seconds] 11:51:18 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 12:03:18 -!- wbooze [~wbooze@xdsl-78-35-179-99.netcologne.de] has quit [Quit: none] 12:04:12 wbooze [~wbooze@xdsl-78-35-179-99.netcologne.de] has joined #sbcl 12:30:16 Fare [fare@nat/google/x-lolruomwoqwxswdr] has joined #sbcl 12:57:52 -!- wbooze [~wbooze@xdsl-78-35-179-99.netcologne.de] has quit [Remote host closed the connection] 13:01:18 -!- Quadrescence [~quad@unaffiliated/quadrescence] has quit [Quit: Leaving] 13:02:02 LiamH [~none@pdp8.nrl.navy.mil] has joined #sbcl 13:50:51 -!- cracauer [cracauer@nat/google/x-khdgluwrahbzbvkm] has quit [Ping timeout: 245 seconds] 13:51:20 cracauer [cracauer@nat/google/x-aivjcvflvgnyhydu] has joined #sbcl 14:29:57 wbooze [~wbooze@xdsl-78-35-179-99.netcologne.de] has joined #sbcl 14:51:59 -!- wbooze [~wbooze@xdsl-78-35-179-99.netcologne.de] has quit [Ping timeout: 256 seconds] 14:53:19 homie [~levgue@xdsl-78-35-179-99.netcologne.de] has joined #sbcl 15:01:37 -!- jdz [~jdz@85.254.212.247] has quit [Quit: Byebye.] 15:11:29 gris [d572afb9@gateway/web/freenode/ip.213.114.175.185] has joined #sbcl 15:13:50 I just got Heap exhausted, and (room) said I got 800Mbyte of string objects. After gc :full t, it went down to 200Mbyte. Can you somehow trigger full-gc before hitting heap-exhaust? 15:17:52 <_8david> don't know, but I think some considerations are: if you escape from the first error through a restart, maybe those 600 MB became garbage only thanks to the stack unwind. A GC prior to such an unwind wouldn't have helped. 15:19:19 <_8david> And while GC heuristics obviously are meant to run it often enough and hence early enough, GC itself (being a copying GC) temporarily needs more memory, so if you run GC immediately when allocation has trouble, you're likely just heading into a fatal error. 15:20:41 <_8david> That's why personally I'm a fan of the soft heap limit thing, where you as a user are in control of telling the Lisp "ok, in that case take a little more memory right now". (I've lost track of which parts (if any) of my patch Nikodemus merged though.) 15:23:10 This memory usage has probably been building up under days. But I guess that doesn't matter, more the behaviour how I got there. 15:27:52 gko [~user@114-34-168-13.HINET-IP.hinet.net] has joined #sbcl 15:40:40 attila_lendvai [~attila_le@37.99.48.182] has joined #sbcl 15:40:40 -!- attila_lendvai [~attila_le@37.99.48.182] has quit [Changing host] 15:40:40 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 15:46:09 homie` [~levgue@xdsl-78-35-166-51.netcologne.de] has joined #sbcl 15:47:56 -!- gris [d572afb9@gateway/web/freenode/ip.213.114.175.185] has quit [Quit: Page closed] 15:49:04 -!- homie [~levgue@xdsl-78-35-179-99.netcologne.de] has quit [Ping timeout: 246 seconds] 15:50:04 Hrm; there's no atomic-setf in sbcl. That seems like an oversight, no? 15:50:41 *|3b|* would have guessed setf would be atomic for the things atomic-whatever worked on already 15:50:58 well, on x86, sure. 15:51:26 but on other architectures, you'd need some barrier to make sure it'll ever show up on the other CPUs. 15:51:40 p_nathan [~Adium@75.87.250.229] has joined #sbcl 15:52:36 <|3b|> ah, not sure i would have guessed that meaning from the name 15:53:11 milanj [~milanj_@109-93-103-71.dynamic.isp.telekom.rs] has joined #sbcl 16:00:03 Hm, actually, now that you point it out...atomic-incf/decf maybe don't guarantee visibility/ordering to other CPUs on other architectures either. 16:11:22 <_8david> so, taking PPC as an example, to achieve the semantics you were after, we'd need lwsync around the lwarx/stwcx. to achieve the same effect as the LOCK for the cmpxchg that we use on x86... (?) 16:12:49 <_8david> if I ever understood the Java stuff, I've forgotten about it by now, but ISTR that volatile in Java has those strict semantics, right? Whereas, say, C programmers would typically rather put the barriers manually around the call site of the "atomic" thing. 16:50:38 -!- asedeno_work [asedeno@nat/google/x-llulpojfpojujllu] has quit [Remote host closed the connection] 16:55:28 asedeno_work [asedeno@nat/google/x-bwhyrychkusxdiho] has joined #sbcl 17:11:40 I think I'd look at http://en.cppreference.com/w/cpp/atomic/atomic for inspiration. 17:11:58 c++11 atomics seem remarkably well-specified. 17:33:07 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 17:37:09 sdemarre [~serge@91.176.196.235] has joined #sbcl 17:51:16 udzinari [~udzinari@ip-89-102-31-29.net.upcbroadband.cz] has joined #sbcl 17:58:08 foom: CAS/atomic incf/decf are implicit barriers 17:58:27 for the rest, introduce barriers yourself. 17:59:02 anyway, that's the goal, iirc. 18:01:19 <_8david> erm, I don't understand this stuff very well, but I thought foom's obversation was specifically that they are not 18:01:54 <_8david> i.e. atomic-incf on PPC (for example, since that's the only non-x86 backend we have) does not imply visibility of the store on other CPUs 18:04:56 <_8david> (but merely that the other CPU hasn't stored itself) 18:07:53 I see full-blown syncs here. 18:10:02 <_8david> oh, aha, (inst sync) 18:21:49 antgreen [~user@out-on-183.wireless.telus.com] has joined #sbcl 18:29:30 -!- Fare [fare@nat/google/x-lolruomwoqwxswdr] has quit [Ping timeout: 264 seconds] 19:07:20 -!- udzinari [~udzinari@ip-89-102-31-29.net.upcbroadband.cz] has quit [Quit: I'll be back] 19:36:50 -!- Vivitron [~Vivitron@pool-98-110-213-33.bstnma.fios.verizon.net] has quit [Ping timeout: 240 seconds] 19:42:45 -!- antgreen [~user@out-on-183.wireless.telus.com] has quit [Ping timeout: 244 seconds] 19:44:27 tcr [~tcr@196.214.183.68] has joined #sbcl 19:57:47 -!- homie` [~levgue@xdsl-78-35-166-51.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 19:59:23 homie [~levgue@xdsl-78-35-166-51.netcologne.de] has joined #sbcl 20:26:16 -!- homie [~levgue@xdsl-78-35-166-51.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 20:26:44 wbooze [~wbooze@xdsl-78-35-166-51.netcologne.de] has joined #sbcl 20:27:16 -!- wbooze [~wbooze@xdsl-78-35-166-51.netcologne.de] has quit [Remote host closed the connection] 20:28:06 wbooze [~wbooze@xdsl-78-35-166-51.netcologne.de] has joined #sbcl 20:28:40 -!- wbooze [~wbooze@xdsl-78-35-166-51.netcologne.de] has quit [Remote host closed the connection] 20:29:22 wbooze [~wbooze@xdsl-78-35-166-51.netcologne.de] has joined #sbcl 20:30:01 -!- milanj [~milanj_@109-93-103-71.dynamic.isp.telekom.rs] has quit [Ping timeout: 246 seconds] 20:55:30 -!- tcr [~tcr@196.214.183.68] has quit [Quit: Leaving.] 21:08:56 -!- p_nathan [~Adium@75.87.250.229] has quit [Quit: Leaving.] 21:25:32 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 21:25:56 pchrist [~spirit@gentoo/developer/pchrist] has joined #sbcl 21:43:58 Mazingaro [~Tetsuja@host110-237-dynamic.20-87-r.retail.telecomitalia.it] has joined #sbcl 22:05:41 -!- LiamH [~none@pdp8.nrl.navy.mil] has quit [Quit: Leaving.] 22:06:07 p_nathan [~Adium@75.87.250.229] has joined #sbcl 22:45:13 -!- sdemarre [~serge@91.176.196.235] has quit [Ping timeout: 246 seconds] 23:05:26 -!- p_nathan [~Adium@75.87.250.229] has quit [Quit: Leaving.]