SYSTEM AND METHOD FOR DETERMINISTIC TIME PARTITIONING OF ASYNCHRONOUS TASKS IN A COMPUTING ENVIRONMENT

摘要

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).

主权项

1. A method of apportioning access to a computer resource for a plurality of computer applications, the method comprising the steps of:
providing each synchronous task with a portion of the major time frame periodic time budget to use the computer resource; providing each asynchronous task with a portion of the major time frame periodic time budget; and enforcing the assigned task time budget for each of the plurality of tasks to thereby operate the computer resource entirely in real time wherein the time budget for asynchronous threads is decreased proportionate to the time remaining in the major time frame.