Received: by 2002:a05:6358:d09b:b0:dc:cd0c:909e with SMTP id jc27csp557947rwb; Wed, 7 Dec 2022 23:12:51 -0800 (PST) X-Google-Smtp-Source: AA0mqf4oVI4XRtQjYW6WpOB/eCsmZNs0qei82HB5gDuVmr+yVVYgvf0GRgILRDlEPxojxOVPMaQb X-Received: by 2002:a50:fa96:0:b0:46d:8ae8:961c with SMTP id w22-20020a50fa96000000b0046d8ae8961cmr1844745edr.359.1670483571273; Wed, 07 Dec 2022 23:12:51 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1670483571; cv=none; d=google.com; s=arc-20160816; b=Up4jr7Ii/9Syl6PXIhVF1ZPGCT9yv4vZItIaTPjtloh89dlfprsnCoaY+5iuYY8ZBZ /mFrNvF51zLlgiuLskSmdEnAJv9QI3yaa18sHyT/ZbdRq1Mr0Ww+eiu8yIiYitldtCew vOIUvMEd+JlSUN3OBu0P1iy0PL/1QqrO/1edMcADSCBnF0i62gMMJ4TyDhaSypp7p7WE Tpfhf/kntYGZJTowU+TrXz4+fJpEvZg0B41x09LBiVrQ2y5t8vn7AbcXsrSVQkn/Q5+8 tY1OKrja4x5aJ5qJh+XLy+a+1L72aiH8A8PCQhuI2lrHxBWj93RvZEaxQ6PaGAX3/CHn nfRQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:cc:to:from:subject:message-id:references :mime-version:in-reply-to:date:dkim-signature; bh=dixzBTqR6W2lf2lGg4zzNK1qhk/3AaEd5DQKmAdu8So=; b=gpEwcoTfvGwuqn4oAX+5FN2qp0BLPHaeyUXo0FGLbX/eK/ogn4hf8kD2XCOjtWe+dH ibNGF9zCR2crDytZZeuDMOKpG1mVHmC+mrOomL8XcO246iRAvqdv7K/FPP3W9dRs//HQ iTBIPmOxx/QeqaLkXrTk1LvHR6GjZ6K7yVK3LLB5UOW1j5OXy7RxavWbSCv1C8z02X4r 8RJlSkqqoucpppkLtCRxESeQA2aGW5JIRKk+jyP++Tu6h+/uRDWZi4GujdCmBaaSR+f7 bgRuToVO5Fm61trEo/zv7Ya+0FSnwVsa6vu7GbMwKVBRiCzUqrmJUBhDbRpwRA3DJ1pD oprg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@google.com header.s=20210112 header.b=C6USAdKH; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id s2-20020a05640217c200b0046b3408c731si5042546edy.143.2022.12.07.23.12.33; Wed, 07 Dec 2022 23:12:51 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20; Authentication-Results: mx.google.com; dkim=pass header.i=@google.com header.s=20210112 header.b=C6USAdKH; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S229761AbiLHGTH (ORCPT + 73 others); Thu, 8 Dec 2022 01:19:07 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:57666 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229728AbiLHGS6 (ORCPT ); Thu, 8 Dec 2022 01:18:58 -0500 Received: from mail-pj1-x1049.google.com (mail-pj1-x1049.google.com [IPv6:2607:f8b0:4864:20::1049]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 4A3959D2D3 for ; Wed, 7 Dec 2022 22:18:57 -0800 (PST) Received: by mail-pj1-x1049.google.com with SMTP id md9-20020a17090b23c900b00218fa3308a9so569816pjb.8 for ; Wed, 07 Dec 2022 22:18:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20210112; h=cc:to:from:subject:message-id:references:mime-version:in-reply-to :date:from:to:cc:subject:date:message-id:reply-to; bh=dixzBTqR6W2lf2lGg4zzNK1qhk/3AaEd5DQKmAdu8So=; b=C6USAdKHXsrbV+nVcbBs84pLoSjrTraU/I0n0WC9VfqSIlRkdC2CCAiT4w/IvSzZ12 FvyXEanNx0F/xfDh8006b7OModo1euXWJK+UHCOm4U7zAEuikAt3TGVhWUI0402ZkM5N Es54vXnc/dM/9Z1NKXJHkX+Aa8s7cmAosAyWr9BRGmq0eMpWxG52BX6AvdWPmXdcP9xw 9KzrxIshlDiQKlQpzwKiKsW24QPN0ZHxlMv4b0uqbtdh+1mJDt4xwkuloD8GANrJ9mGh oqkHNYGCH0VuGnAjFvUoqFIUcrDNBt4y9EwepDWgtjHlVjLQq6j8I/ZIqaIP6tzU4c4f 17CQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=cc:to:from:subject:message-id:references:mime-version:in-reply-to :date:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=dixzBTqR6W2lf2lGg4zzNK1qhk/3AaEd5DQKmAdu8So=; b=zjwpc8O0Z34eQOT+Dd+iNG6eZ9wyIMvOIdgMBF657+jkF5keBRHUu3Ugm0U8uK7fRU a7LWmmTtUlVCDu4L2OwTOEKQ0cLzDiZ7mOnc2tWeCp6S/8QTUJ+NCKRIS5wHfA3NxJ6e 6L4vCJRsIKQokX0n9kjQ9gLCnp18BhEA4lCybBj3CYwS5UtfrNI6ubcCuBVjuTPgMi+y nuykqxqU+tRNMbridpghQ6gVFRSXcGOyf6yahclPjs1I2bDLIDsJj3kggYqdm7EcvoRP 7HMENFeoORrHty4akcn6j1Z4933YJxhGX1r3C+AzxlHKV9aE1tQwoHvwRB57NPkRh1d5 IAzA== X-Gm-Message-State: ANoB5pkUUuWXZjA/9k5OLatledzT7ofgpCFZuhTfZ0c/YVA5+5pmxtT8 zdhVDKOtbp8XUe7ZPXHu5E8dzXuZY3LtkA== X-Received: from slicestar.c.googlers.com ([fda3:e722:ac3:cc00:4f:4b78:c0a8:20a1]) (user=davidgow job=sendgmr) by 2002:a17:90a:5317:b0:213:34f7:fb14 with SMTP id x23-20020a17090a531700b0021334f7fb14mr104602681pjh.25.1670480336794; Wed, 07 Dec 2022 22:18:56 -0800 (PST) Date: Thu, 8 Dec 2022 14:18:41 +0800 In-Reply-To: <20221208061841.2186447-1-davidgow@google.com> Mime-Version: 1.0 References: <20221208061841.2186447-1-davidgow@google.com> X-Mailer: git-send-email 2.39.0.rc0.267.gcb52ba06e7-goog Message-ID: <20221208061841.2186447-3-davidgow@google.com> Subject: [PATCH 2/2] Documentation: Add Function Redirection API docs From: David Gow To: Brendan Higgins , Shuah Khan , Daniel Latypov , Kees Cook Cc: Sadiya Kazi , Steven Rostedt , Joe Fradley , Steve Muckle , Jonathan Corbet , linux-kselftest@vger.kernel.org, kunit-dev@googlegroups.com, linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org, David Gow Content-Type: text/plain; charset="UTF-8" X-Spam-Status: No, score=-9.6 required=5.0 tests=BAYES_00,DKIMWL_WL_MED, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE, SPF_HELO_NONE,SPF_PASS,USER_IN_DEF_DKIM_WL autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lindbergh.monkeyblade.net Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org From: Sadiya Kazi Added a new page (functionredirection.rst) that describes the Function Redirection (static stubbing) API. This page will be expanded if we add, for example, ftrace-based stubbing. In addition, 1. Updated the api/index.rst page to create an entry for function redirection api 2. Updated the toctree to be hidden, reducing redundancy on the generated page. Signed-off-by: Sadiya Kazi Co-developed-by: David Gow Signed-off-by: David Gow --- Note that this patch is new to v1 of the series, and wasn't included in the previous RFCs. --- .../kunit/api/functionredirection.rst | 162 ++++++++++++++++++ Documentation/dev-tools/kunit/api/index.rst | 13 +- 2 files changed, 172 insertions(+), 3 deletions(-) create mode 100644 Documentation/dev-tools/kunit/api/functionredirection.rst diff --git a/Documentation/dev-tools/kunit/api/functionredirection.rst b/Documentation/dev-tools/kunit/api/functionredirection.rst new file mode 100644 index 000000000000..fc7644dfea65 --- /dev/null +++ b/Documentation/dev-tools/kunit/api/functionredirection.rst @@ -0,0 +1,162 @@ +.. SPDX-License-Identifier: GPL-2.0 + +======================== +Function Redirection API +======================== + +Overview +======== + +When writing unit tests, it's important to be able to isolate the code being +tested from other parts of the kernel. This ensures the reliability of the test +(it won't be affected by external factors), reduces dependencies on specific +hardware or config options (making the test easier to run), and protects the +stability of the rest of the system (making it less likely for test-specific +state to interfere with the rest of the system). + +While for some code (typically generic data structures, helpers, and toher +"pure function") this is trivial, for others (like device drivers, filesystems, +core subsystems) the code is heavily coupled with other parts of the kernel. + +This often involves global state in some way: be it global lists of devices, +the filesystem, or hardware state, this needs to be either carefully managed, +isolated, and restored, or avoided altogether by replacing access to and +mutation of this state with a "fake" or "mock" variant. + +This can be done by refactoring the code to abstract out access to such state, +by introducing a layer of indirection which can use or emulate a separate set of +test state. However, such refactoring comes with its own costs (and undertaking +significant refactoring before being able to write tests is suboptimal). + +A simpler way to intercept some of the function calls is to use function +redirection via static stubs. + + +Static Stubs +============ + +Static stubs are a way of redirecting calls to one function (the "real" +function) to another function (the "replacement" function). + +It works by adding a macro to the "real" function which checks to see if a test +is running, and if a replacement function is available. If so, that function is +called in place of the original. + +Using static stubs is pretty straightforward: + +1. Add the KUNIT_STATIC_STUB_REDIRECT() macro to the start of the "real" + function. + + This should be the first statement in the function, after any variable + declarations. KUNIT_STATIC_STUB_REDIRECT() takes the name of the + function, followed by all of the arguments passed to the real function. + + For example: + + .. code-block:: c + + void send_data_to_hardware(const char *str) + { + KUNIT_STATIC_STUB_REDIRECT(send_data_to_hardware, str); + /* real implementation */ + } + +2. Write one or more replacement functions. + + These functions should have the same function signature as the real function. + In the event they need to access or modify test-specific state, they can use + kunit_get_current_test() to get a struct kunit pointer. This can then + be passed to the expectation/assertion macros, or used to look up KUnit + resources. + + For example: + + .. code-block:: c + + void fake_send_data_to_hardware(const char *str) + { + struct kunit *test = kunit_get_current_test(); + KUNIT_EXPECT_STREQ(test, str, "Hello World!"); + } + +3. Activate the static stub from your test. + + From within a test, the redirection can be enabled with + kunit_activate_static_stub(), which accepts a struct kunit pointer, + the real function, and the replacement function. You can call this several + times with different replacement functions to swap out implementations of the + function. + + In our example, this would be + + .. code-block:: c + + kunit_activate_static_stub(test, + send_data_to_hardware, + fake_send_data_to_hardware); + +4. Call (perhaps indirectly) the real function. + + Once the redirection is activated, any call to the real function will call + the replacement function instead. Such calls may be buried deep in the + implementation of another function, but must occur from the test's kthread. + + For example: + + .. code-block:: c + + send_data_to_hardware("Hello World!"); /* Succeeds */ + send_data_to_hardware("Something else"); /* Fails the test. */ + +5. (Optionally) disable the stub. + + When you no longer need it, the redirection can be disabled (and hence the + original behaviour of the 'real' function resumed) using + kunit_deactivate_static_stub(). If the stub is not manually deactivated, it + will nevertheless be disabled when the test finishes. + + For example: + + .. code-block:: c + + kunit_deactivate_static_stub(test, send_data_to_hardware); + + +It's also possible to use these replacement functions to test to see if a +function is called at all, for example: + +.. code-block:: c + + void send_data_to_hardware(const char *str) + { + KUNIT_STATIC_STUB_REDIRECT(send_data_to_hardware, str); + /* real implementation */ + } + + /* In test file */ + int times_called = 0; + void fake_send_data_to_hardware(const char *str) + { + /* fake implementation */ + times_called++; + } + ... + /* In the test case, redirect calls for the duration of the test */ + kunit_activate_static_stub(test, send_data_to_hardware, fake_send_data_to_hardware); + + send_data_to_hardware("hello"); + KUNIT_EXPECT_EQ(test, times_called, 1); + + /* Can also deactivate the stub early, if wanted */ + kunit_deactivate_static_stub(test, send_data_to_hardware); + + send_data_to_hardware("hello again"); + KUNIT_EXPECT_EQ(test, times_called, 1); + + + +API Reference +============= + +.. kernel-doc:: include/kunit/static_stub.h + :internal: diff --git a/Documentation/dev-tools/kunit/api/index.rst b/Documentation/dev-tools/kunit/api/index.rst index 45ce04823f9f..2d8f756aab56 100644 --- a/Documentation/dev-tools/kunit/api/index.rst +++ b/Documentation/dev-tools/kunit/api/index.rst @@ -4,17 +4,24 @@ API Reference ============= .. toctree:: + :hidden: test resource + functionredirection -This section documents the KUnit kernel testing API. It is divided into the + +This page documents the KUnit kernel testing API. It is divided into the following sections: Documentation/dev-tools/kunit/api/test.rst - - documents all of the standard testing API + - Documents all of the standard testing API Documentation/dev-tools/kunit/api/resource.rst - - documents the KUnit resource API + - Documents the KUnit resource API + +Documentation/dev-tools/kunit/api/functionredirection.rst + + - Documents the KUnit Function Redirection API -- 2.39.0.rc0.267.gcb52ba06e7-goog