This is the mail archive of the mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[Ada] Non-preemptive dispatching

Make Non_Preemptive_FIFO_Within_Priorities a standard dispatching policy
name as defined in RM D.2.4(2/2).

Create the language-defined library package Ada.Dispatching.Non_Preemptive,
as defined in RM D.2.4(2.2/3). This package is marked as unimplemented
because no target environment supports it.

Add the procedure Ada.Dispatching.Yield, introduced by Ada 2012 in
RM D.2.1(1.3/3).

The following test should trigger an error in the use of package
Ada.Dispatching.Non_Preemptive (not implemented) as shown:

pragma Task_Dispatching_Policy (Non_Preemptive_FIFO_Within_Priorities);

with Ada.Dispatching.Non_Preemptive;

procedure Non_Preemptive is
end Non_Preemptive;

$ gcc -c non_preemptive.adb
Non_Preemptive is not supported in this configuration
compilation abandoned

Tested on x86_64-pc-linux-gnu, committed on trunk

2015-02-20  Jose Ruiz  <>

	* Add spec for this package (Unimplemented_Unit).
	* (Yield): Include procedure added in Ada 2012.
	* a-dispat.adb (Yield): Implement procedure added in Ada 2012.
	* impunit.adb (Non_Imp_File_Names_05): Mark unit as
	defined by Ada 2005.
	* (Name_Non_Preemptive_FIFO_Within_Priorities):
	This is the correct name for the dispatching policy (FIFO was

Attachment: difs
Description: Text document

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]