Loading docs/sequence_diagrams/Makefile 0 → 100644 +6 −0 Original line number Diff line number Diff line DOT_WSDs=$(shell ls *.wsd | sed -e "s/\.wsd/.png/") all: ${DOT_WSDs} %.png: %.wsd wsd --style earth $< $@ docs/sequence_diagrams/msg_handling-no_errors.png −5.06 KiB (48.4 KiB) Loading image diff... docs/sequence_diagrams/msg_handling-no_errors.wsd +12 −21 Original line number Diff line number Diff line title Kinetic C message handling (w/ no errors) parallel { Client -> Sender: client enqueues request note left of Client: client is blocked } Client -> Client: pack request activate Client Sender -> Listener: hold responses for <FD, SEQ_ID> activate Sender Client -> Listener: hold responses for <FD, SEQ_ID> activate Listener Sender -> Drive: send request Client -> Drive: send request activate Drive Sender -> Client: notify Client Client -> Listener: expect response for <FD, SEQ_ID> Listener -> Client: acknowledgement with backpressure parallel { Client -> Client: backpressure deactivate Client Sender -> Listener: expect response for <FD, SEQ_ID> deactivate Sender } parallel { note left of Client: client is unblocked Listener -> Listener: wait Drive -> Listener: response deactivate Drive } Listener -> Listener: unpack response deactivate Listener Listener -> Threadpool: Transfer callback with result code activate Threadpool deactivate Listener Threadpool -->> Client: callback(status) deactivate Threadpool docs/sequence_diagrams/msg_handling-no_reply.png −6.42 KiB (48.2 KiB) Loading image diff... docs/sequence_diagrams/msg_handling-no_reply.wsd +9 −18 Original line number Diff line number Diff line title Kinetic C message handling (w/ response time-out) parallel { Client -> Sender: client enqueues request note left of Client: client is blocked } Client -> Client: pack request activate Client Sender -> Listener: hold responses for <FD, SEQ_ID> activate Sender Client -> Listener: hold responses for <FD, SEQ_ID> activate Listener Sender -> Drive: send request Client -> Drive: send request activate Drive Sender -> Client: notify Client Client -> Listener: expect response for <FD, SEQ_ID> Listener -> Client: acknowledgement with backpressure parallel { Client -> Client: backpressure deactivate Client Sender -> Listener: expect response for <FD, SEQ_ID> deactivate Sender } parallel { note left of Client: client is unblocked Listener -> Listener: wait } note right of Listener: TIME OUT deactivate Listener Loading Loading
docs/sequence_diagrams/Makefile 0 → 100644 +6 −0 Original line number Diff line number Diff line DOT_WSDs=$(shell ls *.wsd | sed -e "s/\.wsd/.png/") all: ${DOT_WSDs} %.png: %.wsd wsd --style earth $< $@
docs/sequence_diagrams/msg_handling-no_errors.wsd +12 −21 Original line number Diff line number Diff line title Kinetic C message handling (w/ no errors) parallel { Client -> Sender: client enqueues request note left of Client: client is blocked } Client -> Client: pack request activate Client Sender -> Listener: hold responses for <FD, SEQ_ID> activate Sender Client -> Listener: hold responses for <FD, SEQ_ID> activate Listener Sender -> Drive: send request Client -> Drive: send request activate Drive Sender -> Client: notify Client Client -> Listener: expect response for <FD, SEQ_ID> Listener -> Client: acknowledgement with backpressure parallel { Client -> Client: backpressure deactivate Client Sender -> Listener: expect response for <FD, SEQ_ID> deactivate Sender } parallel { note left of Client: client is unblocked Listener -> Listener: wait Drive -> Listener: response deactivate Drive } Listener -> Listener: unpack response deactivate Listener Listener -> Threadpool: Transfer callback with result code activate Threadpool deactivate Listener Threadpool -->> Client: callback(status) deactivate Threadpool
docs/sequence_diagrams/msg_handling-no_reply.wsd +9 −18 Original line number Diff line number Diff line title Kinetic C message handling (w/ response time-out) parallel { Client -> Sender: client enqueues request note left of Client: client is blocked } Client -> Client: pack request activate Client Sender -> Listener: hold responses for <FD, SEQ_ID> activate Sender Client -> Listener: hold responses for <FD, SEQ_ID> activate Listener Sender -> Drive: send request Client -> Drive: send request activate Drive Sender -> Client: notify Client Client -> Listener: expect response for <FD, SEQ_ID> Listener -> Client: acknowledgement with backpressure parallel { Client -> Client: backpressure deactivate Client Sender -> Listener: expect response for <FD, SEQ_ID> deactivate Sender } parallel { note left of Client: client is unblocked Listener -> Listener: wait } note right of Listener: TIME OUT deactivate Listener Loading
