pika icon indicating copy to clipboard operation
pika copied to clipboard

Ensure that various thread pool and scheduler headers are not included transitively by public headers

Open msimberg opened this issue 3 years ago • 0 comments

Headers like scheduling_loop.hpp or scheduled_thread_pool_impl.hpp should not be necessary for users to include, even transitively, I think. We should check if they're not necessary, and make sure that they're not included accidentally by public API headers. We also explicitly instantiate schedulers/thread pools, so at least some headers should be possible to exclude.

msimberg avatar Feb 08 '23 13:02 msimberg