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

Revisiting actor programming in C plus

COMPUTER LANGUAGES SYSTEMS & STRUCTURES 2016年 45卷 105-131页

作者： Charousset, Dominik Hiesgen, Raphael Schmidt, Thomas C. Univ Hamburg Appl Sci Internet Technol Grp Dept Informat HAW Hamburg Berliner Tor 7 D-20099 Hamburg Germany

The actor model of computation has gained significant popularity over the last decade. Its high level of abstraction makes it appealing for concurrent applications in parallel and distributed systems. However, designing a real-world actor framework that subsumes full scalability, strong reliability, and high resource efficiency requires many conceptual and algorithmic additives to the original model. In this paper, we report on designing and building CAF, the C++ Actor Framework. CAF targets at providing a concurrent and distributed native environment for scaling up to very large, high-performance applications, and equally well down to small constrained systems. We present the key specifications and design concepts in particular a message transparent architecture, type-safe message interfaces, and pattern matching facilities that make native actors a viable approach for many robust, elastic, and highly distributed developments. We demonstrate the feasibility of CAF in three scenarios: first for elastic, upscaling environments, second for including heterogeneous hardware like GPUs, and third for distributed runtime systems. Extensive performance evaluations indicate ideal runtime at very low memory footprint for up to 64 CPU cores, or when offloading work to a GPU. In these tests, CAF continuously outperforms the competing actor environments Erlang, Charm++, SalsaLite, Scala, ActorFoundry, and even the raw message passing framework OpenMPI. (C) 2016 Elsevier Ltd. All rights reserved.

关键词： C plus plus Actor framework concurrent programming Message-oriented middleware Distributed software architecture GPU computing Performance analysis

来源：评论

学校读者我要写书评

暂无评论

Scenario-based hypersequential programming

引用

INTERNATIONAL JOURNAL OF PARALLEL programming 2000年第2期28卷 155-177页

作者： Uchihira, N Kawata, H Tamura, F Toshiba Corp Corp Res & Dev Ctr Kawasaki Kanagawa Japan

Hypersequential programming is a new paradigm of concurrent programming. The original concurrent program is first serialized, then the sequential version is tested and debugged, and finally the target concurrent program is synthesized by parallelizing the debugged sequential version. In hypersequential programming, testing and debugging are performed on the sequential version of the program and the correctness is preserved in the: subsequent parallelization process. Therefore, it offers both higher productivity and enhanced reliability. This paper describes a practical approach to hypersequential programming using the execution history called scenario. It also formalizes the parallelization process using a new equivalence relation called scenario graph equivalence, and gives the parallelization algorithm.

关键词： concurrent programming testing debugging Petri net communicating transition systems parallelization hypersequential programming scenario timing tranquilizer

来源：评论

学校读者我要写书评

暂无评论

Software transactional memories: an approach for multicore programming

引用

JOURNAL OF SUPERCOMPUTING 2011年第2期57卷 203-215页

作者： Imbs, Damien Raynal, Michel IRISA F-35042 Rennes France

The recent advance of multicore architectures and the deployment of multiprocessors as the mainstream computing platforms have given rise to a new concurrent programming impetus. Software transactional memories (STM) are one of the most promising approaches to take up this challenge. The aim of a STM system is to discharge the application programmer from the management of synchronization when he/she has to write multiprocess programs. His/her task is to decompose his/her program into a set of sequential tasks that access shared objects, and to decompose each task in atomic units of computation. The management of the required synchronization is ensured by the associated STM system. This paper presents two existing STM systems, and a new one based on time-window mechanism. The paper, which focuses mainly on STM principles, has an introductory and survey flavor.

关键词： concurrent programming Opacity Shared object Software transactional memory Transaction

来源：评论

学校读者我要写书评

暂无评论

programming with event loops and control loops - From actors to agents

引用

COMPUTER LANGUAGES SYSTEMS & STRUCTURES 2016年第Apr.期45卷 80-104页

作者： Ricci, Alessandro Univ Bologna DISI I-40126 Bologna Italy

Event loops are a main control architecture to implement actors. In this paper we first analyse the impact that this choice has on the design of actor-based concurrent programs. Then, we discuss control loops as the main architecture adopted to implement agents, and we frame them as an extension of event loops effective to improve the programming of autonomous components that need to integrate both reactive and proactive behaviors, in a modular way. (C) 2015 Elsevier Ltd. All rights reserved.

关键词： Event loops Control loops concurrent programming Actors Agents Agent-oriented programming

来源：评论

学校读者我要写书评

暂无评论

IMPLEMENTATION OF STRUCTURED MULTI-programming

引用

SOFTWARE-PRACTICE & EXPERIENCE 1978年第3期8卷 313-322页

作者： BEAUMONT, WP Department of Computing Science University of Adelaide Adelaide South Australia 5001

The study of operating systems principles is greatly enhanced if processes can be expressed in language constructs that explicitly allow for multiprogramming. The enhancement is increased if such a system actually exists for practical use. This paper describes an implementation of such a system. The language used (a forerunner of concurrent Pascal) is described briefly. The body of the paper describes the implementation method in some detail. In order to achieve multiprogramming with a single processor, a number of process descriptors are maintained, each associated with the execution point in the program of a parallel process. Control is distributed among the processes in a manner determined by the program environment. The design of the implementation, in itself, provides an interesting example of operating systems principles at work.

关键词： Multiprogramming Structured programming concurrent programming Parallel Pascal Simulation

来源：评论

学校读者我要写书评

暂无评论

Knowledge-based asynchronous programming

引用

FUNDAMENTA INFORMATICAE 2004年第2-3期63卷 259-281页

作者： de Haan, HW Hesselink, WH de Lavalette, GRR Univ Groningen Dept Math & Comp Sci NL-9700 AV Groningen Netherlands

A knowledge-based program is a high-level description of the behaviour of agents in terms of knowledge that an agent must have before (s)he may perform an action. The definition of the semantics of knowledge-based programs is problematic, since it involves a vicious circle;the knowledge of an agent is defined in terms of the possible behaviours of the program, while the possible behaviours are determined by the actions which depend on knowledge. We define the semantics of knowledge-based programs via an iteration approach generalizing the well-known fixpoint construction. We propose a specific iteration as the semantics of a knowledge-based program, and justify our choice by a number of examples, including the Unexpected Hanging Paradox.

关键词： knowledge-based programming semantics of programming languages concurrent programming asynchronicity unexpected hanging paradox

来源：评论

学校读者我要写书评

暂无评论

Versioned programming: A Simple Technique for Implementing Efficient, Lock-Free, and Composable Data Structures 16

Versioned Programming: A Simple Technique for Implementing E...

引用

9th ACM International Systems and Storage Conference (SYSTOR)

作者： Zhan, Yang Porter, Donald E. SUNY Stony Brook Stony Brook NY 11794 USA

ISBN: (纸本)9781450343817

This paper introduces versioned programming, a technique that can be used to convert pointer-based data structures into efficient, lock-free implementations. Versioned programming allows arbitrary composition of pointer modifications. Taking linked-lists as an example, VLISTs, or versioned lists, support features missing in other lock-free implementations, such as double linking and atomic moves among lists. The main idea of versioning is to allow different versions of a nodes exist at the same time such that each thread can pick the appropriate version and has a consistent view of the whole data structure. We present a detailed example of VLISTs, simple enough to include all code inline. The paper also evaluates versioned tree implementations. We evaluate versioned programming against several con-currency techniques. With a modest number of writers, versioned programming outperforms read-log-update, which locks nodes. VLIST out-perform lists with SwissTM, a high-quality STM, showing the value of trading some programmer-transparency for performance. Composability hurts performance compared to a non-composable, hand-written lock-free algorithm. Using the technique described in this paper, application developers can have both the performance scalability of sophisticated synchronization techniques with functionality and simplicity comparable to coarse locks.

关键词： concurrent programming Lock-Free Data Structures Versioned programming

来源：评论

学校读者我要写书评

暂无评论

Software Transactional Memories: An Approach for Multicore programming

Software Transactional Memories: An Approach for Multicore P...

引用

10th International Conference on Parallel Computing Technologies

作者： Imbs, Damien Raynal, Michel Univ Rennes 1 IRISA F-35042 Rennes France

ISBN: (纸本)9783642032745

The recent advance of multicore architectures and the deployment of multiprocessors as the mainstream computing platforms have given rise to a new concurrent programming impetus. Software transactional memories (STM) are one of the most promising approach to take up this challenge. The aim of a STM system is to discharge the application programmer from the management of synchronization when he/she has to write multiprocess programs. His/her task is to decompose his/her program in a set of sequential tasks that access shared objects, and to decompose each task in atomic units of computation. The management of the required synchronization is ensured by the associated STM system. This paper presents two STM systems, and a formal proof for the second one. Such a proof -that is not trivial- is one of the very first proofs of a STM system. In that sense, this paper strives to contribute to the establishment of theoretical foundations for STM systems.

关键词： concurrent programming Consistent global state Consistency condition Linearizability Lock Logical clock Opacity Serializability Shared object Software transactional memory Transaction

来源：评论

学校读者我要写书评

暂无评论

Synthesis of multiple video streams through multi-thread programming 32

Synthesis of multiple video streams through multi-thread pro...

引用

32nd Chinese Control And Decision Conference (CCDC)

作者： Wang, Jian Duan, Shihui Xu, Jun Wang, Song Ling, Qiang Univ Sci & Technol China Hefei 230022 Peoples R China MIIT China Acad Informat & Commun Technol Key Lab Internet & Ind Integrat & Innovat Beijing 100191 Peoples R China

ISBN: (纸本)9781728158556

In some scenarios, we need to combine multiple video streams and pictures into a single video. In this paper, we develop an application to synthesize two channel video stream and two channel pictures. Our application can be used for synthetic display of multiple network video streams and offline video synthetic storage. As the single thread decoding of multiple video streams takes a lot of time, we propose the use of a multithreading producer-consumer pattern. It makes full use of the advantages of multi-core CPU and improves the programming efficiency. In our experiments, we compare video synthesis through single thread and multithreading. Multithreading is much faster than single threading.

关键词： Multiple video streams synthesis multithreading concurrent programming

来源：评论

学校读者我要写书评

暂无评论

Supporting Cloud Computing Using Erlang programming Language

Supporting Cloud Computing Using Erlang Programming Language

引用

20th Telecommunications Forum

作者： Hussein, Abd El-Fattah Ibrahim, Osman Arab Acad Mari Transport & Technol AAST Fac Engn Cairo Egypt British Univ Egypt BUE Fac Comp Sc & Informat Cairo Egypt

ISBN: (纸本)9781467329842;9781467329835

Cloud computing is the delivery of computing as a service rather than a product, whereby shared resources, software, and information are provided to computers and other devices as a utility over a network (typically the Internet). Erlang programming Language is a perfect fit for cloud computing, not only for developing applications, but also for powering cloud infrastructure. In this paper we propose two frameworks employing Erlang programming language for building reliable and scalable cloud applications using Erlang features and its related components and libraries. Erlang native features of directly supporting distribution, fault tolerance will help write, deploy, and run applications easily in the cloud.

关键词： Cloud Computing concurrent programming Distribution Computation Erlang programming Language

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：