Toward Sequentializing Overparallelized Protocol Code

A promising application domain for coordination languages is programming protocols among threads in multi-core programs: coordination languages typically provide high-level constructs and abstractions that more easily compose into correct - with respect to a programmer's intentions - protocol specifications than do low-level synchronization constructs provided by conventional languages (e.g., locks and semaphores). In fact, not only do coordination languages simplify programming protocols, but their high-level constructs and abstractions also leave more room for compilers to perform novel optimizations in mapping protocol specifications to lower-level instructions that implement them.

Provided by: Cornell University Topic: Software Date Added: Oct 2014 Format: PDF

Find By Topic