yes.

>>that I can rely on instant deallocation of resources if the data structures
>>behind resources are acyclic?

yes.  actually, that's one slight difference with Java (as i knew it, anyhow).
a Java implementation might deallocate acyclic things immediately
but the language doesn't guarantee it.  Limbo does.