timotimo i just submitted a current moarvm build to coverity 01:30
i think the debugserver is new in this :D 01:31
we'll see the number of defects go up tenfold 01:33
May 29, 2018
Last Analyzed
Defect changes since previous build dated Aug 12, 2017
63 01:34
Newly detected
29
Eliminated
it finds an "integer overflowed argument" in twoway_memmem_uint32, interesting. 01:35
"overflow: add operation overflows on operands ms and 1UL", on line 143 of memmem32.c
i suppose that only happens with a string that's a few gigabytes or maybe even terabytes big?
geekosaur sounds like this is the kind of thing samcv wanted to add typedefs to fix, so everything uses consistent string lengths? 01:36
timotimo this is actually directly about straight-up memory buffers 01:37
i.e. no confusion as to what the individual graphemes are sized
geekosaur buffer lengths were randomly signed or unsigned 32 or 64 bit though
timotimo i see
geekosaur I also recall seeing that last time I poked at the string stuff 01:38
timotimo scan.coverity.com/projects/paultcochrane-moarvm - anyway, here's the link where you can find the "view defects" thing if you've got access 01:40
01:50 ilbot3 left
timotimo already fixed a few low-hanging fruits 01:51
01:57 ilbot3 joined
timotimo Defect changes since previous build dated May 29, 2018 02:04
0
Newly detected
5
Eliminated
Geth MoarVM/master: 4 commits pushed by (Timo Paulssen)++ 02:18
02:40 committable6 joined, coverable6 joined, statisfiable6 joined, undersightable6 joined, benchable6 joined, greppable6 joined 02:42 wictory[m] left 02:43 yoleaux left 02:44 mst left, committable6 left, coverable6 left, statisfiable6 left, undersightable6 left, benchable6 left, greppable6 left 02:45 TimToady joined, mst joined, camelia joined, bartolin joined, nebuchadnezzar joined, tolkien.freenode.net sets mode: +o mst 02:46 squashable6 left, ilbot3 left, Util left, ingy left, mst left, camelia left, bartolin left, nebuchadnezzar left, TimToady left, MasterDuke left, ilmari left, btyler_ left, huggable left, buggable left, tbrowder_ left, synopsebot left, dalek left, SmokeMachine left, chansen_ left, hoelzro left, japhb left, sivoais left, moritz left, jnthn left, BinGOs left, AlexDaniel left, timotimo left 02:47 nebuchadnezzar joined, bartolin joined, camelia joined, mst joined, TimToady joined, ilbot3 joined, MasterDuke joined, squashable6 joined, AlexDaniel joined, bisectable6 joined, releasable6 joined, unicodable6 joined, ChanServ joined, lizmat joined, p6lert joined, nine joined, avar joined, dogbert17 joined, evalable6 joined, notable6 joined, reportable6 joined, quotable6 joined, bloatable6 joined, nativecallable6 joined, mtj_ joined, jsimonet joined, Geth joined, geekosaur joined, ZofBot joined, harrow joined, leedo joined, krunen joined, nwc10 joined, samcv joined, huggable joined, buggable joined, Util joined, jnthn joined, btyler_ joined, SmokeMachine joined, synopsebot joined, dalek joined, hoelzro joined, timotimo joined, chansen_ joined, ilmari joined, tbrowder_ joined, tolkien.freenode.net sets mode: +oo mst ChanServ, BinGOs joined, sivoais joined, japhb joined, moritz joined, eater joined, jpf1 joined, Voldenet joined, ingy joined 02:50 squashable6 left, bisectable6 left, releasable6 left, unicodable6 left, lizmat left, p6lert left, evalable6 left, notable6 left, reportable6 left, quotable6 left, bloatable6 left, nativecallable6 left, ilbot3 left, krunen left, Util left, squashable6 joined, bisectable6 joined, releasable6 joined, unicodable6 joined, lizmat joined, p6lert joined, evalable6 joined, notable6 joined, reportable6 joined, quotable6 joined, bloatable6 joined, nativecallable6 joined 02:51 ilbot3 joined, krunen joined, Util joined, leedo left 02:52 leedo joined 03:00 shareable6 joined 03:19 ilmari[m] joined 03:42 coverable6 joined, benchable6 joined 03:59 nebuchadnezzar left 04:00 nebuchadnezzar joined 04:07 wictory[m] joined, AlexDaniel`` joined 04:43 yoleaux joined 05:58 undersightable6 joined 06:00 domidumont joined 06:02 shareable6 left 06:06 domidumont left 06:07 domidumont joined 06:28 AlexDaniel left 06:32 brrt joined
brrt good * #moarvm 06:32
nullprogram.com/blog/2018/05/27/ <- this is of some interest to us (and to nine++, who wrote the JIT-nativecall thing)
06:46 greppable6 joined 06:50 brrt left 06:59 shareable6 joined
nine .tell brrt indeed, it is interesting 07:10
yoleaux nine: I'll pass your message to brrt.
07:28 AlexDaniel joined
AlexDaniel squashable6: next 07:29
squashable6 AlexDaniel, āš šŸ• Next SQUASHathon in 3 days and ā‰ˆ2 hours (2018-06-02 UTC-12āŒUTC+14). See github.com/rakudo/rakudo/wiki/Mont...Squash-Day
07:34 zakharyas joined, brrt joined 07:59 robertle joined 10:47 brrt left 10:50 shareable6 left 11:08 brrt joined 11:14 zakharyas left 11:38 AlexDaniel left
timotimo moarvm defect density is approaching the "average defect density of OSS" :| 12:00
12:17 zakharyas joined 12:29 zakharyas left 12:30 zakharyas joined
timotimo hack.p6c.org/~timo/ - fuzzing moarvm again 12:30
brrt that just means we're getting more features though :-P 12:32
yoleaux 07:10Z <nine> brrt: indeed, it is interesting
brrt timotimo: didn't you say there was a way to get repeatable thread scheduling somehow? 12:34
12:34 AlexDaniel joined
timotimo i don't recall details 12:34
i know that rr has a way to get the opposite :)
brrt either that or I figure out how to make the spesh worker be repeatable ....
timotimo or just turn it off; what are you looking to accomplish? 12:35
fwiw, fuzzing nqp code is not working well at all. perhaps i should have tried giving it a dictionary, because it's having ah ard time coming up with one by itself 12:36
i suppose an interpreter is pretty opaque to the fuzzer, and the jit is probably not helping matters
12:37 zakharyas left
brrt i'm looking to debug a case where threads + the invokish removal thing causes an infinite loop 12:37
timotimo can i recommend rr again? 12:38
brrt you can
timotimo yeah, use rr for this :)
12:38 zakharyas joined
brrt let's, then 12:39
12:40 zakharyas left 12:45 zakharyas joined
brrt hm, it is almost but not quite what i want... 12:49
12:49 zakharyas left
brrt because it also keeps the environment variables the same 12:51
timotimo ah 12:55
without that it'll have a hard time replaying :)
brrt yeah, i guess that's true 13:04
dogbert17 brrt: have you looked at the latest coverity scan issue list, there are a couple if JIT related issues there 13:05
13:05 zakharyas joined 13:07 zakharyas1 joined 13:09 zakharyas left
brrt i have 13:19
nine -win 10 13:54
nwc10 nine: you need to try harder to get into the accidental /win sweepstake 13:57
lizmat /win /win /win /win /win :-) 14:02
14:33 brrt left 15:02 domidumont left 15:12 robertle left
samcv good * 15:15
/win
timotimo good win 15:32
15:46 zakharyas1 left, squashable6 left, shareable6 joined, squashable6 joined 15:47 zakharyas joined 16:31 zakharyas left 17:38 shareable6 left, statisfiable6 joined 18:16 zakharyas joined
Geth MoarVM: db50291228 | (Samantha McVey)++ | 7 files
Speed of at_pos, bind_key and at_key by about 4% by speeding up dispatch

The compiler can optimize a little more if we add the functions in directly instead of using the pointer attached to the object.
These are used a lot in core compilation which is why I decided to optimize these specific ops.
18:20
18:37 travis-ci joined
travis-ci MoarVM build errored. Samantha McVey 'Speed of at_pos, bind_key and at_key by about 4% by speeding up dispatch 18:37
travis-ci.org/MoarVM/MoarVM/builds/385331675 github.com/MoarVM/MoarVM/compare/9...502912281f
18:37 travis-ci left, domidumont joined 18:38 zakharyas left 18:40 zakharyas joined 18:42 domidumont left 18:53 ilbot3 left 18:55 undersightable6 left, undersightable6 joined, squashable6 left, benchable6 left, coverable6 left 19:10 ilbot3 joined 19:53 coverable6 joined, benchable6 joined, squashable6 joined 19:54 zakharyas left 20:03 brrt joined
lizmat samcv: that looks very interesting :-) 20:26
brrt the invokish-remvoal-thread-bug is proving to be difficult to track down :-( 20:29
hmm. i can set degree =>1 and get a pretty nice and repeatable failure 20:37
problem is, there's just about 5 different invokish things in there
lizmat only 32 combinations 20:39
:-)
samcv lizmat: what does? the last commit? 20:44
lizmat yeah.. :-)
samcv :) 20:45
it's not a huge difference. but measurable
lizmat is tempted to bump Moar and nqp
samcv lizmat: go ahead :)
20:45 shareable6 joined
lizmat is testing 20:48
21:03 brrt left
lizmat bumped 21:09
fwiw, looks like it's within noise for test-t, but Tux will tell 21:10
timotimo yeah, only tux will tell 21:11
who can say where the perf goes, where csv flows, only tux.
lizmat www.youtube.com/watch?v=4X0hJ3ac6yU # only s/time/tux/ will tell 21:19
timotimo let's perl together, whoa-oh 21:24
lizmat is too tired and goes to bed 21:42
22:24 shareable6 left