The data access is not sufficiently protected against a reordering with read_position. While there is a AqcRel fence, the fence has no counterpart to synchronize with. This can be fixed by replacing the fence with a store on read_position with Ordering::Release in pop and a load with Ordering::Acquire in push.
Expected result or behaviour:
The data array is protected against reordering.
Conditions where it occurred / Performed steps:
It can happen whenever the CPU reorders the instructions.
Required information
Operating system: all
Rust version: all
Cargo version: all
iceoryx2 version:
mainbranchObserved result or behaviour:
The
dataaccess is not sufficiently protected against a reordering withread_position. While there is aAqcRelfence, the fence has no counterpart to synchronize with. This can be fixed by replacing the fence with a store onread_positionwithOrdering::Releaseinpopand a load withOrdering::Acquireinpush.Expected result or behaviour:
The
dataarray is protected against reordering.Conditions where it occurred / Performed steps:
It can happen whenever the CPU reorders the instructions.