On Tue, Mar 31, 2020 at 11:11 PM Johannes Weiner <hannes@xxxxxxxxxxx> wrote:
>
> On Fri, Mar 27, 2020 at 09:17:59AM +0800, Yafang Shao wrote:
> > On Thu, Mar 26, 2020 at 10:31 PM Johannes Weiner <hannes@xxxxxxxxxxx> wrote:
> > >
> > > On Thu, Mar 26, 2020 at 07:12:05AM -0400, Yafang Shao wrote:
> > > > PSI gives us a powerful way to anaylze memory pressure issue, but we can
> > > > make it more powerful with the help of tracepoint, kprobe, ebpf and etc.
> > > > Especially with ebpf we can flexiblely get more details of the memory
> > > > pressure.
> > > >
> > > > In orderc to achieve this goal, a new parameter is added into
> > > > psi_memstall_{enter, leave}, which indicates the specific type of a
> > > > memstall. There're totally ten memstalls by now,
> > > > MEMSTALL_KSWAPD
> > > > MEMSTALL_RECLAIM_DIRECT
> > > > MEMSTALL_RECLAIM_MEMCG
> > > > MEMSTALL_RECLAIM_HIGH
> > > > MEMSTALL_KCOMPACTD
> > > > MEMSTALL_COMPACT
> > > > MEMSTALL_WORKINGSET_REFAULT
> > > > MEMSTALL_WORKINGSET_THRASHING
> > > > MEMSTALL_MEMDELAY
> > > > MEMSTALL_SWAPIO
> > >
> > > What does this provide over the events tracked in /proc/vmstats?
> > >
> >
> > /proc/vmstat only tells us which events occured, but it can't tell us
> > how long these events take.
> > Sometimes we really want to know how long the event takes and PSI can
> > provide us the data
> > For example, in the past days when I did performance tuning for a
> > database service, I monitored that the latency spike is related with
> > the workingset_refault counter in /proc/vmstat, and at that time I
> > really want to know the spread of latencies caused by
> > workingset_refault, but there's no easy way to get it. Now with newly
> > added MEMSTALL_WORKINGSET_REFAULT, I can get the latencies caused by
> > workingset refault.
>
> Okay, but how do you use that information in practice?
>
With the newly added facility, we can know when these events occur
and how long each event takes.
Then we can use these datas to generate a Latency Heat Map[1] and to
compare whether these latencies match with the application latencies
recoreded in its log - for example the slow query log in mysql. If the
refault latencies match with the slow query log, then these slow
queries are caused by these workingset refault. If the refault
latencies don't match with slow query log, IOW much smaller than the
slow query log, then the slow query log isn't caused by the
workingset refault.
High rate of refaults may not cause high pressure, if the backing
device is fast enough. While the latencies of refaults give us a
direct relationship with memory pressure.
[1]. http://www.brendangregg.com/HeatMaps/latency.html
> > > Can you elaborate a bit how you are using this information? It's not
> > > quite clear to me from the example in patch #2.
> > >
> >
> > From the traced data in patch #2, we can find that the high latencies
> > of user tasks are always type 7 of memstall , which is
> > MEMSTALL_WORKINGSET_THRASHING, and then we should look into the
> > details of wokingset of the user tasks and think about how to improve
> > it - for example, by reducing the workingset.
>
> That's an analyses we run frequently as well: we see high pressure,
> and then correlate it with the events.
>
> High rate of refaults? The workingset is too big.
>
> High rate of compaction work? Somebody is asking for higher order
> pages under load; check THP events next.
>
> etc.
>
> This works fairly reliably. I'm curious what the extra per-event
> latency breakdown would add and where it would be helpful.
>
> I'm not really opposed to your patches it if it is, I just don't see
> the usecase right now.
>
As I explained above, the rate of these events can't give us a full
view of the memory pressure. High memory pressure may not caused by
high rate of vmstat events, while it can be caused by low rate of
events but with high latencies. Latencies are the application really
concerns, that's why PSI is very useful for us.
Furthermore, there're some events are not recored in vmstat. e.g.
typf of memstall vmstat event
MEMSTALL_KSWAPD pageoutrun, {pgscan,
pgsteal}_kswapd
MEMSTALL_RECLAIM_DIRECT {pgscan,steal}_direct
MEMSTALL_RECLAIM_MEMCG /* no event */
MEMSTALL_RECLAIM_HIGH /* no event */
MEMSTALL_KCOMPACTD compact_daemon_wake
MEMSTALL_COMPACT compact_{stall, fail, success}
MEMSTALL_WORKINGSET_REFAULT workingset_refault
MEMSTALL_WORKINGSET_THRASH /* no event */
MEMSTALL_MEMDELAY /* no event */
MEMSTALL_SWAPIO pswpin
After we add these types of memstall, we don't need to add these
missed events one by one.
Thanks
Yafang
