Confirmed users
699
edits
| Line 14: | Line 14: | ||
child: | child: | ||
// transfers ownership of |s| from parent to child | // transfers ownership of |s| from parent to child | ||
HereYouGo(Shmem s); | async HereYouGo(Shmem s); | ||
parent: | parent: | ||
// transfers ownership of |s| from child to parent, then back to child | // transfers ownership of |s| from child to parent, then back to child | ||
GiveAndGetBack(Shmem s) returns (Shmem ss); | sync GiveAndGetBack(Shmem s) returns (Shmem ss); | ||
// transfers ownership of |s| from child to parent | // transfers ownership of |s| from child to parent | ||
ThanksDone(Shmem s); | async ThanksDone(Shmem s); | ||
}; | }; | ||