توضیحات
Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations. The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given. The author also deals with message passing, as opposed to shared memory.;PART I 1. System Executions 2. Semantics of Concurrent Protocols PART II 1. On the Producer/Consumer Problem 2. Circular Buffers PART III 1.Specification of Channels 2. A Sliding Window Protocol 3. Elements of Model Theory 4. Broadcasting and Causal Ordering 5. Uniform Deliveries
————————————————————–
ترجمه ماشینی :
سیستم های همزمان به طور کلی بر اساس مفاهیم رفتاری درک می شوند. Models for Concurrency موضوع را بر حسب رویدادها و رابطه زمانی آنها تجزیه و تحلیل می کند تا بر اساس وضعیت های جهانی. این یک تجزیه و تحلیل جامع از نظریه مدل به کار رفته در پروتکل های همزمان ارائه می دهد، و به دنبال ارائه یک نظریه همزمانی است که هم به طور شهودی جذاب و هم به شدت بر اساس مبانی ریاضی است. کتاب به سه بخش اصلی تقسیم شده است. اولی مفاهیم مورد نیاز از نظریه مدل را معرفی می کند، ساختارهایی را که برای مدل سازی همزمانی استفاده می شود، توضیح می دهد، توصیف و توضیح عمیقی از معنای زبان ساده ارائه می دهد که امکان اجرای همزمان برنامه های متوالی را فراهم می کند، و به مسئله حل می پردازد. اجراها به دانه بندی های سطح بالاتر و سطح پایین تر. بخشهای دوم و سوم تئوری توسعهیافته را برای مثالهای عملی اعمال میکنند و توضیحی از مسئله تولیدکننده/مصرفکننده با جزئیات دو راهحل ارائه میشود. نویسنده همچنین به انتقال پیام برخلاف حافظه مشترک می پردازد. بخش اول 1. اجرای سیستم 2. معنایی پروتکل های همزمان بخش دوم 1. در مورد مشکل تولید کننده/مصرف کننده 2. بافرهای دایره ای بخش III 1. مشخصات کانال های 2. پروتکل پنجره کشویی 3. عناصر نظریه مدل 4. پخش و ترتیب علّی 5. تحویل یکنواخت
tag : دانلود کتاب مدل هایی برای همزمانی , Download مدل هایی برای همزمانی , دانلود مدل هایی برای همزمانی , Download Models for concurrency Book , مدل هایی برای همزمانی دانلود , buy مدل هایی برای همزمانی , خرید کتاب مدل هایی برای همزمانی , دانلود کتاب Models for concurrency , کتاب Models for concurrency , دانلود Models for concurrency , خرید Models for concurrency , خرید کتاب Models for concurrency ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.