[CHERI] 983f9ecaa Slight revision

Poul-Henning Kamp phk at FreeBSD.org
Tue Nov 29 12:48:09 UTC 2022

commit 983f9ecaa225f65a1d3856e5627957c1df0ff07b
Author: Poul-Henning Kamp <phk at FreeBSD.org>
Date:   Sat Nov 26 11:54:58 2022 +0000

    Slight revision

diff --git a/doc/sphinx/phk/cheri2.rst b/doc/sphinx/phk/cheri2.rst
index 9c675af29..71584b40b 100644
--- a/doc/sphinx/phk/cheri2.rst
+++ b/doc/sphinx/phk/cheri2.rst
@@ -7,18 +7,37 @@ CHERI capabilities are twice the size of pointers, and Varnish not
 only uses a lot of pointers per request, it is also stingy with
 RAM, because it is not uncommon to use 100K worker threads.
-A number of test-cases fail because they are too stingy with memory
-allocations, I will deal with them as I get to them, and merely
-note them here as part of the accounting::
+A number of test-cases fail because they are stingy with memory
+allocations, and other test-cases run out of cache space.
-    Increase workspace
-    ==================
+The job of these test-cases is to push varnish into obscure code-paths,
+using finely tuned sizes of objects, lengths of headers and parameter
+settings to varnish, and the bigger pointers in Varnish trows that
+tuning off.
+These test-failures have nothing to do with CHERI.
+There was enough margin that we could find magic numbers which work
+on both 32 bit and 64 bit CPUs, that is with both 4 and 8 byte
+pointers, but it is doubtful there is enough margin to make them
+also work with 16 byte pointers, so I will merely list these tests
+here as part of the accounting::
+    Workspace sizes
+    =====================
     TEST tests/c00108.vtc
     TEST tests/r01038.vtc
     TEST tests/r01120.vtc
     TEST tests/r02219.vtc
     TEST tests/o00005.vtc
+    Cache sizes
+    =====================
+    TEST tests/r03502.vtc
+    TEST tests/r01140.vtc
+    TEST tests/r02831.vtc
+    TEST tests/v00064.vtc
 Things you cannot do under CHERI: Pointers in Pipes
@@ -62,6 +81,8 @@ write a nonce-byte into the pipe to the waiter-thread, but that
 goes at the bottom of the TODO list, and for now I just remove the
 -Wpoll argument from five tests, which then pass::
+    -Wpoll
+    =====================
     TEST tests/b00009.vtc
     TEST tests/b00048.vtc
     TEST tests/b00054.vtc
@@ -95,6 +116,8 @@ directives to pointers to make that monster work under CHERI.
 I just ran my script and 20 more tests pass::
+    Red-Black Trees
+    =====================
     TEST tests/b00068.vtc
     TEST tests/c00005.vtc
     TEST tests/e00003.vtc
@@ -116,6 +139,6 @@ I just ran my script and 20 more tests pass::
     TEST tests/v00041.vtc
     TEST tests/v00043.vtc
-Only nine failing tests left now.
+Four failures left…

More information about the varnish-commit mailing list