From mboxrd@z Thu Jan  1 00:00:00 1970
From: Grzegorz Milos <gm281@cam.ac.uk>
Subject: Re: Re: Mini-OS in dom0 - virtual memory problems
Date: Thu, 01 Feb 2007 01:06:58 +0100
Message-ID: <45C12F22.5020507@cam.ac.uk>
References: <epaci3$o96$1@sea.gmane.org> <45BFBD2A.5060509@cam.ac.uk>
	<epqsah$50f$1@sea.gmane.org>
Mime-Version: 1.0
Content-Type: multipart/mixed; boundary="------------090607010908010506060803"
Return-path: <xen-devel-bounces@lists.xensource.com>
In-Reply-To: <epqsah$50f$1@sea.gmane.org>
List-Unsubscribe: <http://lists.xensource.com/cgi-bin/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/cgi-bin/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: Julian Stecklina <der_julian@web.de>
Cc: xen-devel@lists.xensource.com
List-Id: xen-devel@lists.xenproject.org

This is a multi-part message in MIME format.
--------------090607010908010506060803
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit

>> Mini-OS assumes that the start of the text section is also the 
>> beginning of virtual address space[1]. However, it is generally bad 
>> idea not to start virtual address space at 4Mb boundary. The easiest 
>> way to fix your problem is to move text to 0xc0000000 or 0xc0400000. 
>> More extensive fix, which decouples VIRT_START from &_text is also 
>> possible, but I don't see a reason why it would be needed. Instead 
>> I've included a runtime check. Keir could you apply the patch?
> 
> I changed the beginning of text to 0xC0000000 and the page table setup 
> seems to work, as does the rest of Mini-OS (except XenBus of course). 
> Thank you very much!

There was indeed a XenBus bug, where request structures wouldn't be 
marked as free (Keir could you apply the attached patch?), however I 
don't think that's what you are referring to. What problems do you observe?

Cheers
Gregor

--------------090607010908010506060803
Content-Type: text/plain;
 name="mini-os.patch"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline;
 filename="mini-os.patch"

diff -r 34ab61cd89bb extras/mini-os/xenbus/xenbus.c
--- a/extras/mini-os/xenbus/xenbus.c	Tue Jan 30 21:26:45 2007 +0000
+++ b/extras/mini-os/xenbus/xenbus.c	Wed Jan 31 23:57:41 2007 +0000
@@ -178,6 +178,7 @@ static void release_xenbus_id(int id)
     BUG_ON(!req_info[id].in_use);
     spin_lock(&req_lock);
     nr_live_reqs--;
+    req_info[id].in_use = 0;
     if (nr_live_reqs == NR_REQS - 1)
         wake_up(&req_wq);
     spin_unlock(&req_lock);
@@ -212,6 +213,7 @@ static int allocate_xenbus_id(void)
     probe = o_probe + 1;
     spin_unlock(&req_lock);
     init_waitqueue_head(&req_info[o_probe].waitq);
+
     return o_probe;
 }
 

--------------090607010908010506060803
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xensource.com
http://lists.xensource.com/xen-devel

--------------090607010908010506060803--