Go backward to dist[put] : Write Data into a Shared ObjectGo up to 3.3 Shared Data Go forward to dist[clear] : Clear a Shared Object |
dist[get]
: Get Data from a Shared Objectv := dist[get](d)
This call returns the value v of the shared object d; if d is still empty, the current task is blocked until a value is put into d.
> v := dist[get](d); v := x + y