On Tue, Mar 26, 2024 at 03:08:00PM -0400, Tom Lane wrote:
> My one remaining suggestion is that this comment isn't very precise
> about what's happening:
>
> * If there is a previously-created Bloom filter, use it to determine
> * whether the role is missing from the list. Otherwise, do an ordinary
> * linear search through the existing role list.
>
> Maybe more like
>
> * If there is a previously-created Bloom filter, use it to try to
> * determine whether the role is missing from the list. If it
> * says yes, that's a hard fact and we can go ahead and add the
> * role. If it says no, that's only probabilistic and we'd better
> * search the list. Without a filter, we must always do an ordinary
> * linear search through the existing list.
>
> LGTM other than that nit.
Committed with that change. Thanks for the guidance on this one.
--
Nathan Bossart
Amazon Web Services: https://aws.amazon.com
