Skip navigation

Haskell Icon Sources

Collection of sources used or discussed in the course.

    Topic Source code browsers
   
 

Lectures

 
   
Queues
Sequential, contracted, concurrent and distributed queue implementations. All concepts introduced in those examples are considered prior knowledge and are presented here as a refresher before we enter the realm of real-time programming.
    Archive Packages Tests
Simple Haskell source file Haskell source file Haskell source file
Exceptions Haskell source file Haskell source file
Private Haskell source file Haskell source file
Contracts Haskell source file Haskell source file
Generic Haskell source file Haskell source file
Protected Type Haskell source file Haskell source file
  Generic Haskell source file Haskell source file
  Family Haskell source file Haskell source file
Dispatching Tasks Haskell source file Haskell source file
  Protected Haskell source file Haskell source file
  Unsync Haskell source file Haskell source file
OO Public Haskell source file Haskell source file
  Private Haskell source file Haskell source file
Priorities Haskell source file Haskell source file
   
Distributed Atomic Actions
Bundling a number of sequential operations into a concurrent entity which is executed under real-time constraints and succeeds or fails according to the rules of atomic actions (either succeeds in full or not at all).
The chosen example simulates the concurrent movement of three flight control surfaces (all with their own specific timing constraints) and the overall monitoring of a successful maneuver. If any surface fails to move in synchrony then all surfaces are informed and move to their fail-safe positions.
  Archive Packages Tests
Simple Haskell source file Haskell source file Haskell source file
   
Swarm
This is an OpenGL based, 3d graphics simulator for concurrent and real-time experimentation of planning, coordination, synchronization and scheduling.

 

 
 
 
This is not relevant for your 2015 edition of the course, as you will be working on actual hardware this year. So take at look at it in your spare time, if you want to have more entertainment in distributed systems.
  Archive
Interface
Tasks Haskell source file
Haskell source file
Message contents
Haskell source file
Vehicle interface
Haskell source file
Data structures
Haskell source file
Swarm configuration
Haskell source file
       
       
       
   

 

Updated:   Monday 17 July, 2017 9:26 / Responsible Officer:   JavaScript must be enabled to display this email address. / Page Contact:   Course Webmaster