[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v1 0/5] target/arm/kvm: Provide an option to adjust virtual t
From: |
Andrea Bolognani |
Subject: |
Re: [PATCH v1 0/5] target/arm/kvm: Provide an option to adjust virtual time |
Date: |
Tue, 10 Dec 2019 15:21:02 +0100 |
User-agent: |
Evolution 3.34.2 (3.34.2-1.fc31) |
On Tue, 2019-12-10 at 14:32 +0100, Andrew Jones wrote:
> After having done this git mining, it looks more and more like we should
> at least consider naming this feature 'kvm-no-adjvtime' and probably
> also change arm's default.
I agree with everything except the naming: why would
kvm-no-adjvtime=off vtime is adjusted (default)
kvm-no-adjvtime=on vtime is not adjusted
be better than
kvm-adjvtime=on vtime is adjusted (default)
kvm-adjvtime=off vtime is not adjusted
? Both offer the exact same amount of flexibility, but the latter has
the advantage of not introducing any unwieldy double negatives.
--
Andrea Bolognani / Red Hat / Virtualization
- Re: [PATCH v1 0/5] target/arm/kvm: Provide an option to adjust virtual time, Peter Maydell, 2019/12/06
- Re: [PATCH v1 0/5] target/arm/kvm: Provide an option to adjust virtual time, Andrew Jones, 2019/12/06
- Re: [PATCH v1 0/5] target/arm/kvm: Provide an option to adjust virtual time, Andrea Bolognani, 2019/12/10
- Re: [PATCH v1 0/5] target/arm/kvm: Provide an option to adjust virtual time, Peter Maydell, 2019/12/10
- Re: [PATCH v1 0/5] target/arm/kvm: Provide an option to adjust virtual time, Andrew Jones, 2019/12/10
- Re: [PATCH v1 0/5] target/arm/kvm: Provide an option to adjust virtual time, Peter Maydell, 2019/12/10
- Re: [PATCH v1 0/5] target/arm/kvm: Provide an option to adjust virtual time, Andrew Jones, 2019/12/10
- Re: [PATCH v1 0/5] target/arm/kvm: Provide an option to adjust virtual time,
Andrea Bolognani <=
- Re: [PATCH v1 0/5] target/arm/kvm: Provide an option to adjust virtual time, Andrew Jones, 2019/12/10
- Re: [PATCH v1 0/5] target/arm/kvm: Provide an option to adjust virtual time, Andrea Bolognani, 2019/12/10
- Re: [PATCH v1 0/5] target/arm/kvm: Provide an option to adjust virtual time, Andrew Jones, 2019/12/10
- Re: [PATCH v1 0/5] target/arm/kvm: Provide an option to adjust virtual time, Andrea Bolognani, 2019/12/10
- Re: [PATCH v1 0/5] target/arm/kvm: Provide an option to adjust virtual time, Peter Maydell, 2019/12/10
Re: [PATCH v1 0/5] target/arm/kvm: Provide an option to adjust virtual time, Guoheyi, 2019/12/11