Re: [PATCH] qemu: Resolve agent deadlock

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 




On 10/27/2015 01:00 AM, Peter Krempa wrote:
> On Mon, Oct 26, 2015 at 17:28:57 -0400, John Ferlan wrote:
>>
>>
>> On 10/26/2015 11:37 AM, Peter Krempa wrote:
>>> On Mon, Oct 26, 2015 at 11:06:21 -0400, John Ferlan wrote:
>>>> If we have a shutdown of a VM by a qemu agent while an agent EOF occurs
>>>> at relatively the same time, it's possible that a deadlock occurs depending
>>>> on what happens first.
>>>>
>>>> Assume qemuProcessHandleAgentEOF runs first, with the vm->lock it clears
>>>> priv->agent, then clears the vm->lock.
>>>
>>> Couldn't we make sure, that qemuProcessHandleAgentEOF clears priv->agent
>>> if and only if it removed the last reference?
>>
>> reference to?  agent?  vm?  via?
> 
> Since all of this is refering to the agent I was refering to it too.
> 

Difficult to be 100% certain from just your comment - no context and no
suggestion for a way to handle this. There is a reference on the vm once
an agent is connected...

>> qemuConnectAgent/qemuAgentOpen takes out a reference to the agent. That
>> is un-referenced by qemuAgentClose. The EnterAgent takes out a reference
>> which is un-referenced during ExitAgent. Adding a new reference just for
>> EOF processing doesn't solve the problem.
>>
>> EOF doesn't do an agent-unlock, it does a vm-lock/unlock, and calls
>> qemuAgentClose which will attempt an agent-lock. The agent may be locked
>> by some other thread and it needs to wait until that reference is cleared.
>>
>> Adding some sort of unref-agent check logic in EOF similar to ExitAgent
>> feels like it'll cause other issues. It seems "backwards" to remove the
>> last reference and avoid everything else that qemuCloseAgent does.
>>
>> I think logically if some sort of unref-agent check logic was added,
>> then qemuCloseAgent could not be called from either EOF or ExitAgent.
>> >From EOF, if the current thread was the last one, then the agent is
>> free'd so qemuCloseAgent shouldn't be called. If the current thread
>> wasn't the last one, then we'd have to wait for the last reference check
>> in ExitAgent, but once that is done, the agent is freed and thus
>> qemuCloseAgent shouldn't be called.
> 
> I wanted to point out that since we do have the 'EnterAgent' and
> 'ExitAgent' helpers, they should be used to do any kind of logic
> required to do the locking and it should not be necessary at any point
> to copy the pointer to priv->agent. Otherwise it creates a really ugly
> usage pattern which requires a separate variable and basically defeats
> the Enter/Exit pattern we use anywhere else.
> 
> Doing so probably will increase the complexity of either the helpers or
> the closing function, but the complexity will not be exposed in a
> repeated pattern through the code. Since we already have the helpers, we
> should use them and not clutter the rest of the code.
> 

Fair enough... I guess I find it "odd" to access a structure after we've
removed the lock on it, while other code/threads can modify that field.
Since the only access is the one thing that was locked/reffed (eg
priv->agent or in the Enter/Exit Monitor cases priv->mon), then for
99.9% of the time it's fine. The 0.1% is a timing window where
priv->agent (or priv->mon) could be set to NULL by a EOF some time after
EnterAgent has increased the ref on priv->agent.

Looking at the ExitMonitor code compared to the ExitAgent code - it
would seem logically ExitMonitor could have the same issue - that is
priv->mon could be set to NULL in it's EOF path during qemuProcessStop,
but that code is headed towards qemuProcessKill and there's many more
instructions that need to be executed before perhaps an ExitMonitor
would run in a separate thread. NB: I had only a brief look at the
ExitMonitor/EOFMonitor logic. If somehow the EOF thread gets all the way
to the "if (priv->mon) qemuMonitorClose(priv->mon); priv->mon = NULL;"
code before the ExitMonitor thread can ObjectUnref(priv->mon), then it
seems we'd have a similar scenario (unlikely, but possible).

> One other option worth checking is moving the stuff happening in
> qemuAgentClose into the destructor for the agent object
> (qemuAgentDispose) which would then auto-call it in the case where
> you remove the last reference. I didn't check thoroughly enough though
> to see whether it's possible.
> 

That seems risky, IMO... It also doesn't solve the issue where the vm's
priv->agent gets set to NULL by the EOF code and the ExitAgent code
cannot Unlock.

So if the problem is that EOF clears priv->agent before calling
qemuAgentClose(), then what happens if we remove (or move) that
clearing? Well, qemuAgentClose will attempt to get the agent-lock, but
needs to wait for the unlock. When ExitAgent is active it executes it's
Unref and Unlock, but will never have the case of !hasRefs. Once it
unlocks the agent, qemuAgentClose code does it's thing and upon return
could set priv->agent = NULL (inside a vm-lock/unlock). However, that
leaves a window where the agent is free'd, but priv->agent isn't NULL.
That's a problem during qemuDomainSetVcpusFlags where the agent is
accessed twice without checking the second if the agent was still
available. Although that's resolvable with another AgentAvailable check
and perhaps some logic to ascertain during EOF if we were in an inAgent
Enter/Exit window.

John

--
libvir-list mailing list
libvir-list@xxxxxxxxxx
https://www.redhat.com/mailman/listinfo/libvir-list



[Index of Archives]     [Virt Tools]     [Libvirt Users]     [Lib OS Info]     [Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Big List of Linux Books]     [Yosemite News]     [KDE Users]     [Fedora Tools]