Received: by 2002:a05:6358:7058:b0:131:369:b2a3 with SMTP id 24csp6784319rwp; Tue, 18 Jul 2023 06:01:23 -0700 (PDT) X-Google-Smtp-Source: APBJJlEj6IFbpknw7cjgu8YefBiDOR7CmoiO7qnnGuZNaeAMzEgbdtcThPAwLEDPGRHr8GTnP+av X-Received: by 2002:a05:6a20:7487:b0:136:e26b:6401 with SMTP id p7-20020a056a20748700b00136e26b6401mr1171296pzd.16.1689685282768; Tue, 18 Jul 2023 06:01:22 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1689685282; cv=none; d=google.com; s=arc-20160816; b=sVz5PBuvPWfBmAMD8QlUdUa1cH7a+c64JKwCVcy5aJ6TUHhaA9PaTYgMm/8mySHbqs QrvRKGg6IC6ACZMWS6Z2jDiEtZV3wvEMSqFZI0VWn/6ZOAVGY0BcdXvOdm3XhaqaEgjc 86TKXcqZw2rgsU6No2zCvx1kWM2xloD8bzV64goHWNiZHz4mjukh1YTC5YtqXX+R1Ccw yzpoCuQk4ix3sfMg1P/PSVfNGBy/T3gUAZ1J/sr7NjpoACQLS9ZGSowSF81e+AjBDhoX MQlCR3tGIWxj98aSVsMea3i6uknkh8iVwvYhIaIpRBWTQCZEvJxcp5g0t350IB6blorG Gqog== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:content-transfer-encoding:in-reply-to:from :references:cc:to:subject:user-agent:mime-version:date:message-id; bh=RlqcRrjE8btuw4rNq/9RXYkdo4qXvc3bA+Fk+InywIk=; fh=ooAk3dcTDOULLhXOPsIEFzA6zOoeWdW1Hn+19Lox8Vg=; b=DCz43IT38Y4Wx4Vpza4CzmS6n1D+ZhIjfDUTZCHAMyYc1vogRgf77vg9ng2Oxc12W5 7Bs8sSK4iw8Whe9C8C3kON8tq9Qql5f6xgWYqYZfH6cUQ4hHy55KaRK1RjMHFqSG5JmY KSUmGxK3eCh4Wh7hT3JMuwRCtitvVu3y4YgTnl76/e/ddeSC+4NB8IZ6V7HbgXutfVik 4w1bIUVokJxOUz7FjDzH6zA0S/qpyYAuhDYHGXmJ6Dm+2ST4xhZUqUgcV1c9n+73sWYP T7JEKttS8rjqMJgVoHxxE9JO+5vs+m6deMP2MTuOL7Z/xF0T9/O/zsN0LPaDQplMx5KJ GCUA== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=arm.com Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id fd41-20020a056a002ea900b006797c2c00besi1583031pfb.144.2023.07.18.06.00.54; Tue, 18 Jul 2023 06:01:22 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20; Authentication-Results: mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=arm.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S232261AbjGRMnC (ORCPT + 99 others); Tue, 18 Jul 2023 08:43:02 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:57204 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229953AbjGRMnB (ORCPT ); Tue, 18 Jul 2023 08:43:01 -0400 Received: from foss.arm.com (foss.arm.com [217.140.110.172]) by lindbergh.monkeyblade.net (Postfix) with ESMTP id 1D597170C; Tue, 18 Jul 2023 05:42:58 -0700 (PDT) Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.121.207.14]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id 4B5412F4; Tue, 18 Jul 2023 05:43:41 -0700 (PDT) Received: from [10.1.34.52] (C02Z41KALVDN.cambridge.arm.com [10.1.34.52]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 4C7613F6C4; Tue, 18 Jul 2023 05:42:56 -0700 (PDT) Message-ID: Date: Tue, 18 Jul 2023 13:42:54 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0) Gecko/20100101 Thunderbird/102.13.0 Subject: Re: [PATCH v2 6/8] selftests/mm: Make migration test robust to failure To: David Hildenbrand , Andrew Morton , Shuah Khan , =?UTF-8?B?SsOpcsO0bWUgR2xpc3Nl?= , Mark Brown , John Hubbard , Florent Revest , Peter Xu Cc: linux-kernel@vger.kernel.org, linux-mm@kvack.org, linux-kselftest@vger.kernel.org References: <20230717103152.202078-1-ryan.roberts@arm.com> <20230717103152.202078-7-ryan.roberts@arm.com> <20501a7c-19f6-4154-aebc-49df04c9b043@redhat.com> <2e5baba4-c8ef-9da4-a2d6-3cf383ed05bd@arm.com> <1314fe0e-dd32-bf10-0a33-2b571dad70bd@redhat.com> <90a8b224-4566-5051-4903-f9ab83b26150@redhat.com> From: Ryan Roberts In-Reply-To: <90a8b224-4566-5051-4903-f9ab83b26150@redhat.com> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-4.3 required=5.0 tests=BAYES_00,NICE_REPLY_A, RCVD_IN_DNSWL_MED,SPF_HELO_NONE,SPF_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lindbergh.monkeyblade.net Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 18/07/2023 12:24, David Hildenbrand wrote: > On 18.07.23 13:23, David Hildenbrand wrote: >> On 18.07.23 12:49, Ryan Roberts wrote: >>> On 17/07/2023 18:40, David Hildenbrand wrote: >>>> On 17.07.23 12:31, Ryan Roberts wrote: >>>>> The `migration` test currently has a number of robustness problems that >>>>> cause it to hang and leak resources. >>>>> >>>>> Timeout: There are 3 tests, which each previously ran for 60 seconds. >>>>> However, the timeout in mm/settings for a single test binary was set to >>>>> 45 seconds. So when run using run_kselftest.sh, the top level timeout >>>>> would trigger before the test binary was finished. Solve this by meeting >>>>> in the middle; each of the 3 tests now runs for 20 seconds (for a total >>>>> of 60), and the top level timeout is set to 90 seconds. >>>>> >>>>> Leaking child processes: the `shared_anon` test fork()s some children >>>>> but then an ASSERT() fires before the test kills those children. The >>>>> assert causes immediate exit of the parent and leaking of the children. >>>>> Furthermore, if run using the run_kselftest.sh wrapper, the wrapper >>>>> would get stuck waiting for those children to exit, which never happens. >>>>> Solve this by deferring any asserts until after the children are killed. >>>>> The same pattern is used for the threaded tests for uniformity. >>>>> >>>>> With these changes, the test binary now runs to completion on arm64, >>>>> with 2 tests passing and the `shared_anon` test failing. >>>>> >>>>> Signed-off-by: Ryan Roberts >>>>> --- >>>>>     tools/testing/selftests/mm/migration.c | 14 ++++++++++---- >>>>>     tools/testing/selftests/mm/settings    |  2 +- >>>>>     2 files changed, 11 insertions(+), 5 deletions(-) >>>>> >>>>> diff --git a/tools/testing/selftests/mm/migration.c >>>>> b/tools/testing/selftests/mm/migration.c >>>>> index 379581567f27..189d7d9070e8 100644 >>>>> --- a/tools/testing/selftests/mm/migration.c >>>>> +++ b/tools/testing/selftests/mm/migration.c >>>>> @@ -15,7 +15,7 @@ >>>>>     #include >>>>>       #define TWOMEG (2<<20) >>>>> -#define RUNTIME (60) >>>>> +#define RUNTIME (20) >>>>>       #define ALIGN(x, a) (((x) + (a - 1)) & (~((a) - 1))) >>>>>     @@ -118,6 +118,7 @@ TEST_F_TIMEOUT(migration, private_anon, 2*RUNTIME) >>>>>     { >>>>>         uint64_t *ptr; >>>>>         int i; >>>>> +    int ret; >>>>>           if (self->nthreads < 2 || self->n1 < 0 || self->n2 < 0) >>>>>             SKIP(return, "Not enough threads or NUMA nodes available"); >>>>> @@ -131,9 +132,10 @@ TEST_F_TIMEOUT(migration, private_anon, 2*RUNTIME) >>>>>             if (pthread_create(&self->threads[i], NULL, access_mem, ptr)) >>>>>                 perror("Couldn't create thread"); >>>>>     -    ASSERT_EQ(migrate(ptr, self->n1, self->n2), 0); >>>>> +    ret = migrate(ptr, self->n1, self->n2); >>>>>         for (i = 0; i < self->nthreads - 1; i++) >>>>>             ASSERT_EQ(pthread_cancel(self->threads[i]), 0); >>>>> +    ASSERT_EQ(ret, 0); >>>> >>>> Why is that required? This does not involve fork. >>> >>> It's not required. I was just trying to keep everything aligned to the same >>> pattern. >>> >>>> >>>>>     } >>>>>       /* >>>>> @@ -144,6 +146,7 @@ TEST_F_TIMEOUT(migration, shared_anon, 2*RUNTIME) >>>>>         pid_t pid; >>>>>         uint64_t *ptr; >>>>>         int i; >>>>> +    int ret; >>>>>           if (self->nthreads < 2 || self->n1 < 0 || self->n2 < 0) >>>>>             SKIP(return, "Not enough threads or NUMA nodes available"); >>>>> @@ -161,9 +164,10 @@ TEST_F_TIMEOUT(migration, shared_anon, 2*RUNTIME) >>>>>                 self->pids[i] = pid; >>>>>         } >>>>>     -    ASSERT_EQ(migrate(ptr, self->n1, self->n2), 0); >>>>> +    ret = migrate(ptr, self->n1, self->n2); >>>>>         for (i = 0; i < self->nthreads - 1; i++) >>>>>             ASSERT_EQ(kill(self->pids[i], SIGTERM), 0); >>>>> +    ASSERT_EQ(ret, 0); >>>> >>>> >>>> Might be cleaner to also: >>> >>> Or instead of? I agree this is neater, so will undo the moving of the ASSERT() >>> and rely on this prctl. >> >> I was thinking about possible races when our parent process already >> quits before our child managed to set the prctl. prctl() won't do >> anything in that case, hmmmm. >> >> But similarly, existing code might already trigger the migrate() + kill >> before the child processes even started to access_mem(). >> >> Racy :) >> > > Maybe what would work, is checking after the prctl() in the child if the parent > is already gone. Like this? if (!pid) { prctl(PR_SET_PDEATHSIG, SIGHUP); /* Parent may have died before prctl so check now. */ if (getppid() == 1) kill(getpid(), SIGHUP); access_mem(ptr); } >