Are pop, push and append indivisible operations? Reason is for multiple processes sharing global instances of a flavor.