lib/math/tests/rational_kunit.c
Source file repositories/reference/linux-study-clean/lib/math/tests/rational_kunit.c
File Facts
- System
- Linux kernel
- Corpus path
lib/math/tests/rational_kunit.c- Extension
.c- Size
- 1785 bytes
- Lines
- 58
- Domain
- Kernel Services
- Bucket
- lib
- Inferred role
- Kernel Services: implementation source
- Status
- source implementation candidate
Why This File Exists
Shared kernel service surface used by multiple subsystems, including helpers, cryptography, virtualization support, and async I/O infrastructure.
- Shared kernel service surface used by multiple subsystems, including helpers, cryptography, virtualization support, and async I/O infrastructure.
- Defines or uses C structs; map object ownership, embedded links, reference counts, and lock ownership.
Dependency Surface
kunit/test.hlinux/rational.h
Detected Declarations
struct rational_test_paramfunction get_descfunction rational_test
Annotated Snippet
struct rational_test_param {
unsigned long num, den;
unsigned long max_num, max_den;
unsigned long exp_num, exp_den;
const char *name;
};
static const struct rational_test_param test_parameters[] = {
{ 1230, 10, 100, 20, 100, 1, "Exceeds bounds, semi-convergent term > 1/2 last term" },
{ 34567,100, 120, 20, 120, 1, "Exceeds bounds, semi-convergent term < 1/2 last term" },
{ 1, 30, 100, 10, 0, 1, "Closest to zero" },
{ 1, 19, 100, 10, 1, 10, "Closest to smallest non-zero" },
{ 27,32, 16, 16, 11, 13, "Use convergent" },
{ 1155, 7735, 255, 255, 33, 221, "Exact answer" },
{ 87, 32, 70, 32, 68, 25, "Semiconvergent, numerator limit" },
{ 14533, 4626, 15000, 2400, 7433, 2366, "Semiconvergent, denominator limit" },
};
static void get_desc(const struct rational_test_param *param, char *desc)
{
strscpy(desc, param->name, KUNIT_PARAM_DESC_SIZE);
}
/* Creates function rational_gen_params */
KUNIT_ARRAY_PARAM(rational, test_parameters, get_desc);
static void rational_test(struct kunit *test)
{
const struct rational_test_param *param = (const struct rational_test_param *)test->param_value;
unsigned long n = 0, d = 0;
rational_best_approximation(param->num, param->den, param->max_num, param->max_den, &n, &d);
KUNIT_EXPECT_EQ(test, n, param->exp_num);
KUNIT_EXPECT_EQ(test, d, param->exp_den);
}
static struct kunit_case rational_test_cases[] = {
KUNIT_CASE_PARAM(rational_test, rational_gen_params),
{}
};
static struct kunit_suite rational_test_suite = {
.name = "rational",
.test_cases = rational_test_cases,
};
kunit_test_suites(&rational_test_suite);
MODULE_DESCRIPTION("Rational fractions unit test");
MODULE_LICENSE("GPL v2");
Annotation
- Immediate include surface: `kunit/test.h`, `linux/rational.h`.
- Detected declarations: `struct rational_test_param`, `function get_desc`, `function rational_test`.
- Atlas domain: Kernel Services / lib.
- Implementation status: source implementation candidate.
Implementation Notes
- This generated page is the file-by-file coverage layer; curated subsystem chapters should link here when they synthesize a multi-file control flow.
- Core OS pages should be promoted from atlas-only to deep-reviewed when they explain data structures, invariants, locking, lifecycle, and C implementation snippets.
- Driver-family pages are intentionally pattern-oriented unless they are part of the selected PCIe/NVMe representative device path.