From: Simon Wright <simon@pushface.org>
Subject: Re: is there a version of unix written in Ada
Date: Tue, 28 Jul 2020 17:48:46 +0100 [thread overview]
Message-ID: <lyd04fegb5.fsf@pushface.org> (raw)
In-Reply-To: 5f20233c$0$24260$426a74cc@news.free.fr
DrPi <314@drpi.fr> writes:
> Ada has embedded thread scheduling. What's the usefulness of m2os ?
The Ada language defines the syntax and semantics of tasking, but
whether an implementation supports tasking is a different matter.
If tasking is supported, there will be a runtime system that provides
it, and the compiler knows how to translate the code you write into
calls on that runtime system. If you write 'task T;' the code generated
by GNAT (in a Ravenscar system) will call
procedure Create_Restricted_Task
(Priority : Integer;
Stack_Address : System.Address;
Size : System.Parameters.Size_Type;
Sec_Stack_Address : System.Secondary_Stack.SS_Stack_Ptr;
Secondary_Stack_Size : System.Parameters.Size_Type;
Task_Info : System.Task_Info.Task_Info_Type;
CPU : Integer;
State : Task_Procedure_Access;
Discriminants : System.Address;
Elaborated : Access_Boolean;
Chain : in out Activation_Chain;
Task_Image : String;
Created_Task : Task_Id);
The procedure body is the business of the specific runtime system.
M2OS doesn't support Ada tasking at all. Instead, it provides a set of
primitive operations or API (see the web site); to create a "task", you
provide an initialization procedure and a body procedure and call an API
operation to register the code so that it can be called when necessary.
A higher-level facility can translate your code using (some?) Ada
tasking constructs into equivalent code calling the M2OS API.
The advantage claimed is that the memory footprint is much reduced, so
that the application will fit into a smaller MCU.
next prev parent reply other threads:[~2020-07-28 16:48 UTC|newest]
Thread overview: 105+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <e3c51e65-b71e-4623-bd58-c94cdbcc3ba6o@googlegroups.com>
2020-07-25 7:37 ` is there a version of unix written in Ada mockturtle
2020-07-26 19:45 ` Stéphane Rivière
2020-07-26 22:15 ` Jeffrey R. Carter
2020-07-27 7:40 ` Stéphane Rivière
2020-07-28 13:08 ` DrPi
2020-07-28 16:48 ` Simon Wright [this message]
2020-07-28 17:00 ` Fabien Chouteau
2020-07-29 9:21 ` DrPi
2020-07-29 9:28 ` Fabien Chouteau
2020-07-29 15:02 ` DrPi
2020-07-29 15:11 ` Fabien Chouteau
2020-07-29 20:41 ` DrPi
2020-07-29 9:20 ` DrPi
2020-07-29 16:53 ` Simon Wright
2020-07-29 20:42 ` DrPi
2020-07-25 8:47 ` Niklas Holsti
2020-07-25 9:36 ` Stéphane Rivière
2020-07-25 10:41 ` Luke A. Guest
2020-07-25 14:43 ` Jesper Quorning
2020-07-25 19:20 ` Andreas ZEURCHER
2020-07-27 7:40 ` Stéphane Rivière
2020-07-27 15:00 ` nobody in particular
2020-07-27 14:58 ` nobody in particular
2020-07-27 20:28 ` Shark8
2020-07-30 0:57 ` gdotone
2020-07-31 14:01 ` Shark8
2020-09-23 17:39 ` Olivier Henley
2020-09-25 15:06 ` DrPi
2020-09-25 17:31 ` Andreas ZEURCHER
2020-09-26 8:50 ` DrPi
2020-09-27 18:55 ` Luke A. Guest
2020-09-27 19:07 ` Luke A. Guest
2020-09-27 18:53 ` Luke A. Guest
2020-09-27 14:25 ` Shark8
2020-09-27 15:01 ` Dmitry A. Kazakov
2020-09-27 20:59 ` DrPi
2020-09-28 7:41 ` Dmitry A. Kazakov
2020-09-28 13:48 ` Olivier Henley
2020-09-28 14:48 ` Dmitry A. Kazakov
2020-09-28 16:28 ` Olivier Henley
2020-09-28 20:30 ` Dmitry A. Kazakov
2020-09-28 21:06 ` Shark8
2020-09-28 17:47 ` Paul Rubin
2020-09-28 20:27 ` Dmitry A. Kazakov
2020-09-29 23:54 ` Paul Rubin
2020-09-30 8:18 ` Dmitry A. Kazakov
2020-09-30 17:27 ` Paul Rubin
2020-09-30 19:42 ` Dmitry A. Kazakov
2020-09-30 20:33 ` Paul Rubin
2020-09-30 21:03 ` Dmitry A. Kazakov
2020-09-30 22:42 ` Randy Brukardt
2020-10-01 9:28 ` Dmitry A. Kazakov
2020-10-01 9:59 ` J-P. Rosen
2020-10-01 10:21 ` Dmitry A. Kazakov
2020-10-01 11:38 ` Niklas Holsti
2020-10-01 11:52 ` Niklas Holsti
2020-10-01 12:51 ` Dmitry A. Kazakov
2020-10-01 14:18 ` J-P. Rosen
2020-10-01 15:44 ` Dmitry A. Kazakov
2020-10-01 22:10 ` Randy Brukardt
2020-10-02 5:36 ` J-P. Rosen
2020-10-02 6:56 ` Dmitry A. Kazakov
2020-10-02 7:42 ` J-P. Rosen
2020-10-03 3:14 ` Randy Brukardt
2020-10-01 15:38 ` Niklas Holsti
2020-10-01 16:06 ` Dmitry A. Kazakov
2020-10-01 17:01 ` Niklas Holsti
2020-10-01 17:37 ` Dmitry A. Kazakov
2020-10-01 22:13 ` Randy Brukardt
2020-10-01 11:48 ` J-P. Rosen
2020-10-01 12:54 ` Dmitry A. Kazakov
2020-10-01 7:57 ` Paul Rubin
2020-10-01 9:26 ` Dmitry A. Kazakov
2020-10-01 9:46 ` Paul Rubin
2020-10-01 10:35 ` Dmitry A. Kazakov
2020-10-01 19:02 ` DrPi
2020-10-01 23:12 ` Paul Rubin
2020-10-01 21:54 ` Randy Brukardt
2020-10-01 23:14 ` Paul Rubin
2020-10-01 21:36 ` Brian Drummond
2020-10-02 6:56 ` Dmitry A. Kazakov
2020-10-02 18:34 ` Brian Drummond
2020-10-02 21:24 ` Paul Rubin
2020-10-06 23:54 ` Brian Drummond
2020-10-03 6:54 ` Dmitry A. Kazakov
2020-10-05 14:03 ` Shark8
2020-10-07 11:56 ` Olivier Henley
2020-10-09 12:35 ` Olivier Henley
2020-10-09 14:41 ` Brian Drummond
2020-09-28 18:40 ` Vincent Marciante
2020-09-28 20:28 ` Dmitry A. Kazakov
2020-09-28 17:04 ` DrPi
2020-09-28 17:30 ` Olivier Henley
2020-09-28 18:05 ` Olivier Henley
2020-09-28 19:36 ` Shark8
2020-09-03 10:32 ` c+
2020-09-12 4:30 ` sumde121
2020-09-19 14:09 ` erchetan33
2020-10-01 22:21 Randy Brukardt
2020-10-02 6:55 ` Dmitry A. Kazakov
2020-10-03 3:09 ` Randy Brukardt
2020-10-03 6:42 ` Dmitry A. Kazakov
2020-10-03 7:44 ` Niklas Holsti
2020-10-03 8:16 ` Dmitry A. Kazakov
2020-10-03 10:44 ` Niklas Holsti
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox