Shared recoverable objects

被引：0
|
作者：
Kienzle, J [1 ]
Strohmeier, A [1 ]
机构：
[1] Swiss Fed Inst Technol, Software Engn Lab, CH-1015 Lausanne, Switzerland
来源：
RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99 | 1999年 / 1622卷
关键词：
recoverable objects; Ada; 95; concurrency; object-oriented programming; controlled types; abort deferred regions; transactions; software fault tolerance;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This document describes an implementation of recoverable objects that can be accessed concurrently. After a brief description of the possible uses of recoverable objects and after reviewing some of the new features of Ada 95 used in the implementation, the design issues are discussed and the interface of the recoverable object class is presented. An example application using multitasking demonstrates its applicability.
引用
收藏
页码：397 / 411
页数：15
相关论文
共 50 条
  • [1] Brief Announcement: Detectable Sequential Specifications for Recoverable Shared Objects
    Li, Nan
    Golab, Wojciech
    PROCEEDINGS OF THE 2021 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '21), 2021, : 557 - 560
  • [2] RECOVERABLE DISTRIBUTED SHARED VIRTUAL MEMORY
    WU, KL
    FUCHS, WK
    IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (04) : 460 - 469
  • [3] The shared culture of objects
    Grabar, O
    BYZANTINE COURT CULTURE FROM 829 TO 1204, 1997, : 115 - 129
  • [4] Implementation of recoverable distributed shared memory by logging writes
    Kanthadai, S
    Welch, JL
    PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, 1996, : 116 - 123
  • [5] A survey of recoverable distributed shared virtual memory systems
    Morin, C
    Puaut, I
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1997, 8 (09) : 959 - 969
  • [6] Survey of recoverable distributed shared virtual memory systems
    INRIA, Campus Universitaire de Beaulieu, 35042 Rennes Cédex, France
    不详
    IEEE Trans Parallel Distrib Syst, 9 (959-969):
  • [7] Objects shared by Byzantine processes
    Dahlia Malkhi
    Michael Merritt
    Michael K. Reiter
    Gadi Taubenfeld
    Distributed Computing, 2003, 16 : 37 - 48
  • [8] Objects shared by Byzantine processes
    Malkhi, D
    Merritt, M
    Reiter, MK
    Taubenfeld, G
    DISTRIBUTED COMPUTING, 2003, 16 (01) : 37 - 48
  • [9] Computing with faulty shared objects
    Afek, Y
    Greenberg, DS
    Merrit, M
    Taubenfeld, G
    JOURNAL OF THE ACM, 1995, 42 (06) : 1231 - 1274
  • [10] On the Computational Power of Shared Objects
    Taubenfeld, Gadi
    PRINCIPLES OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, 5923 : 270 - 284
12345