Move send_channel_msg_buffer
The operation send_channel_msg_buffer
is implemented in channel_mgr_bs
and specified in channel_mgr
. It is only used by the io_dispatch_mgr
module.
Currently, this operation contains the comment
/* a_buffer_out_state = e_buffer_out_msg_written */
/* ISSUE: not possible to see message_out_bs with AtelierB => TC failure / m -tc OK */
But actually it is worse than that. The implementation posts an asynchronous event containing the output buffer with the encoded message. So this operation shall also modify a_buffer_out_state
to indicate that the output buffer is no longer accessible. This latter change cannot be performed in channel_mgr
because the a_buffer_out_state
is owned by the service_mgr
module.
I therefore propose to move the specification of operation send_channel_msg_buffer
from channel_mgr
to service_mgr
, and its implementation from channel_mgr_bs
to service_mgr_bs
.