Ada Programming/Libraries/Ada.Dispatching.EDF

Ada.Dispatching.EDF __TOC__ Ada Dispatching EDF is a unit of the Predefined Language Environment since Ada 2005. Specification Standard Ada library specification Copyright (c) 2003-2018 Maxim Reznik <reznikmm@gmail.com> Copyright (c) 2004-2016 AXE Consultants Copyright (c) 2004, 2005, 2006 Ada-Europe Copyright (c) 2000 The MITRE Corporation, Inc. Copyright (c) 1992, 1993, 1994, 1995 Intermetrics, Inc. SPDX-License-Identifier: BSD-3-Clause and LicenseRef-AdaReferenceManual ------------------------------------------------------------------------- with Ada Real_Time; with Ada Task_Identification; package Ada Dispatching EDF is subtype Deadline is Adadot .Real_Timedot .Time; Default_Deadline : constant Deadline := Adadot .Real_Timedot .Time_Last; procedure Set_Deadline (D : in Deadline; T : in Adadot .Task_Identificationdot .Task_Id := Adadot .Task_Identificationdot .Current_Task); procedure Delay_Until_And_Set_Deadline (Delay_Until_Time : in Adadot .Real_Timedot .Time; Deadline_Offset : in Adadot .Real_Timedot .Time_Span); function Get_Deadline (T : Adadot .Task_Identificationdot .Task_Id := Adadot .Task_Identificationdot .Current_Task) return Deadline; end Adadot .Dispatchingdot .EDF; See also Wikibook Ada Programming/Libraries/Ada Ada Reference Manual Ada 2005 D 2 6 Earliest Deadline First Dispatching Ada 2012 D 2 6 Earliest Deadline First Dispatching Open-Source Implementations a-disedf.ads libgnarl tasking/a-disedf.ads