cubesatlab / cubedos

A flight software framework in SPARK/Ada
48 stars 5 forks source link

Create sample program for the publish/subscribe server #19

Open pchapin opened 4 years ago

pchapin commented 4 years ago

The publish/subscribe server is not being adequately tested. We should have a sample program that illustrates its use and that exercises its functionality. The internal structure of the publish/subscribe server should probably also be reviewed and enhanced. That could be considered part of this issue, or perhaps broken out into a separate issue.

pchapin commented 4 years ago

I created a placeholder program for this sample application. This gives anyone who works on this issue a place to get started.

r8d8 commented 3 years ago

@pchapin, is it still relevant issue? I would like to try it, though I am new to cubedOS. Looks like functional testing for a server, maybe with some benchmarks

pchapin commented 2 years ago

@r8d8 We still have a need for this sample program, yes. The system is in a bit of flux at the moment because we are adding support for multiple domains and inter-domain messaging. The publish/subscribe server will likely need some internal and API adjustments to support publishing messages across domains.

Eric-Edlund commented 1 year ago

Look at #42