| .. |
|
cpp
|
port cpp.ml from containers, replace previous codegen with it
|
2023-07-09 19:49:24 -04:00 |
|
atomic_.ml
|
port cpp.ml from containers, replace previous codegen with it
|
2023-07-09 19:49:24 -04:00 |
|
bb_queue.ml
|
feat bb_queue: add transfer_into
|
2023-10-29 21:13:06 -04:00 |
|
bb_queue.mli
|
feat bb_queue: add transfer_into
|
2023-10-29 21:13:06 -04:00 |
|
bounded_queue.ml
|
fixes for blocking queue
|
2023-10-12 22:24:28 -04:00 |
|
bounded_queue.mli
|
fix @since tags
|
2023-10-19 11:08:28 -04:00 |
|
chan.ml
|
add Chan.pop_await
|
2023-07-09 19:49:27 -04:00 |
|
chan.mli
|
prepare for 0.3
|
2023-07-16 23:36:34 -04:00 |
|
d_pool_.ml
|
perf: also use the main domain, along with n-1 other ones
|
2023-10-28 11:59:20 -04:00 |
|
d_pool_.mli
|
domain pool: let domains live a bit longer
|
2023-08-13 22:48:04 -04:00 |
|
dla_.dummy.ml
|
support for domain-local-await when installed
|
2023-07-05 22:19:18 -04:00 |
|
dla_.real.ml
|
support for domain-local-await when installed
|
2023-07-05 22:19:18 -04:00 |
|
domain_.ml
|
perf: also use the main domain, along with n-1 other ones
|
2023-10-28 11:59:20 -04:00 |
|
dune
|
fix: rename Thread_local_storage_ to not collide with the library
|
2023-10-29 18:30:01 -04:00 |
|
fifo_pool.ml
|
perf: implement batch scheduling for the Fifo pool
|
2023-10-29 21:14:11 -04:00 |
|
fifo_pool.mli
|
breaking: change interface for number of threads
|
2023-10-28 13:00:15 -04:00 |
|
fork_join.ml
|
suspend: remove additional parameter, always run tasks in handler
|
2023-10-27 14:47:54 -04:00 |
|
fork_join.mli
|
prepare for 0.3
|
2023-07-16 23:36:34 -04:00 |
|
fut.ml
|
suspend: remove additional parameter, always run tasks in handler
|
2023-10-27 14:47:54 -04:00 |
|
fut.mli
|
fix @since tags
|
2023-10-19 11:08:28 -04:00 |
|
immediate_runner.ml
|
rename no_runner to immediate_runner
|
2023-10-28 13:00:03 -04:00 |
|
immediate_runner.mli
|
rename no_runner to immediate_runner
|
2023-10-28 13:00:03 -04:00 |
|
lock.ml
|
feat: add a Lock module
|
2023-07-09 19:49:25 -04:00 |
|
lock.mli
|
prepare for 0.3
|
2023-07-16 23:36:34 -04:00 |
|
moonpool.ml
|
add Moonpool.run_async
|
2023-10-29 18:41:39 -04:00 |
|
moonpool.mli
|
add Moonpool.run_async
|
2023-10-29 18:41:39 -04:00 |
|
runner.ml
|
feat runner: add run_async_batch
|
2023-10-29 21:13:20 -04:00 |
|
runner.mli
|
feat runner: add run_async_batch
|
2023-10-29 21:13:20 -04:00 |
|
suspend_.ml
|
fix warning
|
2023-10-27 16:18:24 -04:00 |
|
suspend_.mli
|
suspend: remove additional parameter, always run tasks in handler
|
2023-10-27 14:47:54 -04:00 |
|
thread_local_storage_.mli
|
fix: rename Thread_local_storage_ to not collide with the library
|
2023-10-29 18:30:01 -04:00 |
|
thread_local_storage_.real.ml
|
fix: rename Thread_local_storage_ to not collide with the library
|
2023-10-29 18:30:01 -04:00 |
|
thread_local_storage_.stub.ml
|
fix: rename Thread_local_storage_ to not collide with the library
|
2023-10-29 18:30:01 -04:00 |
|
util_pool_.ml
|
breaking: change interface for number of threads
|
2023-10-28 13:00:15 -04:00 |
|
util_pool_.mli
|
breaking: change interface for number of threads
|
2023-10-28 13:00:15 -04:00 |
|
ws_deque_.ml
|
refactor: use a fixed size work-stealing deque
|
2023-10-29 18:41:38 -04:00 |
|
ws_deque_.mli
|
update doc and readme
|
2023-10-29 18:41:39 -04:00 |
|
ws_pool.ml
|
remove dead code
|
2023-10-29 21:12:59 -04:00 |
|
ws_pool.mli
|
breaking: change interface for number of threads
|
2023-10-28 13:00:15 -04:00 |
