On 15.02.2022 13:56, Oleksandr Andrushchenko wrote: > On 15.02.22 14:49, Jan Beulich wrote: >> On 15.02.2022 12:54, Oleksandr Andrushchenko wrote: >>> On 15.02.22 13:50, Jan Beulich wrote: >>>> On 15.02.2022 12:45, Oleksandr Andrushchenko wrote: >>>>> I'm on your side, I just want to hear that we all agree pcidevs >>>>> needs to be converted into rwlock according with the plan you >>>>> suggested and at least now it seems to be an acceptable solution. >>>> I'd like to express worries though about the conversion of this >>>> recursive lock into an r/w one. >>> Could you please elaborate more on this? >> Not sure what to say beyond the obvious: > I thought you have something specific in your mind that worries > you and you can tell what it is. Thus the qustion
Well, the "specific" thing I had in mind was: You'll need to prove correctness, and we'll need to understand the proof. Jan
