Push view initialization out of package client
Add docs about read/write coherence and before-or-after atomicity