2024-07-19 10:26:58 -05:00
2024-07-16 12:55:45 -05:00
2024-07-19 10:26:58 -05:00
2024-07-16 12:55:45 -05:00
2024-05-14 11:41:29 -05:00
2024-07-16 12:55:45 -05:00
2024-05-14 11:43:50 -05:00
2024-05-14 11:41:29 -05:00
2024-07-10 13:48:09 -05:00
2024-07-17 12:08:07 -05:00
2024-07-16 12:55:45 -05:00
2024-07-16 12:56:14 -05:00
2024-07-17 12:08:07 -05:00

purescript-threading

Concurrency primitives inspired by python's multithreading and rust, allowing for predictable concurrency with Aff

Use Cases

  • Create a background worker thread
  • Communicate between threads (Threading.Channel)
  • Limit access to a resource (eg. a database connection pool, file handle) to 1 concurrent actor (Threading.RWLock, Threading.Mutex)
  • Coordinate concurrent threads, waiting for some common goal to be reached before continuing (Threading.Barrier)
  • Create a pool of concurrent "threads" that can pull work from a queue, with graceful exiting and error handling
  • Remotely kill a thread, or non-blockingly ask if it has exited

Installing

spago install threading
Description
No description provided
Readme 111 KiB
Languages
PureScript 88.1%
JavaScript 11.9%