Re: run tasks on events

["Alex R. Mosteo" <devnull@mailinator.com>]

Sebastian Hanigk wrote:

> "jimmaureenrogers@worldnet.att.net" <jimmaureenrogers@worldnet.att.net>
> writes:
> 
>> I am curious why you are comparing unrestrained HAL/S with a
>> restrained Ada profile. You can certainly design many interesting
>> shared resource design patterns using unrestrained Ada.
> 
> Mostly out of curiosity at the moment. I've stumbled over some shuttle
> documents (<http://klabs.org/DEI/Processor/shuttle/index.htm>), read
> "Programming in HAL/S" and found a few interesting concepts which
> started the endeavour to find similar ones in Ada.
> 
> Why Ravenscar? My job will in the foreseeable future provide me with the

At least one reason I've heard sometimes is to simplify the runtime, which may
be useful for validation, writing for simple hardware, etc. However, I expect
you'll get more informative replies.


> opportunity for involvement in the writing of (near-)real-time control
> software and I think it will be beneficial to work with a restricted
> language subset (Ravenscar + SPARK eventually) from a validation
> perspective.
> 
>> You might find
>> http://home.att.net/~jimmaureenrogers/Shared_Resource_Design_Patterns.html
>> interesting to consider.
> 
> Great, I'll start reading after supper!
> 
> 
> Sebastian