Concurrent data structure: Difference between revisions

Revision as of 12:43, 23 November 2009

Revision as of 12:45, 23 November 2009

Line 42:

</ref><ref name="sahni"/>. Most notably, in a sequential environment

one specifies the data structure's properties and checks that they

are implemented correctly, by providing [[[[[Linear Temporal Logic#safety property|'''safety properties]]'''. In

a concurrent environment, the specification must also describe

'''liveness properties''' which an implementation must provide.

Line 52:

The [[method]] calls can be '''blocking''' or '''non-blocking'''

(see [[non-blocking synchronization]]). Data structures are not

restricted to one type ofor the other, and can allow combinations

where some method calls are blocking and others are non-blocking

(examples can be found in the [[Java concurrency]] software