Re: df reports negative available space on large filesystem

2006-10-19 Thread Otto Moerbeek
On Wed, 18 Oct 2006, Derick Siddoway wrote:

 This is what I see:
  [EMAIL PROTECTED]:~$ df
  Filesystem512-blocks  Used Avail Capacity  Mounted 
  on
  /dev/wd0a   74826724  27903788  4318160039%/
  se-nas01:/fs04/prodstfs01 4181818080 1654186208 -176733542440%/data
  [EMAIL PROTECTED]:~$ df -h
  Filesystem   SizeUsed   Avail Capacity  Mounted on
  /dev/wd0a   35.7G   13.3G   20.6G39%/
  se-nas01:/fs04/prodstfs011.9T789G   -843G40%/data
  [EMAIL PROTECTED]:~$ 
 
 The archives show that this was reported (at least) once before, but
 was fixed in 3.7.  Maybe I missed a memo.

iirc, that fix was for local filesystems. nfs filesystems is something
different  See
http://cvs.openbsd.org/cgi-bin/query-pr-wrapper?full=yesnumbers=5169

Fixing this one if quite inolved.

-Otto

 dmesg follows:
 
 OpenBSD 3.9 (GENERIC.MP) #598: Thu Mar  2 02:37:06 MST 2006
 [EMAIL PROTECTED]:/usr/src/sys/arch/i386/compile/GENERIC.MP
 cpu0: Intel(R) Pentium(R) 4 CPU 3.00GHz (GenuineIntel 686-class) 3 GHz
 cpu0: 
 FPU,V86,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CFLUSH,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,SBF,SSE3,MWAIT,CNXT-ID
 real mem  = 1071689728 (1046572K)
 avail mem = 971124736 (948364K)
 using 4278 buffers containing 53686272 bytes (52428K) of memory
 mainbus0 (root)
 bios0 at mainbus0: AT/286+(00) BIOS, date 01/21/05, BIOS32 rev. 0 @ 0xffe90
 apm0 at bios0: Power Management spec V1.2
 apm0: AC on, battery charge unknown
 apm0: flags 30102 dobusy 0 doidle 1
 pcibios0 at bios0: rev 2.1 @ 0xf/0x1
 pcibios0: PCI IRQ Routing Table rev 1.0 @ 0xfeae0/160 (8 entries)
 pcibios0: PCI Interrupt Router at 000:31:0 (Intel 82801EB/ER LPC rev 0x00)
 pcibios0: PCI bus #1 is the last bus
 bios0: ROM list: 0xc/0xa800 0xca800/0x1800! 0xcc000/0xe800 0xda800/0x1800
 mainbus0: Intel MP Specification (Version 1.4) (DELL Opti 170L   )
 cpu0 at mainbus0: apid 0 (boot processor)
 cpu0: apic clock running at 199 MHz
 mainbus0: bus 0 is type PCI   
 mainbus0: bus 1 is type PCI   
 mainbus0: bus 2 is type ISA   
 ioapic0 at mainbus0: apid 2 pa 0xfec0, version 20, 24 pins
 ioapic0: misconfigured as apic 0, remapped to apic 2
 pci0 at mainbus0 bus 0: configuration mode 1 (no bios)
 pchb0 at pci0 dev 0 function 0 Intel 82865G/PE/P CPU-I/0-1 rev 0x02
 vga1 at pci0 dev 2 function 0 Intel 82865G Video rev 0x02: aperture at 
 0xe800, size 0x800
 wsdisplay0 at vga1 mux 1: console (80x25, vt100 emulation)
 wsdisplay0: screen 1-5 added (80x25, vt100 emulation)
 uhci0 at pci0 dev 29 function 0 Intel 82801EB/ER USB rev 0x02: apic 2 int 
 16 (irq 11)
 usb0 at uhci0: USB revision 1.0
 uhub0 at usb0
 uhub0: Intel UHCI root hub, rev 1.00/1.00, addr 1
 uhub0: 2 ports with 2 removable, self powered
 uhci1 at pci0 dev 29 function 1 Intel 82801EB/ER USB rev 0x02: apic 2 int 
 19 (irq 10)
 usb1 at uhci1: USB revision 1.0
 uhub1 at usb1
 uhub1: Intel UHCI root hub, rev 1.00/1.00, addr 1
 uhub1: 2 ports with 2 removable, self powered
 uhci2 at pci0 dev 29 function 3 Intel 82801EB/ER USB rev 0x02: apic 2 int 
 16 (irq 11)
 usb2 at uhci2: USB revision 1.0
 uhub2 at usb2
 uhub2: Intel UHCI root hub, rev 1.00/1.00, addr 1
 uhub2: 2 ports with 2 removable, self powered
 ehci0 at pci0 dev 29 function 7 Intel 82801EB/ER USB2 rev 0x02: apic 2 int 
 23 (irq 9)
 usb3 at ehci0: USB revision 2.0
 uhub3 at usb3
 uhub3: Intel EHCI root hub, rev 2.00/1.00, addr 1
 uhub3: 8 ports with 8 removable, self powered
 ppb0 at pci0 dev 30 function 0 Intel 82801BA AGP rev 0xc2
 pci1 at ppb0 bus 1
 fxp0 at pci1 dev 8 function 0 Intel PRO/100 VE rev 0x02, i82562: apic 2 int 
 20 (irq 10), address 00:16:76:13:ef:d6
 inphy0 at fxp0 phy 1: i82562ET 10/100 PHY, rev. 0
 ichpcib0 at pci0 dev 31 function 0 Intel 82801EB/ER LPC rev 0x02
 pciide0 at pci0 dev 31 function 1 Intel 82801EB/ER IDE rev 0x02: DMA, 
 channel 0 configured to compatibility, channel 1 configured to compatibility
 wd0 at pciide0 channel 0 drive 0: WDC WD400BB-75JHC0
 wd0: 16-sector PIO, LBA, 38146MB, 78125000 sectors
 wd0(pciide0:0:0): using PIO mode 4, Ultra-DMA mode 5
 atapiscsi0 at pciide0 channel 1 drive 0
 scsibus0 at atapiscsi0: 2 targets
 cd0 at scsibus0 targ 0 lun 0: TSSTcorp, CD-ROM TS-H192C, DE00 SCSI0 5/cdrom 
 removable
 cd0(pciide0:1:0): using PIO mode 4, Ultra-DMA mode 2
 pciide1 at pci0 dev 31 function 2 Intel 82801EB SATA rev 0x02: DMA, channel 
 0 configured to native-PCI, channel 1 configured to native-PCI
 pciide1: using apic 2 int 18 (irq 5) for native-PCI interrupt
 ichiic0 at pci0 dev 31 function 3 Intel 82801EB/ER SMBus rev 0x02: apic 2 
 int 17 (irq 3)
 iic0 at ichiic0
 unknown at iic0 addr 0x18 not configured
 auich0 at pci0 dev 31 function 5 Intel 82801EB/ER AC97 rev 0x02: apic 2 int 
 17 (irq 3), ICH5 AC97
 ac97: codec id 0x41445370 (Analog Devices AD1980)
 ac97: codec features headphone, 20 bit DAC, No 3D Stereo
 audio0 at auich0
 isa0 

df reports negative available space on large filesystem

2006-10-18 Thread Derick Siddoway
This is what I see:
 [EMAIL PROTECTED]:~$ df
 Filesystem512-blocks  Used Avail Capacity  Mounted on
 /dev/wd0a   74826724  27903788  4318160039%/
 se-nas01:/fs04/prodstfs01 4181818080 1654186208 -176733542440%/data
 [EMAIL PROTECTED]:~$ df -h
 Filesystem   SizeUsed   Avail Capacity  Mounted on
 /dev/wd0a   35.7G   13.3G   20.6G39%/
 se-nas01:/fs04/prodstfs011.9T789G   -843G40%/data
 [EMAIL PROTECTED]:~$ 

The archives show that this was reported (at least) once before, but
was fixed in 3.7.  Maybe I missed a memo.
dmesg follows:

OpenBSD 3.9 (GENERIC.MP) #598: Thu Mar  2 02:37:06 MST 2006
[EMAIL PROTECTED]:/usr/src/sys/arch/i386/compile/GENERIC.MP
cpu0: Intel(R) Pentium(R) 4 CPU 3.00GHz (GenuineIntel 686-class) 3 GHz
cpu0: 
FPU,V86,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CFLUSH,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,SBF,SSE3,MWAIT,CNXT-ID
real mem  = 1071689728 (1046572K)
avail mem = 971124736 (948364K)
using 4278 buffers containing 53686272 bytes (52428K) of memory
mainbus0 (root)
bios0 at mainbus0: AT/286+(00) BIOS, date 01/21/05, BIOS32 rev. 0 @ 0xffe90
apm0 at bios0: Power Management spec V1.2
apm0: AC on, battery charge unknown
apm0: flags 30102 dobusy 0 doidle 1
pcibios0 at bios0: rev 2.1 @ 0xf/0x1
pcibios0: PCI IRQ Routing Table rev 1.0 @ 0xfeae0/160 (8 entries)
pcibios0: PCI Interrupt Router at 000:31:0 (Intel 82801EB/ER LPC rev 0x00)
pcibios0: PCI bus #1 is the last bus
bios0: ROM list: 0xc/0xa800 0xca800/0x1800! 0xcc000/0xe800 0xda800/0x1800
mainbus0: Intel MP Specification (Version 1.4) (DELL Opti 170L   )
cpu0 at mainbus0: apid 0 (boot processor)
cpu0: apic clock running at 199 MHz
mainbus0: bus 0 is type PCI   
mainbus0: bus 1 is type PCI   
mainbus0: bus 2 is type ISA   
ioapic0 at mainbus0: apid 2 pa 0xfec0, version 20, 24 pins
ioapic0: misconfigured as apic 0, remapped to apic 2
pci0 at mainbus0 bus 0: configuration mode 1 (no bios)
pchb0 at pci0 dev 0 function 0 Intel 82865G/PE/P CPU-I/0-1 rev 0x02
vga1 at pci0 dev 2 function 0 Intel 82865G Video rev 0x02: aperture at 
0xe800, size 0x800
wsdisplay0 at vga1 mux 1: console (80x25, vt100 emulation)
wsdisplay0: screen 1-5 added (80x25, vt100 emulation)
uhci0 at pci0 dev 29 function 0 Intel 82801EB/ER USB rev 0x02: apic 2 int 16 
(irq 11)
usb0 at uhci0: USB revision 1.0
uhub0 at usb0
uhub0: Intel UHCI root hub, rev 1.00/1.00, addr 1
uhub0: 2 ports with 2 removable, self powered
uhci1 at pci0 dev 29 function 1 Intel 82801EB/ER USB rev 0x02: apic 2 int 19 
(irq 10)
usb1 at uhci1: USB revision 1.0
uhub1 at usb1
uhub1: Intel UHCI root hub, rev 1.00/1.00, addr 1
uhub1: 2 ports with 2 removable, self powered
uhci2 at pci0 dev 29 function 3 Intel 82801EB/ER USB rev 0x02: apic 2 int 16 
(irq 11)
usb2 at uhci2: USB revision 1.0
uhub2 at usb2
uhub2: Intel UHCI root hub, rev 1.00/1.00, addr 1
uhub2: 2 ports with 2 removable, self powered
ehci0 at pci0 dev 29 function 7 Intel 82801EB/ER USB2 rev 0x02: apic 2 int 23 
(irq 9)
usb3 at ehci0: USB revision 2.0
uhub3 at usb3
uhub3: Intel EHCI root hub, rev 2.00/1.00, addr 1
uhub3: 8 ports with 8 removable, self powered
ppb0 at pci0 dev 30 function 0 Intel 82801BA AGP rev 0xc2
pci1 at ppb0 bus 1
fxp0 at pci1 dev 8 function 0 Intel PRO/100 VE rev 0x02, i82562: apic 2 int 
20 (irq 10), address 00:16:76:13:ef:d6
inphy0 at fxp0 phy 1: i82562ET 10/100 PHY, rev. 0
ichpcib0 at pci0 dev 31 function 0 Intel 82801EB/ER LPC rev 0x02
pciide0 at pci0 dev 31 function 1 Intel 82801EB/ER IDE rev 0x02: DMA, channel 
0 configured to compatibility, channel 1 configured to compatibility
wd0 at pciide0 channel 0 drive 0: WDC WD400BB-75JHC0
wd0: 16-sector PIO, LBA, 38146MB, 78125000 sectors
wd0(pciide0:0:0): using PIO mode 4, Ultra-DMA mode 5
atapiscsi0 at pciide0 channel 1 drive 0
scsibus0 at atapiscsi0: 2 targets
cd0 at scsibus0 targ 0 lun 0: TSSTcorp, CD-ROM TS-H192C, DE00 SCSI0 5/cdrom 
removable
cd0(pciide0:1:0): using PIO mode 4, Ultra-DMA mode 2
pciide1 at pci0 dev 31 function 2 Intel 82801EB SATA rev 0x02: DMA, channel 0 
configured to native-PCI, channel 1 configured to native-PCI
pciide1: using apic 2 int 18 (irq 5) for native-PCI interrupt
ichiic0 at pci0 dev 31 function 3 Intel 82801EB/ER SMBus rev 0x02: apic 2 int 
17 (irq 3)
iic0 at ichiic0
unknown at iic0 addr 0x18 not configured
auich0 at pci0 dev 31 function 5 Intel 82801EB/ER AC97 rev 0x02: apic 2 int 
17 (irq 3), ICH5 AC97
ac97: codec id 0x41445370 (Analog Devices AD1980)
ac97: codec features headphone, 20 bit DAC, No 3D Stereo
audio0 at auich0
isa0 at ichpcib0
isadma0 at isa0
pckbc0 at isa0 port 0x60/5
pckbd0 at pckbc0 (kbd slot)
pckbc0: using irq 1 for kbd slot
wskbd0 at pckbd0: console keyboard, using wsdisplay0
pmsi0 at pckbc0 (aux slot)
pckbc0: using irq 12 for aux slot
wsmouse0 at pmsi0 mux 0
pcppi0 at isa0 port 0x61
midi0 at pcppi0: PC speaker
spkr0 at pcppi0
lpt0 at isa0 port 0x378/4 irq 7
npx0