Welcome to the main channel on the development of MoarVM, a virtual machine for NQP and Rakudo (moarvm.org). This channel is being logged for historical purposes.
Set by lizmat on 24 May 2021.
00:02 reportable6 left 00:04 reportable6 joined 01:16 greppable6 left, releasable6 left, statisfiable6 left, coverable6 left, squashable6 left, linkable6 left, evalable6 left, quotable6 left, reportable6 left, bisectable6 left, committable6 left, shareable6 left, notable6 left, unicodable6 left, tellable6 left, nativecallable6 left, benchable6 left, sourceable6 left, bloatable6 left, releasable6 joined, shareable6 joined, bisectable6 joined, tellable6 joined 01:17 coverable6 joined, greppable6 joined, evalable6 joined, reportable6 joined, squashable6 joined, sourceable6 joined 01:18 quotable6 joined, linkable6 joined, benchable6 joined, committable6 joined, unicodable6 joined 01:19 nativecallable6 joined, notable6 joined, statisfiable6 joined, bloatable6 joined 02:19 bisectable6 left, linkable6 left, greppable6 left, statisfiable6 left, evalable6 left, releasable6 left, notable6 left, unicodable6 left, benchable6 left, sourceable6 left, tellable6 left, bloatable6 left, reportable6 left, squashable6 left, coverable6 left, quotable6 left, committable6 left, nativecallable6 left, shareable6 left, squashable6 joined, benchable6 joined, bloatable6 joined 02:20 statisfiable6 joined, reportable6 joined, releasable6 joined, greppable6 joined, sourceable6 joined, nativecallable6 joined, committable6 joined 02:21 bisectable6 joined, tellable6 joined, quotable6 joined, notable6 joined 02:22 unicodable6 joined, shareable6 joined, evalable6 joined, coverable6 joined, linkable6 joined 04:08 coverable6 left, releasable6 left, evalable6 left, notable6 left, reportable6 left, quotable6 left, shareable6 left, tellable6 left, bloatable6 left, committable6 left, greppable6 left, statisfiable6 left, unicodable6 left, squashable6 left, benchable6 left, nativecallable6 left, bisectable6 left, linkable6 left, sourceable6 left, nativecallable6 joined 04:09 quotable6 joined, benchable6 joined, shareable6 joined, notable6 joined, committable6 joined, statisfiable6 joined, reportable6 joined 04:10 unicodable6 joined, tellable6 joined, releasable6 joined, greppable6 joined, bloatable6 joined, sourceable6 joined, linkable6 joined, coverable6 joined, evalable6 joined 04:11 bisectable6 joined, squashable6 joined 06:02 reportable6 left 06:04 reportable6 joined 07:27 patrickb joined
patrickb o/ 08:54
Does anyone know off hand what the minimum Windows version we depend on is?
09:10 brrt joined
jnthnwrthngtn patrickb: As a lower bound, the one libuv supports, which is Windows 8 per github.com/libuv/libuv/blob/v1.x/S...ATFORMS.md 09:23
patrickb Thanks! 09:38
jnthnwrthngtn fwiw, I'm currently working through getting Rakudo building with new-disp used for the various dispatches (so far, call and callmethod ops) 09:44
Currently considering replacing object boolification with the dispatch mechanism also 09:46
Which will make things more uniform in at least spesh
lizmat feels ok to me fwiw 09:47
jnthnwrthngtn More generally I think all of MVM_coerce_istrue, MVM_coerce_smart_stringify, MVM_coerce_smart_numify, and MVM_coerce_smart_intify could disappear 09:49
But about the boolification, currently we have ops for if_o, unless_o, istrue, and isfalse. 09:52
And spesh already rewrites the first two to use the latter two and if_i/unless_i because it makes analysis easier
So they only help bytecode side a little 09:53
.oO( RISC wins again... )
Uh, bytecode *size*
Anyway, think I'll divert to clean this lot up today given it's the current CORE.setting compilation blocker 09:54
10:27 patrickb left
brrt ohai 10:50
jnthnwrthngtn o/ brrt 11:12
brrt what's the thing that's currently broken? 11:17
11:38 patrickb joined 12:02 reportable6 left 12:05 reportable6 joined
jnthnwrthngtn brrt: `if $a-raku-object {}` compiles into unless_o, which goes through the current dispatch mechanism, which doesn't end well because we end up invoking a proto method compiled for the new dispatch mechanism. 12:09
And the best way to fix this seems to be to 1) generate istrue + if_i/unless_i sequences instead, which spesh actually already does today anyway, and b) compile istrue into a `dispatch` instruction that delegates to the language method call dispatcher 12:10
s/b)/2)/ :) 12:11
brrt ah, I see 12:24
so it's a new-disp problem
jnthnwrthngtn Not so much problem as just the current thing that needs doing to get us fully moved over to new-disp 12:26
13:13 brrt left 13:22 patrickb left 13:24 patrickb joined
Geth MoarVM/new-disp: 7313b9e79b | (Jonathan Worthington)++ | 6 files
Implement boolification using the dispatcher

This will replace all(if_o, unless_o, istrue, isfalse) after an NQP rebootstrap. The primary motivation is to have the method call form of boolification use the new dispatcher, however this will also make things simpler in spesh, since it will be just another dispatch op rather than needing special handling of the various object boolifying operations as happens today.
jnthnwrthngtn We now get 20,000 lines or so into compiling CORE.setting with new-disp. The next thing to fix up is that the chain compilation doesn't spit out a dispatch op, but the legacy invoke op 15:16
Now somewhere past 40,000 lines and the next problem is that I didn't teach the new-disp multi-dispatcher about native refs... 15:46
[Coke] fell down the wet front steps yesterday, and is definitely feeling old-mannish today. Ow. 16:15
jnthnwrthngtn Ouch. :( 16:20
[Coke] jnthnwrthngtn++
(er, for the new disp work, not the condolences, though I appreciate those!) 16:21
jnthnwrthngtn Hope not too much damage done
[Coke] jnthnwrthngtn: I cannot remember the last time I swore so loudly!
I am still sore. I am pretty sure nothing's broken, though, which I am grateful for.
jdv my brother in law slipped on dry gravel the other day and landed on his back and he's just 30 16:31
his knee was a problem the next few days 16:34
16:45 Voldenet left 16:50 Voldenet joined
Geth MoarVM/new-disp: 70e22d8f9d | (Jonathan Worthington)++ | 3 files
Avoid freeing the arg identity maps

They can be referenced from deep in the callstack. Instead, assume we will usually only need one of a certain size, and if we ever need more then create a full-size one. Free one or both only at exit time. Also use a define instead of a magic number in various places.
jnthnwrthngtn Well, curious. We now make it through CORE.setting stage parse and into optimize, then memory usage goes wild. Guess that'll be the next thing to figure out. 17:29
Well, looking at the time...not right now :) bbl 17:31
18:03 reportable6 left, reportable6 joined
[Coke] jdv: I wish I was only 30-old! 20:15
got a big one coming up this year.
jnthnwrthngtn: nice progress, though. good work
20:27 patrickb left
Geth MoarVM/new-disp: 9a6ac14fd0 | (Jonathan Worthington)++ | src/core/instance.h
Fix an overflow causing runaway allocations
21:25 Kaiepi left 21:26 Kaiepi joined 21:39 Altai-man joined 21:41 Altai-man left
Geth MoarVM/new-disp: 0463adde28 | (Jonathan Worthington)++ | src/core/callstack.c
Make oversize callstack record error informativer
jnthnwrthngtn Alright, yay. We now make it through the Rakudo build with new-disp. 21:43
japhb \o/ 21:44
jnthnwrthngtn `make test` even passes some sanity tests; `use Test` not working out fails the rest. That's certainly not for today, but getting to this point wasn't so bad as I feard.
japhb Go jnthnwrthngtn go!
OOC, when do you get another new-disp day? 21:45
jnthnwrthngtn It's also glacial because spesh doesn't understand how to optimize dispatch any non-trivial dispatch program yet
japhb Define "glacial" -- like orders of magnitude slower? Or like 2-4x?
jnthnwrthngtn ~2x
It's doing no inlining or specialization linking 21:46
japhb 2x worse without spesh or inlining actually seems pretty promising
jnthnwrthngtn It does manage some amount of spesh/JIT, but it's probably a bit off in its assessments of things too
japhb Ah, makes sense
jnthnwrthngtn No inlining has rather more than the cost of just missing the inlining too 21:47
japhb ... because of inability to optimize surrounding a call? 21:48
jnthnwrthngtn Well, to see things that cross the call boundary, for example if we inline a call we can see what it does and toss any checks against the type of the return value it produces in some cases, for example. Or allocations become possible to analyze because they don't escape. 21:50
Anyway, I should get further on being correct before I go after being faster. :)
21:51 Kaipi joined
jnthnwrthngtn Probably will continue with this on Monday; not all day, but hopefully a few hours. 21:52
21:52 Kaiepi left
jnthnwrthngtn In theory should get 2+ days worth of time in on it; Friday might be a bit of a lost day depending how I feel after dose 2... 21:52
(2+ days from next week, I mean)
japhb Ah, finally getting second vaccine dose? Yeah, you've got about a 50-50 chance of being knocked over. :-/ 22:03
jnthnwrthngtn The first time was some fatigue and a sore arm as effects of the vaccination itself, but I'm really anxious about getting any kind of injection of anything, which is at least as exhausting. 22:15
japhb Yeah, I can understand that. 22:18
22:25 japhb left 22:31 japhb joined