From owner-freebsd-hackers Sat Jul 1 1:56:19 2000 Delivered-To: freebsd-hackers@freebsd.org Received: from relay02.chello.nl (relay02.chello.nl [212.83.68.146]) by hub.freebsd.org (Postfix) with ESMTP id DAF2337B95A; Sat, 1 Jul 2000 01:56:11 -0700 (PDT) (envelope-from wkb@chello.nl) Received: from chello.nl ([213.46.78.184]) by relay02.chello.nl (InterMail vK.4.02.00.00 201-232-116 license 2ee4e7c625482f2f2a1950a80f6c8d58) with ESMTP id <20000701085549.RTJR26299.relay02@chello.nl>; Sat, 1 Jul 2000 10:55:49 +0200 Received: (from wkb@localhost) by chello.nl (8.9.3/8.9.3) id KAA16715; Sat, 1 Jul 2000 10:56:02 +0200 (CEST) (envelope-from wkb) Date: Sat, 1 Jul 2000 10:56:02 +0200 From: Wilko Bulte To: Poul-Henning Kamp Cc: Mike Smith , KATO Takenori , hackers@FreeBSD.ORG Subject: Re: invlpg produces strange sig11 on PentiumPro box Message-ID: <20000701105601.B16590@freebie.wbnet> Reply-To: wilko@FreeBSD.ORG References: <200007010750.AAA02229@mass.osd.bsdi.com> <8886.962438103@critter.freebsd.dk> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2i In-Reply-To: <8886.962438103@critter.freebsd.dk>; from phk@critter.freebsd.dk on Sat, Jul 01, 2000 at 09:55:03AM +0200 X-OS: FreeBSD 4.0-STABLE X-PGP: finger wilko@freebsd.org Sender: owner-freebsd-hackers@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.ORG On Sat, Jul 01, 2000 at 09:55:03AM +0200, Poul-Henning Kamp wrote: > In message <200007010750.AAA02229@mass.osd.bsdi.com>, Mike Smith writes: > >> In message <20000701012941S.kato@gneiss.eps.nagoya-u.ac.jp>, KATO Takenori writ > >> es: > >> >The invlpg instruction causes strange signal 11 problem on some > >> >PentiumPro box. This problem seems to hapen when (1) mother board is > >> >very old and (2) BIOS update is not available and (3) cpuid < 0x619. > >> > > >> >Following patch automatically disables invlpg when PentiumPro with > >> >cpuid < 0x619 is found. > >> > > >> >Please comment to this patch. > >> > >> I'm against this patch. This is so specific and marginal to a > >> out-of-spec hardware configuration, that it should not be put in > >> the FreeBSD tree. > > > >I'd disagree with that. This is just the same as the 0xf00f workaround, > >saving only in degree. If it's something that can be done as eg. a KLD > >we might want to do that instead, or through some other mechanism for > >handling these sort of CPU quirks. > > Please Mike, just because you see my name you shouldn't take a contrary > positition until you have actually looked into matters. > > Look at the first paragraph: This is for Pentium Pro cpus running > in motherboards where the BIOS does not contain the needed microcode > updates. > > The patch disables invlpg on all cpuid's < 0x619, despite the fact > that they work just fine if your motherboards BIOS have the right > microcode update for your cpu stepping. > > This hack should be maintained by the person who need it, it should > not be lobotomizing FreeBSD in general. Maybe make it conditional via an option in the kernel config file? Off by default of course. Looking at LINT/NOTES I see very obscure things for Cyrix and Bluelightning CPUs already. -- Wilko Bulte http://www.freebsd.org "Do, or do not. There is no try" wilko@freebsd.org http://www.nlfug.nl Yoda - The Empire Strikes Back To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-hackers" in the body of the message