检索结果-内蒙古大学图书馆

作者： Simon John Fowler University of Edinburgh

学位级别：博士

The age of writing single-threaded applications is over. To develop scalable applications, developers must make use of concurrency and parallelism. Nonetheless, introducing concurrency and parallelism is difficult: naiÌvely implemented, concurrent code is prone to issues such as race conditions and deadlocks. Moving to the distributed setting introduces yet more issues, in particular the possibility of failure. To cope with many of the problems of concurrent programming, language designers have proposed a class of programming languages known as communication-centric programming languages, which provide lightweight processes which do not share memory, but instead communicate using explicit message passing. The focus of this thesis is on typed communication-centric functional programming languages, using type systems to provide static guarantees about the runtime behaviour of concurrent programs. We investigate two strands of work: the relationship between typed channel- and actor-based languages, and the integration of asynchrony, exception handling, and session types in a functional programming language. In the first strand, we investigate two particular subclasses of communication-centric languages: channel-based languages such as Go, and languages based on the actor model, such as Erlang. We distil the essence of the languages into two concurrent Î»-calculi: Î»ch for simply-typed channels, and lact for simply-typed actors, and provide type- and semantics-preserving translations between them. In doing so, we clear up confusion between the two models, give theoretical foundations for recent implementations of type-parameterised actors, and also provide a theoretical grounding for frameworks which emulate actors in channel-based languages. Furthermore, by extending the core calculi, we note that actor synchronisation drastically simplifies the translation from channels into actors, and show that Erlang's selective receive mechanism can be implemented without special

关键词： session types functional programming concurrent programming lambda calculus programming languages

来源：评论

学校读者我要写书评

暂无评论

Introducing concurrent functional programming in the telecommunications industry

引用

4th Working Conference on Diffusing Software Product and Process Innovations

作者： Däcker, B Ericsson Utvecklings AB Comp Sci Lab S-12525 Alvsjo Sweden

ISBN: (纸本)0792373316

This paper gives an overview of the concurrent functional programming language and its development, dissemination, and use. Erlang was developed at Ericsson and is used for several large and important telecom systems. It is also available externally, both supported and through open source. Erlang provides a highly relevant case-study of technology diffusion since its development touches upon many relevant topics such as applied research in the industrial environment and spread of technology through open source.

关键词： functional programming concurrent programming technology dissemination

来源：评论

学校读者我要写书评

暂无评论

concurrent programming in VISO

引用

Concurrency and Computation: Practice and Experience 2000年第5期12卷

作者： Muhammed S. Al-Mulhem Information and Computer Science Department King Fahd University of Petroleum and Minerals Dhahran Saudi Arabia

concurrent programming is more difficult to use and understand than sequential programming. In order to simplify this type of programming a number of approaches have been developed such as visual programming. Visual Occam (VISO) is a visual programming language for concurrent programming. It has a graphical syntax based on the language Occam and its semantics is represented both in petri net and process calculus. This paper presents a modular visual approach to write concurrent programs using the VISO language. concurrent programs in VISO are specified graphically at different levels of abstraction. This paper describes this modular visual approach by constructing two examples in VISO. The first example is a simple concurrent program and it is mainly used to show the details of constructing a concurrent program in VISO. The second example is a larger concurrent program with more levels of abstraction. Copyright © 2000 John Wiley & Sons, Ltd.

关键词： concurrent programming Occam visual programming languages

来源：评论

学校读者我要写书评

暂无评论

Characterizing Extracurricular Effort on concurrent and Distributed programming Learning

Characterizing Extracurricular Effort on Concurrent and Dist...

引用

Investigación en Computación e Informática (JoCICI), Jornadas Costarricenses de

作者： Jeisson Hidalgo-Céspedes ECCI-CITIC Universidad de Costa Rica San José Costa Rica

ISBN: (数字)9781728147871

ISBN: (纸本)9781728147888

The importance of concurrent and distributed programming is increasing on Computer Science curricula. This exploratory research identifies additional notions required by the official topics of "Parallel and concurrent programming" course, taught at the University of Costa Rica. This paper characterizes previous knowledge that students had about these notions and the extracurricular effort that they made to overcome the lack of notions. Findings show that students were able to overcome the lack of notions at expense of more extracurricular effort. Exploratory evidence indicates that students' election of professors in previous courses influenced their performance and extracurricular effort in the parallel programming course.

关键词： previous knowledge extracurricular effort course concurrent programming parallel programming distributed programming Parallel programming Distributed software Programmed Learning Costa Rica Students Teachers

来源：评论

学校读者我要写书评

暂无评论

Boundary-Aware concurrent Queue: A Fast and Scalable concurrent FIFO Queue on GPU Environments

引用

APPLIED SCIENCES-BASEL 2025年第4期15卷 1834-1834页

作者： Polak, Md. Sabbir Hossain Troendle, David A. Jang, Byunghyun Univ Mississippi Comp & Informat Sci 201 Weir Hall Oxford MS 38677 USA

This paper presents Boundary-Aware concurrent Queue (BACQ), a high-performance queue designed for modern GPUs, which focuses on high concurrency in massively parallel environments. BACQ operates at the warp level, leveraging intra-warp locality to improve throughput. A key to BACQ's design is its ability to replace conflicting accesses to shared data with independent accesses to private data. It uses a ticket-based system to ensure fair ordering of operations and supports infinite growth of the head and tail across its ring buffer. The leader thread of each warp coordinates enqueue and dequeue operations, broadcasting offsets for intra-warp synchronization. BACQ dynamically adjusts operation priorities based on the queue's state, especially as it approaches boundary conditions such as overfilling the buffer. It also uses a virtual caching layer for intra-warp communication, reducing memory latency. Rigorous benchmarking results show that BACQ outperforms the BWD (Broker Queue Work Distributor), the fastest known GPU queue, by more than 2x while preserving FIFO semantics. The paper demonstrates BACQ's superior performance through real-world empirical evaluations.

关键词： GPGPU concurrent queues concurrent data structures concurrent programming parallel programming strict First-In-First-Out (FIFO)

来源：评论

学校读者我要写书评

暂无评论

MULTIPLE ROBOT programming USING A concurrent LOGIC LANGUAGE

引用

JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS 1991年第1期4卷 25-41页

作者： BENARIEH, D MAIMON, O TEL AVIV UNIV DEPT IND ENGNIL-69978 TEL AVIVISRAEL

Advances in robotics has led to the cooperation of multiple robots among themselves and with their industrial automation environment. Efficient interaction with industrial robots thus becomes one of the key factors in the successful utilization of this modern equipment. When multiple manipulators have to be coordinated, there is a need for a new programming approach that facilitates and encompasses the needs of concurrency, synchronization, timing, and communication. Most robot languages have been developed with little attention being given to the integration of the robot with its environment. Currently, there is a gap between the robot capabilities, the task definition environment, and language facilities supplied to use robots. This paper analyzes the needs and then establishes that a concurrent logic programming approach is a step towards achieving a multi-robot knowledgeable task programming. In particular, the FCP dialect of concurrent Prolog is demonstrated, and analyzed.

关键词： MULTIROBOT SYSTEM programming LANGUAGES concurrent programming LOGIC programming concurrent PROLOG

来源：评论

学校读者我要写书评

暂无评论

simpA: An agent-oriented approach for programming concurrent applications on top of Java

引用

SCIENCE OF COMPUTER programming 2011年第1期76卷 37-62页

作者： Ricci, Alessandro Viroli, Mirko Piancastelli, Giulio Univ Bologna Alma Mater Studiorum DEIS I-47023 Cesena Italy

More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, due to several factors such as the widespread availability of multi-core/parallel architectures and Internet-based systems. This leads to the extension of mainstream object-oriented programming languages and platforms - Java is a main example - with libraries providing fine-grained mechanisms and idioms to support concurrent programming, in particular for building efficient programs. Besides this fine-grained support, a main research goal in this context is to devise higher-level, coarse-grained abstractions that would help building concurrent programs, as pure object-oriented abstractions help building large component-based programs. To this end, in this paper we present simpA, a Java-based framework that provides programmers with agent-oriented abstractions on top of the basic 00 layer, as a means to organize and structure concurrent applications. We first describe the application programming interface (API) and annotation framework provided to Java programmers for building simpA applications, and then we discuss the main features of the approach from a software engineering point of view, by showing some programming examples. Finally, we define an operational semantics formalizing the main aspects of this programming model. (C) 2010 Elsevier B.V. All rights reserved.

关键词： Agent-oriented programming concurrent programming Agents and artifacts Multi-agent systems Core calculi

来源：评论

学校读者我要写书评

暂无评论

Agent-Oriented programming for Client-Side concurrent Web 2.0 Applications 1

引用

5th International Conference on Web Information Systems and Technologies

作者： Minotti, Mattia Piancastelli, Giulio Ricci, Alessandro Univ Bologna DEIS I-40126 Bologna Italy

ISBN: (数字)9783642124365

ISBN: (纸本)9783642124358

Using the event-driven programming style of JavaScript to develop the concurrent and highly interactive client-side of Web 2.0 applications is showing more and more shortcomings in terms of engineering properties such as reusability and maintainability. Additional libraries, frameworks, and AJAX techniques do not help reduce the gap between the single-threaded Java Script model and the concurrency needs of applications. We propose to exploit a different programming model based on a new agent-oriented abstraction layer, where first-class entities namely agents and artifacts can be used, respectively, to capture concurrency of activities and their interaction, and to represent tools and resources used by agents during their activities. We specialise the model in the context of client-side Web development, by characterising common domain agents and artifacts that form an extension of an existing programming framework. Finally, we design and implement a simple but significant case study to showcase the capabilities of the model and verify the feasibility of the technology.

关键词： concurrent programming Agent-Oriented programming Web 2.0

来源：评论

学校读者我要写书评

暂无评论

Synchronous/reactive programming of concurrent system software

引用

SOFTWARE-PRACTICE & EXPERIENCE 1997年第3期27卷 207-243页

作者： Montague, BR McDowell, CE Computer Science Department University of California Santa Cruz CA 95064 United States

Synchronous languages are intended for programming reactive systems. Reactive systems, which include real-time systems and key operating system components, interact continually with their environment. This paper considers the applicability of imperative synchronous/reactive languages to the development of general system software, that is, to the implementation of operating system kernels, file systems, databases, networks, server architectures, device drivers, etc. The languages Esterel and Reactive C (RC) receive special attention as Esterel is the oldest and most developed such language and RC is specifically designed for compatibility with C systems programming. An alternative soft-instruction software architecture is described, which is well suited to real-world system programming. (C) 1997 by John Wiley & Sons, Ltd.

关键词： reactive systems synchronous language concurrent programming system software operating systems threading soft-instructions

来源：评论

学校读者我要写书评

暂无评论

Four styles of parallel and net programming

引用

中国高等学校学术文摘·计算机科学 2009年第3期3卷 290-301页

作者： Zhiwei XU Yongqiang HE Wei LIN Li ZHA Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China Graduate School of the Chinese Academy of Sciences Beijing 100039 China

This paper reviews the programming landscape for parallel and network computing systems, focusing on four styles of concurrent programming models, and example languages/libraries. The four styles correspond to four scales of the targeted systems. At the smallest coprocessor scale, Single Instruction Multiple Thread (SIMT) and Compute Unified Device Architecture (CUDA) are considered. Transactional memory is discussed at the multicore or process scale. The MapReduce style is ex-amined at the datacenter scale. At the Internet scale, Grid Service Markup Language (GSML) is reviewed, which intends to integrate resources distributed across multiple *** four styles are concerned with and emphasize differ-ent issues, which are needed by systems at different scales. This paper discusses issues related to efficiency, ease of use, and expressiveness.

关键词： concurrent programming CUDA SIMT trans-actional memory MapReduce GSML

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：