[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v1 04/10] linux-user: completely re-write init_guest_space
From: |
Alex Bennée |
Subject: |
Re: [PATCH v1 04/10] linux-user: completely re-write init_guest_space |
Date: |
Thu, 21 May 2020 09:21:34 +0100 |
User-agent: |
mu4e 1.4.6; emacs 28.0.50 |
Thomas Huth <address@hidden> writes:
> On 13/05/2020 19.51, Alex Bennée wrote:
>> First we ensure all guest space initialisation logic comes through
>> probe_guest_base once we understand the nature of the binary we are
>> loading. The convoluted init_guest_space routine is removed and
>> replaced with a number of pgb_* helpers which are called depending on
>> what requirements we have when loading the binary.
>>
>> We first try to do what is requested by the host. Failing that we try
>> and satisfy the guest requested base address. If all those options
>> fail we fall back to finding a space in the memory map using our
>> recently written read_self_maps() helper.
>>
>> There are some additional complications we try and take into account
>> when looking for holes in the address space. We try not to go directly
>> after the system brk() space so there is space for a little growth. We
>> also don't want to have to use negative offsets which would result in
>> slightly less efficient code on x86 when it's unable to use the
>> segment offset register.
>>
>> Less mind-binding gotos and hopefully clearer logic throughout.
>>
>> Signed-off-by: Alex Bennée <address@hidden>
>> Acked-by: Laurent Vivier <address@hidden>
<snip>
>> + } else {
>> + if ((guest_hiaddr - guest_base) > ~(uintptr_t)0) {
>> + error_report("%s: requires more virtual address space "
>> + "than the host can provide (0x%" PRIx64 ")",
>> + image_name, (uint64_t)guest_hiaddr - guest_base);
>> + exit(EXIT_FAILURE);
>> }
>
> Hi Alex,
>
> this causes an error with newer versions of Clang:
>
> linux-user/elfload.c:2076:41: error: result of comparison 'unsigned
> long' > 18446744073709551615 is always false
> [-Werror,-Wtautological-type-limit-compare]
> 4685 if ((guest_hiaddr - guest_base) > ~(uintptr_t)0) {
> 4686 ~~~~~~~~~~~~~~~~~~~~~~~~~~~ ^ ~~~~~~~~~~~~~
> 4687 1 error generated.
>
> Any ideas how to fix this?
I guess this check only makes sense when abi_ulong > uintptr_t or IOW 64
bit guests running on 32 bit hosts. We could just wrap that check in:
#if HOST_LONG_BITS == 32
#endif
>
> Thomas
--
Alex Bennée
- [PATCH v1 00/10] testing and tcg tweaks, Alex Bennée, 2020/05/13
- [PATCH v1 02/10] travis.yml: Improve the --disable-tcg test on s390x, Alex Bennée, 2020/05/13
- [PATCH v1 01/10] tests/guest-debug: catch hanging guests, Alex Bennée, 2020/05/13
- [PATCH v1 03/10] tests/docker: Kludge <linux/swab.h> breakage by pinning linux-libc-dev, Alex Bennée, 2020/05/13
- [PATCH v1 05/10] exec/cpu-all: Use bool for have_guest_base, Alex Bennée, 2020/05/13
- [PATCH v1 07/10] accel/tcg: don't disable exec_tb trace events, Alex Bennée, 2020/05/13
- [PATCH v1 04/10] linux-user: completely re-write init_guest_space, Alex Bennée, 2020/05/13
[PATCH v1 06/10] accel/tcg: Relax va restrictions on 64-bit guests, Alex Bennée, 2020/05/13
[PATCH v1 09/10] disas: add optional note support to cap_disas, Alex Bennée, 2020/05/13
[PATCH v1 10/10] translate-all: include guest address in out_asm output, Alex Bennée, 2020/05/13
[PATCH v1 08/10] disas: include an optional note for the start of disassembly, Alex Bennée, 2020/05/13