[OpenAFS] OpenAFS 1.8.4 Linux kernel BUG

Chris Cooke cc@inf.ed.ac.uk
Tue, 14 Apr 2020 09:39:29 +0100


This is a multi-part message in MIME format...

------------=_1586853572-14456-93
Received: from openvpn-58-011.inf.ed.ac.uk (openvpn-58-011.inf.ed.ac.uk [129.215.58.11])
	(authenticated bits=0)
	by beeknow.inf.ed.ac.uk (8.14.7/8.14.7) with ESMTP id 03E8dTgk003852
	(version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO);
	Tue, 14 Apr 2020 09:39:30 +0100
From: Chris Cooke <cc@inf.ed.ac.uk>
Message-Id: <74664364-A46F-4465-A057-18A79AAAA116@inf.ed.ac.uk>
Content-Type: multipart/alternative;
	boundary="Apple-Mail=_948295F8-972E-4F43-8182-336344D2F0E2"
Mime-Version: 1.0 (Mac OS X Mail 13.0 \(3608.60.0.2.5\))
Subject: Re: [OpenAFS] OpenAFS 1.8.4 Linux kernel BUG
Date: Tue, 14 Apr 2020 09:39:29 +0100
In-Reply-To: <20200404033531.GN88064@kduck.mit.edu>
Cc: openafs-info@openafs.org
To: Benjamin Kaduk <kaduk@MIT.EDU>
References: <53A36252-6EF1-4104-A735-583D14C9F095@inf.ed.ac.uk>
 <20200404033531.GN88064@kduck.mit.edu>
X-Mailer: Apple Mail (2.3608.60.0.2.5)


--Apple-Mail=_948295F8-972E-4F43-8182-336344D2F0E2
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=us-ascii

Hi Ben,

Many thanks for looking at this.

> On 4 Apr 2020, at 04:35, Benjamin Kaduk <kaduk@MIT.EDU> wrote:
>=20
> Had this machine been running for a long time
> without restart or needing to flush the (AFS) cache?

It had been up for 29 days at that point. I can't find any mention of perio=
dic flushes of the cache from cron or the like.

>  How full is/was the
> partition that the disk cache lives on?

This is how full it is now, after having been up for two weeks, if that's a=
ny help:

Filesystem            Size  Used Avail Use% Mounted on
/dev/sda6              48G   39G  7.2G  85% /var/cache/afs

Its sister machine, which does much the same job, has been up for 43 days a=
nd its cache is 83% full.

> There's not a whole lot to go on if we only have the one instance of the
> crash, I fear.


Understood; thanks again.

Chris.

School of Informatics,=20
The University of Edinburgh,=20
Scotland.





--Apple-Mail=_948295F8-972E-4F43-8182-336344D2F0E2
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=us-ascii

<html><head><meta http-equiv=3D"Content-Type" content=3D"text/html; charset=
=3Dus-ascii"></head><body style=3D"word-wrap: break-word; -webkit-nbsp-mode=
: space; line-break: after-white-space;" class=3D"">Hi Ben,<div class=3D"">=
<br class=3D""></div><div class=3D"">Many thanks for looking at this.<br cl=
ass=3D""><div><br class=3D""><blockquote type=3D"cite" class=3D""><div clas=
s=3D"">On 4 Apr 2020, at 04:35, Benjamin Kaduk &lt;<a href=3D"mailto:kaduk@=
MIT.EDU" class=3D"">kaduk@MIT.EDU</a>&gt; wrote:</div><br class=3D"Apple-in=
terchange-newline"><div class=3D""><span style=3D"caret-color: rgb(0, 0, 0)=
; font-family: Menlo-Regular; font-size: 12px; font-style: normal; font-var=
iant-caps: normal; font-weight: normal; letter-spacing: normal; text-align:=
 start; text-indent: 0px; text-transform: none; white-space: normal; word-s=
pacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; float: =
none; display: inline !important;" class=3D"">Had this machine been running=
 for a long time</span><br style=3D"caret-color: rgb(0, 0, 0); font-family:=
 Menlo-Regular; font-size: 12px; font-style: normal; font-variant-caps: nor=
mal; font-weight: normal; letter-spacing: normal; text-align: start; text-i=
ndent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -=
webkit-text-stroke-width: 0px; text-decoration: none;" class=3D""><span sty=
le=3D"caret-color: rgb(0, 0, 0); font-family: Menlo-Regular; font-size: 12p=
x; font-style: normal; font-variant-caps: normal; font-weight: normal; lett=
er-spacing: normal; text-align: start; text-indent: 0px; text-transform: no=
ne; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;=
 text-decoration: none; float: none; display: inline !important;" class=3D"=
">without restart or needing to flush the (AFS) cache? </span></div></block=
quote><div><br class=3D""></div><div>It had been up for 29 days at that poi=
nt. I can't find any mention of periodic flushes of the cache from cron or =
the like.</div><br class=3D""><blockquote type=3D"cite" class=3D""><div cla=
ss=3D""><span style=3D"caret-color: rgb(0, 0, 0); font-family: Menlo-Regula=
r; font-size: 12px; font-style: normal; font-variant-caps: normal; font-wei=
ght: normal; letter-spacing: normal; text-align: start; text-indent: 0px; t=
ext-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-s=
troke-width: 0px; text-decoration: none; float: none; display: inline !impo=
rtant;" class=3D"">&nbsp;How full is/was the</span><br style=3D"caret-color=
: rgb(0, 0, 0); font-family: Menlo-Regular; font-size: 12px; font-style: no=
rmal; font-variant-caps: normal; font-weight: normal; letter-spacing: norma=
l; text-align: start; text-indent: 0px; text-transform: none; white-space: =
normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration:=
 none;" class=3D""><span style=3D"caret-color: rgb(0, 0, 0); font-family: M=
enlo-Regular; font-size: 12px; font-style: normal; font-variant-caps: norma=
l; font-weight: normal; letter-spacing: normal; text-align: start; text-ind=
ent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -we=
bkit-text-stroke-width: 0px; text-decoration: none; float: none; display: i=
nline !important;" class=3D"">partition that the disk cache lives on?</span=
><br style=3D"caret-color: rgb(0, 0, 0); font-family: Menlo-Regular; font-s=
ize: 12px; font-style: normal; font-variant-caps: normal; font-weight: norm=
al; letter-spacing: normal; text-align: start; text-indent: 0px; text-trans=
form: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-wid=
th: 0px; text-decoration: none;" class=3D""></div></blockquote><div><br cla=
ss=3D""></div>This is how full it is now, after having been up for two week=
s, if that's any help:</div><div><br class=3D""></div><div>Filesystem&nbsp;=
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;Size&nbsp;&nbsp;Used Avail Use% Mo=
unted on<br class=3D"">/dev/sda6&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp;&nbsp;48G&nbsp;&nbsp;&nbsp;39G&nbsp;&nbsp;7.2G&nbsp;&nbsp;85% /var/cac=
he/afs</div><div><br class=3D""></div><div>Its sister machine, which does m=
uch the same job, has been up for 43 days and its cache is 83% full.</div><=
div><br class=3D""><blockquote type=3D"cite" class=3D""><div class=3D""><sp=
an style=3D"caret-color: rgb(0, 0, 0); font-family: Menlo-Regular; font-siz=
e: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal=
; letter-spacing: normal; text-align: start; text-indent: 0px; text-transfo=
rm: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width=
: 0px; text-decoration: none; float: none; display: inline !important;" cla=
ss=3D"">There's not a whole lot to go on if we only have the one instance o=
f the</span><br style=3D"caret-color: rgb(0, 0, 0); font-family: Menlo-Regu=
lar; font-size: 12px; font-style: normal; font-variant-caps: normal; font-w=
eight: normal; letter-spacing: normal; text-align: start; text-indent: 0px;=
 text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text=
-stroke-width: 0px; text-decoration: none;" class=3D""><span style=3D"caret=
-color: rgb(0, 0, 0); font-family: Menlo-Regular; font-size: 12px; font-sty=
le: normal; font-variant-caps: normal; font-weight: normal; letter-spacing:=
 normal; text-align: start; text-indent: 0px; text-transform: none; white-s=
pace: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decor=
ation: none; float: none; display: inline !important;" class=3D"">crash, I =
fear.</span><br style=3D"caret-color: rgb(0, 0, 0); font-family: Menlo-Regu=
lar; font-size: 12px; font-style: normal; font-variant-caps: normal; font-w=
eight: normal; letter-spacing: normal; text-align: start; text-indent: 0px;=
 text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text=
-stroke-width: 0px; text-decoration: none;" class=3D""></div></blockquote><=
/div><div class=3D""><br class=3D"webkit-block-placeholder"></div><div clas=
s=3D""><div dir=3D"auto" style=3D"caret-color: rgb(0, 0, 0); color: rgb(0, =
0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-tr=
ansform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-=
width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode=
: space; line-break: after-white-space;" class=3D""><div dir=3D"auto" style=
=3D"caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal;=
 text-align: start; text-indent: 0px; text-transform: none; white-space: no=
rmal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: n=
one; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-whi=
te-space;" class=3D""><div dir=3D"auto" style=3D"caret-color: rgb(0, 0, 0);=
 color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-inden=
t: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webk=
it-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -w=
ebkit-nbsp-mode: space; line-break: after-white-space;" class=3D""><div sty=
le=3D"color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-=
indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; =
-webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: s=
pace; line-break: after-white-space;" class=3D""><div style=3D"color: rgb(0=
, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-=
transform: none; white-space: normal; word-spacing: 0px; -webkit-text-strok=
e-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: =
after-white-space;" class=3D""><div style=3D"color: rgb(0, 0, 0); letter-sp=
acing: normal; text-align: start; text-indent: 0px; text-transform: none; w=
hite-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word=
-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;=
" class=3D""><div style=3D"color: rgb(0, 0, 0); letter-spacing: normal; tex=
t-align: start; text-indent: 0px; text-transform: none; white-space: normal=
; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word;=
 -webkit-nbsp-mode: space; line-break: after-white-space;" class=3D""><div =
style=3D"color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font=
-style: normal; font-variant-ligatures: normal; font-variant-position: norm=
al; font-variant-caps: normal; font-variant-numeric: normal; font-variant-a=
lternates: normal; font-variant-east-asian: normal; font-weight: normal; le=
tter-spacing: normal; line-height: normal; text-align: start; text-indent: =
0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-=
text-stroke-width: 0px;" class=3D"">Understood; thanks again.</div><div sty=
le=3D"color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-st=
yle: normal; font-variant-ligatures: normal; font-variant-position: normal;=
 font-variant-caps: normal; font-variant-numeric: normal; font-variant-alte=
rnates: normal; font-variant-east-asian: normal; font-weight: normal; lette=
r-spacing: normal; line-height: normal; text-align: start; text-indent: 0px=
; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-tex=
t-stroke-width: 0px;" class=3D""><br class=3D""></div><div style=3D"color: =
rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; =
font-variant-ligatures: normal; font-variant-position: normal; font-variant=
-caps: normal; font-variant-numeric: normal; font-variant-alternates: norma=
l; font-variant-east-asian: normal; font-weight: normal; letter-spacing: no=
rmal; line-height: normal; text-align: start; text-indent: 0px; text-transf=
orm: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-widt=
h: 0px;" class=3D"">Chris.</div><div style=3D"color: rgb(0, 0, 0); font-fam=
ily: Helvetica; font-size: 12px; font-style: normal; font-variant-ligatures=
: normal; font-variant-position: normal; font-variant-caps: normal; font-va=
riant-numeric: normal; font-variant-alternates: normal; font-variant-east-a=
sian: normal; font-weight: normal; letter-spacing: normal; line-height: nor=
mal; text-align: start; text-indent: 0px; text-transform: none; white-space=
: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=3D""><b=
r class=3D""></div><div style=3D"color: rgb(0, 0, 0); font-family: Helvetic=
a; font-size: 12px; font-style: normal; font-variant-ligatures: normal; fon=
t-variant-position: normal; font-variant-caps: normal; font-variant-numeric=
: normal; font-variant-alternates: normal; font-variant-east-asian: normal;=
 font-weight: normal; letter-spacing: normal; line-height: normal; text-ali=
gn: start; text-indent: 0px; text-transform: none; white-space: normal; wor=
d-spacing: 0px; -webkit-text-stroke-width: 0px;" class=3D"">School of Infor=
matics,&nbsp;</div></div></div></div></div></div></div></div></div></div><d=
iv class=3D""><div dir=3D"auto" style=3D"caret-color: rgb(0, 0, 0); color: =
rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; =
text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-=
stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nb=
sp-mode: space; line-break: after-white-space;" class=3D""><div>The Univers=
ity of Edinburgh,&nbsp;</div><div>Scotland.</div><div class=3D""><br class=
=3D""></div></div><br class=3D"Apple-interchange-newline"><br class=3D"Appl=
e-interchange-newline">
</div>
<br class=3D""></body></html>=

--Apple-Mail=_948295F8-972E-4F43-8182-336344D2F0E2--

------------=_1586853572-14456-93
Content-Type: text/plain
Content-Disposition: inline
Content-Transfer-Encoding: 7bit
Content-Description: Edinburgh University charitable status

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

------------=_1586853572-14456-93--