pez-globo / pufferfish-software

All software for the Pufferfish ventilator.
Apache License 2.0
0 stars 1 forks source link

Reimplement state synchronization in backend for nestable schedules #400

Closed ethanjli closed 3 years ago

ethanjli commented 3 years ago

This PR prepares the backend for implementation of the Event Synchronization application-level protocol layer by refactoring the backend's implementation of the State Synchronization protocol layer (but without changing the State Synchronization protocol specification), specifically:

I have fully removed the unit tests which were written for states.Synchronizer. We should hold off on writing unit tests for protocols.application.states, as the interfaces of the classes may undergo further changes for implementation of the Event Synchronization protocol layer.

ethanjli commented 3 years ago

@rohanpurohit For this PR, let's merge after you test this to look for any regressions - the backend (both ventserver.simulator and ventserver.application) should still behave the same as before this PR.

For records-keeping:

  1. This project is licensed under Apache License v2.0 for any software, and Solderpad Hardware License v2.1 for any hardware - do you agree that your contributions to this project will be under these licenses, too? Yes
  2. Were any of these contributions also part of work you did for an employer or a client? No
  3. Does this work include, or is it based on, any third-party work which you did not create? No