Re: [Qemu-devel] d_off field in struct dirent and 32-on-64 emulation
From: Andreas Dilger <hidden>
Date: 2018-12-28 23:16:28
Also in:
linux-ext4, linux-fsdevel, lkml, qemu-devel
On Dec 28, 2018, at 4:18 AM, Peter Maydell [off-list ref] wrote:
On Fri, 28 Dec 2018 at 00:23, Andreas Dilger [off-list ref] wrote:quoted
On Dec 27, 2018, at 10:41 AM, Peter Maydell [off-list ref] wrote:quoted
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.quoted
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".quoted
quoted
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.
The "32bitapi" mount option would use 32-bit hash for seekdir and telldir, regardless of what kernel API was used. That would just set the FMODE_32BITHASH flag in the file->f_mode for all files. Using 32-bit directory hash values is not necessarily harmful, but it returns the possibility to hit the problem with hash collisions that previously existed before the move to 64-bit hash values. This becomes more of a problem as directory sizes increase.
quoted
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?
Well, the directory cookies need to be relatively stable over time because they are exported to applications and possibly remote nodes via NFS, so it can't be changed very much. Cheers, Andreas
Attachments
- signature.asc [application/pgp-signature] 873 bytes