Re: [PATCH 2/2] revoke: change revoke_table to fileset and revoke_details

[Pekka J Enberg <penberg@cs.helsinki.fi>]

On Thu, 3 May 2007, Andrew Morton wrote:
> > +/**
> > + * fileset - an array of file pointers.
> > + * @files:    the array of file pointers
> > + * @nr:               number of elements in the array
> > + * @end:      index to next unused file pointer
> > + */
> > +struct fileset {
> > +	struct file	**files;
> > +	unsigned long	nr;
> > +	unsigned long	end;
> > +};
> 
> What's the locking protocol for all this?

What do you mean? There is no concurrent access going on here.

On Thu, 3 May 2007, Andrew Morton wrote:
> > +static void free_fset(struct fileset *fset)
> > +{
> > +      int i;
> > +
> > +      for (i = fset->end; i < fset->nr; i++)
> > +              fput(fset->files[i]);
> > +
> > +      kfree(fset->files);
> > +      kfree(fset);
> > +}
> 
> Confused.  Shouldn't it be
> 
> 	for (i = 0; i < fset->end; i++)

No. The fset->end is an index to the first _unused_ file pointer. All 
entries before that are in use by revoked file descriptors so we don't 
want to fput() them.

			Pekka