comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Feature suggestion: different task schedules
Date: Mon, 17 Jul 2017 19:45:34 -0500
Date: 2017-07-17T19:45:34-05:00	[thread overview]
Message-ID: <okjlnf$hbv$1@franka.jacob-sparre.dk> (raw)

"Randy Brukardt" <randy@rrsoftware.com> wrote in message news:...
...
> To be more specific, Ada 95 and later allows control of task scheduling 
> with pragma , pragma, and others.

Probably should have finished this sentence before hitting "send"!!

"To be more specific, Ada 95 and later allows control of task scheduling 
with
pragma Task_Dispatching_Policy, pragma Locking_Policy, pragma
Queuing_Policy, and others."

                           Randy.




             reply	other threads:[~2017-07-18  0:45 UTC|newest]

Thread overview: 25+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-07-18  0:45 Randy Brukardt [this message]
  -- strict thread matches above, loose matches on Subject: below --
2017-07-13 20:20 Feature suggestion: different task schedules Victor Porton
2017-07-13 21:58 ` Victor Porton
2017-07-13 22:11   ` Victor Porton
2017-07-14  5:59 ` Pascal Obry
2017-07-14  8:37   ` Dmitry A. Kazakov
2017-07-15 11:30 ` Victor Porton
2017-07-15 19:23   ` Niklas Holsti
2017-07-15 20:01   ` Simon Wright
2017-07-16 18:48   ` Jeffrey R. Carter
2017-07-16 19:05     ` Dmitry A. Kazakov
2017-07-16 20:25       ` Simon Wright
2017-07-18  0:09     ` Randy Brukardt
2017-07-18  7:14       ` Dmitry A. Kazakov
2017-07-18 15:28         ` Shark8
2017-07-18 16:06           ` Dmitry A. Kazakov
2017-07-18 20:09         ` Randy Brukardt
2017-07-19  7:24           ` Dmitry A. Kazakov
2017-07-23 12:31             ` Victor Porton
2017-07-23 14:19               ` Egil H H
2017-07-23 20:03                 ` Victor Porton
2017-07-23 20:05                 ` Dennis Lee Bieber
2017-07-23 18:47               ` Dmitry A. Kazakov
2017-07-24 15:26               ` Alejandro R. Mosteo
2017-07-24 19:56                 ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox