Abstract

An unshared object can be accessed without regard to possible conflicts with other parts of a system, whether concurrent or single-threaded. A unique variable (sometimes known as a "free" or "linear" variable) is one that either is null or else refers to an unshared object. Being able to declare and check which variables are unique improves a programmer 's ability to avoid program faults.

Citations