Type-safe higher-order channels with channel locality1

摘要: As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form task parallelism in parallel computations. In the presence mutable references, however, they pose safety problem because references may be transmitted to remote threads where are no longer valid. This paper presents ML-like language with type-safe channels. By type safety, we mean that value written channel contains or equivalently, reference escapes via from thread it is created. The system uses typing judgment capable deciding whether which term evaluates not. use such makes easy achieve another desirable feature channels, locality, associates every unique for serving all values addressed it. Our permits sequential computations and ensures never interfere Thus, provides both flexibility programming ease implementing