From owner-freebsd-alpha Wed Oct 11 1:50:19 2000 Delivered-To: freebsd-alpha@freebsd.org Received: from anchor-post-31.mail.demon.net (anchor-post-31.mail.demon.net [194.217.242.89]) by hub.freebsd.org (Postfix) with ESMTP id 0810337B66C for ; Wed, 11 Oct 2000 01:50:16 -0700 (PDT) Received: from nlsys.demon.co.uk ([158.152.125.33] helo=herring.nlsystems.com) by anchor-post-31.mail.demon.net with esmtp (Exim 2.12 #1) id 13jHaW-000A5D-0V; Wed, 11 Oct 2000 09:50:13 +0100 Received: from salmon.nlsystems.com (salmon.nlsystems.com [10.0.0.3]) by herring.nlsystems.com (8.9.3/8.8.8) with ESMTP id JAA44768; Wed, 11 Oct 2000 09:57:35 +0100 (BST) (envelope-from dfr@nlsystems.com) Date: Wed, 11 Oct 2000 09:49:27 +0100 (BST) From: Doug Rabson To: Andrew Gallatin Cc: freebsd-alpha@freebsd.org Subject: Re: size problems with INVARIANTS/DIAGNOSTIC -current kernels In-Reply-To: <14819.31072.8716.976218@grasshopper.cs.duke.edu> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-freebsd-alpha@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org On Tue, 10 Oct 2000, Andrew Gallatin wrote: > > Doug Rabson writes: > > > I'm sorry, I think I meant *vtopte(kmemusage). I need to look at the pte > > itself to see if its sane. > > I'm being extra dense too. > > Copyright (c) 1992-2000 The FreeBSD Project. > Copyright (c) 1979, 1980, 1983, 1986, 1988, 1989, 1991, 1992, 1993, 1994 > The Regents of the University of California. All rights reserved. > kmem_init: kmemusage = 0xfffffe0000296000 > vtopte (kmemusage) = 0xffffffff80000a58 > *(vtopte (kmemusage)) = 0x54b0003111f > > halted CPU 0 > > > But -- why should the pte be sane yet? This is before the fault, > which I thought should be the one to make it sane.. Kernel pages are generally mapped before they are used so that we don't waste time faulting and patching the pages into the map via vm_fault(). This page is managed, wired, read/writable but is set to fault on read/write/execute. This fault is simply to perform software accounting for accessed and dirty flags and is probably a red herring. We need to somehow find the fault which actually kills the machine (assuming that this isn't the one - we need to check that). -- Doug Rabson Mail: dfr@nlsystems.com Phone: +44 20 8348 6160 To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-alpha" in the body of the message