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

concurrent object-oriented programming using term graph rewriting techniques

INFORMATION AND SOFTWARE TECHNOLOGY 1996年第8期38卷 539-547页

作者： Papadopoulos, GA Department of Computer Science University of Cyprus 75 Kallipoleos Str. Nicosia P.O.B. 537 CY 1678 Cyprus

The generalized computational model of Term Graph Rewriting Systems is used as the basis for expressing concurrent object-oriented programming techniques exploiting the fine grain highly parallel features of TGRS in a language independent fashion that renders it able to act as the basis for developing specific languages based on object-orientation but also to study and compare existing approaches to the modelling of object-oriented programming techniques such as delegation, various forms of inheritance, etc.

关键词： concurrent object-oriented programming term graph rewriting systems (TGRS) implementation techniques Dactl

来源：评论

学校读者我要写书评

暂无评论

Structural active object systems for mixed-mode simulation

引用

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS 1996年第6期E79D卷 855-865页

作者： Eum, D Minoura, T Department of Computer Science Duksung Women's University Dobong-Ku Seoul 132-714 419 Ssangmoon-Dong South Korea

A structural active-object system (SAGS) is a transition-based object-oriented system suitable for rapid development of hardware logic simulators. A SAGS consists of a collection of interacting structural active objects (SAOs), whose behaviors are determined by the transition statements provided in their class definitions. Furthermore, SAOs can be structurally and hierarchically composed from their component SAOs like hardware components. These features allow SAOs to model components for circuit simulation more naturally than passive objects used in ordinary object-oriented programming. Also, we can easily create new kinds of components by using the inheritance mechanism. Executions of transition statements may be event- and/or time-driven, and hence digital, analog, and mixed-mode simulation is possible. Prototype simulation programs with graphical user interfaces have been developed as SAGS programs for digital, analog, and mixed-mode circuit simulation.

关键词： active-object system concurrent object-oriented programming structural object composition hierarchical object composition software IC digital simulation analog simulation mixed-mode simulation

来源：评论

学校读者我要写书评

暂无评论

Integrating object-oriented programming and protected objects in Ada 95

引用

ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 2000年第3期22卷 506-539页

作者： Wellings, AJ Univ York Dept Comp Sci York YO10 5DD N Yorkshire England Colorado Tech Univ Colorado Springs CO 80907 USA Swiss Fed Inst Technol Software Engn Lab CH-1015 Lausanne Switzerland Maurya Software Ottawa ON K1G 5S3 Canada

Integrating concurrent and object-oriented programming has been an active research topic since the late 1980's. There is now it plethora of methods for achieving this integration. The majority of approaches have taken a sequential object-oriented language and made it concurrent. A few approaches have taken a concurrent language and merle it object-oriented. The most important of this latter class is the Ada 95 language, which is an extension to the object-based concurrent programming language Ada 83. Arguably, Ads, 95 does not fully integrate its models of concurrency and object-oriented programming. For example, neither tasks nor protected objects are extensible. This article discusses ways in which protected objects can be made more extensible.

关键词： languages concurrency concurrent object-oriented programming inheritance anomaly Ada 95

来源：评论

学校读者我要写书评

暂无评论

LINDA IN CONTEXT

引用

COMMUNICATIONS OF THE ACM 1989年第4期32卷 444-458页

作者： CARRIERO, N GELERNTER, D Associate research scientist Department of Computer Science Yale University. Associate professor of computer science Yale

The article discusses the use of Linda, a parallel programming system consisting of a few simple operations that embody the tuple space model. Linda consists of a few simple operations that embody the tuple space model of parallel programming. Adding these tuple-space operations to a base language yields a parallel programming dialect. Use of Linda is growing slowly but steadily as versions of the system for beta test are being distributed and as several manufacturers work on their own implementations. But Linda remains stubbornly outside the research mainstream. To write parallel programs, programmers must be able to create and coordinate multiple execution threads. Linda is a model of process creation and coordination that is orthogonal to the base language in which it is embedded. The Linda model does not care how the multiple execution threads in a Linda program compute what they compute. It deals only with how these execution threads are created and how they can be organized into a coherent program.

关键词： concurrent logic programming concurrent object-oriented programming functional programming Linda monitors parallelism

来源：评论

学校读者我要写书评

暂无评论

BDL: A specialized language for per-object reactive control

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1999年第3期25卷 347-362页

作者： Bertrand, F Augeraud, M Univ La Rochelle UFR Sci Lab Informat & Imagerie Ind F-17042 La Rochelle 01 France

The problem of describing the concurrent behavior of objects in object-oriented languages is addressed. The approach taken is to let methods be the behavior units whose synchronization is controlled separate from their specification. Our proposal is a domain-specific language, called BDL, for expressing constraints on this control and actually implementing its enforcement. We propose a model where each object includes a so-called "execution controller," programmed in BDL. This separates cleanly the concepts of what the methods do, the object processes, from the circumstances in which they are allowed to do it, the control. The object controller ensures that scheduling constraints between the object's methods are met. Aggregate objects can be controlled in terms of their components. This language has a convenient formal base. Thus, using BDL expressions, behavioral properties of objects or groups of interesting objects can be verified. Our approach allows, for example, deadlock detection or verification of safety properties, while maintaining a reasonable code size for the running controller. A compiler from BDL has been implemented, automatically generating controller code in an Esterel program, i.e., in a reactive programming language. From this code, the Esterel compiler, in turn, generates an automaton on which Verifications are done. Then this automaton is translated into a C code to be executed. This multistage process typifies the method for successful use of a domain-specific language. This also allows high-level concurrent programming.

关键词： concurrent object-oriented programming control of behavior verification reactive languages

来源：评论

学校读者我要写书评

暂无评论

JR: Flexible distributed programming in an extended Java

引用

ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 2004年第3期26卷 578-608页

作者： Keen, AW Ge, TJ Maris, JT Olsson, RA Calif Polytech State Univ San Luis Obispo Dept Comp Sci San Luis Obispo CA 93407 USA Univ Calif Davis Dept Comp Sci Davis CA 95616 USA

Java provides a clean object-oriented programming model and allows for inherently system-independent programs. Unfortunately, Java has a limited concurrency model, providing only threads and remote method invocation (RMI). The JR programming language extends Java to provide a rich concurrency model, based on that of SR. JR provides dynamic remote virtual machine creation, dynamic remote object creation, remote method invocation, asynchronous communication, rendezvous, and dynamic process creation. JR's concurrency model stems from the addition of operations ( a generalization of procedures) and JR supports the redefinition of operations through inheritance. JR programs are written in an extended Java and then translated into standard Java programs. The JR run-time support system is also written in standard Java. This paper describes the JR programming language and its implementation. Some initial measurements of the performance of the implementation are also included.

关键词： design languages concurrency concurrent object-oriented programming Java SR

来源：评论

学校读者我要写书评

暂无评论

A concurrent, distributed architecture for diagnostic reasoning

引用

USER MODELING AND USER-ADAPTED INTERACTION 1997年第2期7卷 69-105页

作者： Cerri, SA Loia, V UNIV SALERNO DIPARTIMENTO INFORMAT & APPLICAZI-84081 BARONISSISAITALY

This paper demonstrates the feasibility of modeling concurrent diagnostic reasoning (CDR) by means of the computational model of actors. Actors have a value added on top of objects, because they include the properties of abstraction, modularity and reuse of objects but allow really concurrent and distributed architectures, in the sense that memory (the environment) is assumed not to be shared among actors. Whether concurrency really implies efficiency is still debated. We are more concerned here with the actor-based design of the diagnostic reasoning model. As a testimony of the feasibility of our proposal, a concrete, actor-based diagnostic program is presented as a module for an intelligent Tutoring System in the domain of school algebra. CDR is obtained from the coordinated behaviour of actors which possess limited local knowledge and accomplish the global goal of diagnostic reasoning by interacting with each other. We examine how the 'traditional' approaches to student modeling, such as overlay and bug models, can be re-visited in a distributed perspective of computational actors and hew the latter view outperforms the previous ones.

关键词： actors actor model diagnostic reasoning student modeling concurrent object-oriented programming ABCL/1 programming language

来源：评论

学校读者我要写书评

暂无评论

What after Java? From objects to actors

引用

COMPUTER NETWORKS AND ISDN SYSTEMS 1998年第1-7期30卷 573-577页

作者： Varela, CA Agha, GA Univ Illinois Dept Comp Sci Open Syst Lab Urbana IL 61801 USA

In this paper, we discuss some drawbacks of the Java programming language, and propose some potential improvements for concurrent object-oriented software development. In particular, we argue that Javas passive object model does not provide an effective means for building distributed applications. critical for the future of Web-based next-generation information systems. Specifically. we suggest improvements to Java's existing mechanisms for maintaining consistency across multiple threads (e.g. synchronized), sending asynchronous messages (e.g. start/run methods) and controlling resources (e.g. thread scheduling). We drive the discussion with examples and suggestions from our own work on the Actor model of computation. (C) 1998 Published by Elsevier Science B.V. All rights reserved.

关键词： actors concurrent object-oriented programming distributed systems Java

来源：评论

学校读者我要写书评

暂无评论

Dynamic Detection of Atomic-Set-Serializability Violations 08

Dynamic Detection of Atomic-Set-Serializability Violations

引用

30th International Conference on Software Engineering

作者： Hammer, Christian Dolby, Julian Vaziri, Mandana Tip, Frank Univ Karlsruhe TH D-76128 Karlsruhe Germany

ISBN: (纸本)9781605580791

Previously we presented atomic sets, memory locations that share some consistency property, and units of work, code fragments that preserve consistency of atomic sets on which they are declared. We also proposed atomic-set serializability as a correctness criterion for concurrent programs, stating that units of work must be serializable for each atomic set. We showed that a set of problematic data access patterns characterize executions that are not atomic-set serializable. Our criterion subsumes data races (single-location atomic sets) and serializability (all locations in one set). In this paper, we present a dynamic analysis for detecting violations of atomic-set serializability. The analysis can be implemented efficiently, and does not depend on any specific synchronization mechanism. We implemented the analysis and evaluated it on a suite of real programs and benchmarks. We found a number of known errors as well as several problems not previously reported.

关键词： concurrent object-oriented programming Data Races Atomicity Serializability Dynamic Analysis

来源：评论

学校读者我要写书评

暂无评论

Associating synchronization constraints with data in an object-oriented language 06

Associating synchronization constraints with data in an obje...

引用

33rd Symposium on Principles of programming Languages

作者： Vaziri, M Tip, F Dolby, J IBM Corp Thomas J Watson Res Ctr Yorktown Hts NY 10598 USA

ISBN: (纸本)9781595930279

Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaranteed by the traditional notion of "data race" freedom. We present a new definition of data races in terms of 11 problematic interleaving scenarios, and prove that it is complete by showing that any execution not exhibiting these scenarios is serializable for a chosen set of locations. Our definition subsumes the traditional definition of a data race as well as high-level data races such as stale-value errors and inconsistent views. We also propose a language feature called atomic sets of locations, which lets programmers specify the existence of consistency properties between fields in objects, without specifying the properties themselves. We use static analysis to automatically infer those points in the code where synchronization is needed to avoid data races under our new definition. An important benefit of this approach is that, in general, far fewer annotations are required than is the case with existing approaches such as synchronized blocks or atomic sections. Our implementation successfully inferred the appropriate synchronization for a significant subset of Java's Standard Collections framework.

关键词： languages theory concurrent object-oriented programming data races serializability programming model

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：