xref: /aosp_15_r20/trusty/kernel/include/shared/lk/trusty_bench_json_schema.v3.json (revision 344aa361028b423587d4ef3fa52a23d194628137) 
1{
2    "$schema": "https://json-schema.org/draft/2020-12/schema",
3    "$id": "google.trusty.benchmark.schema.json",
4    "title": "BenchmarkResults",
5    "description": "Results of trusty Benchmarks",
6    "type": "object",
7    "properties": {
8        "suite_name": {
9            "description": "The name of the bench suite.",
10            "type": "string"
11        },
12        "bench_name": {
13            "description": "The name of the bench.",
14            "type": "string"
15        },
16        "schema_version": {
17            "type": "number",
18            "minimum": 3,
19            "maximum": 3
20        },
21        "results": {
22            "type": "array",
23            "items": {
24                "$ref": "#/$defs/result"
25            },
26            "minItems": 1,
27            "uniqueItems": true
28        }
29    },
30    "required": [
31        "suite_name",
32        "bench_name",
33        "results",
34        "schema_version"
35    ],
36    "$defs": {
37        "result": {
38            "type": "object",
39            "properties": {
40                "metric_name": {
41                    "description": "The name of the metric associated.",
42                    "type": "string"
43                },
44                "param_id": {
45                    "description": "The Id of the param associated.",
46                    "type": "integer"
47                },
48                "param_name": {
49                    "description": "The Formatted Name of the param associated.",
50                    "type": "string"
51                },
52                "min": {
53                    "type": "string"
54                },
55                "max": {
56                    "type": "string"
57                },
58                "avg": {
59                    "type": "string"
60                },
61                "cold": {
62                    "type": "string"
63                },
64                "raw_min": {
65                    "type": "integer"
66                },
67                "raw_max": {
68                    "type": "integer"
69                },
70                "raw_avg": {
71                    "type": "integer"
72                },
73                "raw_cold": {
74                    "type": "integer"
75                }
76            },
77            "required": [
78                "metric_name",
79                "min",
80                "max",
81                "avg",
82                "cold",
83                "raw_min",
84                "raw_max",
85                "raw_avg",
86                "raw_cold"
87            ]
88        }
89    }
90}
91