[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] [PATCH 3/8] RunState: Add additional states
From: |
Jan Kiszka |
Subject: |
Re: [Qemu-devel] [PATCH 3/8] RunState: Add additional states |
Date: |
Fri, 02 Sep 2011 16:32:25 +0200 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686 (x86_64); de; rv:1.8.1.12) Gecko/20080226 SUSE/2.0.0.12-1.1 Thunderbird/2.0.0.12 Mnenhy/0.7.5.666 |
On 2011-09-02 16:28, Luiz Capitulino wrote:
> On Thu, 01 Sep 2011 22:58:51 +0200
> Jan Kiszka <address@hidden> wrote:
>
>> On 2011-09-01 20:39, Luiz Capitulino wrote:
>>> On Thu, 01 Sep 2011 20:30:57 +0200
>>> Jan Kiszka <address@hidden> wrote:
>>>
>>>> On 2011-09-01 20:12, Luiz Capitulino wrote:
>>>>> Currently, only vm_start() and vm_stop() change the VM state.
>>>>> That's, the state is only changed when starting or stopping the VM.
>>>>>
>>>>> This commit adds the runstate_set() function, which makes it possible
>>>>> to also do state transitions when the VM is stopped or running.
>>>>>
>>>>> Additional states are also added and the current state is stored.
>>>>>
>>>>> Signed-off-by: Luiz Capitulino <address@hidden>
>>>>> ---
>>>>> cpus.c | 1 +
>>>>> migration.c | 8 +++++++-
>>>>> sysemu.h | 10 +++++++++-
>>>>> vl.c | 20 ++++++++++++++++++++
>>>>> 4 files changed, 37 insertions(+), 2 deletions(-)
>>>>>
>>>>
>>>> ...
>>>>
>>>>> diff --git a/vl.c b/vl.c
>>>>> index f0b56a4..59f71fc 100644
>>>>> --- a/vl.c
>>>>> +++ b/vl.c
>>>>> @@ -321,6 +321,22 @@ static int default_driver_check(QemuOpts *opts, void
>>>>> *opaque)
>>>>> }
>>>>>
>>>>> /***********************************************************/
>>>>> +/* QEMU state */
>>>>> +
>>>>> +static RunState current_run_state = RSTATE_NO_STATE;
>>>>> +
>>>>> +bool runstate_check(RunState state)
>>>>> +{
>>>>> + return current_run_state == state;
>>>>> +}
>>>>> +
>>>>> +void runstate_set(RunState state)
>>>>> +{
>>>>> + assert(state < RSTATE_MAX);
>>>>> + current_run_state = state;
>>>>
>>>> I still think this should check for valid state transitions instead of
>>>> blindly accepting what the caller passes in.
>>>
>>> I thought your comment where more like a future enhancement than
>>> a request for change.
>>
>> I think we want this now to document at a central place which
>> transitions are valid and which not. State machines without such checks
>> break sooner or later, subtly.
>
> Ok, I'll do it.
>
> Do you have any suggestion on the preferred way to document it?
> Should I use english or try some ascii art?
My idea is programmatic:
void runstate_set(RunState new_state)
{
switch (current_state) {
case X:
/* potential comment on why only X->Y or ... is valid */
if (new_state == Y || ...) {
break;
} else {
abort();
}
Jan
--
Siemens AG, Corporate Technology, CT T DE IT 1
Corporate Competence Center Embedded Linux
[Qemu-devel] [PATCH 2/8] Replace the VMSTOP macros with a proper state type, Luiz Capitulino, 2011/09/01
[Qemu-devel] [PATCH 4/8] Drop the incoming_expected global variable, Luiz Capitulino, 2011/09/01
[Qemu-devel] [PATCH 5/8] Drop the vm_running global variable, Luiz Capitulino, 2011/09/01
[Qemu-devel] [PATCH 8/8] HMP: info status: Print the VM state, Luiz Capitulino, 2011/09/01
[Qemu-devel] [PATCH 7/8] QMP: query-status: Introduce 'status' key, Luiz Capitulino, 2011/09/01
[Qemu-devel] [PATCH 6/8] Monitor/QMP: Don't allow cont on bad VM state, Luiz Capitulino, 2011/09/01