Can you point me to an authoritative source that explains what exactly is guaranteed under what assumptions and what is done on a best effort basis only?
If you're interested in the finer details, I'm sure the GC talk at golangUK later this month will discuss them all, and the slides and/or videos will eventually land here on Hacker News.