KhronosGroup / KhronosGroup/KSCAF_DocRequirements
Parallel execution of threads: conformance testing shall be discussed
Nobody has claimed this yet.
- Dominant language
- CSS
- Stars
- 4
- Forks
- 2
- PR merge metrics
- No merged PRs in 30d
Description
Current conformance tests for API implementations do not mention verification of requirements for parallel execution of threads. Since proven absence of thread-related issues is crucial in the safety environment, some form of this verification should be part of conformance process in the safety environment. This can be done as simply as making it mandatory for implementers to include API’s thread-related requirements in their safety plan. An alternative would be to request formal-verification results from implementers before conformance would be approved. Examples of this type of verification in industry can be found on the web site spinroot.com.
For reference, general issue "Parallel execution of threads" is defined as issue #29.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
The issue names no file, test, or entry point to inspect. Start by reviewing the conformance requirements and issue #29, then determine whether the project wants safety-plan requirements, formal-verification evidence, or another defined process; done requires an agreed and documented requirement.
Written by the indexing model from the issue text.
Assessment
- Domain
- testing
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100