Return-Path: Received: from mail-oi1-f194.google.com ([209.85.167.194]:46346 "EHLO mail-oi1-f194.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1730887AbeL1LSb (ORCPT ); Fri, 28 Dec 2018 06:18:31 -0500 Received: by mail-oi1-f194.google.com with SMTP id x202so17092630oif.13 for ; Fri, 28 Dec 2018 03:18:30 -0800 (PST) MIME-Version: 1.0 References: <87bm56vqg4.fsf@mid.deneb.enyo.de> <9C6A7D45-CF53-4C61-B5DD-12CA0D419972@dilger.ca> In-Reply-To: <9C6A7D45-CF53-4C61-B5DD-12CA0D419972@dilger.ca> From: Peter Maydell Date: Fri, 28 Dec 2018 11:18:18 +0000 Message-ID: Subject: Re: [Qemu-devel] d_off field in struct dirent and 32-on-64 emulation To: Andreas Dilger Cc: Florian Weimer , linux-fsdevel , Linux API , Ext4 Developers List , lucho@ionkov.net, libc-alpha@sourceware.org, Arnd Bergmann , ericvh@gmail.com, hpa@zytor.com, lkml - Kernel Mailing List , QEMU Developers , rminnich@sandia.gov, v9fs-developer@lists.sourceforge.net Content-Type: text/plain; charset="UTF-8" Sender: linux-ext4-owner@vger.kernel.org List-ID: On Fri, 28 Dec 2018 at 00:23, Andreas Dilger wrote: > On Dec 27, 2018, at 10:41 AM, Peter Maydell wrote: > > As you note, this causes breakage for userspace programs which > > need to implement an API/ABI with 32-bit offset but which only > > have access to the kernel's 64-bit offset API/ABI. > > This is (IMHO) a bit of an oxymoron, isn't it? Applications using > the 64-bit API, but storing the value in a 32-bit field? I didn't say "which choose to store the value in a 32-bit field", I said "which have to implement an API/ABI which has 32-bit fields". In QEMU's case, we use the host kernel's ABI, which has 64-bit offset fields. We implement a syscall ABI for the guest binary we are running under emulation, which may have 32-bit offset fields (for instance if we are running a 32-bit Arm binary.) Both of these ABIs are fixed -- QEMU doesn't have a choice here, it just has to make the best effort it can with what the host kernel provides it, to provide the semantics the guest binary needs. My suggestion in this thread is that the host kernel provides a wider range of facilities so that QEMU can do the job it's trying to do. > The same > problem would exist for filesystems with 64-bit inodes or 64-bit > file offsets trying to store these values in 32-bit variables. > It might work most of the time, but it can also break randomly. In general inodes and offsets start from 0 and work up -- so almost all of the time they don't actually overflow. The problem with ext4 directory hash "offsets" is that they overflow all the time and immediately, so instead of "works unless you have a weird edge case" like all the other filesystems, it's "never works". > > I think the best fix for this would be for the kernel to either > > (a) consistently use a 32-bit hash or (b) to provide an API > > so that userspace can use the FMODE_32BITHASH flag the way > > that kernel-internal users already can. > > It would be relatively straight forward to add a "32bitapi" mount > option to return a 32-bit directory hash to userspace for operations > on that mountpoint (ext4 doesn't have 64-bit inode numbers yet). > However, I can't think of an easy way to do this on a per-process > basis without just having it call the 32-bit API directly. The problem is that there is no 32-bit API in some cases (unless I have misunderstood the kernel code) -- not all host architectures implement compat syscalls or allow them to be called from 64-bit processes or implement all the older syscall variants that had smaller offets. If there was a guaranteed "this syscall always exists and always gives me 32-bit offsets" we could use it. > For ext4 at least, you could just shift the high 32-bit part of > the 64-bit hash down into a 32-bit value in telldir(), and > shift it back up when seekdir() is called. Yes, that has been suggested, but it seemed a bit dubious to bake in knowledge of ext4's internal implementation details. Can we rely on this as an ABI promise that will always work for all versions of all file systems going forwards? thanks -- PMM