From mboxrd@z Thu Jan  1 00:00:00 1970
From: Keir Fraser <keir.fraser@eu.citrix.com>
Subject: Re: domains not shutting down properly -
	theproblemisbackagain
Date: Fri, 02 Jan 2009 12:34:23 +0000
Message-ID: <C583BA4F.20AD0%keir.fraser@eu.citrix.com>
References: <AEC6C66638C05B468B556EA548C1A77D01550175@trantor>
Mime-Version: 1.0
Content-Type: text/plain;
	charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xensource.com>
In-Reply-To: <AEC6C66638C05B468B556EA548C1A77D01550175@trantor>
List-Unsubscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xensource.com>
List-Help: <mailto:xen-devel-request@lists.xensource.com?subject=help>
List-Subscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xensource.com?subject=subscribe>
Sender: xen-devel-bounces@lists.xensource.com
Errors-To: xen-devel-bounces@lists.xensource.com
To: James Harper <james.harper@bendigoit.com.au>, xen-devel@lists.xensource.com
List-Id: xen-devel@lists.xenproject.org

On 02/01/2009 11:47, "James Harper" <james.harper@bendigoit.com.au> wrote:

> send_guest_global_virq(dom0, VIRQ_DOM_EXC) gets called
> 
> Then nothing. Nothing in xend.log. What should happen next? Should the
> domain get destroyed before the backend stuff gets cleaned up, or is it
> the other way around?

I think xenstored should get kicked, run domain_cleanup() and that should
cause @releaseDomain watch to fire, which should kick xend into doing
whatever it does when a domain shuts down. If it is configured to 'destroy'
this domain on domain shutdown then indeed it should tell Xen to run
domain_kill() and it should notify backends to tear down.

 -- Keir

> I forgot to make xenstored trace so I'll run that again and see what
> that tells me