Databases
StackOverflow2013
Postsdbo
POUsing Haskell for sizable real-time systems: how (if?)?
 

Note that there are some explanatory texts on larger screens.

plurals
  1. POUsing Haskell for sizable real-time systems: how (if?)?
    primarykey
    data
    text
    <p>I've been curious to understand if it is possible to apply the power of Haskell to embedded realtime world, and in googling have found the <a href="http://hackage.haskell.org/package/atom" rel="nofollow noreferrer">Atom</a> package. I'd assume that in the complex case the code might have all the classical C bugs - crashes, memory corruptions, etc, which would then need to be traced to the original Haskell code that caused them. So, this is the first part of the question: "If you had the experience with Atom, how did you deal with the task of debugging the low-level bugs in compiled C code and fixing them in Haskell original code ?"</p> <p>I searched for some more examples for Atom, <a href="http://archhaskell.wordpress.com/2009/08/01/atom-a-domain-specific-language-for-hard-realtime-applications/" rel="nofollow noreferrer">this blog post</a> mentions the resulting C code 22KLOC (and obviously no code:), the <a href="http://hackage.haskell.org/packages/archive/atom/0.1.0/doc/html/src/Language-Atom-Example.html#example" rel="nofollow noreferrer">included example</a> is a toy. <a href="http://leepike.wordpress.com/source-code/atomfibhs/" rel="nofollow noreferrer">This</a> and <a href="http://blog.sw17ch.com/wordpress/?p=111" rel="nofollow noreferrer">this</a> references have a bit more practical code, but this is where this ends. And the reason I put "sizable" in the subject is, I'm most interested if you might share your experiences of working with the generated C code in the range of 300KLOC+. </p> <p>As I am a Haskell newbie, obviously there may be other ways that I did not find due to my unknown unknowns, so any other pointers for self-education in this area would be greatly appreciated - and this is the second part of the question - "what would be some other practical methods (if) of doing real-time development in Haskell?". If the multicore is also in the picture, that's an extra plus :-) </p> <p>(About usage of Haskell itself for this purpose: from what I read in <a href="http://mikeburrell.wordpress.com/2007/02/01/real-time-haskell/" rel="nofollow noreferrer">this blog post</a>, the garbage collection and laziness in Haskell makes it rather nondeterministic scheduling-wise, but maybe in two years something has changed. <a href="https://stackoverflow.com/questions/1113226/real-world-haskell-programming">Real world Haskell programming</a> question on SO was the closest that I could find to this topic)</p> <p><strong>Note:</strong> "real-time" above is would be closer to "hard realtime" - I'm curious if it is possible to ensure that the pause time when the main task is not executing is under 0.5ms.</p>
    singulars
    1. PO
      singulars
      1. PTAnswer
    1. This table or related slice is empty.
    1. PTQuestion
    1. USCommunity
    1. USAndrew Y
    plurals
    1. PL
      singulars
      1. LTLinked
    1. PL
      singulars
      1. LTLinked
    2. PL
      singulars
      1. LTLinked
    3. PL
      singulars
      1. LTDuplicate
    1. This table or related slice is empty.
    1. PO
      singulars
      1. PTAnswer
    2. PO
      singulars
      1. PTAnswer
    3. PO
      singulars
      1. PTAnswer
    1. VO
      singulars
      1. POUsing Haskell for sizable real-time systems: how (if?)?
      1. This table or related slice is empty.
      1. VTUpMod
    2. VO
      singulars
      1. POUsing Haskell for sizable real-time systems: how (if?)?
      1. USdeceze
      1. VTFavorite
    3. VO
      singulars
      1. POUsing Haskell for sizable real-time systems: how (if?)?
      1. This table or related slice is empty.
      1. VTUpMod
    1. This table or related slice is empty.
 

Querying!

 
Guidance
A row detail

Detail views are divided into sections. All the information in the data section comes from columns in the selected row. The other sections display data from other, related rows.

Related data can be related in a to-one or a to-many fashion. Captions of data related in a to-many fashion link to a list view showing a filtered view of the table.

Try moving around until you find a non-empty to-many entry and click on the label to get to one. You can move back to the root by clicking on the database name in the header.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload