Wenn eine doppelte Markierung ein Problem verursacht, dann scheint es ein Fehler in einem oder beiden Modulen zu sein. Sie sollten wahrscheinlich einfach keine Beiträge auswerten, die bereits markiert sind (und dann vielleicht noch einmal prüfen, bevor sie versuchen, eine Markierung zu setzen).