System and method for deterministic time partitioning of asynchronous tasks in a computing environment
US9836418B2 · kind B2 · utility
0Cited by
12References
33Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Feb 26, 2014 |
| Grant date | Dec 5, 2017 |
| Priority date | — |
| Expiry date | Sep 30, 2035 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2209/485
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method of scheduling and controlling asynchronous tasks to provide deterministic behavior in time-partitioned operating systems, such as an ARINC 653 partitioned operating environment. The asynchronous tasks are allocated CPU time in a deterministic but dynamically decreasing manner. In one embodiment, the asynchronous tasks may occur in any order within a major time frame (that is, their sequencing is not statically deterministic); however, the dynamic time allotment prevents any task from overrunning its allotment and prevents any task from interfering with other tasks (whether synchronous or asynchronous).
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.