Typing Copyless Message Passing

Details Typing Copyless Message Passing Typing Copyless Message Passing

2012-02-09

arxiv.org/abs/1202.2086v2

LMCS 8 (1:17) 2012

Computer Science

Programming Languages

50 pages

Scientific paper

10.2168/LMCS-8(1:17)2012

We present a calculus that models a form of process interaction based on copyless message passing, in the style of Singularity OS. The calculus is equipped with a type system ensuring that well-typed processes are free from memory faults, memory leaks, and communication errors. The type system is essentially linear, but we show that linearity alone is inadequate, because it leaves room for scenarios where well-typed processes leak significant amounts of memory. We address these problems basing the type system upon an original variant of session types.

Affiliated with

Also associated with

No associations

Rating

Typing Copyless Message Passing does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Typing Copyless Message Passing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Typing Copyless Message Passing will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-158607