Synchronisation, concurrent object-oriented programming and the inheritance anomaly

被引：5
作者：
Mitchell, SE
Wellings, AJ
机构：
[1] Department of Computer Science, University of York, York
来源：
COMPUTER LANGUAGES | 1996年 / 22卷 / 01期
关键词：
synchronisation; object-oriented programming; concurrency; inheritance anomaly;
D O I：
10.1016/0096-0551(96)00002-1
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
There have been a number of models proposed for integrating concurrency and object-oriented programming. Unfortunately, there have been few criteria proposed for evaluating them. In focusing on issues of inheritance, designers of new concurrent object-oriented programming languages appear to have forgotten the experiences learned from over two decades of concurrent programming. In this paper we review Bloom's criteria for evaluating the expressive power of synchronisation primitives, and apply it in an object-oriented framework. We show that most of the available concurrent object-oriented programming languages lack expressive power, and that this contributes to the so-called inheritance anomaly. We then propose a new model which does address all of Bloom's criteria. Copyright (C) 1996 Elsevier Science Ltd
引用
收藏
页码：15 / 26
页数：12
相关论文
共 19 条
  • [11] MITCHELL SE, 1995, THESIS U YORK UK
  • [12] ROBERTS G, 1991, RN9172 U COLL LOND D
  • [13] INHERITANCE ON PROCESSES, EXEMPLIFIED ON DISTRIBUTED TERMINATION DETECTION
    THOMSEN, KS
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1987, 16 (01) : 17 - 52
  • [14] TOMLINSON C, 1989, ACM SIGPLAN NOTICES, V24, P61
  • [15] Wellings A. J., 1995, Proceedings of the Third Workshop on Parallel and Distributed Real-Time Systems, P62, DOI 10.1109/WPDRTS.1995.470506
  • [16] YOKOTE Y, 1986, SIGPLAN NOTICES, V21, P331, DOI 10.1145/960112.28730
  • [17] Yokote Yasuhiko, 1987, OBJECT ORIENTED CONC, P129
  • [18] YONEZAWA A, 1986, SIGPLAN NOTICES, V21, P258, DOI 10.1145/960112.28722
  • [19] [No title captured]
12