| 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
|
|||