From: Jeffrey Carter <spam@spam.com>
Subject: Re: Ravenscar - Multiple Protected Entries
Date: Sun, 10 Aug 2003 02:36:24 GMT
Date: 2003-08-10T02:36:24+00:00 [thread overview]
Message-ID: <3F35AFA7.1030905@spam.com> (raw)
In-Reply-To: bh3eir$i6r$1@news.cs.tu-berlin.de
Stephan Heinemann wrote:
> Multiple protected entries are prohibited, saying that more than exactly
> one barrier could be opened at the same time and therefore introducing
> non-determinism as more than one task were able to enter the resource
> (YCS-2003-348 4.1.4). I cannot follow this reasoning as
> FIFO_Within_Priorities is used. Can anybody help me with this?
Suppose 2 tasks have the same priority, are blocked on 2 entries of a
protected object, and both barriers become True at the same time. How do
you determine which of the 2 tasks executes next?
--
Jeff Carter
"I spun around, and there I was, face to face with a
six-year-old kid. Well, I just threw my guns down and
walked away. Little bastard shot me in the ass."
Blazing Saddles
next prev parent reply other threads:[~2003-08-10 2:36 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-08-03 16:30 Ravenscar Stephan Heinemann
2003-08-04 8:19 ` Ravenscar Lutz Donnerhacke
2003-08-04 12:52 ` Ravenscar Matthew Heaney
2003-08-04 14:24 ` Ravenscar Phil Thornley
2003-08-04 20:49 ` Ravenscar Stephan Heinemann
2003-08-07 16:37 ` Ravenscar - Scheduling Stephan Heinemann
2003-08-07 17:16 ` Stephan Heinemann
2003-08-10 17:46 ` Ravenscar Stephan Heinemann
2003-08-06 9:43 ` Ravenscar Rodrigo Garcia
2003-08-09 15:44 ` Ravenscar - timouts Stephan Heinemann
2003-08-09 18:29 ` Ravenscar - Multiple Protected Entries Stephan Heinemann
2003-08-10 2:36 ` Jeffrey Carter [this message]
2003-08-10 17:41 ` Stephan Heinemann
2003-08-10 19:17 ` Jeffrey Carter
2003-08-11 16:35 ` Stephan Heinemann
2003-08-11 17:05 ` Stephan Heinemann
2003-08-11 19:18 ` Jeffrey Carter
2003-08-12 17:07 ` Stephan Heinemann
2003-08-12 16:31 ` Colin Paul Gloster
2003-08-12 17:10 ` Stephan Heinemann
2003-08-12 19:10 ` Colin Paul Gloster
2003-08-13 19:17 ` Colin Paul Gloster
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox