دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Models for concurrency
دانلود کتاب مدل هایی برای همزمانی
مشخصات کتاب
Models for concurrency
ویرایش: [First edition]
نویسندگان: Abraham. Uri
سری:
ISBN (شابک) : 9781003078272, 9781000140279
ناشر: CRC Press
سال نشر: 2020
تعداد صفحات: 248 pages
[249]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 15 Mb
قیمت کتاب (تومان) : 50,000
در صورت تبدیل فایل کتاب Models for concurrency به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل هایی برای همزمانی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل هایی برای همزمانی
سیستم های همزمان به طور کلی بر اساس مفاهیم رفتاری درک می شوند. Models for Concurrency موضوع را بر حسب رویدادها و رابطه زمانی آنها تجزیه و تحلیل می کند تا بر اساس وضعیت های جهانی. این یک تجزیه و تحلیل جامع از نظریه مدل به کار رفته در پروتکل های همزمان ارائه می دهد، و به دنبال ارائه یک نظریه همزمانی است که هم به طور شهودی جذاب و هم به شدت بر اساس مبانی ریاضی است. کتاب به سه بخش اصلی تقسیم شده است. اولی مفاهیم مورد نیاز از نظریه مدل را معرفی می کند، ساختارهایی را که برای مدل سازی همزمانی استفاده می شود، توضیح می دهد، توصیف و توضیح عمیقی از معنای زبان ساده ارائه می دهد که امکان اجرای همزمان برنامه های متوالی را فراهم می کند، و به مسئله حل می پردازد. اجراها به دانه بندی های سطح بالاتر و سطح پایین تر. بخش‌های دوم و سوم تئوری توسعه‌یافته را برای مثال‌های عملی اعمال می‌کنند و توضیحی از مسئله تولیدکننده/مصرف‌کننده با جزئیات دو راه‌حل ارائه می‌شود. نویسنده همچنین به انتقال پیام برخلاف حافظه مشترک می پردازد. بخش اول 1. اجرای سیستم 2. معنایی پروتکل های همزمان بخش دوم 1. در مورد مشکل تولید کننده/مصرف کننده 2. بافرهای دایره ای بخش III 1. مشخصات کانال های 2. پروتکل پنجره کشویی 3. عناصر نظریه مدل 4. پخش و ترتیب علّی 5. تحویل یکنواخت
توضیحاتی درمورد کتاب به خارجی
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
فهرست مطالب
Cover......Page 1
Half Title......Page 2
Title Page......Page 4
Copyright Page......Page 5
Table of Contents......Page 6
Preface......Page 10
Part 1 Semantics of distributed protocols......Page 12
1. Structures......Page 14
1.1. Examples of multi-sorted structures......Page 16
2. First-order languages and satisfaction......Page 19
2.1. Satisfaction......Page 21
2.3. Substructures and reducts......Page 23
2.4. Composite structures......Page 24
3. An example: a mutual exclusion protocol......Page 26
3.1. Proof of the Mutual Exclusion property......Page 32
1. Time and interval orderings......Page 35
1.1. Finiteness conditions......Page 38
2.1. Global time......Page 41
2.2. Parallel composition of systems......Page 42
3. Higher and lower-level events......Page 43
4. Specification of registers and communication devices......Page 45
4.1. Specifying communication devices......Page 48
5. Achilles and the Tortoise......Page 52
5.1. Concurrency......Page 55
5.2. Zeno‘s paradox......Page 57
3. Semantics of concurrent protocols......Page 59
1. A protocol language and its flowcharts......Page 60
1.1. Serial and concurrent procedures......Page 61
1.2. Flowcharts of protocols......Page 63
1.3. States and transitions......Page 66
2.1. Histories and executions of flowcharts......Page 68
3. Histories as structures......Page 70
4. The Pitcher/Catcher example......Page 72
1. Mutual exclusion revisited......Page 80
5. Higher-level events......Page 89
1. Pitcher/Catcher revisited......Page 90
2. Procedure calls......Page 101
3. KanGaroo and LoGaroo......Page 102
3.1. Formalizing the proof......Page 106
4. The Aimless Protocols......Page 110
4.1. Higher-level relations......Page 112
5. Local registers......Page 117
Part 2 Shared-variable communication......Page 120
1. The Producer/Consumer problem......Page 122
2. Buffer cells......Page 125
3. Semaphores......Page 126
3.1. The textbook specification......Page 128
3.2. Abstract specification of semaphores......Page 133
4. Load/unload with semaphores......Page 137
5. A Multiple Process Mutual Exclusion Protocol......Page 140
1. Unbounded sequence numbers......Page 143
1.1. The function activate......Page 147
1.2. Safety......Page 151
1.3. Liveness......Page 152
2. Bounded sequence numbers......Page 153
Part 3 Message Communication......Page 156
8. Specification of channels......Page 158
1. Channels......Page 159
1.1. Capacity of a channel......Page 162
2. A redressing protocol......Page 163
3. Sliding Window Axioms......Page 165
4. A Multiple Producer Protocol......Page 169
9. A sliding window protocol......Page 175
1. Protocol analysis and definition and higher-level events......Page 181
1.1. Higher-level functions......Page 188
2.1. Complete SEND/RECEIVE/ACK events......Page 195
3. Correctness of the protocol......Page 198
10. Broadcasting and causal ordering......Page 200
1. Send/Receive Network Signature......Page 201
2. Message Domain......Page 202
3. Causality......Page 204
4. Causality preservation and deliveries......Page 207
4.1. Uniform deliveries......Page 209
5. Time-stamp vectors......Page 210
1. A generic Uniform Delivery Protocol......Page 214
1.1. The Time-Stamp Vector Axioms are satisfied......Page 218
1.2. Data Buffers......Page 220
1.3. The All-Ack Protocol......Page 223
2. Correctness of the generic protocol......Page 224
3. The Early Delivery Protocol......Page 226
4. A worked-out example......Page 232
Epilogue: Formal and informal correctness proofs......Page 243
References......Page 245
Index......Page 247
