Litmus tests for comparing memory consistency models: how long do they need to be?