00:18:12 -!- Qworkescence [~quad@unaffiliated/quadrescence] has quit [Read error: Connection reset by peer] 00:18:36 Qworkescence [~quad@unaffiliated/quadrescence] has joined #sbcl 00:26:51 -!- wbooze [~wbooze@xdsl-78-35-179-209.netcologne.de] has quit [Remote host closed the connection] 00:49:01 wbooze [~wbooze@xdsl-78-35-179-209.netcologne.de] has joined #sbcl 00:49:51 -!- wbooze [~wbooze@xdsl-78-35-179-209.netcologne.de] has quit [Client Quit] 00:55:24 wbooze [~wbooze@xdsl-78-35-179-209.netcologne.de] has joined #sbcl 01:02:37 -!- Qworkescence [~quad@unaffiliated/quadrescence] has quit [Quit: Leaving] 01:11:53 -!- tcr1 [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 01:15:04 -!- Blkt [~user@82.84.176.4] has quit [Remote host closed the connection] 02:01:53 -!- wbooze [~wbooze@xdsl-78-35-179-209.netcologne.de] has quit [Quit: Client Quit] 02:26:07 wbooze [~wbooze@xdsl-78-35-179-209.netcologne.de] has joined #sbcl 03:02:24 attila_lendvai [~attila_le@87.247.62.203] has joined #sbcl 03:02:31 -!- attila_lendvai [~attila_le@87.247.62.203] has quit [Changing host] 03:02:31 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 03:30:20 -!- wbooze [~wbooze@xdsl-78-35-179-209.netcologne.de] has quit [Remote host closed the connection] 03:33:00 wbooze [~wbooze@xdsl-78-35-179-209.netcologne.de] has joined #sbcl 03:52:38 -!- wbooze [~wbooze@xdsl-78-35-179-209.netcologne.de] has quit [Remote host closed the connection] 04:03:27 wbooze [~wbooze@xdsl-78-35-179-209.netcologne.de] has joined #sbcl 04:46:39 angavrilov [~angavrilo@217.71.235.212] has joined #sbcl 05:19:13 -!- wbooze [~wbooze@xdsl-78-35-179-209.netcologne.de] has quit [Quit: Client Quit] 05:22:04 wbooze [~wbooze@xdsl-78-35-179-209.netcologne.de] has joined #sbcl 05:47:47 -!- antgreen [~user@bas3-toronto06-1176449739.dsl.bell.ca] has quit [Ping timeout: 252 seconds] 05:57:13 -!- wbooze [~wbooze@xdsl-78-35-179-209.netcologne.de] has quit [Remote host closed the connection] 06:15:51 wbooze [~wbooze@xdsl-78-35-179-209.netcologne.de] has joined #sbcl 06:39:38 sdemarre [~serge@91.176.124.145] has joined #sbcl 07:20:45 -!- mensch [~mensch@c-174-62-210-182.hsd1.ma.comcast.net] has quit [Quit: leaving] 07:20:59 -!- borkman [~user@S0106001111de1fc8.cg.shawcable.net] has quit [Ping timeout: 252 seconds] 07:21:15 tcr1 [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 07:48:24 -!- sdemarre [~serge@91.176.124.145] has quit [Ping timeout: 240 seconds] 07:49:47 -!- tcr1 [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 08:07:22 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 08:07:54 pchrist [~spirit@gentoo/developer/pchrist] has joined #sbcl 08:09:41 echo-area [~user@182.92.247.2] has joined #sbcl 08:18:23 tcr1 [~tcr@84-72-21-32.dclient.hispeed.ch] has joined #sbcl 08:29:32 Blkt [~user@89-96-199-46.ip13.fastwebnet.it] has joined #sbcl 08:57:36 pchrist_ [~spirit@gentoo/developer/pchrist] has joined #sbcl 08:58:59 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Read error: Operation timed out] 09:36:17 -!- Kryztof [~user@81.174.155.115] has quit [Ping timeout: 252 seconds] 09:44:24 zhangkaizhao [~zhangkaiz@27.47.13.83] has joined #sbcl 09:44:46 -!- zhangkaizhao [~zhangkaiz@27.47.13.83] has quit [Max SendQ exceeded] 10:01:23 -!- tcr1 [~tcr@84-72-21-32.dclient.hispeed.ch] has quit [Quit: Leaving.] 10:17:57 -!- ASau [~user@93-80-123-238.broadband.corbina.ru] has quit [Remote host closed the connection] 10:18:23 ASau [~user@95-28-56-167.broadband.corbina.ru] has joined #sbcl 10:22:20 tcr1 [~tcr@178-83-229-138.dynamic.hispeed.ch] has joined #sbcl 10:34:13 Neronus [~christian@heraklit.ayous.org] has joined #sbcl 10:35:44 -!- tcr1 [~tcr@178-83-229-138.dynamic.hispeed.ch] has quit [Quit: Leaving.] 10:36:11 Hi everybody; I've got a small problem with SBCL 1.55 on a 32bit machine; I try to increase the heap to 1G by calling SBCL by 'sbcl --dynamic-space-size 1024'; the result is "mmap: wanted 1073741824 bytes at 0x9000000, actually mapped at 0x40535000"; ulimit -a shows no relevant limits except for the stack size; any ideas? 10:36:55 Neronus: perhaps overcommit is off? 10:37:22 Neronus: do you have address randomisation? 10:37:51 flip215: It's the stock ubuntu kernel; I'll investigate 10:38:25 pkhuong: I saw one tip with setarch i386 regarding randomisation; that didn't help; any idea how to find out if it's turned on? 10:38:38 nope. 10:40:39 Neronus: check "ulimit -aH" and "ulimit -aS" both 10:42:20 flip215: Nope, no such luck 10:42:45 and adress randomization should be off (via /proc/sys/kernel/randomize_va_space ) 10:43:41 Try "strace -e mmap sbcl --dynamic-space-size 1024" to see the correct error code 10:45:53 Interestingly, the problem doesn't show up when I start sbcl with these arguments; only when I try to compile ACL2 10:49:03 http://paste.lisp.org/display/127184 that's what I get 10:52:08 -!- wbooze [~wbooze@xdsl-78-35-179-209.netcologne.de] has quit [Ping timeout: 252 seconds] 10:53:00 Neronus: seems to be a bug in sbcl ... expects a specific address, but on 32bit the address range is busy (shared lib?), so the kernel gives a different address - and sbcl doesn't like that 10:53:03 version? 10:53:39 1.0.54 10:54:15 os_validate in ./src/runtime/linux-os.c, line 328 says for me this: 10:54:24 if (addr && (addr!=actual)) { 10:54:24 fprintf(stderr, "mmap: wanted %lu bytes at %p, actually mapped at %p\n", 10:54:24 (unsigned long) len, addr, actual); 10:54:24 return 0; 10:54:28 The problem doesn't show up if I run sbcl on its own, that is, not trying to compile ACL2; it also doesn't show up when I don't try to increase the heap (but then I run out of memory when compiling) 10:56:04 perhaps that uses LD_PRELOAD or some other way to get a library loaded, which interferes? 10:56:30 I'll read the makefile 10:57:26 nikodemus [~nikodemus@cs181130220.pp.htv.fi] has joined #sbcl 10:57:31 -!- ChanServ has set mode +o nikodemus 10:58:13 at least it doesn't show up in the makefile's output; If I do the exactly same thing that crashes from the makefile on the terminal, then it runs just fine 10:58:59 magic. 11:04:53 same problem appears with sbcl 1.0.46 11:06:10 Works with --dynamic-space-size 880 11:09:39 nikodemus: Do you have any idea what causes this error? "mmap: wanted 1073741824 bytes at 0x9000000, actually mapped at 0x40535000"; check is at os_validate in ./src/runtime/linux-os.c, line 328 11:10:10 the problem shows up when I compile acl2 with sbcl 1.0.54 or 1.0.45 with -dynamic-space-size being 1024 11:10:41 tcr1 [~tcr@178-83-229-138.dynamic.hispeed.ch] has joined #sbcl 11:17:26 -!- nikodemus [~nikodemus@cs181130220.pp.htv.fi] has quit [Quit: This computer has gone to sleep] 11:17:45 -!- christoph_debian [~user@oteiza.siccegge.de] has quit [Ping timeout: 260 seconds] 11:18:04 nikodemus [~nikodemus@cs181130220.pp.htv.fi] has joined #sbcl 11:18:04 -!- ChanServ has set mode +o nikodemus 11:46:12 Neronus: yes, there's something mapped up there. 11:46:22 (the heap is at a fixed address) 11:51:34 And then, when mmap doesn't give sbcl memory at the right address, sbcl is a very very unhappy lisp 12:11:53 -!- Phoodus [~foo@68.107.217.139] has quit [Ping timeout: 252 seconds] 12:56:21 prxq [~mommer@mnhm-5f75caed.pool.mediaWays.net] has joined #sbcl 13:14:27 dtw [dtw@pdpc/supporter/active/dtw] has joined #sbcl 13:26:26 -!- fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has quit [Remote host closed the connection] 13:26:36 fe[nl]ix [~quassel@pdpc/supporter/professional/fenlix] has joined #sbcl 13:32:08 attila_lendvai1 [~attila_le@87.247.62.178] has joined #sbcl 13:32:08 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Disconnected by services] 14:23:48 borkman [~user@S0106001111de1fc8.cg.shawcable.net] has joined #sbcl 14:34:40 LiamH [~none@pdp8.nrl.navy.mil] has joined #sbcl 14:38:56 -!- tcr1 [~tcr@178-83-229-138.dynamic.hispeed.ch] has quit [Quit: Leaving.] 14:52:00 tsuru` [~charlie@adsl-74-179-28-117.bna.bellsouth.net] has joined #sbcl 15:40:05 -!- attila_lendvai1 [~attila_le@87.247.62.178] has quit [Ping timeout: 248 seconds] 15:43:26 wbooze [~wbooze@xdsl-78-35-162-142.netcologne.de] has joined #sbcl 15:58:47 Guthur [~Guthur@host86-150-22-39.range86-150.btcentralplus.com] has joined #sbcl 16:00:51 with the merge-core-pages is there a risk to all processes if one goes awry in some way 16:09:00 no. If your apps run correctly in the available amount of RAM without deduplication, they will also run correctly with deduplication. 16:10:00 The only unreliability lies in the effectiveness of the deduplication scheme. It's a little too "magic" to be truly predictable in terms of the RAM savings it achieves (and how quickly it can achieve them). 16:10:32 E.g. if you have out-of-memory problems already, then you shouldn't trust deduplication to magically fix them. 16:12:32 ok, so it they processes where eval'ing untrusted code it would be recipe for diaster for all? 16:12:43 they/the 16:13:00 silver_ [~kingrat@178.121.157.73] has joined #sbcl 16:20:51 no. Memory deduplication does not make it riskier to run untrusted code. (Not any riskier than it is already anyway). 16:20:51 16:21:46 The kernel magically saves memory in a fashion that is transparent to user processes (except in terms of different CPU and RAM utilization). 16:23:24 ok, cheers for the enlightenment lichtblau 16:24:19 if you're testing this, keep in mind that you need to enable it in the kernel before SBCL's setting can possibly have an effect 16:24:59 oh, I'll bear that in mind 16:26:32 lichtblau, I assume it is this feature: http://www.linux-kvm.com/content/using-ksm-kernel-samepage-merging-kvm 16:28:37 attila_lendvai [~attila_le@87.247.17.45] has joined #sbcl 16:28:37 -!- attila_lendvai [~attila_le@87.247.17.45] has quit [Changing host] 16:28:37 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 16:42:08 -!- echo-area [~user@182.92.247.2] has quit [Read error: Connection reset by peer] 16:42:30 echo-area [~user@182.92.247.2] has joined #sbcl 16:59:07 -!- echo-area [~user@182.92.247.2] has quit [Remote host closed the connection] 17:09:54 homie [~levgue@xdsl-78-35-162-142.netcologne.de] has joined #sbcl 17:23:01 -!- Blkt [~user@89-96-199-46.ip13.fastwebnet.it] has quit [Remote host closed the connection] 17:28:15 -!- Guthur [~Guthur@host86-150-22-39.range86-150.btcentralplus.com] has quit [Read error: Connection reset by peer] 17:46:56 Qworkescence [~quad@unaffiliated/quadrescence] has joined #sbcl 17:55:17 -!- nikodemus [~nikodemus@cs181130220.pp.htv.fi] has quit [Quit: This computer has gone to sleep] 18:09:09 sdemarre [~serge@91.176.124.145] has joined #sbcl 18:09:30 ddp_ [~ddp@216.243.111.165] has joined #sbcl 18:12:27 -!- ddp [~ddp@anon-136-236.relakks.com] has quit [Ping timeout: 252 seconds] 18:12:27 -!- ddp_ is now known as ddp 18:15:41 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Read error: Operation timed out] 18:27:10 christop` [~user@oteiza.siccegge.de] has joined #sbcl 18:27:14 -!- christop` [~user@oteiza.siccegge.de] has quit [Remote host closed the connection] 18:27:32 christoph_debian [~user@oteiza.siccegge.de] has joined #sbcl 18:30:32 -!- ddp [~ddp@216.243.111.165] has quit [Quit: ddp] 18:33:59 ddp_ [~ddp@216.243.111.165] has joined #sbcl 18:34:22 -!- ddp_ [~ddp@216.243.111.165] has quit [Client Quit] 18:34:44 ddp [~ddp@216.243.111.165] has joined #sbcl 18:35:21 -!- ddp [~ddp@216.243.111.165] has quit [Client Quit] 18:35:34 ddp [~ddp@216.243.111.165] has joined #sbcl 18:35:52 ddp_ [~ddp@216.243.111.165] has joined #sbcl 18:36:12 -!- ddp [~ddp@216.243.111.165] has quit [Client Quit] 18:41:45 -!- ddp_ [~ddp@216.243.111.165] has quit [Quit: Leaving] 18:41:51 attila_lendvai [~attila_le@87.247.12.8] has joined #sbcl 18:41:51 -!- attila_lendvai [~attila_le@87.247.12.8] has quit [Changing host] 18:41:51 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #sbcl 18:43:24 ddp [~ddp@216.243.111.165] has joined #sbcl 18:47:09 prxq_ [~mommer@mnhm-5f75e889.pool.mediaWays.net] has joined #sbcl 18:48:41 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 18:50:29 -!- prxq [~mommer@mnhm-5f75caed.pool.mediaWays.net] has quit [Ping timeout: 248 seconds] 18:57:19 pchrist [~spirit@gentoo/developer/pchrist] has joined #sbcl 19:00:24 -!- pchrist_ [~spirit@gentoo/developer/pchrist] has quit [Ping timeout: 272 seconds] 19:04:11 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Read error: Operation timed out] 19:08:16 pchrist [~spirit@gentoo/developer/pchrist] has joined #sbcl 19:11:05 easy-iPad [~easyipad@213.47.71.36] has joined #sbcl 19:12:49 -!- ddp [~ddp@216.243.111.165] has quit [Quit: Leaving] 19:13:53 ddp [~ddp@216.243.111.165] has joined #sbcl 19:16:39 -!- ddp [~ddp@216.243.111.165] has quit [Remote host closed the connection] 19:18:16 ddp [~ddp@216.243.111.165] has joined #sbcl 19:18:28 ddp_ [~ddp@216.243.111.165] has joined #sbcl 19:18:35 -!- ddp [~ddp@216.243.111.165] has quit [Remote host closed the connection] 19:19:46 -!- dtw [dtw@pdpc/supporter/active/dtw] has quit [Quit: Zzzz] 19:21:29 -!- easy-iPad [~easyipad@213.47.71.36] has quit [Quit: Outta here?] 19:21:41 -!- ddp_ [~ddp@216.243.111.165] has quit [Remote host closed the connection] 19:22:27 ddp [~ddp@216.243.111.165] has joined #sbcl 19:26:45 -!- ddp [~ddp@216.243.111.165] has quit [Remote host closed the connection] 19:29:55 ddp [~ddp@216.243.111.165] has joined #sbcl 19:44:25 ddp_ [~ddp@216.243.111.165] has joined #sbcl 19:44:55 -!- ddp [~ddp@216.243.111.165] has quit [Remote host closed the connection] 19:46:03 -!- ddp_ [~ddp@216.243.111.165] has quit [Remote host closed the connection] 19:46:56 ddp [~ddp@216.243.111.165] has joined #sbcl 19:50:43 -!- ddp [~ddp@216.243.111.165] has quit [Remote host closed the connection] 19:51:45 ddp [~ddp@216.243.111.165] has joined #sbcl 19:57:16 Kryztof [~user@81.174.155.115] has joined #sbcl 19:57:16 -!- ChanServ has set mode +o Kryztof 20:08:04 -!- ddp [~ddp@216.243.111.165] has quit [Remote host closed the connection] 20:11:35 -!- wbooze [~wbooze@xdsl-78-35-162-142.netcologne.de] has quit [Quit: Client Quit] 20:15:53 wbooze [~wbooze@xdsl-78-35-162-142.netcologne.de] has joined #sbcl 20:23:00 ddp [~ddp@216.243.111.165] has joined #sbcl 20:31:43 easy-iPad [~easyipad@213.47.71.36] has joined #sbcl 20:37:02 -!- angavrilov [~angavrilo@217.71.235.212] has quit [Ping timeout: 255 seconds] 20:42:21 -!- easy-iPad [~easyipad@213.47.71.36] has quit [Remote host closed the connection] 20:42:37 easy-iPad [~easyipad@213.47.71.36] has joined #sbcl 21:11:59 -!- easy-iPad [~easyipad@213.47.71.36] has quit [Quit: Outta here?] 21:43:15 -!- sdemarre [~serge@91.176.124.145] has quit [Ping timeout: 240 seconds] 21:45:43 -!- wbooze [~wbooze@xdsl-78-35-162-142.netcologne.de] has quit [Quit: Client Quit] 21:51:42 -!- ASau [~user@95-28-56-167.broadband.corbina.ru] has quit [Remote host closed the connection] 21:52:05 ASau [~user@95-24-215-26.broadband.corbina.ru] has joined #sbcl 22:05:50 wbooze [~wbooze@xdsl-78-35-162-142.netcologne.de] has joined #sbcl 22:16:02 -!- silver_ [~kingrat@178.121.157.73] has quit [Remote host closed the connection] 22:39:19 -!- LiamH [~none@pdp8.nrl.navy.mil] has quit [Quit: Leaving.] 22:40:11 -!- wbooze [~wbooze@xdsl-78-35-162-142.netcologne.de] has quit [Remote host closed the connection] 22:54:14 -!- brown``` [user@nat/google/x-atbecokqxlghnmdj] has quit [Remote host closed the connection] 22:59:09 wbooze [~wbooze@xdsl-78-35-162-142.netcologne.de] has joined #sbcl 23:37:32 homie` [~levgue@xdsl-78-35-170-230.netcologne.de] has joined #sbcl 23:39:23 -!- wbooze [~wbooze@xdsl-78-35-162-142.netcologne.de] has quit [Ping timeout: 252 seconds] 23:40:20 -!- homie [~levgue@xdsl-78-35-162-142.netcologne.de] has quit [Ping timeout: 260 seconds] 23:55:34 wbooze [~wbooze@xdsl-78-35-170-230.netcologne.de] has joined #sbcl