00:00
gef has quit [Ping timeout: 240 seconds]
00:01
gef has joined #pypy
00:28
gef has quit [Read error: No route to host]
01:05
glyph has quit [*.net *.split]
01:05
kipras has quit [*.net *.split]
01:05
astronavt has quit [*.net *.split]
01:05
Gustavo6046 has quit [*.net *.split]
01:15
astronavt has joined #pypy
01:15
kipras has joined #pypy
01:15
Gustavo6046 has joined #pypy
01:15
glyph has joined #pypy
01:15
Gustavo6046 has quit [Max SendQ exceeded]
01:16
Gustavo6046 has joined #pypy
01:42
jcea has quit [Ping timeout: 250 seconds]
02:03
tos9 has quit [Quit: leaving]
02:13
gef has joined #pypy
04:01
a1paca has quit [Quit: Leaving]
04:33
Gustavo6046 has quit [Ping timeout: 268 seconds]
05:07
Gustavo6046 has joined #pypy
05:17
a1paca has joined #pypy
05:59
gef_ has joined #pypy
06:09
gef has quit [*.net *.split]
06:24
gef has joined #pypy
06:27
gef_ has quit [Ping timeout: 265 seconds]
06:28
jvesely has joined #pypy
07:02
jvesely has quit [Quit: jvesely]
07:46
dmalcolm__ has quit [Ping timeout: 265 seconds]
08:11
phlebas has quit [Ping timeout: 252 seconds]
08:13
samth has quit [Ping timeout: 258 seconds]
08:18
phlebas has joined #pypy
08:25
samth has joined #pypy
08:56
glyph has quit [Read error: Connection reset by peer]
08:57
glyph has joined #pypy
08:58
Dejan has joined #pypy
09:26
oberstet has joined #pypy
09:57
dmalcolm has joined #pypy
10:08
ShadeJonathan[m] has quit [*.net *.split]
10:08
tbodt has quit [*.net *.split]
10:08
tumbleweed has quit [*.net *.split]
10:08
runciter has quit [*.net *.split]
10:08
Kronuz has quit [*.net *.split]
10:08
trfl has quit [*.net *.split]
10:09
tbodt has joined #pypy
10:09
tumbleweed has joined #pypy
10:09
Kronuz has joined #pypy
10:09
ShadeJonathan[m] has joined #pypy
10:09
runciter has joined #pypy
10:09
trfl has joined #pypy
10:12
ServerStatsDisco has quit [Ping timeout: 258 seconds]
10:12
toad_polo has quit [Ping timeout: 258 seconds]
10:12
the_drow[m] has quit [Ping timeout: 258 seconds]
10:12
ShadeJonathan[m] has quit [Ping timeout: 248 seconds]
10:12
jryans has quit [Ping timeout: 245 seconds]
10:12
papangoo[m] has quit [Ping timeout: 258 seconds]
10:12
astrojl_matrix has quit [Ping timeout: 245 seconds]
10:13
Civil has quit [*.net *.split]
10:14
Civil has joined #pypy
10:14
jerith_ has quit [*.net *.split]
10:16
jerith_ has joined #pypy
10:16
alexhugo has quit [*.net *.split]
10:16
whitewolf has quit [*.net *.split]
10:16
xcm has quit [*.net *.split]
10:16
gsnedders has quit [*.net *.split]
10:17
xcm has joined #pypy
10:18
alexhugo has joined #pypy
10:18
ronan has quit [*.net *.split]
10:18
dstufft has quit [*.net *.split]
10:18
jeroud has quit [*.net *.split]
10:18
nimaje has quit [*.net *.split]
10:18
ctismer has quit [*.net *.split]
10:18
mwhudson has quit [*.net *.split]
10:18
antocuni has quit [*.net *.split]
10:18
Techcable has quit [*.net *.split]
10:18
WGH_ has quit [*.net *.split]
10:18
marvin_ has quit [*.net *.split]
10:18
Lightsword has quit [*.net *.split]
10:18
proteusguy has quit [*.net *.split]
10:18
bbot2 has quit [*.net *.split]
10:18
Eyess has quit [*.net *.split]
10:18
string has quit [*.net *.split]
10:18
kirma has quit [*.net *.split]
10:18
JStoker has quit [*.net *.split]
10:18
Ashleee has quit [*.net *.split]
10:18
LarstiQ has quit [*.net *.split]
10:18
tazle has quit [*.net *.split]
10:18
gutworth has quit [*.net *.split]
10:18
a1paca has quit [*.net *.split]
10:18
the_rat_ has quit [*.net *.split]
10:18
altendky has quit [*.net *.split]
10:18
ebarrett has quit [*.net *.split]
10:18
marmoute has quit [*.net *.split]
10:18
jiffe has quit [*.net *.split]
10:18
iko_ has quit [*.net *.split]
10:18
Hodgestar has quit [*.net *.split]
10:18
ulope has quit [*.net *.split]
10:18
shodan45 has quit [*.net *.split]
10:18
lastmikoi has quit [*.net *.split]
10:18
alcarith1 has quit [*.net *.split]
10:20
nimaje has joined #pypy
10:20
ctismer has joined #pypy
10:20
Ashleee has joined #pypy
10:20
antocuni has joined #pypy
10:20
jeroud has joined #pypy
10:20
dstufft has joined #pypy
10:20
WGH_ has joined #pypy
10:20
ronan has joined #pypy
10:20
jiffe has joined #pypy
10:20
altendky has joined #pypy
10:20
ebarrett has joined #pypy
10:20
JStoker has joined #pypy
10:20
LarstiQ has joined #pypy
10:20
marmoute has joined #pypy
10:20
iko_ has joined #pypy
10:20
marvin_ has joined #pypy
10:20
kirma has joined #pypy
10:20
proteusguy has joined #pypy
10:20
Lightsword has joined #pypy
10:20
string has joined #pypy
10:20
bbot2 has joined #pypy
10:20
Hodgestar has joined #pypy
10:20
Eyess has joined #pypy
10:20
the_rat_ has joined #pypy
10:20
gutworth has joined #pypy
10:20
tazle has joined #pypy
10:20
Techcable has joined #pypy
10:20
a1paca has joined #pypy
10:20
mwhudson has joined #pypy
10:20
ulope has joined #pypy
10:20
lastmikoi has joined #pypy
10:20
shodan45 has joined #pypy
10:20
alcarith1 has joined #pypy
10:21
whitewolf has joined #pypy
10:21
gsnedders has joined #pypy
10:21
glyph has quit [*.net *.split]
10:21
kipras has quit [*.net *.split]
10:21
alexhugo has quit [*.net *.split]
10:21
oberstet has quit [*.net *.split]
10:21
samth has quit [*.net *.split]
10:21
astronavt has quit [*.net *.split]
10:22
tazle has quit [Ping timeout: 240 seconds]
10:23
RemoteFox has joined #pypy
10:24
RemoteFox has left #pypy [#pypy]
10:24
tazle has joined #pypy
10:24
alexhugo has joined #pypy
10:24
oberstet has joined #pypy
10:24
glyph has joined #pypy
10:24
samth has joined #pypy
10:24
astronavt has joined #pypy
10:24
kipras has joined #pypy
10:27
luizirber has quit [*.net *.split]
10:27
habnabit_ has quit [*.net *.split]
10:27
Ninpo has quit [*.net *.split]
10:27
arigato has quit [*.net *.split]
10:27
arigo has joined #pypy
10:27
luizirber has joined #pypy
10:27
habnabit_ has joined #pypy
10:28
Ninpo has joined #pypy
10:45
the_drow[m] has joined #pypy
10:49
jryans has joined #pypy
10:57
Lightsword has quit [Ping timeout: 246 seconds]
10:58
astrojl_matrix has joined #pypy
11:00
bbot2 has quit [Ping timeout: 246 seconds]
11:00
bbot2_ has joined #pypy
11:00
proteusguy has quit [Ping timeout: 246 seconds]
11:00
proteusguy has joined #pypy
11:05
toad_polo has joined #pypy
11:06
SunDwarf has joined #pypy
11:06
Eyess has quit [Ping timeout: 246 seconds]
11:07
WGH_ has quit [Ping timeout: 246 seconds]
11:08
WGH_ has joined #pypy
11:14
forgottenone has joined #pypy
11:15
papangoo[m] has joined #pypy
11:41
ShadeJonathan[m] has joined #pypy
11:42
ServerStatsDisco has joined #pypy
11:45
<
cfbolz >
yay, we have quadratic algorithms that take up 30% of the time in rtyping!
11:48
forgottenone has quit [Quit: Konversation terminated!]
11:55
<
fijal >
cfbolz: does it have to be quadratic?
11:56
<
cfbolz >
It's just silly
11:59
<
Dejan >
qhy quadratic when it can be cubic?
11:59
<
LarstiQ >
easy target for improvement?
11:59
<
LarstiQ >
hence the yay? ;)
12:16
dmalcolm has quit [Remote host closed the connection]
12:39
tos9 has joined #pypy
12:43
arigo is now known as arigato
12:47
dmalcolm has joined #pypy
13:05
jcea has joined #pypy
13:05
jacob22_ has quit [Read error: Connection reset by peer]
13:09
jacob22_ has joined #pypy
13:16
jaffachief has joined #pypy
13:26
<
antocuni >
cfbolz: what is it?
13:32
<
cfbolz >
antocuni: we optimize every ll helper graph after creating it. But one of the optimizations walks all graphs
14:08
jvesely has joined #pypy
14:09
<
cfbolz >
it's more than a 3x speedup of the rtyping phase
14:17
a1paca has quit [Quit: Leaving]
14:21
<
antocuni >
how much wall-time is saved on a full translation?
14:21
<
cfbolz >
antocuni: haven't done one yet
14:22
<
cfbolz >
antocuni: but on my O2 rtyping I am saving 6 minutes
14:22
<
antocuni >
nice! Lot of CO2 saved :)
14:27
<
cfbolz >
bit ridiculous that we never noticed
14:29
<
cfbolz >
now rtyping is much faster than annotation
14:29
<
antocuni >
time to find some O(2^N) algorithm in annotation then :)
14:31
<
cfbolz >
looking already, but less obvious
14:42
Gustavo6046 has quit [Ping timeout: 258 seconds]
15:14
<
ronan >
cfbolz: how did you notice?
15:15
<
cfbolz >
ronan: I was bored and looked at the profile the first time in, don't know, years
15:16
<
cfbolz >
(mainly because I was annoyed a few times recently at waiting for translation
15:18
<
cfbolz >
ronan: do you happen to have a clue what check_methods_qgen is for?
15:19
<
ronan >
hmmm, I vaguely remember having had a clue once...
15:20
<
cfbolz >
it searches for "lost methods", but I can't say I have seen any of those in years
15:20
<
cfbolz >
it's possible that this cannot happen any more, by construction
15:20
<
cfbolz >
(costs 5% of annotation, maybe not enough to bother)
15:26
<
ronan >
cfbolz: this whole sanity check seems obsolete
15:27
<
ronan >
I remember killing some expensive checks in annotation, but I don't think I looked at this one
15:27
<
cfbolz >
ronan: right, it's also what I think in this case
15:32
<
ronan >
cfbolz: BTW, how do you profile? I remember it being painful last time I tried
15:36
_whitelogger has joined #pypy
15:40
<
cfbolz >
ronan: basically I usually try all profilers one after the other, until I learn something
15:55
long4mud has quit [Quit: WeeChat 3.0.1]
15:59
tos9 has joined #pypy
16:14
tos9 has quit [Ping timeout: 272 seconds]
16:15
tos9 has joined #pypy
16:16
Gustavo6046 has joined #pypy
16:22
tos9 has quit [Ping timeout: 265 seconds]
16:25
Gustavo6046 has quit [Ping timeout: 260 seconds]
16:26
Gustavo6046 has joined #pypy
16:33
tos9 has joined #pypy
16:34
Gustavo6046 has quit [Ping timeout: 260 seconds]
16:37
alexhugo has quit [Quit: Leaving]
16:38
Gustavo6046 has joined #pypy
16:52
Gustavo6046 has quit [Ping timeout: 260 seconds]
16:57
tos9 has quit [Ping timeout: 260 seconds]
17:00
tos9 has joined #pypy
17:05
forgottenone has joined #pypy
17:32
<
ronan >
cfbolz: I got a vmprof profile. I find insert_ll_stackcheck() pretty suspicious, all the time is spent in all_cycles()
17:34
<
cfbolz >
ronan: yes, agreed, that algorithm is a bit mysterious
17:35
<
cfbolz >
I'm a bit scared to touch it, the heuristics there are really important for performance
17:50
tos9 has quit [Ping timeout: 252 seconds]
17:53
Gustavo6046 has joined #pypy
18:00
tos9 has joined #pypy
18:07
ronan has quit [Remote host closed the connection]
18:28
ronan has joined #pypy
18:30
whitewolf has quit [*.net *.split]
18:30
gsnedders has quit [*.net *.split]
18:30
gsnedders has joined #pypy
18:32
whitewolf has joined #pypy
18:52
tos9 has quit [Ping timeout: 272 seconds]
18:53
<
cfbolz >
the pyjitpl phase got 2x faster too by the quadratic fix
19:13
jerith_ is now known as jerith
19:17
tos9 has joined #pypy
19:20
jcea has quit [Ping timeout: 245 seconds]
19:21
jcea has joined #pypy
19:28
dustinm has quit [Ping timeout: 240 seconds]
19:39
ronan has quit [Quit: Leaving]
19:40
dustinm has joined #pypy
19:41
ronan has joined #pypy
19:44
ronan has quit [Client Quit]
19:44
ronan has joined #pypy
20:00
<
cfbolz >
I can also get a 5x speedup on the compile_c phase by using a precompiled header for the huge shared .h file in GCC
20:01
<
cfbolz >
(just hacked it manually together, need to try to integrate it into the C backend)
20:10
<
cfbolz >
(clang gets the same kind of speedup, but needs different options)
20:13
oberstet has quit [Read error: Connection reset by peer]
20:29
jcea has quit [Read error: Connection reset by peer]
20:38
<
mattip >
there is a precompiled header for MSVC, but when I benchmarked it for GCC the savings was not that dramatic
20:38
<
mattip >
so the makefile code already should have some kind of support for it
20:39
<
cfbolz >
mattip: for gcc there are a lot of restrictions
20:39
<
cfbolz >
only a single .h file supported, for example
20:40
jvesely has quit [Ping timeout: 240 seconds]
20:55
tos9 has quit [Quit: leaving]
21:26
forgottenone has quit [Ping timeout: 265 seconds]
21:45
Lightsword has joined #pypy
21:59
Arfrever has quit [Quit: 御出で]
22:06
Arfrever has joined #pypy
22:46
lesshaste has quit [Remote host closed the connection]
22:47
lesshaste has joined #pypy
22:47
lesshaste is now known as Guest89092
22:58
Arfrever has quit [Read error: Connection reset by peer]
23:01
Arfrever has joined #pypy
23:12
Arfrever has quit [Read error: Connection reset by peer]
23:16
Arfrever has joined #pypy