[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [avr-gcc-list] using exceptions

From: Weddington, Eric
Subject: Re: [avr-gcc-list] using exceptions
Date: Tue, 1 May 2012 20:05:46 +0000

> -----Original Message-----
> From: address@hidden [mailto:avr-
> address@hidden On Behalf Of Bob
> Paddock
> Sent: Tuesday, May 01, 2012 1:34 PM
> To: Gabriel Dos Reis
> Cc: address@hidden
> Subject: Re: [avr-gcc-list] using exceptions
> > a subgroup
> >        of students (under my direction) has set up to write a
> > compiler for a subset
> >        of Haskell targetting AVR.  This is quite an exciting research
> project.
> There is the Atom subset of Haskell meant for embedding, if you are
> not aware of it:
> "Atom is a Haskell DSL for designing hard real-time embedded software.
> At Eaton, we use it for automotive control systems. Based on guarded
> atomic actions, and similar to software transactional memory, Atom
> enables highly concurrent programming without the need for mutex
> locking. In addition, Atom performs compile-time task scheduling and
> generates code with deterministic execution time and constant memory
> use, simplifying the process of timing verification and memory
> consumption in hard realtime applications. Without mutex locking and
> run-time task scheduling, Atom can eliminate the need and overhead of
> RTOSs for many embedded applications."
> -- http://tomahawkins.org/
> You and yours might also find the http://mbeddr.wordpress.com/ project
> of interest.

Cool! Thanks for the links, Bob! :-)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]