> Date: Wed, 23 Dec 2020 10:58:16 -0300
> From: Martin Pieuchot
>
> On 22/12/20(Tue) 23:43, Mark Kettenis wrote:
> > > Date: Mon, 21 Dec 2020 16:46:32 -0300
> > > From: Martin Pieuchot
> > >
> > > During a page fault multiples counters are updated. They fall into two
> > > categories "fault
On 22/12/20(Tue) 23:43, Mark Kettenis wrote:
> > Date: Mon, 21 Dec 2020 16:46:32 -0300
> > From: Martin Pieuchot
> >
> > During a page fault multiples counters are updated. They fall into two
> > categories "fault counters" and "global statistics" both of which are
> > currently represented by
> Date: Mon, 21 Dec 2020 16:46:32 -0300
> From: Martin Pieuchot
>
> During a page fault multiples counters are updated. They fall into two
> categories "fault counters" and "global statistics" both of which are
> currently represented by int-sized fields inside a global: `uvmexp'.
>
> Diff
During a page fault multiples counters are updated. They fall into two
categories "fault counters" and "global statistics" both of which are
currently represented by int-sized fields inside a global: `uvmexp'.
Diff below makes use of the per-CPU counters_inc(9) API to make sure no
update is lost
