A Concurrent Language with a Uniform Treatment of Regions and Locks

Details A Concurrent Language with a Uniform Treatment of Regions and Locks A Concurrent Language with a Uniform Treatment of Regions and Locks

2010-02-04

arxiv.org/abs/1002.0940v1

EPTCS 17, 2010, pp. 79-93

Computer Science

Programming Languages

Scientific paper

10.4204/EPTCS.17.7

A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data races. Towards this goal, we present a concurrent language employing safe region-based memory management and hierarchical locking of regions. Both regions and locks are treated uniformly, and the language supports ownership transfer, early deallocation of regions and early release of locks in a safe manner.

Affiliated with

Also associated with

No associations

Rating

A Concurrent Language with a Uniform Treatment of Regions and Locks 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 A Concurrent Language with a Uniform Treatment of Regions and Locks, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Concurrent Language with a Uniform Treatment of Regions and Locks will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-154721