Chyuan Samuel Hsieh

Learn More
This paper presents a new linguistic mechanism for expressing and controlling inter-process interactions. Unlike existent designs such as monitor- or message-based mechanisms, which generally provides a set of relatively low-level primitives for users to implement various inter-process synchronization constraints, this mechanism provides a general(More)
Interprocess interactions in concurrent programs serve two major functions: conditional exclusion and scheduling. This article presents high-level techniques for specification of scheduling policies, and for proving the starvation-free property of scheduling policies after they are formally specified. Specification is based on a scheduler model that(More)
  • 1