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 / softback - 2024

by Venkateswarlu Chennareddy

Add to wish list
  • New
  • Paperback
New

Description

Paperback / softback. New.
Ask the seller a question Add to wish list
A$32.90
A$19.46 Delivery to USA
Standard delivery: 14 to 21 days
More delivery options
Ships from The Saint Bookstore (Merseyside, United Kingdom)
Biblio Top Seller
The BIBLIO Guarantee

Details

  • Title Distributed Shared Memory Consistency Models: Specification and Verification of DSM Consistency Models using CADP
  • Author Venkateswarlu Chennareddy
  • Binding Paperback
  • Condition New
  • Pages 48
  • Volumes 1
  • Language ENG
  • Publisher Independently Published
  • Publication date 2024-02-07
  • Bookseller's Inventory # B9798878827706
  • 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 10

About The Saint Bookstore Merseyside, United Kingdom

Specialising in: Academic & Scholarly, Hard To Find Titles, Textbooks
Biblio member since 2018

The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.

Terms of Sale: Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.

Browse books from The Saint Bookstore

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

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

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.

Please wait a moment while we load the requested page.

tracking-