BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP

Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP

Distributed Shared Memory Consistency Models: Specification and Verification of
Stock photo: cover may vary

Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP Paperback - 2024

by Chennareddy, Venkateswarlu

Add to wish list
  • New
New

Description

new.
Ask the seller a question Add to wish list
A$21.87
A$5.82 Delivery within USA
Standard delivery: 2 to 14 days
More delivery options
Ships from GreatBookPrices (Maryland, United States)

Details

  • Title Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP
  • Author Chennareddy, Venkateswarlu
  • Binding Paperback
  • Condition New
  • Pages 48
  • Volumes 1
  • Language ENG
  • Publisher Independently Published
  • Publication date 2024-02-07
  • Bookseller's Inventory # 47402402-n
  • ISBN 9798878827706
  • Weight 0.22 lbs (0.10 kg)
  • Dimensions 10 x 7 x 0.1 in (25.40 x 17.78 x 0.25 cm)
  • Category Computers - Data Base Management
  • Quantity available 5

About GreatBookPrices Maryland, United States

Biblio member since 2024

Since 1991, we have worked every day to serve our customers with state-of-the-art technology and world class service. We are dedicated to providing customers around the world with the widest selection of books, DVDs, and CDs at the absolute lowest price.

Terms of Sale: 30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from GreatBookPrices

Reader reviews for Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP

From the publisher

This 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.

tracking-