1+ {-
2+ Module : Development.IDE.Core.WorkerThread
3+ Author : @soulomoon
4+ SPDX-License-Identifier: Apache-2.0
5+
6+ Description : This module provides an API for managing worker threads in the IDE.
7+ see Note [Serializing runs in separate thread]
8+ -}
19module Development.IDE.Core.WorkerThread
210 (withWorkerQueue , awaitRunInThread )
311 where
412
5- import Control.Concurrent.Async
13+ import Control.Concurrent.Async ( withAsync )
614import Control.Concurrent.STM
715import Control.Concurrent.Strict (newBarrier , signalBarrier ,
816 waitBarrier )
@@ -18,8 +26,6 @@ Like the db writes, session loading in session loader, shake session restarts.
1826
1927Originally we used various ways to implement this, but it was hard to maintain and error prone.
2028Moreover, we can not stop these threads uniformly when we are shutting down the server.
21-
22- `Development.IDE.Core.WorkerThread` module provides a simple api to implement this easily.
2329-}
2430
2531-- | 'withWorkerQueue' creates a new 'TQueue', and launches a worker
0 commit comments