{"product_id":"distributed-shared-memory-consistency-models-venkateswarlu-chennareddy-9798878827706","title":"Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP","description":"\u003cp\u003eThis book talks about the Specification and Verification of Distributed Shared Memory Relaxed Consistency Models specifically Weak Consistency Models. For this, an abstract Distributed Shared Memory (DSM) has been designed and implemented using CADP (Construction and Analysis of Distributed Processes). In DSM, sequential consistency unnecessarily reduces the performance of the system because it does not allow reordering or pipelining the memory operations. Weak consistency allows the reordering of memory events and buffering or pipelining of memory accesses so weak consistency improves the performance of the DSM system. For any critical system, it is very important to develop methods that increase our confidence in the correctness of such systems. One such method for the correctness of critical systems is formal verification. For verification of the weak consistency model, the properties of weak consistency have been specified and verified on the Abstract DSM System using CADP Toolbox.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Venkateswarlu Chennareddy\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 8878827703\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9798878827706\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Independently Published\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 02\/07\/2024\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 48\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.22lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 10.00h x 7.00w x 0.10d","brand":"Venkateswarlu Chennareddy","offers":[{"title":"Paperback","offer_id":46173129408767,"sku":"9798878827706","price":7.94,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_10c342e7-e7a9-46db-b948-5252431e9f32.jpg?v=1727180076","url":"https:\/\/www.whiterainbookhouse.com\/products\/distributed-shared-memory-consistency-models-venkateswarlu-chennareddy-9798878827706","provider":"WR Book House","version":"1.0","type":"link"}