From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,ab2ba9c5d12b0f12 X-Google-Attributes: gid103376,public From: jsa@alexandria (Jon S Anthony) Subject: Re: Concurrency in Gnat 3.05? Date: 1996/07/22 Message-ID: #1/1 X-Deja-AN: 170115444 sender: news@organon.com (news) references: <4sjqte$3mu@masala.cc.uh.edu> <19960718.082642.172@satcom.whit.org> organization: Organon Motives, Inc. newsgroups: comp.lang.ada Date: 1996-07-22T00:00:00+00:00 List-Id: In article dewar@cs.nyu.edu (Robert Dewar) writes: > Jon said > > "The point is that time slicing behavior is system dependent. For > example, GNAT on Solaris maps tasks to threads and they will behave as > you were expecting (switching context for IO, etc.)" > > Yes, in fact the default behavior on Solaris clearly violates the Ada 95 > standard in that time slicing does occur. We are investigating the use > of the real time priority levels in Solaris which should make it possible > to correct this incorrect behavior. While the language only defines the defaul FIFO policy, could you use the bit in D.2.2(6) which says that in the absence of a Task_Dispatching_Policy pragma, the dispatching policy is unspecified to "justify" this behavior? Or is this an unrelated thing? "(6) A task dispatching policy specifies the details of task dispatching that are not covered by the basic task dispatching model. These rules govern when tasks are inserted into and deleted from the ready queues, and whether a task is inserted at the head or the tail of the queue for its active priority. The task dispatching policy is specified by a Task_Dispatching_Policy configuration pragma. IF NO SUCH PRAGMA APPEARS IN ANY OF THE PROGRAM UNITS COMPRISING A PARTITION, THE TASK DISPATCHING POLICY FOR THAT PARTITION IS UNSPECIFIED." (emphasis mine.../jsa) /Jon -- Jon Anthony Organon Motives, Inc. 1 Williston Road, Suite 4 Belmont, MA 02178 617.484.3383 jsa@organon.com