Cellular Network Infrastructure » Radio Access Network » OsmoBSC

both patches are merged. Does that fix/resolved this issue?

Its a "cosmetic" problem. Neels has some model in mind where temporary and permanent values should be stored. I am not sure that I understand every aspect of this right. I think we should wait until neels is back and then we can fix this together. There is no pressure on this, technically its just moving a struct member to the correct sub struct to have everything consistent.

lchan->activate.info = the settings that were requested on lchan_activate(). So lchan->activate.* is preliminary and volatile, used before the lchan actually is activated successfully.

As soon as the lchan activation is successful, all valid information should end up in lchan->foo fields (outside of lchan->activate),
in this case probably lchan->s15_s0.

The distinction is quite trivial. lchan->activate contains the settings that are requested before setting up the lchan, and aren't verified to be really active.

At any time, some code (bug?) might try to invoke another activation request and overwrite lchan->activate.* data.
So any items that describe the actually active lchan should not be kept in lchan->activate.*

A similar concept exists in various other FSMs, it is an important mechanism that separates possibly invalid manipulation requests from the actually verified active settings.

laforge wrote:

both patches are merged. Does that fix/resolved this issue?

The linked issue https://gerrit.osmocom.org/c/osmo-bsc/+/13039 was merged still containing the problem.
It is however "merely" a cosmetic / code maintenance problem, not distinguishable by the user.
I guess I should just clean this up since original authors clearly can't be bothered.

quoting G#13039 comment:

The assignment_fsm.c stores the chosen ch_mode_rate in lchan->ch_mode_rate, even though the assignment or activation are not complete yet, which violates above ideas and confuses transitory and accepted config.

So assignment_fsm_start() should not leak its state into lchan->*, but should keep a separate ch_mode_rate somewhere else, I'd say in conn->assignment.new_lchan_ch_mode_rate or so. (If it really needs to store it at all.)

This ch_mode_rate should get passed to lchan activation, where lchan_fsm.c then first stores it in lchan->activate.* as transitory state, and when the activation was ACKed copies it to lchan->ch_mode_rate.

That's how we ensure the lchan->* items reflect what is currently used, and transitory requests make their potential mess elsewhere.

cleaning up (part of?) this in the process of #3277

The reason why this is required is that for a re-assignment, the lchan needs to reflect the currently activated chan_mode_rate.
So far the chosen chan_mode_rate is only stored in the previous lchan data, which defies all logic.

A set of chan_mode_rates shall be chosen in the Assignment procedure, placed in a struct assignment_request,
one of them shall be chosen and placed in struct assignment_fsm_data.
Upon channel activation/modify the chosen chan_mode_rate must pass through struct lchan_activate_info or lchan_modify_info,
and finally, when the activation/modify is ACKed, the new lchan should reflect the actually used chan_mode_rate.
Hence, a failed activation/modify will neither change the previous lchan nor the new lchan,
and after a successful activation/modify, subsequent re-assignment/modify procedures know an lchan's current mode and rate accurately.

(struct channel_mode_and_rate includes the S15-S0 bits)

neels wrote:

cleaning up (part of?) this in the process of #3357

That should have said #3277

A year in progress? This is potentially affecting one of our customers provoking a crash of osmo-bsc. Increasing priority.

Related: https://gerrit.osmocom.org/c/osmo-bsc/+/30583

Solved by: Ie0da36124d73efc28a8809b63d7c96e2167fc412 https://gerrit.osmocom.org/c/osmo-bsc/+/24352
more than a year ago. I forgot to update this issue.