diff options
| author | Glenn Elliott <gelliott@cs.unc.edu> | 2011-03-31 10:47:01 -0400 |
|---|---|---|
| committer | Glenn Elliott <gelliott@cs.unc.edu> | 2011-03-31 10:47:01 -0400 |
| commit | 0f6a8e02773f8c23b5b6a3dbfa044e50c9d7d811 (patch) | |
| tree | ae9ee07707eaeefc6f7c3cc09d74e40e8c3a1eef /scripts/diffconfig | |
| parent | c05eaa8091d2cadc20363d44a85ee454262f4bc2 (diff) | |
Improve FMLP queue management.wip-fmlp-dequeue
The next owner of a FMLP-protected resource is dequeued from
the FMLP FIFO queue by unlock() (when the resource is freed by
the previous owner) instead of performing the dequeue by the next
owner immediately after it has been woken up.
This simplifies the code a little bit and also reduces potential
spinlock contention.
Diffstat (limited to 'scripts/diffconfig')
0 files changed, 0 insertions, 0 deletions