Commit graph

3 commits

Author SHA1 Message Date
d597b77fcb Use the thread-pool record for the default timeout
Rather than a parameter.
2025-02-10 15:16:37 +00:00
6c083bdebd Use default io waiters in the thread pool
To allow creating thread pools from fibers.
2025-02-10 15:13:30 +00:00
d572f591a3 Rename worker threads to thread pool
I think this needs more work, maybe the thread pool should be more
similar to the resource pool, but I think the name change is still
helpful.

Maybe there's a need for a variable size thread pool and that can
better integrate with the work queue.
2025-01-14 10:05:06 +00:00
Renamed from knots/worker-threads.scm (Browse further)