Flowdrom

Transaction JSON (use "|" for line breaks):

Positioning tips: Use > or < at the start of a lane name to shift it horizontally (each symbol = 20px). For message labels, use > or < at the start to move the label along the arrow. For info boxes, add <x,y> at the start of the text to set pixel offset (e.g. <70,-50>Info).

{
  title: 'Conflict: Two CAs ReadUnique Same Address',
  lanes: ['CA0', 'CA1', 'HN'],
  infoBoxes: [{ lane: 'HN', time: 2, text: '<70,-50>Conflict detected|serialize requests' }],
  messages: [
    { path: 'CA0->HN', label: 'Read|Unique(A)',  color: 'red',    style: 'solid',  fromTime: 0, toTime: 1 },
    { path: 'CA1->HN', label: '<Read|Unique(A)', color: 'red',    style: 'dashed', fromTime: 1, toTime: 2 },
    { path: 'HN->CA1', label: 'SnpInvalid(A)',   color: 'purple', style: 'solid',  fromTime: 1, toTime: 4 },
    { path: 'CA1->HN', label: 'SnpResp(I)',      color: 'green',  style: 'solid',  fromTime: 4, toTime: 6 }
  ],
  states: [
    { lane: 'CA0', label: 'I->UD', color: 'yellow', fromTime: 0, toTime: 0.5 },
    { lane: 'CA1', label: 'S->I',  color: 'orange', fromTime: 4, toTime: 4.5 },
    { lane: 'HN',  label: 'block', color: 'pink', fromTime: 2, toTime: 6 },
  ],
  legend: [
    { label: 'Request',    color: 'red',    style: 'solid' },
    { label: 'Conflicted', color: 'red',    style: 'dashed' },
    { label: 'Snoop',      color: 'purple', style: 'solid' },
    { label: 'Response',   color: 'green',  style: 'solid' },
  ]
}

FLOWDROM

Enhanced Transaction Sequence Graph