Toward Sequentializing Overparallelized Protocol Code

Download Now
Provided by: Cornell University
Topic: Software
Format: PDF
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.
Download Now

Find By Topic