Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 27 Mar 2002 12:12:37 +0000
From:      Hiten Pandya <hiten@uk.FreeBSD.org>
To:        current@FreeBSD.org
Subject:   WITNESS messages in Mar 21 Kernel
Message-ID:  <20020327121237.A767@hpdi.ath.cx>

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

--EuxKj2iCbKjpUGkD
Content-Type: multipart/mixed; boundary="vtzGhvizbBRQ85DL"
Content-Disposition: inline


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

Hi All,

I have been getting a witness message every now and then, which someone
might be interested to have a look at:

	witness_get: witness exhausted

I am currently trying to trace this out, but maybe someone already knows
why it is being generated.  I didn't get this message before the Thu Mar
21 kernel.  I am attaching my uname output below, with my kernel config
file, if someone is interested.

FreeBSD hpdi.ath.cx 5.0-CURRENT FreeBSD 5.0-CURRENT #2: Thu Mar 21 20:05:18=
 GMT 2002     hitenp@hpdi.ath.cx:/c1/obj/data/dev/src/sys/CURRENT5  i386

Thanks,
Regards,

--=20
Hiten Pandya
http://jfs4bsd.sf.net - JFS for FreeBSD (JFS4BSD)
http://www.FreeBSD.org - The Power to Serve

Public Key: http://www.pittgoth.com/~hiten/pubkey.asc
--- 4FB9 C4A9 4925 CF97 9BF3  ADDA 861D 5DBD E4E3 03C3 ---

--vtzGhvizbBRQ85DL
Content-Type: text/plain; charset=us-ascii
Content-Disposition: attachment; filename=CURRENT5

# -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		4

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

options		DEVICE_POLLING		#Polling support on devices
#options		DEBUG_VFS_LOCKS		#VFS locks debugging
#options		VFS_BIO_DEBUG		#Buffer I/O debugging
#options		SHOW_BUSYBUFS		#Show busy buffers preventing unmount
options		IPFILTER		#IPFilter Support
options		BRIDGE			#Bridging support

options		UFS_DIRHASH		#DIRHASH Support for Kernel
options		COMPAT_LINUX		#Linux Compatibility
# options		DEBUG_LINUX		#Debug Linux Binaries
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 	UCONSOLE		#Allow users to grab the console
#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	#Extra sanity checks of internal structures, required by INVARIANTS
options 	WITNESS			#Enable mutex checks to detect deadlocks and cycles
options		MUTEX_DEBUG		#Debug Mutexes

# Miscelleneous Options
options		REGRESSION		#Regression Testing (needed!)
options		PERFMON			#Pentium Pro! Perfmon(4) Code
options		FDC_DEBUG		#Debug Floppy Controller Code
options		DONTPROBE_1284

# To make an SMP kernel, the next two are needed
#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 BIOS"

# 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)
device		rl		# Realtek Support

# 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

--vtzGhvizbBRQ85DL--

--EuxKj2iCbKjpUGkD
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

iD8DBQE8obc0hh1dveTjA8MRAru3AJ9uuxMwJJoh6B/iiawnkW6eQ3M6MgCg3dh/
naK/t4CfKjWNbzBuHf8WGrA=
=Wr9C
-----END PGP SIGNATURE-----

--EuxKj2iCbKjpUGkD--

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?20020327121237.A767>