RS01128: SORTED SET REFERENCED BY ANOTHER SET FOR CONSISTENCY CHECKING COULD LEAD TO DATA CORRUPTION

APAR status

• Closed as fixed if next.

Error description

• In example below, 'Arcs' as displayed in data view of problem
  browser is corrupted.
  
  tuple node {
     key int    level;
     key int    id;
  }
  sorted {node} Nodes = ...;
  
  tuple arc {
     key node fromnode;
     key node tonode;
     {string} features;
  }
  {arc} Arcs with fromnode in Nodes, tonode in Nodes = ...;
  execute { writeln("Arcs = ", Arcs); }
  subject to {}
  
  
  In example below, 'Originating_in_startNode1' is initialized
  incorrectly.
  
  tuple node {
     key int    level;
     key int    id;
  }
  sorted {node} Nodes = ...;
  node startNode = first(Nodes);
  
  tuple arc {
     key node fromnode;
     key node tonode;
     {string} features;
  }
  {arc} Arcs = ...;
  execute {   writeln("Arcs = ", Arcs); }
  
  tuple individualArc {
     key node     fromnode;
     key node     tonode;
     key string   feature;
  }
  {individualArc} IndividualArcs1 with fromnode in Nodes, tonode
  in Nodes
   = {< a.fromnode, a.tonode, f > | a in Arcs, f in a.features };
  {individualArc} Originating_in_startNode1
   = {a | a in IndividualArcs1 : a.fromnode == startNode };
  
  execute {
     writeln("IndividualArcs1 = ", IndividualArcs1);
     writeln("Originating_in_startNode1 = ",
  Originating_in_startNode1);
  }
  subject to {}
  

Local fix

• creat a set that copies data from sorted set and use the new set
  for referencing as shown below:
  
  {node} Nodes2 = {n | n in Nodes};
  ...
  ...
  {arc} Arcs with fromnode in Nodes2, tonode in Nodes2 = ...;
  

Problem summary

• This issue has been resolved and fix will be available with
  CPLEX Optimization Studio 12.5.0.1
  

Problem conclusion

Temporary fix

Comments

APAR Information

• APAR is sysrouted FROM one or more of the following:

• APAR is sysrouted TO one or more of the following:

Fix information

Applicable component levels

• RC40 PSN

     UP