Какво е happens-before? Защо разработчикът трябва да го знае? От къде идва тази гаранция?