Search
Friday, 9th of November 2018, 9:05:51 UTC
12:23:31
stassats
thinking about w^x, i don't think we can do it without either stopping the world or each new code object occupying a separate page
14:26:45
stassats`
the latest substitute-single-use-lvar is caused by it working on a yet uninlined local function
14:26:57
stassats`
so it doesn't see the where the value is actually going when inlined
14:27:58
pfdietz
Minimizing that was annpying, as I had to do it by hand.
14:29:18
stassats`
i might just give up and only transform (let ((x ...)) x) to ..., but i wanted it to be general
14:29:38
ebrasca
How is going port of sbcl for ppc64?
14:30:37
ebrasca
stassats`: I don't undestand what do you mean with "nohow".
14:35:38
sjl_
nohow : How is ... going? :: nowhere : Where is ... going?
14:37:37
ebrasca
Can sbcl run on ppc64le?
14:39:28
pfdietz
I think there's a lack of developer bandwidth outside x86-64 (and 32?) and ARM64.
14:40:17
stassats
only ppc64be, via ppc32
14:42:17
ebrasca
How I can integrate fat32 suport to sbcl? ( It currently work in Mezzano OS )
14:42:46
ebrasca
Here link of my fat32 https://github.com/ebrasca/Mezzano/blob/master/file/fat32.lisp
14:43:08
stassats
fat32 is not something sbcl needs
14:45:50
ebrasca
Is it better for my fat32 to ignore other common lisps?
14:47:10
stassats
other common lisps are not trying to be operating systems
14:54:15
stassats
ok, i'm giving up on smart substitute-single-use-lvar for returns and exits, even though i now can handle anything, except for inlining, since it can produce arbitrary code
14:54:25
stassats
whether the thing itself is inlined, or something inside of it is inlined
14:54:58
stassats
but, i gather a bit of tests and a better understanding, it's really not an important optimization
14:55:17
ebrasca
Can sbcl compile in parallel?
14:58:15
stassats
but i still get (defun foo (z x) (position z (the simple-bit-vector x))) optimized, which was the target
14:59:30
stassats
pfdietz: i accidentally managed to make a crashing test care, so you just got a bit unlucky
15:03:56
stassats
i could probably predicate it on is-everything-inlined, but that's not something already available or worth it
15:04:00
pfdietz
Wondering why ignore-errors is defining those functions (looking at the macroexpansion).
15:04:28
pfdietz
I assume one or both FLET functions are inlined.
15:04:41
pfdietz
The lambda in handler-case is also?
15:05:08
stassats
no idea why the protected form gets its own function
15:05:39
stassats
handler-bind won't get inlined, it'll go to a dynamic-extent list
15:05:51
stassats
it's turned into a flet cause we can't dx lambdas
15:06:11
pfdietz
But why functions at all?
15:07:42
stassats
well, the handlers need to have dynamic-extent and be called non-locally, where would you inline that?
15:08:10
stassats
the protected form? no idea, but it's not like anybody is experiencing slow downs due to excessive compiler work on handler-bind
15:09:10
pfdietz
Each is called in just one place, yes?
15:10:26
pfdietz
I am looking at (macroexpand '(ignore-errors (foo)))
15:10:41
pfdietz
There are two functions defined in the outer FLET form. Each is called in just one place.
15:11:54
stassats
my previous message is applicable to that
15:14:02
pfdietz
I guess the declaration (DECLARE (OPTIMIZE (SB-C::CHECK-TAG-EXISTENCE 0))) is relevant; may not want it to apply to the user code.
15:14:27
pfdietz
So that user code gets put into flet functions, which are out of the declaration's scope.
16:46:14
stassats
the new wxallowed detection works
16:48:36
stassats
is it really newsworthy? now, if it actually worked with w^x
16:49:06
joshe
I didn't think a NEWS entry was worthwhile, it wasn't even a build fix
16:49:38
stassats
default w^x would probably be not a good idea, but optionally it's somewhat trivially doable
16:50:00
stassats
always allocate on new pages, the GC will coalesce them laer
16:50:10
Xof
we get flak on reddit for a trend decrease in the number of NEWS items
16:50:40
Xof
I realise that this might not be the best reason for an extravagantly detailed NEWS
16:50:49
stassats
well, right now lisp is getting flak on reddit for PRINTING IN UPPERCASE
16:51:10
Xof
slightly more importantly, having this kind of thing in NEWS sends the signal that yes, we do care (a little bit) about things being broken
16:52:19
stassats
if we're testing for w^x, why not for noexec too?
16:52:21
pfdietz
More NEWS entries, especially if they boost my ego.
16:52:36
Xof
at least to the extent of telling people that things are about to be broken
16:52:41
joshe
/home isn't noexec in the default install
16:52:54
stassats
well, not limited to openbsd
16:53:22
joshe
and I'm not sure adding detection for an openbsd feature added two years ago really sends a message that someone really cares ;)
16:53:53
joshe
but sure, I can add an entry
16:54:00
pfdietz
Thinking "fix committed" is not enough state; should indicate if the bug had been present at the last release. Short term bug fixes of things that were never released do not belong in the release notes.
16:54:19
stassats
noexec fails really early, so, no need
16:54:32
stassats
make-config.sh: 263: make-config.sh: ./generate-version.sh: Permission denied
16:56:10
stassats
i have some other stuff to work on, otherwise i would've tried my hand at w^x
16:57:14
joshe
I tried to follow what was going on but quickly got lost
17:00:23
stassats
i think the simplest thing to do is just to inflate the code object size at creation time to be a multiple of pagesize, then reprotect when gcing
17:00:40
stassats
and probably reconstituting sanctify-for-execution on x86oids
17:01:35
stassats
it does sound so simple i might actually try doing it
17:07:32
pkhuong
foreign callbacks will become even heftier
17:08:03
stassats
well, it's optional, and openbsd doesn't mind performance degradation for performance reasons
17:09:40
joshe
pkhuong: become heftier as in use more virtual address space?
20:36:51
asarch
What went wrong?: http://paste.scsys.co.uk/582188
20:38:19
stassats
scratch that, that's not a usual sb-concurrency test failure
20:40:41
joshe
make: *** [../asdf-module.mk:41: test] Illegal instruction (core dumped)
20:41:18
stassats
seen that reported, but it builds fine here
20:41:39
stassats
i unscrewed my virtualbox and installed 6.4
20:42:03
joshe
the sb-concurrency tests frequently fail on openbsd but I don't recall how
20:43:13
stassats
the frequently fail on risc
20:43:22
stassats
but not by doing illegal things
20:43:50
joshe
there are a few timing problems in various tests caused by openbsd's course scheduler granularity
20:54:57
stassats
it needs to be reproduced by me or joshe
20:55:23
stassats
or you need to send the core dump and the binary
20:55:51
stassats
/cores? or your `pwd`?
20:56:57
asarch
Ok, then tar vcf core-dump.tar sbcl-1.4.13/
20:57:14
asarch
And then gzip --verbose --best core-dump.tar
20:57:22
asarch
How could I send you? By email?
20:57:31
stassats
i would only need the dump and the src/runtime/sbcl file
20:58:32
asarch
find . -type d -name cores <- Finds nothing
20:58:45
asarch
find . -type f -name sbcl: ./src/runtime/sbcl
20:58:59
stassats
well, it's not named "cores"
20:59:07
pkhuong
asarch: you're looking for a file, probably named "core" or "core.$PID"
20:59:53
asarch
I found /output: after-xc.core, cold-sbcl.core and sbcl.core
21:00:04
asarch
./contrib/sb-concurrency/sbcl.core
21:00:19
pkhuong
asarch: you want the actual core dumped by the OS when the process crashed.
21:00:57
asarch
http://paste.scsys.co.uk/582189
21:01:06
asarch
That is all the core I found
21:01:14
stassats
./contrib/sb-concurrency/sbcl.core is the one
21:04:23
asarch
The command line I used was: ./make.sh --fancy --prefix=$HOME/bin/sbcl
21:04:50
stassats
oh, i did not build with threds
21:04:58
stassats
just hold on, don't send me anything yet
21:05:14
asarch
From dmesg: http://paste.scsys.co.uk/582190
21:05:20
asarch
Do you want the full dmesg output?
21:05:51
asarch
ACTION waits for new instructions...
Friday, 9th of November 2018, 21:05:51 UTC