Allow running Driver threads with SCHED_BATCH policy on Linux

Description

Use SCHED_BATCH scheduling policy for Driver thread pool

Motivation and Context

With blocking IO used by connectors (such as Hive connector) often it is necessary to set the number of threads to the number higher than the number of available cores.

This is needed to avoid slowdowns for IO heavy workload.

However for CPU intensive queries it may create unnecessary thread contention and may cause stability problems when communication threads are delayed.

Threads scheduled with SCHED_BATCH policy are run with slightly lower priority giving a green light for communication threads. These can run for longer resulting in less cache flushes if only other batch threads are waiting for execution.

More information about different scheduling policies in Linux can be found here: https://man7.org/linux/man-pages/man7/sched.7.html

Impact

Improves efficiency and stability for certain cluster configurations

Test Plan

Set driver.threads-batch-scheduling-enabled=true
Find a Driver thread
Run chrt -p <driver thread id>

Result:

chrt -p 3238430
pid 3238430's current scheduling policy: SCHED_BATCH
pid 3238430's current scheduling priority: 0

Contributor checklist

[x] Please make sure your submission complies with our development, formatting, commit message, and attribution guidelines.
[x] PR description addresses the issue accurately and concisely. If the change is non-trivial, a GitHub Issue is referenced.
[x] Documented new properties (with its default value), SQL syntax, functions, or other functionality.
[x] If release notes are required, they follow the release notes guidelines.
[x] Adequate tests were added if applicable.
[x] CI passed.

Release Notes

Please follow release notes guidelines and fill in the release notes below.

== NO RELEASE NOTE ==

prestodb / presto