> On Jul 26, 2016, at 5:12 PM, Peter <pe...@pajamian.dhs.org> wrote: > > Would doing another cache read right before the update be an easy fix > for this? I do realize this would add additional latency to postscreen, > hopefully not too much.
This still leaves a race condition in place, though it would be for a shorter time. -- Viktor.