A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | AA | AB | AC | AD | AE | ||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | Item Name | date of last change | Category | Primary Group | Secondary Group | Skill Set Concat Abbrevs bfrom below table | Priority (l/m/h) | Effort (s/m/l/xl) | When needed (CYQ) | (projected) Start Date | Projected End Date | proposer | One line description | |||||||||||||||||||
2 | Optimizer | Compilers | Tool Chain | m | xl | ongoing | mark himelstein | coordinate/share optimization efforts | ||||||||||||||||||||||||
3 | GCC code-quality | Compilers | Tool Chain | Systematic coverage and code-quality improvements | ||||||||||||||||||||||||||||
4 | LTO support | Compilers | Tool Chain | Link-time optimisation support is missing | ||||||||||||||||||||||||||||
5 | LLVM | Compilers | Tool Chain | |||||||||||||||||||||||||||||
6 | performance analysis | Tools | Tool Chain | |||||||||||||||||||||||||||||
7 | jemalloc | Libraries | Software | |||||||||||||||||||||||||||||
8 | OpenSSL optimisations | Libraries | Software | bitmanip, crypto, tuning | ||||||||||||||||||||||||||||
9 | Containers | Tools | Software | |||||||||||||||||||||||||||||
10 | Javascript V8 | Runtimes | Software | |||||||||||||||||||||||||||||
11 | Rust (LLVM-based) | Runtimes | Software | |||||||||||||||||||||||||||||
12 | golang | Runtimes | Software | |||||||||||||||||||||||||||||
13 | php | Runtimes | Software | |||||||||||||||||||||||||||||
14 | python | Runtimes | Software | |||||||||||||||||||||||||||||
15 | Java | Runtimes | Software | m | l | nxt yr | Ken Dockser | JRE: JVM, JIT | ||||||||||||||||||||||||
16 | optimize for SPEC2017 (SPEC2006) | Compilers | Tool Chain | coordinate efforts for analysis and middle-end improvements (e.g. vectorisation) similar coordination is happening for ARMv8 | ||||||||||||||||||||||||||||
17 | math | Libraries | Software | lapack, eigen, ... | ||||||||||||||||||||||||||||
18 | OpenCV | Libraries | Software | |||||||||||||||||||||||||||||
19 | virtual memory spec | Specifications | virtual memory | h | m | now | ongoing | dan lustig | finish spec | |||||||||||||||||||||||
20 | virtual machines | platform | m | mark himelstein | identify work needed to use hypervisor spec by VMs, identify targets, manage efforts, get distro builds underway | |||||||||||||||||||||||||||
21 | build/release | Infrastructure | software | tool chain | h | m | now | Q32020 | Q12021 | mark himelstein | draft distros to support base profiles | |||||||||||||||||||||
22 | lifecycle | Process | TSC | software | h | l | now | Q32020 | Q12021 | mark himelstein | base profiles/uefi/devicet tree choices for distros, custom profiles & app comatibility, EOL, versioning/naming | |||||||||||||||||||||
23 | docs | TSC | m | m | now | Q42020 | ongoing | all | editing, polishing existing and new specs, integrate Sail spec, cross- spec glossary and index | |||||||||||||||||||||||
24 | better calendar | Infrastructure | TSC | h | s | now | Q32020 | Q32020 | all | stephano&jeffro to implement | ||||||||||||||||||||||
25 | complete & maintain sail | Golden Model | Formal Spec | h | l | now | Q32020 | ongoing | richard newell, et. al | add new changes, extensions, formal model generation, maintain, refactor, compare with written spec, find and fix bugs | ||||||||||||||||||||||
26 | security response team | Security | Security | h | s | now | Q42020 | |||||||||||||||||||||||||
27 | cache manage operations | ISA | Privileged ISA | h | m | now | Tariq Kurd | cache flush/invalidate, prefetch, TLB invalidate. Andy Glew has a proposal | ||||||||||||||||||||||||
28 | extension to reduce code size | ISA | new TG | h | l | now | Tariq Kurd | need to be competitive on code size for embedded cores, now often 15% larger | ||||||||||||||||||||||||
29 | evaluation/development hardware for OSS developers | Infrastructure | ||||||||||||||||||||||||||||||
30 | compatibility tests for legacy v1.11 priv spec | TG | Privileged ISA | ACT | h | h | now | needs rsrc | Allen Baum | need M,S tests w/ good coverage, defined coverage, testing all features, ISA TG in email mode | ||||||||||||||||||||||
31 | RV32D SAIL support | TG | unPrivileged ISA | ACT | h | m | now | Q2-2021 | Q4-2021 | Allen Baum | support is missing entirely from SAIL | |||||||||||||||||||||
32 | compatibility tests for legacy F/D specs | TG | unPrivileged ISA | ACT | h | m | now | Q2-2021 | Q4-2021 | Allen Baum | need F,D tests w/ good coverage, defined coverage, testing all features | |||||||||||||||||||||
33 | compatibility tests for legacy A-ext specs | TG | unPrivileged ISA | ACT | h | m | now | needs rsrc | Allen Baum | need A-ext tests w/ good coverage, defined coverage, testing all features | ||||||||||||||||||||||
34 | profile comparison tool | Tools | ACT | SW profile | l | s | EOY | needs rsrc | Allen Baum | determines whether a device profile meets platform profile requirements | ||||||||||||||||||||||
35 | multi-mode interrupt handler | TG | ACT | Infrastructure HC | h | m | EOY | needs rsrc | Allen Baum | replicate interrupt handler for each possible mode: M, VS,S | ||||||||||||||||||||||
36 | compatibility tests for non-determinism | TG | ACT | Priv | m | h | ? | needs rsrc | Allen Baum | we need test infrastructure that can test for non-architectural state dependent results (assume some some small fixed number of different results) | ||||||||||||||||||||||
37 | hardening test macros | TG | ACT | Infrastructure HC | m | h | ? | needs rsrc | Allen Baum | ensure macros don't break when constants exceed immediate op sizes | ||||||||||||||||||||||
38 | Reducing compatibility test size - out-of-line assertions | ACT | TSC | l | l | EOY | Q3-2022 | EOY | Allen Baum | move assertion code to be out-of-line to reduce test sizes | Now part of ACT policy and Branding policy - ACT under review | |||||||||||||||||||||
39 | compatibility tests for concurrency | TG | ACT | Formal, MemModel, +? | l | h | nxt year | needs rsrc | Allen Baum | we don't know how to test anything timing or ordering dependent (mem model, interrupts) | Some of this requires new framework. ABI for event generators (interrupts,memory writes) being defined, but implementation is currently envisioned as vendor /model specific | |||||||||||||||||||||
40 | config. dependent reference model | TG | ACT | Priv, Unpriv | h | m | now | EOY21 | ongoing | Allen Baum | Formal model needs to be configurable for WARL fields and optional behavior | WARL configuration of Sail in progress | ||||||||||||||||||||
41 | compatibility tests dependency on ratified spec (legacy) | TG | ACT | Priv, Unpriv | h | m | now | needs rsrc | Allen Baum | New extensions are held back by missing tests of ratified spec | ||||||||||||||||||||||
42 | instruction encoding allocation | ISA | Unpriv | Priv | h | m | yesterday | needs rsrc | Ken Dockser | Subgroup needed to oversee opcode/instruction encoding allocation | ||||||||||||||||||||||
43 | compatibility test testplans | ISA | ACT | Unpriv | h | l | yesterday | Ken Dockser | Detailed plan of what needs to be tested for each of the instructions; need for contractors to provide what we need | Should be the responsibility of the TGs creating instruction or feature | ||||||||||||||||||||||
44 | Process for certifying passing arch tests | Process | ACT | TSC | m | l | EOY | Q3-2021 | EOY | Allen Baum | Define process for apply for trademark: beside passing architecture tests, what is needed to apply for a license? A report containing what, sent to whom? | Now part of ACT policy and Branding policy - ACT under review | ||||||||||||||||||||
45 | Certifying HW and RTL | Process | ACT, Branding | TSC | m | l | EOY | Q4-2020 | EOY | Allen Baum | Define the process for HW based on licensed cores that are licensed to use the trademarks to be allowed themselves be licensed to use the trademarks | Part of Branding policy now? | ||||||||||||||||||||
46 | Certifying configurable RTL & HW | Process | ACT, Branding | TSC | m | l | EOY | Q4-2020 | EOY | Allen Baum | Define the process for configurable core IP to be licensed to use the trademarks. | Part of Branding policy now? | ||||||||||||||||||||
47 | compatibility test plan | ISA | ACT | Priv, Unpriv | h | l | now | Ken Dockser | Determine the intent of compatibility tests, what scenarios will be tested, when sections will be rolled out (e.g., basic isolated instructions, basic interacting instructions, detailed corner cases) | Should be the responsibility of the TGs creating instruction or feature | ||||||||||||||||||||||
48 | Profile definition | ISA | Priv, Unpriv | h | m | now | Ken Dockser | Clearly define what a profile is, what it includes and what it doesn't, how/if it differs from a platform | ||||||||||||||||||||||||
49 | Test fixture for RTL | ISA | ACT | Priv, Unpriv | h | m | yesterday | Q4-2021 for limited version | Ken Dockser | Sample test harness for running compliance tests on RTL; includes interrupt generators, memory transactors, checkers, etc. | Unclear if universal solution is possible. | |||||||||||||||||||||
50 | Question answering correctness | ISA | all | Formal | h | ? | now | needs rsrc | ongoing | Allen Baum | When a question is answered, formal model must be checked for agreement | |||||||||||||||||||||
51 | Priority | |||||||||||||||||||||||||||||||
52 | l | future | ||||||||||||||||||||||||||||||
53 | m | in next 18 months | ||||||||||||||||||||||||||||||
54 | h | in next 6 months | ||||||||||||||||||||||||||||||
55 | Effort | |||||||||||||||||||||||||||||||
56 | s | < 1 month | ||||||||||||||||||||||||||||||
57 | m | < 6 months | ||||||||||||||||||||||||||||||
58 | l | < 12 months | ||||||||||||||||||||||||||||||
59 | xl | > 12 months | ||||||||||||||||||||||||||||||
60 | xxl | > 2 years | ||||||||||||||||||||||||||||||
61 | ||||||||||||||||||||||||||||||||
62 | Skill Set Abbreviations | A | architect | |||||||||||||||||||||||||||||
63 | B | BootLoaders | ||||||||||||||||||||||||||||||
64 | C | •Tool chain (e.g., gcc, optimizers, gdb, valgrind, …) | ||||||||||||||||||||||||||||||
65 | D | Descriptions including Profiles, Test input, Config, etc. | ||||||||||||||||||||||||||||||
66 | D | •Documentation (seasoned) | ||||||||||||||||||||||||||||||
67 | H | Hypervisor | ||||||||||||||||||||||||||||||
68 | I | •Real implementations as POC | ||||||||||||||||||||||||||||||
69 | M | •Middleware and runtime libraries | ||||||||||||||||||||||||||||||
70 | O | Operating Systems | ||||||||||||||||||||||||||||||
71 | P | Application Performance | ||||||||||||||||||||||||||||||
72 | S | •Emulator/simulator (spike, QEMU, etc.) | ||||||||||||||||||||||||||||||
73 | T | •Compliance test writers | ||||||||||||||||||||||||||||||
74 | V | Virtual Machines | ||||||||||||||||||||||||||||||
75 | ||||||||||||||||||||||||||||||||
76 | ||||||||||||||||||||||||||||||||
77 | ||||||||||||||||||||||||||||||||
78 | ||||||||||||||||||||||||||||||||
79 | ||||||||||||||||||||||||||||||||
80 | ||||||||||||||||||||||||||||||||
81 | ||||||||||||||||||||||||||||||||
82 | ||||||||||||||||||||||||||||||||
83 | ||||||||||||||||||||||||||||||||
84 | ||||||||||||||||||||||||||||||||
85 | ||||||||||||||||||||||||||||||||
86 | ||||||||||||||||||||||||||||||||
87 | ||||||||||||||||||||||||||||||||
88 | ||||||||||||||||||||||||||||||||
89 | ||||||||||||||||||||||||||||||||
90 | ||||||||||||||||||||||||||||||||
91 | ||||||||||||||||||||||||||||||||
92 | ||||||||||||||||||||||||||||||||
93 | ||||||||||||||||||||||||||||||||
94 | ||||||||||||||||||||||||||||||||
95 | ||||||||||||||||||||||||||||||||
96 | ||||||||||||||||||||||||||||||||
97 | ||||||||||||||||||||||||||||||||
98 | ||||||||||||||||||||||||||||||||
99 | ||||||||||||||||||||||||||||||||
100 |