From: fabien.chouteau@gmail.com
Subject: Re: Why couldn't an operating system be written in ada
Date: Fri, 1 Mar 2019 07:07:26 -0800 (PST)
Date: 2019-03-01T07:07:26-08:00 [thread overview]
Message-ID: <6968ffe9-6fc1-4253-a3f0-14cfd474925f@googlegroups.com> (raw)
In-Reply-To: <gdoga0F4ia6U1@mid.individual.net>
I implemented the SMP support in Ravenscar. You are right in you analysis.
On Wednesday, February 27, 2019 at 11:12:18 PM UTC+1, Niklas Holsti wrote:
> The implementation of protected objects may have to be somewhat
> different. In a single-core system, mutual exclusion can be implemented
> by the "ceiling priority" method, but that doesn't work in multi-core
> systems, so more conventional locks must likely be used.
>
We use "fair locks" to keep a constant worst case access to the protected object.
next prev parent reply other threads:[~2019-03-01 15:07 UTC|newest]
Thread overview: 65+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-07-13 0:00 Why couldn't an operating system be written in ada Mark McKinney
1996-07-15 0:00 ` Jon S Anthony
1996-07-15 0:00 ` Brian Rogoff
1996-07-15 0:00 ` Mark Eichin
1996-07-16 0:00 ` Jon S Anthony
2019-03-02 16:07 ` Optikos
2019-03-03 22:14 ` russ lyttle
1996-07-15 0:00 ` David Wheeler
1996-07-15 0:00 ` Michael Levasseur
1996-07-25 0:00 ` Greg Harvey
1996-07-26 0:00 ` Kent Mitchell
1996-07-16 0:00 ` Poutanen Olavi
1996-07-15 0:00 ` Nasser Abbasi
1996-07-15 0:00 ` Robert Dewar
1996-07-17 0:00 ` Randy Greene
1996-07-17 0:00 ` Hannes Haug
2019-01-10 23:38 ` cenci.br
2019-01-10 23:54 ` Lucretia
2019-04-07 1:55 ` Nick Roberts
2019-04-07 4:32 ` Optikos
2019-04-07 10:35 ` Nick Roberts
2019-04-07 14:06 ` Optikos
2019-01-14 11:26 ` George Shapovalov
2019-02-25 2:25 ` russ lyttle
2019-03-09 18:43 ` Norman Worth
2019-02-25 21:56 ` Rabican
2019-02-26 8:46 ` Niklas Holsti
2019-02-26 9:30 ` Dmitry A. Kazakov
2019-02-26 23:32 ` lyttlec
2019-02-27 2:00 ` Dennis Lee Bieber
2019-02-27 6:20 ` russ lyttle
2019-02-27 8:26 ` Dmitry A. Kazakov
2019-02-27 13:54 ` russ lyttle
2019-02-27 15:55 ` Dmitry A. Kazakov
2019-02-27 16:46 ` russ lyttle
2019-02-27 23:52 ` Randy Brukardt
2019-02-27 8:20 ` Dmitry A. Kazakov
2019-02-27 14:06 ` russ lyttle
2019-02-27 14:23 ` Niklas Holsti
2019-02-27 16:01 ` Dmitry A. Kazakov
2019-02-27 17:04 ` russ lyttle
2019-02-27 17:29 ` Dmitry A. Kazakov
2019-03-09 18:46 ` Norman Worth
2019-02-26 23:13 ` lyttlec
2019-02-27 19:10 ` Shark8
2019-02-27 19:51 ` russ lyttle
2019-02-27 22:12 ` Niklas Holsti
2019-03-01 15:07 ` fabien.chouteau [this message]
2019-02-27 10:47 ` Patrick Jakubowski
2019-02-28 6:23 ` G. B.
2019-02-28 8:28 ` Simon Wright
-- strict thread matches above, loose matches on Subject: below --
1996-07-15 0:00 Robert C. Leif, Ph.D.
1996-07-17 0:00 ` wfranck
1996-07-17 0:00 ` Mark McKinney
1996-07-20 0:00 ` Michael Feldman
1996-07-22 0:00 ` Theodore E. Dennison
1996-07-22 0:00 ` Larry Kilgallen
1996-07-30 0:00 ` Pascal Martin @lone
1996-08-01 0:00 ` Bob Kitzberger
1996-08-03 0:00 ` Pascal Martin @lone
1996-07-17 0:00 ` wfranck
1996-07-22 0:00 ` Felicia R. Rosemond (214)-462-5371 ple1 SE
1996-07-29 0:00 ` Wallace E. Owen
1996-07-15 0:00 Simon Johnston
1996-07-19 0:00 Marin David Condic, 407.796.8997, M/S 731-93
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox