For what it is worth, I get these errors quite often using mac (at least 75% of uploads).
The best way around it is double clicking the reset button.
Sometimes I have to unplug and replug the USB.
No trouble using the board (reading serial) when the upload is successful.