Communicating Process Architectures 2007 WoTUG-30

I have been interested in concurrent programming since about 1963, when its associated problems contributed to the failure of the largest software project that I have managed. When I moved to an academic career in 1968, I hoped that I could find a solution to the problems by my research. Quite qu...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: McEwan, Alistair A, Schneider, Steve, Ifill, Wilson, Welch, Peter
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: IOS Press 2013
Những chủ đề:
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35151
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
id oai:scholar.dlu.edu.vn:DLU123456789-35151
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-351512014-01-20T00:10:19Z Communicating Process Architectures 2007 WoTUG-30 McEwan, Alistair A Schneider, Steve Ifill, Wilson Welch, Peter Process I have been interested in concurrent programming since about 1963, when its associated problems contributed to the failure of the largest software project that I have managed. When I moved to an academic career in 1968, I hoped that I could find a solution to the problems by my research. Quite quickly I decided to concentrate on coarse-grained concurrency, which does not allow concurrent processes to share main memory. The only interaction between processes is confined to explicit input and output commands. This simplification led eventually to the exploration of the theory of Communicating Sequential Processes. Since joining Microsoft Research in 1999, I have plucked up courage at last to look at fine-grain concurrency, involving threads which interleave their access to main memory at the fine granularity of single instruction execution. By combining the merits of a number of different theories of concurrency, one can paint a relatively simple picture of a theory for the correct design of concurrent systems. Indeed, pictures are a great help in conveying the basic understanding. This paper presents some on-going directions of research that I have been pursuing with colleagues in Cambridge – both at Microsoft Research and in the University Computing Laboratory 2013-08-21T02:40:08Z 2013-08-21T02:40:08Z 2007 Book 978-1-58603-767-3 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35151 en application/pdf IOS Press
institution Thư viện Trường Đại học Đà Lạt
collection Thư viện số
language English
topic Process
spellingShingle Process
McEwan, Alistair A
Schneider, Steve
Ifill, Wilson
Welch, Peter
Communicating Process Architectures 2007 WoTUG-30
description I have been interested in concurrent programming since about 1963, when its associated problems contributed to the failure of the largest software project that I have managed. When I moved to an academic career in 1968, I hoped that I could find a solution to the problems by my research. Quite quickly I decided to concentrate on coarse-grained concurrency, which does not allow concurrent processes to share main memory. The only interaction between processes is confined to explicit input and output commands. This simplification led eventually to the exploration of the theory of Communicating Sequential Processes. Since joining Microsoft Research in 1999, I have plucked up courage at last to look at fine-grain concurrency, involving threads which interleave their access to main memory at the fine granularity of single instruction execution. By combining the merits of a number of different theories of concurrency, one can paint a relatively simple picture of a theory for the correct design of concurrent systems. Indeed, pictures are a great help in conveying the basic understanding. This paper presents some on-going directions of research that I have been pursuing with colleagues in Cambridge – both at Microsoft Research and in the University Computing Laboratory
format Book
author McEwan, Alistair A
Schneider, Steve
Ifill, Wilson
Welch, Peter
author_facet McEwan, Alistair A
Schneider, Steve
Ifill, Wilson
Welch, Peter
author_sort McEwan, Alistair A
title Communicating Process Architectures 2007 WoTUG-30
title_short Communicating Process Architectures 2007 WoTUG-30
title_full Communicating Process Architectures 2007 WoTUG-30
title_fullStr Communicating Process Architectures 2007 WoTUG-30
title_full_unstemmed Communicating Process Architectures 2007 WoTUG-30
title_sort communicating process architectures 2007 wotug-30
publisher IOS Press
publishDate 2013
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35151
_version_ 1757675013883822080