Re: pg_jobc going negative?

[Robert Elz <kre%munnari.OZ.AU@localhost>]

    Date:        Tue, 9 Jun 2020 17:04:54 +0200
    From:        Kamil Rytarowski <kamil%netbsd.org@localhost>
    Message-ID:  <f84ae418-f316-0ced-a1a3-35a41896ee4a%netbsd.org@localhost>


  | Yes... syzkaller had like 12 different ways to reproduce it.

OK, thanks.

  | There is still a race and we randomly go to negative pg_jobc.

I am not at all surprised...

I will look at it over the next couple of days.   No guarantees...

kre