futex and Monitor.Enter performance note added