From 6ec3d0d039453af71a37a2e83970b2fa762ae63f Mon Sep 17 00:00:00 2001
From: Automatic website updater <>
Date: Wed, 25 Jun 2025 17:52:47 +0100
Subject: [PATCH] Automatic website update
---
index.html | 60 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 60 insertions(+)
diff --git a/index.html b/index.html
index 7839641..0629ccb 100644
--- a/index.html
+++ b/index.html
@@ -226,12 +226,48 @@ Next: (knots promise),
+
+- Macro: parallelism-limiter? a ¶
+Undocumented macro.
+
+
+
+
+
+
+
+- Macro: with-parallelism-limiter a ¶
+Undocumented macro.
+
+
+
+
+
+
1.2.2 Procedures ¶
+
+- Procedure: call-with-parallelism-limiter a b ¶
+Undocumented procedure.
+
+
+
+
+
+
+
+- Procedure: destroy-parallelism-limiter a ¶
+Undocumented procedure.
+
+
+
+
+
+
- Procedure: fiberize _ KEY: #:parallelism #:input-channel #:process-channel ¶
Undocumented procedure.
@@ -286,6 +322,15 @@ Next: (knots promise),
+
+- Procedure: make-parallelism-limiter _ KEY: #:name ¶
+Undocumented procedure.
+
+
+
+
+
+
@@ -506,6 +551,15 @@ available. Return the resource once PROC has returned.
+
+- Procedure: make-fixed-size-resource-pool _ KEY: #:delay-logger #:duration-logger #:destructor #:scheduler #:name #:default-checkout-timeout #:default-max-waiters ¶
+Undocumented procedure.
+
+
+
+
+
+
- Procedure: make-resource-pool _ _ KEY: #:min-size #:idle-seconds #:delay-logger #:duration-logger #:destructor #:lifetime #:scheduler #:name #:add-resources-parallelism #:default-checkout-timeout #:default-max-waiters ¶
Undocumented procedure.
@@ -1270,11 +1324,13 @@ Next: Variable Index, Pre
|
|
C |
+ | call-with-parallelism-limiter | knots_parallelism |
| call-with-resource-from-pool | knots_resource-pool |
| call-with-thread | knots_thread-pool |
|
D |
| default-write-response-exception-handler | knots_web-server |
+ | destroy-parallelism-limiter | knots_parallelism |
| destroy-resource-pool | knots_resource-pool |
| destroy-thread-pool | knots_thread-pool |
|
@@ -1298,7 +1354,9 @@ Next: Variable Index, Pre
|
M |
| make-chunked-output-port/knots | knots_web-server |
+ | make-fixed-size-resource-pool | knots_resource-pool |
| make-fixed-size-thread-pool | knots_thread-pool |
+ | make-parallelism-limiter | knots_parallelism |
| make-resource-pool | knots_resource-pool |
| make-resource-pool-destroy-resource-exception | knots_resource-pool |
| make-thread-pool | knots_thread-pool |
@@ -1308,6 +1366,7 @@ Next: Variable Index, Pre
| non-blocking-port | knots_non-blocking |
|
P |
+ | parallelism-limiter? | knots_parallelism |
| port-read-timeout-error? | knots_timeout |
| port-timeout-error? | knots_timeout |
| port-write-timeout-error? | knots_timeout |
@@ -1352,6 +1411,7 @@ Next: Variable Index, Pre
| web-server-socket | knots_web-server |
| web-server? | knots_web-server |
| with-fibers-timeout | knots_timeout |
+ | with-parallelism-limiter | knots_parallelism |
| with-port-timeouts | knots_timeout |
| with-resource-from-pool | knots_resource-pool |
|