search

christofferholmstedt / dva501-master-thesis-report

3 stars 0 forks source link

Improve problem statement background #28

Closed christofferholmstedt closed 10 years ago

christofferholmstedt commented 10 years ago

The overall problem addressed in the thesis is clear (How to correctly implement parts of SPA using Ada). However, it is not clear what the main challenges in doing this are, and how were these challenges solved?

christofferholmstedt commented 10 years ago

Correctly implementing SPA in Ada can be done in many different ways. The goal was to see if it's possible to implement SPA in Ada with protected objects. Using Ada protected objects limits the amount of options as all parts of the system (in each processing node) needs to be compiled into only one binary, otherwise the tasks can't communicate over protected objects.

This has been left out of the report and deemed as knowledge readers know about Ada.