没有合适的资源?快使用搜索试试~ 我知道了~
Concurrent and Real Time Systems: the CSP approach
4星 · 超过85%的资源 需积分: 10 10 下载量 113 浏览量
2013-05-08
10:12:30
上传
评论
收藏 20.35MB PDF 举报
温馨提示
试读
525页
Concurrent and Real Time Systems: the CSP approach by Steve Schneider First published 1999 with John Wiley & Sons, Ltd.
资源推荐
资源详情
资源评论
Concurrent and Real Time Systems: the CSP approach
by
Steve Schneider
First published 1999 with John Wiley & Sons, Ltd.
This version has been made available for personal use only by permission of
the publisher and the author.
(c) 1999, 2010
!
Concurrent and
Real Time Systems
Concurrent and
Real Time Systems
the CSP approach
Steve Schneider
A Wiley-Interscience Publication
JOHN WILEY & SONS, INC.
New York / Chichester / Weinheim / Brisbane / Singapore / Toronto
Preface
By relieving the brain of all unnecessary work, a good notation sets it free to concentrate
on more advanced problems.
Alfred North Whitehead
This book provides an introduction to Communicating Sequential Processes (CSP)
and its use as a formal method for concurrency. The CSP approach has been widely used
in the specification, analysis and verification of concurrent and real-time systems, and for
understanding the particular issues that can arise when concurrency is present. It provides a
good notation which enables specifications and designs to be clearly expressed and understood,
together with a supporting theory which allows them to be analyzed and shown to be correct.
Concurrent systems are complicated: they consist of many components which may
execute in parallel, and the complexity arises from the combinations of ways in which their
parts can interact. The design of such systems requires ways of keeping these interactions
under control. Concurrency by its very nature introduces phenomena not present in sequential
systems, such as deadlock and livelock. Deadlock can arise when a number of components are
each awaiting an interaction from some other component before they can themselves continue.
Livelock arises when components descend into an endless sequence of interaction among
themselves, excluding any other components and the outside world. These properties arise
not from individual components but from the way they are combined. Nondeterminism can
also arise naturally in parallel compositions, for example when race conditions arise. The
presence of time adds another dimension to the complexity. A theory of concurrency such as
CSP provides a way of understanding and thereby controlling such phenomena.
v
剩余524页未读,继续阅读
资源评论
- wahahacdsn2013-09-03很有参考价值
- baidu_173322272014-07-07还可以吧 等待进一步研究
jiangdmdr
- 粉丝: 57
- 资源: 774
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功