comp.lang.ada
 help / color / mirror / Atom feed
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



  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