Re: [PATCH v2] mm: vmscan: reclaim anon pages if there are swapcache pages

From: Liu Shixin
Date: Wed Aug 23 2023 - 23:39:59 EST




On 2023/8/23 23:29, Yosry Ahmed wrote:
> On Wed, Aug 23, 2023 at 6:12 AM Michal Hocko <mhocko@xxxxxxxx> wrote:
>> On Wed 23-08-23 10:00:58, Liu Shixin wrote:
>>>
>>> On 2023/8/23 0:35, Yosry Ahmed wrote:
>>>> On Mon, Aug 21, 2023 at 6:54 PM Liu Shixin <liushixin2@xxxxxxxxxx> wrote:
>>>>> When spaces of swap devices are exhausted, only file pages can be reclaimed.
>>>>> But there are still some swapcache pages in anon lru list. This can lead
>>>>> to a premature out-of-memory.
>>>>>
>>>>> This problem can be fixed by checking number of swapcache pages in
>>>>> can_reclaim_anon_pages(). For memcg v2, there are swapcache stat that can
>>>>> be used directly. For memcg v1, use total_swapcache_pages() instead, which
>>>>> may not accurate but can solve the problem.
>>>> Interesting find. I wonder if we really don't have any handling of
>>>> this situation.
>>> I have alreadly test this problem and can confirm that it is a real problem.
>>> With 9MB swap space and 10MB mem_cgroup limit,when allocate 15MB memory,
>>> there is a probability that OOM occurs.
>> Could you be more specific about the test and the oom report?
> I actually couldn't reproduce it using 9MB of zram and a cgroup with a
> 10MB limit trying to allocate 15MB of tmpfs, no matter how many
> repetitions I do.
The following is the printout of the testcase I used. In fact, the probability
of triggering this problem is very low. You can adjust the size of the swap
space to increase the probability of recurrence.

10148+0 records in
10148+0 records out
10391552 bytes (10 MB, 9.9 MiB) copied, 0.0390954 s, 266 MB/s
mkswap: /home/swapfile: insecure permissions 0644, 0600 suggested.
Setting up swapspace version 1, size = 9.9 MiB (10387456 bytes)
no label, UUID=9219cb2a-55d7-46b6-9dcd-bb491095225d
mkswap return is 0
swapon: /home/swapfile: insecure permissions 0644, 0600 suggested.
swapon return is 0
swapoff success
10148+0 records in
10148+0 records out
10391552 bytes (10 MB, 9.9 MiB) copied, 0.0389205 s, 267 MB/s
mkswap: /home/swapfile: insecure permissions 0644, 0600 suggested.
Setting up swapspace version 1, size = 9.9 MiB (10387456 bytes)
no label, UUID=614b967a-bd87-430d-b867-6e09a8b77b27
mkswap return is 0
swapon: /home/swapfile: insecure permissions 0644, 0600 suggested.
swapon return is 0
---- in do_test---
=========orig_mem is 10428416, orig_sw_mem is 17059840
SwapCached: 3428 kB
SwapTotal: 10144 kB
SwapFree: 240 kB
rss is 7572, swap is 0
check pass
memcg_swap.sh: line 79: 6596 Killed cgexec -g "memory:test" ./malloc 16777216
swapoff success
10148+0 records in
10148+0 records out
10391552 bytes (10 MB, 9.9 MiB) copied, 0.0404156 s, 257 MB/s
mkswap: /home/swapfile: insecure permissions 0644, 0600 suggested.
Setting up swapspace version 1, size = 9.9 MiB (10387456 bytes)
no label, UUID=a228e988-47c1-44d5-9ce1-cd7b66e97721
mkswap return is 0
swapon: /home/swapfile: insecure permissions 0644, 0600 suggested.
swapon return is 0
---- in do_test---
=========orig_mem is 10485760, orig_sw_mem is 16834560
SwapCached: 3944 kB
SwapTotal: 10144 kB
SwapFree: 0 kB
rss is 7112, swap is 0
check fail
memcg_swap.sh: line 79: 6633 Killed cgexec -g "memory:test" ./malloc 16777216

This is my testcase:

memcg_swap.sh:
#!/bin/bash

_mkswap()
{
size=${1:-10}
swapfile="/home/swapfile"

# clear swap
swapoff -a
expect_size=$(free -b | grep 'Swap' | awk '{print $2}')
if [ $expect_size -ne 0 ]; then
echo "$expect_size"
echo "swapoff fail"
return 1
fi
echo "swapoff success"
rm -rf $swapfile
dd if=/dev/zero of=$swapfile bs=1k count=10148
mkswap $swapfile
echo "mkswap return is $?"
swapon $swapfile
echo "swapon return is $?"
}

echo "----in do_pre----"
cgdelete -r "memory:test"
cgcreate -g "memory:test"
_mkswap 10

while true
do
_mkswap 10
echo "---- in do_test---"
cgcreate -g "memory:test"
echo 1 > /sys/fs/cgroup/memory/test/memory.oom_control
echo 10M > /sys/fs/cgroup/memory/test/memory.limit_in_bytes
cgexec -g "memory:test" ./malloc 16777216 &
pid=$!
sleep 3
orig_mem=$(cat /sys/fs/cgroup/memory/test/memory.usage_in_bytes)
orig_sw_mem=$(cat /sys/fs/cgroup/memory/test/memory.memsw.usage_in_bytes)
echo "=========orig_mem is $orig_mem, orig_sw_mem is $orig_sw_mem"
cat /proc/meminfo | grep Swap
swapfree=$(cat /proc/meminfo | grep SwapFree | awk '{print $2}')
swapcache=$(cat /proc/meminfo | grep SwapCached | awk '{print $2}')
if [ $swapfree -eq 0 ]; then
echo "==========" >> /root/free.txt
echo "swapfree is $swapfree" >> /root/free.txt
echo "swapcache is $swacache" >> /root/free.txt
echo "==========" >> /root/free.txt
fi
rss=$(cat /proc/$pid/smaps_rollup | sed -n 2p | awk '{print $2}')
swap=$(cat /proc/$pid/smaps_rollup | sed -n 19p | awk '{print $2}')
echo "rss is $rss, swap is $swap"
echo "test data==================" >> /root/data.txt
echo "rss is $rss" >> /root/data.txt
echo "swap is $swap" >> /root/data.txt
echo "test end===================" >> /root/data.txt
if [ $orig_mem -le 10485760 -a \
"$(cat /proc/$pid/status | grep State | awk '{print $2}')" == "R" ]; then
echo "check pass"
else
echo "check fail"
kill -9 $pid
cgdelete -r "memory:test"
break
fi
kill -9 $pid
cgdelete -r "memory:test"
done

malloc.c:
#include <stdio.h>
#include <unistd.h>
#include <string.h>
#include <fcntl.h>
#include <stdlib.h>
#include <sys/mman.h>

int main(int argc, char **argv)
{
char *p;

p = malloc(atoi(argv[1]));
memset(p, 1, atoi(argv[1]));
return 0;
}
>
>> --
>> Michal Hocko
>> SUSE Labs
> .
>