Guarded Suspension: Context (cont.)

1a: pull( ) {concurrency=guarded|!q.isEmpty( )}

1b: push( ) {concurrency=guarded}