Re: knlist_empty locking fix
--VcZjVMblxkg0/8Ur
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
On Fri, Jan 27, 2012 at 09:42:58AM -0800, Doug Ambrisko wrote:
> Andrew Boyer writes:
> | On Jan 27, 2012, at 12:15 PM, Doug Ambrisko wrote:
> |=20
> | > John Baldwin writes:
> | > | Agreed, I think the missing locking should just be added to the aio=
code.
> | >=20
> | > Okay so then just:
> | >=20
> | > Index: vfs_aio.c
> | > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
> | > RCS file: /usr/local/cvsroot/freebsd/src/sys/kern/vfs_aio.c,v
> | > retrieving revision 1.243.2.3.4.1
> | > diff -u -p -r1.243.2.3.4.1 vfs_aio.c
> | > --- vfs_aio.c 21 Dec 2010 17:09:25 -0000 1.243.2.3.4.1
> | > +++ vfs_aio.c 27 Jan 2012 17:07:11 -0000
> | > @@ -2509,9 +2509,12 @@ static void
> | > filt_aiodetach(struct knote *kn)
> | > {
> | > struct aiocblist *aiocbe =3D kn->kn_ptr.p_aio;
> | > + struct knlist *knl =3D &aiocbe->klist;
> | >=20
> | > - if (!knlist_empty(&aiocbe->klist))
> | > - knlist_remove(&aiocbe->klist, kn, 0);
> | > + knl->kl_lock(knl->kl_lockarg);
> | > + if (!knlist_empty(knl))
> | > + knlist_remove(knl, kn, 1);
> | > + knl->kl_unlock(knl->kl_lockarg);
> | > }
> | >=20
> | > /* kqueue filter function */
> | >=20
> | > I was trying to be consistant with knlist_remove but this is a much
> | > smaller change that can be merge to older branches.
> | =20
> | Does filt_liodetach() need the same treatment?
>=20
> Yes, I had that in the original. I updated that and optimized
> the knl to just get the structure needed.
>=20
> Index: vfs_aio.c
> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
> RCS file: /usr/local/cvsroot/freebsd/src/sys/kern/vfs_aio.c,v
> retrieving revision 1.243.2.3.4.1
> diff -u -p -r1.243.2.3.4.1 vfs_aio.c
> --- vfs_aio.c 21 Dec 2010 17:09:25 -0000 1.243.2.3.4.1
> +++ vfs_aio.c 27 Jan 2012 17:35:47 -0000
> @@ -2508,10 +2508,12 @@ filt_aioattach(struct knote *kn)
> static void
> filt_aiodetach(struct knote *kn)
> {
> - struct aiocblist *aiocbe =3D kn->kn_ptr.p_aio;
> + struct knlist *knl =3D &kn->kn_ptr.p_aio->klist;
> =20
> - if (!knlist_empty(&aiocbe->klist))
> - knlist_remove(&aiocbe->klist, kn, 0);
> + knl->kl_lock(knl->kl_lockarg);
> + if (!knlist_empty(knl))
> + knlist_remove(knl, kn, 1);
> + knl->kl_unlock(knl->kl_lockarg);
> }
> =20
> /* kqueue filter function */
> @@ -2553,10 +2555,12 @@ filt_lioattach(struct knote *kn)
> static void
> filt_liodetach(struct knote *kn)
> {
> - struct aioliojob * lj =3D kn->kn_ptr.p_lio;
> + struct knlist *knl =3D &kn->kn_ptr.p_lio->klist;
It is easy to be style-compiant there and move initialization of knl
after the blank line.
Do you need two different functions now ? I think you can leave just one.
Otherwise looks fine.
> =20
> - if (!knlist_empty(&lj->klist))
> - knlist_remove(&lj->klist, kn, 0);
> + knl->kl_lock(knl->kl_lockarg);
> + if (!knlist_empty(knl))
> + knlist_remove(knl, kn, 1);
> + knl->kl_unlock(knl->kl_lockarg);
> }
> =20
> /* kqueue filter function */
>=20
> Thanks,
>=20
> Doug A.
--VcZjVMblxkg0/8Ur
Content-Type: application/pgp-signature
Content-Disposition: inline
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (FreeBSD)
iEYEARECAAYFAk8i5FEACgkQC3+MBN1Mb4hdCgCgo+14TtYF4K7VCahvfsZhavRQ
040AoNU2pTmCGC5g69EtH1IdoS4fwDv1
=yD6O
-----END PGP SIGNATURE-----
--VcZjVMblxkg0/8Ur--
討論串 (同標題文章)
完整討論串 (本文為第 7 之 10 篇)：