From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id 2CB60D6E2CF for ; Wed, 20 Nov 2024 08:19:53 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id B7F5D6B0083; Wed, 20 Nov 2024 03:19:52 -0500 (EST) Received: by kanga.kvack.org (Postfix, from userid 40) id B2F556B0088; Wed, 20 Nov 2024 03:19:52 -0500 (EST) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 9CFE66B0089; Wed, 20 Nov 2024 03:19:52 -0500 (EST) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0012.hostedemail.com [216.40.44.12]) by kanga.kvack.org (Postfix) with ESMTP id 7B20F6B0083 for ; Wed, 20 Nov 2024 03:19:52 -0500 (EST) Received: from smtpin14.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay08.hostedemail.com (Postfix) with ESMTP id 19DE1140B6B for ; Wed, 20 Nov 2024 08:19:52 +0000 (UTC) X-FDA: 82805774520.14.2F03728 Received: from mail-yb1-f173.google.com (mail-yb1-f173.google.com [209.85.219.173]) by imf10.hostedemail.com (Postfix) with ESMTP id 3DBB5C0006 for ; Wed, 20 Nov 2024 08:19:27 +0000 (UTC) Authentication-Results: imf10.hostedemail.com; dkim=none; spf=pass (imf10.hostedemail.com: domain of geert.uytterhoeven@gmail.com designates 209.85.219.173 as permitted sender) smtp.mailfrom=geert.uytterhoeven@gmail.com; dmarc=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1732090587; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=zfLE3wxWqaI3cOb3+5mvfAqJSkt+0yE85CISQ1/OLRM=; b=y+//om0jdeVr7qUmSXgoAnMvWdGp0YiO6+NMexVjP7Kg/2gIRykqeME8nD+lS/AV6avlHM sY2vhfsFukO4e071eNzKTFqYOEZpr6zQjA/N4+y/TGysJGKDy2yv0M3Fk2PrUIeK5tPD75 iILaGupZKP7FRkpQ8yzit1T3BMAiuvw= ARC-Authentication-Results: i=1; imf10.hostedemail.com; dkim=none; spf=pass (imf10.hostedemail.com: domain of geert.uytterhoeven@gmail.com designates 209.85.219.173 as permitted sender) smtp.mailfrom=geert.uytterhoeven@gmail.com; dmarc=none ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1732090587; a=rsa-sha256; cv=none; b=8iPyDLKOWwHZhwI6dN6mm12eMLRpkOltvhSXaxgdSr27YH5boBTaovuoWHhj6IDTfm8Byo qea/FyhKD3KwsZPEKRygtQ5pzRaw/H6HJ+U4l7ez5pXsIQ4blBgEJFl5BaZYM+ZVCBR5My Q08jXU4u59v7iERFMzJ8fdoJl/Xk2bU= Received: by mail-yb1-f173.google.com with SMTP id 3f1490d57ef6-e387e50d98eso1637238276.2 for ; Wed, 20 Nov 2024 00:19:49 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1732090787; x=1732695587; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=zfLE3wxWqaI3cOb3+5mvfAqJSkt+0yE85CISQ1/OLRM=; b=T4HfPhKq70PsNrebZ+aWqtRsklqKGzN1GSNRHJAid9ruQkFJTvRg0irBhyn0/d/uN0 iJKzninmKLyz3sb7Ecl3u6WT7ke3+KDwfg1b/tX+CW3be2Nk8RP1V9J+A8R2DWdPXgOw Arra74Ljr1d3LF2T7BO0Af/VkQji7k1vLW8MV+CXSirvDIzEMGaQ1CZMl722YUO7kAmK nRNYfLopMqb7sjuHt8qvQZhOnHoGQwHz1rBH5wX64wKa4khmZp/qiC2IlrdCPnkHqMYV mKSnZWgV1Ek7v10bXYloDmDp+ffG7i0vEPZHqT/UxyUQXPSLapDVteWfrMm8AjvmTRKK 8DzQ== X-Forwarded-Encrypted: i=1; AJvYcCVXvFkqZOy4Yf5uoLd6Ej+oTw0W5q+UHxOYJOfVh9z3xPcZnH8pEwaOyHf0m/jnpClJp5Qbo2F5aw==@kvack.org X-Gm-Message-State: AOJu0Yz9MbeWAXVAKF4liZu5IaunaarD21h64KlUl2bDSZ2Y5q/PnqP5 KdniWdIUyadiQ8btUNbz7jpna7ErocMSoiUnieM1i59YDhWHhM2VO2brGAV3 X-Google-Smtp-Source: AGHT+IHDGliwLcrI7oEWiygZgaZJDGjoVy8BC+aiE/WUsx5pJDTFGUw7mhQ1uiZAHdB07Rumd8R/bg== X-Received: by 2002:a05:6902:70d:b0:e38:9191:655b with SMTP id 3f1490d57ef6-e38cb589f7amr1623325276.25.1732090787003; Wed, 20 Nov 2024 00:19:47 -0800 (PST) Received: from mail-yw1-f181.google.com (mail-yw1-f181.google.com. [209.85.128.181]) by smtp.gmail.com with ESMTPSA id 3f1490d57ef6-e387e62cd95sm2916850276.0.2024.11.20.00.19.45 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 20 Nov 2024 00:19:45 -0800 (PST) Received: by mail-yw1-f181.google.com with SMTP id 00721157ae682-6ee805c96dbso20162287b3.2 for ; Wed, 20 Nov 2024 00:19:45 -0800 (PST) X-Forwarded-Encrypted: i=1; AJvYcCWVBaxyHdBl04eNWs3NhC0X+P+CCI6FYWfACEA6Pwisza6Sepv5lTuqJnqn+fZYpnajv7DIQ41Nsw==@kvack.org X-Received: by 2002:a05:690c:620f:b0:6ea:90b6:ab49 with SMTP id 00721157ae682-6eebd0d4c0emr18828777b3.5.1732090785516; Wed, 20 Nov 2024 00:19:45 -0800 (PST) MIME-Version: 1.0 References: <20241029152249.667290-1-axboe@kernel.dk> <20241029152249.667290-4-axboe@kernel.dk> <37c588d4-2c32-4aad-a19e-642961f200d7@roeck-us.net> <5a7528c4-4391-4bd9-bbdb-a0247f3c76a9@kernel.dk> <5851cd28-b369-4c09-876c-62c4a47c5982@kernel.dk> <358710e8-a826-46df-9846-5a9e0f7c6851@kernel.dk> <82b97543-ad01-4e42-b79c-12d97c1df194@kernel.dk> <4623f30c-a12e-4ba6-ad99-835764611c67@kernel.dk> <47a16a83-52c7-4779-9ed3-f16ea547b9f0@roeck-us.net> <6c3d73a5-b5ef-455f-92db-e6b96ef22fba@kernel.dk> In-Reply-To: <6c3d73a5-b5ef-455f-92db-e6b96ef22fba@kernel.dk> From: Geert Uytterhoeven Date: Wed, 20 Nov 2024 09:19:33 +0100 X-Gmail-Original-Message-ID: Message-ID: Subject: Re: [PATCH 03/14] io_uring: specify freeptr usage for SLAB_TYPESAFE_BY_RCU io_kiocb cache To: Jens Axboe Cc: Guenter Roeck , io-uring@vger.kernel.org, linux-m68k , Christian Brauner , Vlastimil Babka , Linux MM , Linux Kernel Mailing List Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Rspamd-Server: rspam07 X-Rspamd-Queue-Id: 3DBB5C0006 X-Stat-Signature: co9ekdrgoekqpod6iscp9edmwycn6oaz X-Rspam-User: X-HE-Tag: 1732090767-640401 X-HE-Meta: U2FsdGVkX194zy2dwM2SllNc3Lbi4eDLR3vdLJUoD6To/wq8tIBpODshmsAz0lp2QgKbSs/2nAGfbezuY6NVl0jo2o419kc8St3aLWSu11ZptTUue1HUegogmopCXtz+2omT9sb1RIkGF/3Pjo0rga5Udbb75l+DA2xQucGWSgMXcO1PM0MoBE0ybzy1UzPT4lsYrxf7rrOlCIynTk8p5IFMzuqPS5SqCZnsSOJLXnf0/wAHhmLpifkPM/nTh0KHms/1hdX66P3eHGLiXT5CzKgZNCxM8OMsfKtCRZg1xZs9TQZSUoY75bZOsn/LsPbHbe49D1dy3i8qwZVKbMRF2IX2c8fcGocCIArWbRsL2W3FypHQK6SK+FzQKQeU19reRA95hAsRuWlzRYovp2LU891x4TMTgmy/jhKl/LAOceVIdSnmqrOlCScG69eR+XIv831FzAJh7E2cLnH78oiRsyEPb5Oir+PijCD20w2rCcZMiOFZnf2HDBF23QGqnsV8kRgSweTIX3VQLfWTkEB3SmOE09zRPCg3mqV+Cr6ZcTmw1JvXyNhsQVwowtObW6y8lv5hYfkXO2Z0mPLfKqAT57IA94UHKYF3xcDKqW/PXDWboomxMaMJlxRwA5BDrwW1C0lmRCHJJXODt/lY/1wDwpc3jsrNtjDujBn/0+Vsg2QSlf6OOIOGuxDX+/a/wrwvg779edsyvD1p67bnm/L5NuaywWbEMvnUcVLGTRWxa8i8vZHRQxpXY7F3dGoPC+dzSZ9iAPmoBupbQPkK1F+iI4+5iWLb7gZqHVyG/R24XoIff/EQ9IjYzH6LK9j3/Lh7yFTGUrwKR5mfIKE6MrVXWRvx2hOVtTMFV69S2rqoLC1I0+qIkAxRea5qKQ7c9FUGcXi+ZHSpkZj1dHQP7XKLRgZ87YUlhg8sgter4ieCReib1H3pSOjPbdZ1BQfm7VF7aArh1Z/nTaeMnbJG67S DXU/WFDt 51krB7B94CMxH051ZkdDqebBgrSCWmoVXkzkEE8GIAmfZlXXTW/iDlH1vJb/+PtHNk2C2d+qqseRtL/UQeEd/WDYdc3x6pyY2kgczkcJ41+gn1SRyoyKAv+eZ7Ck5TbxOO350fUBbl9NQy8dRkGBomBPjfQlxKBHQkNtB6Xk2qZGXUc4phBNFNYBLpZJWRSNljxNTJE6HBlM/ZWgL/oCVwaA1Mm9/bMlKstoLOta6Qk5A3d4E5wMLnH+Jx/5l8s5uKSGbBZdRHxQr0k0sIR0C3IzBHQ6UedjtJs7OEMb5rroSry30foInXELsajbi63uPw0AYy+E7sUYN7C+zJkGReMdq7RXWdfwcqn3guFndAedCF5/OeQSA2MGtzzhK1/cGnpGe+leRZ7QcC9Ojj6WyGZl25FfvNwnjApFmO/mRfzVWK7wIswQLeuulnhzXehkFkIrvZ2Vg528RF7m7GVF5WeAijZgH7jfi/a4SV2aMySVp873R3AyWPXxKfcnGejvSU4J5RaLdctHee7qd5ZjV7DRJJYdSNn4wAqsMlHsT79/ZQpLwyFVgPe5J1Xz/46NEzJB4 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: List-Subscribe: List-Unsubscribe: Hi Jens, CC Christian (who added the check) CC Vlastimil (who suggested the check) On Tue, Nov 19, 2024 at 11:30=E2=80=AFPM Jens Axboe wrote= : > On 11/19/24 2:46 PM, Guenter Roeck wrote: > > On 11/19/24 11:49, Jens Axboe wrote: > >> On 11/19/24 12:44 PM, Jens Axboe wrote: > >>>> On Tue, Nov 19, 2024 at 8:30?PM Jens Axboe wrote: > >>>>> On 11/19/24 12:25 PM, Geert Uytterhoeven wrote: > >>>>>> On Tue, Nov 19, 2024 at 8:10?PM Jens Axboe wrote= : > >>>>>>> On 11/19/24 12:02 PM, Geert Uytterhoeven wrote: > >>>>>>>> On Tue, Nov 19, 2024 at 8:00?PM Jens Axboe wro= te: > >>>>>>>>> On 11/19/24 10:49 AM, Geert Uytterhoeven wrote: > >>>>>>>>>> On Tue, Nov 19, 2024 at 5:21?PM Guenter Roeck wrote: > >>>>>>>>>>> On 11/19/24 08:02, Jens Axboe wrote: > >>>>>>>>>>>> On 11/19/24 8:36 AM, Guenter Roeck wrote: > >>>>>>>>>>>>> On Tue, Oct 29, 2024 at 09:16:32AM -0600, Jens Axboe wrote: > >>>>>>>>>>>>>> Doesn't matter right now as there's still some bytes left = for it, but > >>>>>>>>>>>>>> let's prepare for the io_kiocb potentially growing and add= a specific > >>>>>>>>>>>>>> freeptr offset for it. > >>>>>>>>>>>>>> > >>>>>>>>>>>>>> Signed-off-by: Jens Axboe > >>>>>>>>>>>>> > >>>>>>>>>>>>> This patch triggers: > >>>>>>>>>>>>> > >>>>>>>>>>>>> Kernel panic - not syncing: __kmem_cache_create_args: Faile= d to create slab 'io_kiocb'. Error -22 > >>>>>>>>>>>>> CPU: 0 UID: 0 PID: 1 Comm: swapper Not tainted 6.12.0-mac-0= 0971-g158f238aa69d #1 > >>>>>>>>>>>>> Stack from 00c63e5c: > >>>>>>>>>>>>> 00c63e5c 00612c1c 00612c1c 00000300 00000001 005f= 3ce6 004b9044 00612c1c > >>>>>>>>>>>>> 004ae21e 00000310 000000b6 005f3ce6 005f3ce6 ffff= ffea ffffffea 00797244 > >>>>>>>>>>>>> 00c63f20 000c6974 005ee588 004c9051 005f3ce6 ffff= ffea 000000a5 00c614a0 > >>>>>>>>>>>>> 004a72c2 0002cb62 000c675e 004adb58 0076f28a 005f= 3ce6 000000b6 00c63ef4 > >>>>>>>>>>>>> 00000310 00c63ef4 00000000 00000016 0076f23e 00c6= 3f4c 00000010 00000004 > >>>>>>>>>>>>> 00000038 0000009a 01000000 00000000 00000000 0000= 0000 000020e0 0076f23e > >>>>>>>>>>>>> Call Trace: [<004b9044>] dump_stack+0xc/0x10 > >>>>>>>>>>>>> [<004ae21e>] panic+0xc4/0x252 > >>>>>>>>>>>>> [<000c6974>] __kmem_cache_create_args+0x216/0x26c > >>>>>>>>>>>>> [<004a72c2>] strcpy+0x0/0x1c > >>>>>>>>>>>>> [<0002cb62>] parse_args+0x0/0x1f2 > >>>>>>>>>>>>> [<000c675e>] __kmem_cache_create_args+0x0/0x26c > >>>>>>>>>>>>> [<004adb58>] memset+0x0/0x8c > >>>>>>>>>>>>> [<0076f28a>] io_uring_init+0x4c/0xca > >>>>>>>>>>>>> [<0076f23e>] io_uring_init+0x0/0xca > >>>>>>>>>>>>> [<000020e0>] do_one_initcall+0x32/0x192 > >>>>>>>>>>>>> [<0076f23e>] io_uring_init+0x0/0xca > >>>>>>>>>>>>> [<0000211c>] do_one_initcall+0x6e/0x192 > >>>>>>>>>>>>> [<004a72c2>] strcpy+0x0/0x1c > >>>>>>>>>>>>> [<0002cb62>] parse_args+0x0/0x1f2 > >>>>>>>>>>>>> [<000020ae>] do_one_initcall+0x0/0x192 > >>>>>>>>>>>>> [<0075c4e2>] kernel_init_freeable+0x1a0/0x1a4 > >>>>>>>>>>>>> [<0076f23e>] io_uring_init+0x0/0xca > >>>>>>>>>>>>> [<004b911a>] kernel_init+0x0/0xec > >>>>>>>>>>>>> [<004b912e>] kernel_init+0x14/0xec > >>>>>>>>>>>>> [<004b911a>] kernel_init+0x0/0xec > >>>>>>>>>>>>> [<0000252c>] ret_from_kernel_thread+0xc/0x14 > >>>>>>>>>>>>> > >>>>>>>>>>>>> when trying to boot the m68k:q800 machine in qemu. > >>>>>>>>>>>>> > >>>>>>>>>>>>> An added debug message in create_cache() shows the reason: > >>>>>>>>>>>>> > >>>>>>>>>>>>> #### freeptr_offset=3D154 object_size=3D182 flags=3D0x310 a= ligned=3D0 sizeof(freeptr_t)=3D4 > >>>>>>>>>>>>> > >>>>>>>>>>>>> freeptr_offset would need to be 4-byte aligned but that is = not the > >>>>>>>>>>>>> case on m68k. > >>>>>>>>>>>> > >>>>>>>>>>>> Why is ->work 2-byte aligned to begin with on m68k?! > >>>>>>>>>>> > >>>>>>>>>>> My understanding is that m68k does not align pointers. > >>>>>>>>>> > >>>>>>>>>> The minimum alignment for multi-byte integral values on m68k i= s > >>>>>>>>>> 2 bytes. > >>>>>>>>>> > >>>>>>>>>> See also the comment at > >>>>>>>>>> https://elixir.bootlin.com/linux/v6.12/source/include/linux/ma= ple_tree.h#L46 > >>>>>>>>> > >>>>>>>>> Maybe it's time we put m68k to bed? :-) > >>>>>>>>> > >>>>>>>>> We can add a forced alignment ->work to be 4 bytes, won't chang= e > >>>>>>>>> anything on anything remotely current. But does feel pretty hac= ky to > >>>>>>>>> need to align based on some ancient thing. > >>>>>>>> > >>>>>>>> Why does freeptr_offset need to be 4-byte aligned? > >>>>>>> > >>>>>>> Didn't check, but it's slab/slub complaining using a 2-byte align= ed > >>>>>>> address for the free pointer offset. It's explicitly checking: > >>>>>>> > >>>>>>> /* If a custom freelist pointer is requested make sure i= t's sane. */ > >>>>>>> err =3D -EINVAL; > >>>>>>> if (args->use_freeptr_offset && > >>>>>>> (args->freeptr_offset >=3D object_size || > >>>>>>> !(flags & SLAB_TYPESAFE_BY_RCU) || > >>>>>>> !IS_ALIGNED(args->freeptr_offset, sizeof(freeptr_t)= ))) ^^^^^^ > >>>>>>> goto out; > >>>>>> > >>>>>> It is not guaranteed that alignof(freeptr_t) >=3D sizeof(freeptr_t= ) > >>>>>> (free_ptr is sort of a long). If freeptr_offset must be a multiple= of > >>>>>> 4 or 8 bytes, > >>>>>> the code that assigns it must make sure that is true. > >>>>> > >>>>> Right, this is what the email is about... > >>>>> > >>>>>> I guess this is the code in fs/file_table.c: > >>>>>> > >>>>>> .freeptr_offset =3D offsetof(struct file, f_freeptr), > >>>>>> > >>>>>> which references: > >>>>>> > >>>>>> include/linux/fs.h: freeptr_t f_freep= tr; > >>>>>> > >>>>>> I guess the simplest solution is to add an __aligned(sizeof(freept= r_t)) > >>>>>> (or __aligned(sizeof(long)) to the definition of freeptr_t: > >>>>>> > >>>>>> include/linux/slab.h:typedef struct { unsigned long v; } free= ptr_t; > >>>>> > >>>>> It's not, it's struct io_kiocb->work, as per the stack trace in thi= s > >>>>> email. > >>>> > >>>> Sorry, I was falling out of thin air into this thread... > >>>> > >>>> linux-next/master:io_uring/io_uring.c: .freeptr_offset =3D > >>>> offsetof(struct io_kiocb, work), > >>>> linux-next/master:io_uring/io_uring.c: .use_freeptr_offset = =3D true, > >>>> > >>>> Apparently io_kiocb.work is of type struct io_wq_work, not freeptr_t= ? > >>>> Isn't that a bit error-prone, as the slab core code expects a freept= r_t? > >>> > >>> It just needs the space, should not matter otherwise. But may as well > >>> just add the union and align the freeptr so it stop complaining on m6= 8k. > >> > >> Ala the below, perhaps alignment takes care of itself then? > > > > No, that doesn't work (I tried), at least not on its own, because the p= ointer > > is still unaligned on m68k. > > Yeah we'll likely need to force it. The below should work, I pressume? > Feels pretty odd to have to align it to the size of it, when that should > naturally occur... Crusty legacy archs. > > diff --git a/include/linux/io_uring_types.h b/include/linux/io_uring_type= s.h > index 593c10a02144..8ed9c6923668 100644 > --- a/include/linux/io_uring_types.h > +++ b/include/linux/io_uring_types.h > @@ -674,7 +674,11 @@ struct io_kiocb { > struct io_kiocb *link; > /* custom credentials, valid IFF REQ_F_CREDS is set */ > const struct cred *creds; > - struct io_wq_work work; > + > + union { > + struct io_wq_work work; > + freeptr_t freeptr __aligned(sizeof(freeptr_= t)); I'd rather add the __aligned() to the definition of freeptr_t, so it applies to all (future) users. But my main question stays: why is the slab code checking IS_ALIGNED(args->freeptr_offset, sizeof(freeptr_t)? Perhaps that was just intended to be __alignof__ instead of sizeof()? > + }; > > struct { > u64 extra1; > diff --git a/io_uring/io_uring.c b/io_uring/io_uring.c > index 73af59863300..86ac7df2a601 100644 > --- a/io_uring/io_uring.c > +++ b/io_uring/io_uring.c > @@ -3812,7 +3812,7 @@ static int __init io_uring_init(void) > struct kmem_cache_args kmem_args =3D { > .useroffset =3D offsetof(struct io_kiocb, cmd.data), > .usersize =3D sizeof_field(struct io_kiocb, cmd.data), > - .freeptr_offset =3D offsetof(struct io_kiocb, work), > + .freeptr_offset =3D offsetof(struct io_kiocb, freeptr), > .use_freeptr_offset =3D true, > }; Gr{oetje,eeting}s, Geert --=20 Geert Uytterhoeven -- There's lots of Linux beyond ia32 -- geert@linux-m68k= .org In personal conversations with technical people, I call myself a hacker. Bu= t when I'm talking to journalists I just say "programmer" or something like t= hat. -- Linus Torvalds