From: "Jeffrey R. Carter" <spam.jrcarter.not@acm.nospam.org>
Subject: Re: Blocking I/O and Ravenscar
Date: Sat, 22 Sep 2007 04:31:39 GMT
Date: 2007-09-22T04:31:39+00:00 [thread overview]
Message-ID: <LU0Ji.97568$Xa3.74710@attbi_s22> (raw)
In-Reply-To: <1190408890.068176.182160@n39g2000hsh.googlegroups.com>
Maciej Sobczak wrote:
> Basically, Ravenscar forbids any blocking operations except waiting on
> a protected entry or a suspension object.
>
> How can I perform a blocking I/O without breaking this restriction?
>
> Let's say I would like to read a byte from a socket.
> An entry with the simple barrier Is_Ready can do the job in terms of
> the interface, but implementation-wise it only pushes the problem away
> - who will set the Is_Ready flag after the byte is actually read from
> the blocking physical device and put in the buffer? A separate task?
> It would need to be non-Ravenscar - there seems to be a chicken&egg
> problem here.
I'm not sure where you got this idea; I don't recall any restrictions on
blocking by tasks.
--
Jeff Carter
"English bed-wetting types."
Monty Python & the Holy Grail
15
next prev parent reply other threads:[~2007-09-22 4:31 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-09-21 21:08 Blocking I/O and Ravenscar Maciej Sobczak
2007-09-22 4:31 ` Jeffrey R. Carter [this message]
2007-09-22 21:17 ` Maciej Sobczak
2007-09-23 18:03 ` Surfer
2007-09-23 19:58 ` Surfer
2007-09-23 20:43 ` Maciej Sobczak
2007-09-24 9:03 ` Ole-Hjalmar Kristensen
2007-09-24 13:59 ` Surfer
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox