| 1411 | } |
| 1412 | |
| 1413 | void ScheduleBatchPriority() |
| 1414 | { |
| 1415 | #ifdef SCHED_BATCH |
| 1416 | const static sched_param param{}; |
| 1417 | const int rc = pthread_setschedparam(pthread_self(), SCHED_BATCH, ¶m); |
| 1418 | if (rc != 0) { |
| 1419 | LogPrintf("Failed to pthread_setschedparam: %s\n", strerror(rc)); |
| 1420 | } |
| 1421 | #endif |
| 1422 | } |
| 1423 | |
| 1424 | namespace util { |
| 1425 | #ifdef WIN32 |