On 10/09/2018 04:28 PM, Adam Retter wrote: > I guess I cannot say if this is a bug in jcstress or expected > behaviour. That would be down to you ;-) I agree, it looks like jcstress bug. Documentantion need to be explicit that @Actors have to execute by separate threads, and implementation has to follow. -Aleksey