دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Declarative Networking
دانلود کتاب شبکه های اعلامی
مشخصات کتاب
Declarative Networking
ویرایش:
نویسندگان: Boon Thau Loo. Wenchao Zhou
سری: Synthesis Lectures on Data Management
ISBN (شابک) : 1608456013, 9781608456017
ناشر: Morgan & Claypool Publishers
سال نشر: 2012
تعداد صفحات: 130
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 48,000
در صورت تبدیل فایل کتاب Declarative Networking به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب شبکه های اعلامی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب شبکه های اعلامی
شبکه اعلامی یک روش برنامه نویسی است که توسعه دهندگان را قادر می سازد تا به طور خلاصه پروتکل ها و سرویس های شبکه را مشخص کنند که مستقیماً در یک چارچوب جریان داده که مشخصات را اجرا می کند، کامپایل می شوند. شبکه اعلامی استفاده از یک زبان پرس و جوی اعلامی را برای تعیین و پیاده سازی پروتکل های شبکه پیشنهاد می کند و از یک چارچوب جریان داده در زمان اجرا برای ارتباط و حفظ وضعیت شبکه استفاده می کند. هدف اصلی شبکه‌های اعلامی، ساده‌سازی تا حد زیادی فرآیند تعیین، پیاده‌سازی، استقرار و تکامل طراحی شبکه است. علاوه بر این، شبکه اعلامی به عنوان یک گام مهم به سمت یک معماری شبکه توسعه پذیر و قابل تکامل است که می تواند از استقرار انعطاف پذیر، ایمن و کارآمد پروتکل های شبکه جدید پشتیبانی کند. این کتاب مقدمه ای بر مسائل اساسی در شبکه های اعلامی، از جمله طراحی زبان، بهینه سازی و اجرای جریان داده ارائه می دهد. متدولوژی پشت برنامه‌نویسی اعلامی شبکه‌ها ارائه شده است، از جمله ریشه‌ها در Datalog، برنامه‌های افزودنی برای محیط‌های شبکه‌ای، و معنای پرس‌و‌جوهای طولانی‌مدت در حالت شبکه. این کتاب بر روی یک زبان شبکه ای اعلامی به نام Network Datalog (NDlog) تمرکز دارد که بر اساس پسوندهای زبان پرس و جو بازگشتی Datalog است. یک نمای کلی از پروتکل های شبکه اعلامی نوشته شده در NDlog ارائه شده است، و استفاده از آن با استفاده از نمونه هایی از پروتکل های مسیریابی و شبکه های همپوشانی نشان داده شده است. این کتاب همچنین پیاده‌سازی یک موتور شبکه اعلامی و استراتژی‌های اجرای NDlog را توضیح می‌دهد که معنایی سازگاری نهایی را با انعطاف‌پذیری قابل‌توجهی در اجرا ارائه می‌دهد. دو سیستم شبکه اعلامی نماینده (P2 و جانشین آن RapidNet) ارائه شده است. در نهایت، این کتاب پیشرفت‌های اخیر در شبکه‌های اعلامی، و رویکردهای اعلامی جدید برای مشکلات مرتبط را برجسته می‌کند. فهرست مطالب: مقدمه / زبان شبکه اعلامی / بررسی اجمالی شبکه اعلامی / پردازش پرس و جو بازگشتی توزیع شده / مسیریابی اعلامی / پوشش های اعلامی / بهینه سازی NDlog / پیشرفت های اخیر در شبکه های اعلامی / نتیجه گیری
توضیحاتی درمورد کتاب به خارجی
Declarative Networking is a programming methodology that enables developers to concisely specify network protocols and services, which are directly compiled to a dataflow framework that executes the specifications. Declarative networking proposes the use of a declarative query language for specifying and implementing network protocols, and employs a dataflow framework at runtime for communication and maintenance of network state. The primary goal of declarative networking is to greatly simplify the process of specifying, implementing, deploying and evolving a network design. In addition, declarative networking serves as an important step towards an extensible, evolvable network architecture that can support flexible, secure and efficient deployment of new network protocols. This book provides an introduction to basic issues in declarative networking, including language design, optimization and dataflow execution. The methodology behind declarative programming of networks is presented, including roots in Datalog, extensions for networked environments, and the semantics of long-running queries over network state. The book focuses on a representative declarative networking language called Network Datalog (NDlog), which is based on extensions to the Datalog recursive query language. An overview of declarative network protocols written in NDlog is provided, and its usage is illustrated using examples from routing protocols and overlay networks. This book also describes the implementation of a declarative networking engine and NDlog execution strategies that provide eventual consistency semantics with significant flexibility in execution. Two representative declarative networking systems (P2 and its successor RapidNet) are presented. Finally, the book highlights recent advances in declarative networking, and new declarative approaches to related problems. Table of Contents: Introduction / Declarative Networking Language / Declarative Networking Overview / Distributed Recursive Query Processing / Declarative Routing / Declarative Overlays / Optimization of NDlog / Recent Advances in Declarative Networking / Conclusion
فهرست مطالب
Contents......Page 12
Acknowledgments......Page 16
Figure Credits......Page 18
Introduction......Page 20
Overview of Declarative Networks......Page 21
Ease of Programming......Page 22
Organization......Page 23
Introduction to Datalog......Page 26
Network Datalog by Example......Page 27
Overview of NDlog......Page 28
From Query Specifications to Protocol Execution......Page 29
Distributed Computation......Page 32
Soft-state Data and Rules......Page 33
Hard-state vs. Soft-state Data......Page 34
Hard-state and Soft-state Rules......Page 35
Incremental Maintenance of Network State......Page 36
Summary......Page 37
Architecture......Page 40
DN Dataflow Engine......Page 41
Dataflow elements......Page 43
RapidNet Declarative Networking Engine......Page 44
Summary......Page 46
Semi-naïve Evaluation......Page 48
Dataflow Generation......Page 50
Localization Rewrite......Page 51
Distributed Dataflow Generation......Page 52
Pipelined Semi-naïve Evaluation......Page 53
Processing in a Dynamic Network......Page 55
Dataflow Generation for Incremental View Maintenance......Page 56
Centralized Execution Semantics......Page 58
Distributed Execution Semantics......Page 59
Processing Soft-state Rules......Page 60
Event Soft-state Rules......Page 62
Summary......Page 63
Motivation......Page 64
Execution Model......Page 65
Best-Path Routing......Page 67
Distance-Vector Routing......Page 68
Dynamic Source Routing......Page 69
Multicast......Page 70
Security Issues......Page 71
Route Maintenance......Page 72
Scalability of Path-Vector Protocol......Page 74
Incremental Evaluation in Dynamic Networks......Page 75
Summary......Page 77
Execution Model......Page 78
Narada Mesh......Page 79
Membership List Maintenance......Page 81
Neighbor Selection......Page 82
Chord Distributed Hash Table......Page 83
Chord Network State......Page 84
Joining the Chord Network......Page 86
Chord Ring Maintenance......Page 87
Finger Maintenance and Routing......Page 88
Failure Detection......Page 89
Summary of Chord......Page 90
Narada Mesh Formation......Page 91
Chord DHT......Page 92
Summary......Page 95
Aggregate Selections......Page 96
Magic Sets and Predicate Reordering......Page 97
Multi-Query Optimizations......Page 99
Hybrid Rewrites......Page 100
Aggregate Selections......Page 101
Magic Sets and Predicate Reordering......Page 103
Summary......Page 104
Language Extensions......Page 106
Formally Safe Routing Toolkit......Page 107
Securing Distributed Systems......Page 108
Secure Network Datalog......Page 109
Application-aware Anonymity......Page 111
Network Provenance Model......Page 112
Distributed Maintenance and Querying......Page 113
Security and Temporal Extensions......Page 114
Use Cases: PUMA and COPE......Page 115
Colog Language and Compilation......Page 116
Summary......Page 117
Conclusion......Page 118
Bibliography......Page 120
Authors' Biographies......Page 130
