Titlebook: Concurrent Programming: Algorithms, Principles, and Foundations; Michel Raynal Textbook 2013 Springer-Verlag GmbH Germany, part of Springe

Ganglion

Snapshot Objects from Read/Write Registers Onlyoncept of a snapshot object, this chapter presents wait-free implementations of it, which are based on atomic read/write registers only. This chapter introduces also the notion of an ., which can be seen as the atomic counterpart of the fast store-collect object presented in the previous chapter.

relieve

道学气

使激动

Lock-Based Concurrent Objectsbased on a low-level synchronization object called a semaphore. The other ones are based on linguistic constructs. One of these constructs is based on an imperative approach (monitor construct), while the other one is based on a declarative approach (path expression construct). This chapter closes t

诱拐

反抗者

Mutex-Free Concurrent Objectsplementation of a concurrent object allowed to rely on critical sections (locks). The chapter consequently introduces new progress conditions suited to mutex-free object implementations, namely obstruction-freedom, non-blocking, and wait-freedom. It then presents mutex-free implementations of concur

deforestation

内部

Wait-Free Objects from Read/Write Registers Onlyto introduce and illustrate the notion of a mutex-free implementation and associated progress conditions, namely obstruction-freedom, non-blocking and wait-freedom. The aim of Chap. 6 was to introduce and investigate the notion of a hybrid implementation. In both cases, the internal representation o

Cloudburst

Snapshot Objects from Read/Write Registers Onlyoncept of a snapshot object, this chapter presents wait-free implementations of it, which are based on atomic read/write registers only. This chapter introduces also the notion of an ., which can be seen as the atomic counterpart of the fast store-collect object presented in the previous chapter.

现代