Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 24 Apr 2002 22:46:52 +0100
From:      Hiten Pandya <hiten@uk.FreeBSD.org>
To:        des@ofug.org
Cc:        current@FreeBSD.org
Subject:   Spin lock (?) problems with MUTEX_PROFILING
Message-ID:  <20020424224652.A284@hpdi.ath.cx>

next in thread | raw e-mail | index | archive | help

--da4uJneut+ArUgXk
Content-Type: multipart/mixed; boundary="l76fUT7nc3MelDdI"
Content-Disposition: inline


--l76fUT7nc3MelDdI
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

Hi all,

I am not generating a false alarm, but I compiled a fresh kernel
yesterday with the MUTEX_PROFILING option, and it just went haywire just
after the FreeBSD copyright messages and the build info:

	[ Copyright Info ]
	[ Build Information ]
	panic: spin lock mutex profiling lock not in order list

I had no idea how to debug this, so I am sending it to the -current list
and cc'ing a copy to DES.  I am also attaching my kernel configuration
file for reference purposes.

Thanks

--=20
Hiten Pandya
http://storm.uk.FreeBSD.org/~hiten
Finger hiten@storm.uk.FreeBSD.org for PGP public key
-- 4FB9 C4A9 4925 CF97 9BF3  ADDA 861D 5DBD E4E3 03C3=20

--l76fUT7nc3MelDdI
Content-Type: text/plain; charset=us-ascii
Content-Disposition: attachment; filename=CURRENT5
Content-Transfer-Encoding: quoted-printable

# -current Kernel Configuration file
# Hiten Pandya

machine		i386
cpu		I686_CPU
ident		CURRENT5
maxusers	500

#To statically compile in device wiring instead of /boot/device.hints
#hints		"GENERIC.hints"		#Default places to look for devices.
profile		2

makeoptions	DEBUG=3D-g		#Build kernel with gdb(1) debug symbols

options		DEVICE_POLLING		#Polling support on devices

options		UFS_DIRHASH		#DIRHASH Support for Kernel
options		COMPAT_LINUX		#Linux Compatibility
options		PERFMON			#Performance Monitories
options		VESA			#Large Splash Screen Support
options 	INET			#InterNETworking
options 	FFS			#Berkeley Fast Filesystem
options 	SOFTUPDATES		#Enable FFS soft updates support
options 	MD_ROOT			#MD is a potential root device
options 	MSDOSFS			#MSDOS Filesystem
options 	CD9660			#ISO 9660 Filesystem

options		PSEUDOFS		#New PROCFS Framework dependancy!
options 	PROCFS			#Process filesystem

options 	COMPAT_43		#Compatible with BSD 4.3 [KEEP THIS!]
#options 	USERCONFIG		#boot -c editor
#options 	VISUAL_USERCONFIG	#visual boot -c editor
options 	KTRACE			#ktrace(1) support
options 	SYSVSHM			#SYSV-style shared memory
options 	SYSVMSG			#SYSV-style message queues
options 	SYSVSEM			#SYSV-style semaphores
options 	P1003_1B		#Posix P1003_1B real-time extensions
options 	_KPOSIX_PRIORITY_SCHEDULING
options 	KBD_INSTALL_CDEV	# install a CDEV entry in /dev

# Debugging for use in -current
options 	DDB			#Enable the kernel debugger
options 	INVARIANTS		#Enable calls of extra sanity checking
options 	INVARIANT_SUPPORT	#Exta sanity checking.
options 	WITNESS			#Enable mutex checks to detect.=20
options		MUTEX_DEBUG		#Debug Mutexes
options		MUTEX_PROFILING		#Mutex Profiling

# Miscelleneous Options
options		REGRESSION		#Regression Testing (needed!)
options		DONTPROBE_1284

#options 	SMP			# Symmetric MultiProcessor Kernel
#options 	APIC_IO			# Symmetric (APIC) I/O

device		isa
device		eisa
device		pci
options 	PCI_ENABLE_IO_MODES	# Enable pci resources left off by a "lazy BIO=
S"

# Floppy drives
device		fdc

# ATA and ATAPI devices
device		ata
device		atadisk			# ATA disk drives
device		atapicd			# ATAPI CDROM drives
device		atapifd			# ATAPI floppy drives
options 	ATA_STATIC_ID		# Static device numbering

# atkbdc0 controls both the keyboard and the PS/2 mouse
device		atkbdc	1	# At keyboard controller
device		atkbd		# at keyboard
device		psm		# psm mouse

device		vga		# VGA screen

# splash screen/screen saver
device		splash
device		sc		# SysCon Device

device		npx		# Floating Point Device (not to disable!)
device		apm		# Power Managment Support
device		pmtimer		# Suspend/Resume Timer

# Serial (COM) ports
#device		sio		# 8250, 16[45]50 based serial ports

# Parallel port
device		ppc
device		ppbus		# Parallel port bus (required)
device		lpt		# Printer
device		ppi		# Parallel port interface device
#device		vpo		# Requires scbus and da

device		miibus		# MII bus support
device		fxp		# Intel EtherExpress PRO/100B (82557, 82558)

# Pseudo devices - the number indicates how many units to allocate.
device		random		# Entropy device (Strong Cryptography!)
device		loop		# Network loopback
device		ether		# Ethernet support
device		pty		# Pseudo-ttys (telnet etc)
device		md		# Memory "disks"
device		bpf		# Berkeley packet filter

--l76fUT7nc3MelDdI--

--da4uJneut+ArUgXk
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (FreeBSD)
Comment: For info see http://www.gnupg.org

iD8DBQE8xyfLhh1dveTjA8MRAqOTAKCSy/EKhQvYEbJEZzlAg/AgGKRLagCgxKsO
AzPaabve8S/skEwsiZktRWs=
=7BRf
-----END PGP SIGNATURE-----

--da4uJneut+ArUgXk--

To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-current" in the body of the message




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20020424224652.A284>