Ce este happens-before? De ce trebuie să știe un dezvoltator despre asta? De unde provine această garanție?