On Thu, Jun 16, 2022 at 9:44 AM Matthew Wilcox <willy@xxxxxxxxxxxxx> wrote:
>
> I don't want to support an address space larger than word size. I can't
> imagine any CPU vendor saying "So we have these larger registers that
> you can only use for pointers and then these smaller registers that you
> can use for data". We haven't had A/D register splits since the m68k.
> Perhaps I haven't talked to enough crazy CPU people. But if anyone does
> propose something that bad, we should laugh at them.
Yeah, the thing is, right now we have 'unsigned long' as the "wordsize".
And I want to point out that that is not about "pointers" at all, it's
about pretty much everything.
It shows up in some very core places like system call interface etc,
where "long" is in very real ways the expected register size.
So the 128-bit problem is actually much larger than just "uintptr_t",
and we have that "sizeof(long)" thing absolutely everywhere.
In fact, you can see it very much in things like this:
#if BITS_PER_LONG == 64
which you'll find all over as the "is this a 64-bit architecture".
Out bitmaps and bit fields are also all about "long" - again, entirely
unrelated to pointers.
So I agree 100% that "we will have a problem with 128-bit words".
> So how do you think we should solve the 128-bit-word-size problem?
> Leave int at 32-bit, promote long to 128-bit and get the compiler to
> add __int64 to give us a 64-bit type?
That would likely be the least painful approach, but I'm not sure it's
necessarily the right one.
Maybe we might have to introduce a "word size" type.
> The only reason I like size_t is that it's good _documentation_.
> It says "This integer is a byte count of something that's in memory".
> As opposed to being a count of sectors, blocks, pages, pointers or
> turtles.
Yes.
And yes:
> extern int bio_add_pc_page(struct request_queue *, struct bio *, struct page *,
> unsigned int, unsigned int);
We should use a lot more explicit types for flags in particular.
Partly for documentation, partly for "we could type-check these".
And in declarations it might be good to encourage use of (helpful)
argument names, in case it really is just an offset or other integer
where a type makes no sense.
Linus
