| 1226 | | // we had our go, but there are pages left, let someone else |
|---|
| 1227 | | // try |
|---|
| | 1226 | // We tried all potential pages, but one or more couldn't be stolen |
|---|
| | 1227 | // at that time (likely because their cache was locked). No one |
|---|
| | 1228 | // else will have any better luck, so we'll just retry a little |
|---|
| | 1229 | // later. |
|---|
| | 1230 | // TODO: Think about better strategies. E.g. if our condition |
|---|
| | 1231 | // variables had timeouts, we could just wait with timeout on |
|---|
| | 1232 | // the free page queue condition variable, which could might |
|---|
| | 1233 | // succeed earlier. |
|---|
