[Bug 192863] Data race caused by double increment of pq->pq_cnt

bugzilla-noreply at freebsd.org bugzilla-noreply at freebsd.org
Fri Sep 12 15:51:30 UTC 2014


pfonseca at mpi-sws.org changed:

           What    |Removed                     |Added
             Status|Needs Triage                |Issue Resolved
         Resolution|---                         |Works As Intended

--- Comment #1 from pfonseca at mpi-sws.org ---
After some disussion with developers, the conclussion was that the data race is

"The pageout code does not care about exact queue length, it only takes
it as an advise to not over-scan the queue. The fact that read gets a
snapshot value which might be outdated immediately does not matter in
this situation. At worst, scan would fall off the end of queue, if it is
drained by other means in parallel."

You are receiving this mail because:
You are the assignee for the bug.

More information about the freebsd-bugs mailing list