realizable version without mutual exclusion