| Tim Windelschmidt | 6d33a43 | 2025-02-04 14:34:25 +0100 | [diff] [blame] | 1 | // Copyright The Monogon Project Authors. |
| Serge Bazanski | ac6b644 | 2020-05-06 19:13:43 +0200 | [diff] [blame] | 2 | // SPDX-License-Identifier: Apache-2.0 |
| Serge Bazanski | ac6b644 | 2020-05-06 19:13:43 +0200 | [diff] [blame] | 3 | |
| 4 | package supervisor |
| Serge Bazanski | f8a8e65 | 2021-07-06 16:23:43 +0200 | [diff] [blame] | 5 | |
| 6 | import ( |
| 7 | "context" |
| 8 | "errors" |
| Serge Bazanski | ec19b60 | 2022-03-09 20:41:31 +0100 | [diff] [blame] | 9 | "log" |
| 10 | "sort" |
| Serge Bazanski | f8a8e65 | 2021-07-06 16:23:43 +0200 | [diff] [blame] | 11 | "testing" |
| Serge Bazanski | ec19b60 | 2022-03-09 20:41:31 +0100 | [diff] [blame] | 12 | "time" |
| Serge Bazanski | f8a8e65 | 2021-07-06 16:23:43 +0200 | [diff] [blame] | 13 | |
| Tim Windelschmidt | 9f21f53 | 2024-05-07 15:14:20 +0200 | [diff] [blame] | 14 | "source.monogon.dev/osbase/logtree" |
| Serge Bazanski | f8a8e65 | 2021-07-06 16:23:43 +0200 | [diff] [blame] | 15 | ) |
| 16 | |
| 17 | // TestHarness runs a supervisor in a harness designed for unit testing |
| 18 | // runnables and runnable trees. |
| 19 | // |
| 20 | // The given runnable will be run in a new supervisor, and the logs from this |
| 21 | // supervisor will be streamed to stderr. If the runnable returns a non-context |
| 22 | // error, the harness will throw a test error, but will not abort the test. |
| 23 | // |
| 24 | // The harness also returns a context cancel function that can be used to |
| Serge Bazanski | ec19b60 | 2022-03-09 20:41:31 +0100 | [diff] [blame] | 25 | // terminate the started supervisor early. Regardless of manual cancellation, |
| Serge Bazanski | f8a8e65 | 2021-07-06 16:23:43 +0200 | [diff] [blame] | 26 | // the supervisor will always be terminated up at the end of the test/benchmark |
| Serge Bazanski | ec19b60 | 2022-03-09 20:41:31 +0100 | [diff] [blame] | 27 | // it's running in. The supervision tree will also be cleaned up and the test |
| 28 | // will block until all runnables have exited. |
| Serge Bazanski | f8a8e65 | 2021-07-06 16:23:43 +0200 | [diff] [blame] | 29 | // |
| 30 | // The second returned value is the logtree used by this supervisor. It can be |
| 31 | // used to assert some log messages are emitted in tests that exercise some |
| 32 | // log-related functionality. |
| Serge Bazanski | e25b3a4 | 2023-03-17 00:07:53 +0100 | [diff] [blame] | 33 | func TestHarness(t testing.TB, r func(ctx context.Context) error) (context.CancelFunc, *logtree.LogTree) { |
| Serge Bazanski | f8a8e65 | 2021-07-06 16:23:43 +0200 | [diff] [blame] | 34 | t.Helper() |
| 35 | |
| 36 | ctx, ctxC := context.WithCancel(context.Background()) |
| Serge Bazanski | f8a8e65 | 2021-07-06 16:23:43 +0200 | [diff] [blame] | 37 | |
| 38 | lt := logtree.New() |
| Serge Bazanski | e25b3a4 | 2023-03-17 00:07:53 +0100 | [diff] [blame] | 39 | |
| 40 | // Only log to stderr when we're running in a test, not in a fuzz harness or a |
| 41 | // benchmark - otherwise we just waste CPU cycles. |
| 42 | verbose := false |
| 43 | if _, ok := t.(*testing.T); ok { |
| 44 | verbose = true |
| 45 | } |
| 46 | if verbose { |
| Serge Bazanski | 29974f3 | 2023-04-05 12:29:09 +0200 | [diff] [blame] | 47 | logtree.PipeAllToTest(t, lt) |
| Serge Bazanski | e25b3a4 | 2023-03-17 00:07:53 +0100 | [diff] [blame] | 48 | } |
| Serge Bazanski | f8a8e65 | 2021-07-06 16:23:43 +0200 | [diff] [blame] | 49 | |
| Serge Bazanski | ec19b60 | 2022-03-09 20:41:31 +0100 | [diff] [blame] | 50 | sup := New(ctx, func(ctx context.Context) error { |
| Serge Bazanski | 3379a5d | 2021-09-09 12:56:40 +0200 | [diff] [blame] | 51 | Logger(ctx).Infof("Starting test %s...", t.Name()) |
| Serge Bazanski | f8a8e65 | 2021-07-06 16:23:43 +0200 | [diff] [blame] | 52 | if err := r(ctx); err != nil && !errors.Is(err, ctx.Err()) { |
| 53 | t.Errorf("Supervised runnable in harness returned error: %v", err) |
| Serge Bazanski | 826a9e9 | 2021-10-05 21:23:48 +0200 | [diff] [blame] | 54 | return err |
| Serge Bazanski | f8a8e65 | 2021-07-06 16:23:43 +0200 | [diff] [blame] | 55 | } |
| 56 | return nil |
| Jan Schär | a8cfb56 | 2024-04-08 14:54:15 +0200 | [diff] [blame] | 57 | }, WithExistingLogtree(lt), WithPropagatePanic) |
| Serge Bazanski | ec19b60 | 2022-03-09 20:41:31 +0100 | [diff] [blame] | 58 | |
| 59 | t.Cleanup(func() { |
| Serge Bazanski | ec19b60 | 2022-03-09 20:41:31 +0100 | [diff] [blame] | 60 | ctxC() |
| Serge Bazanski | e25b3a4 | 2023-03-17 00:07:53 +0100 | [diff] [blame] | 61 | if verbose { |
| 62 | log.Printf("supervisor.TestHarness: Waiting for supervisor runnables to die...") |
| 63 | } |
| Serge Bazanski | ec19b60 | 2022-03-09 20:41:31 +0100 | [diff] [blame] | 64 | timeoutNag := time.Now().Add(5 * time.Second) |
| 65 | |
| 66 | for { |
| 67 | live := sup.liveRunnables() |
| 68 | if len(live) == 0 { |
| Serge Bazanski | e25b3a4 | 2023-03-17 00:07:53 +0100 | [diff] [blame] | 69 | if verbose { |
| 70 | log.Printf("supervisor.TestHarness: All done.") |
| 71 | } |
| Serge Bazanski | ec19b60 | 2022-03-09 20:41:31 +0100 | [diff] [blame] | 72 | return |
| 73 | } |
| 74 | |
| 75 | if time.Now().After(timeoutNag) { |
| 76 | timeoutNag = time.Now().Add(5 * time.Second) |
| 77 | sort.Strings(live) |
| Serge Bazanski | e25b3a4 | 2023-03-17 00:07:53 +0100 | [diff] [blame] | 78 | if verbose { |
| 79 | log.Printf("supervisor.TestHarness: Still live:") |
| 80 | for _, l := range live { |
| 81 | log.Printf("supervisor.TestHarness: - %s", l) |
| 82 | } |
| Serge Bazanski | ec19b60 | 2022-03-09 20:41:31 +0100 | [diff] [blame] | 83 | } |
| 84 | } |
| 85 | |
| Jan Schär | 75ea9f4 | 2024-07-29 17:01:41 +0200 | [diff] [blame] | 86 | time.Sleep(10 * time.Millisecond) |
| Serge Bazanski | ec19b60 | 2022-03-09 20:41:31 +0100 | [diff] [blame] | 87 | } |
| 88 | }) |
| Serge Bazanski | f8a8e65 | 2021-07-06 16:23:43 +0200 | [diff] [blame] | 89 | return ctxC, lt |
| 90 | } |