comp.lang.ada
 help / color / mirror / Atom feed
From: agate!spool.mu.edu!think.com!rpi!news-server.csri.toronto.edu!torsqnt!lethe!telly!moore!eastern!egsgate!Uucp@ucbvax.Berkeley.EDU  (John Goodenough)
Subject: Re: Types defining h/w r/o or w/o registers
Date: 5 Jun 91 18:59:54 GMT	[thread overview]
Message-ID: <676362409.29@egsgate.FidoNet.Org> (raw)

In article Re: Types defining h/w r/o or w/o registers of 4 Jun 91 14:48:21
GMT als@bohra.cpg.oz.au (Anthony Shipman) writes:

>Wasn't there something in the tasking part of the language for this?  Ada's
>multi-tasking model is shared memory between tasks.  I vaguely recall there
was
>a pragma, or something in the machine-dependant chapter, to declare certain
>memory locations as volatile.  Certainly what you have is logically
equivalent
>to multi-tasking except that one of the tasks is implemented in hardware.

You are talking here about pragma SHARED, which is not suitable for use with
volatile data.  The Ada 9X study report on shared variables (available from
the usual sources) discusses why pragma SHARED doesn't fit the bill.

John B. Goodenough					Goodenough@sei.cmu.edu
Software Engineering Institute				412-268-6391

             reply	other threads:[~1991-06-05 18:59 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1991-06-05 18:59 John Goodenough [this message]
  -- strict thread matches above, loose matches on Subject: below --
1991-06-06  3:02 Types defining h/w r/o or w/o registers Steven V. Case
1991-06-09  0:15 ` rharwood
1991-05-30 13:03 Don Gardner
1991-05-31 17:03 ` david.c.willett
1991-05-31 17:10   ` david.c.willett
1991-05-31 17:26 ` J o s e D u a r t e
1991-06-01  8:34   ` Orville R. Weyrich
1991-06-02 16:54 ` rharwood
1991-06-03  7:57   ` Orville R. Weyrich
1991-06-04 14:08     ` John Goodenough
1991-06-04 14:48     ` Anthony Shipman
1991-06-05 13:59       ` John Goodenough
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox