| B. Liskov, "On linguistic support for distributed pro- grams," in IEEE Transactions on Software Engineering, IEEE Computer Society, May 1982. |
....2.1 Synchronous checkpointing The earliest transparent recovery algorithms preserve con sistency by synchronizing communication with checkpointing to guarantee that the recoverable state always remains consistent. Such a technique ws used by Auragen Systems Corporation, and is described in [4]. Whenever a message is sent from a sender S to a receiver R, the following three actions are performed atomically: The message is sent from S to K. The message is sent to a backup for R. The backup of S updates a count of sent messages. Auragen assumes that processes are piecewise ....
B. Liskov, "On linguistic support for distributed pro- grams," in IEEE Transactions on Software Engineering, IEEE Computer Society, May 1982.
....a typestore that contains contains its executable code. Argus Argus is an integrated object oriented programming language and distributed operating system developed by the Distributed Systems Group of the Laboratory for Computer Science at the Massachusetts Institute of Technology [Liskov 82b, Liskov 82a] 7 This was not the case in the original Eden design. Early specifications called for all objects to be instances of an Edentype, and all types to be instances of a distinguished object called typetype . Typetype was to be an instance of itself [Almes 85] This structure more closely ....
Barbara H. Liskov. On Linguistic Support for Distributed Programs. IEEE Transactions on Software Engineering, SE-8(3):203--210, May 1982.
.... It may argued that such a model more closely reflects the architecture of the underlying distributed system and makes the relative costs associated with access to local and remote resources explicit, thereby forcing programmers to consider carefully which objects should be remotely accessible [35]. Most recent object support operating systems support remote access to finegrained objects, i.e. objects that are potentially much smaller that the size of an address space, and optimise access to remotely accessible objects that happen to be local thereby making a uniform object model feasible. ....
Barbara Liskov. On linguistic support for distributed programs. IEEE Transactions on Software Engineering, SE-8(3):203--210, May 1982.
....of this paper is to present a synthesis of the termination exception handling paradigm. We only deal with sequential programs. Exception handling in parallel and distributed programs is still an evolving subject where no clear consensus exists [Campbell86] Cristian79b] Jalote84] Kim82] Liskov82] Randell75] Schlichting87] Shrivastava78] Wood81] In our discussion we will only examine exceptions detected in programs, and will assume that the compilers, linkeditors and lower level hardware all work properly. For a text attempting to integrate software and hardware aspects of ....
B. H. Liskov, "On Linguistic Support for distributed programs", IEEE Trans. Software Eng., Vol. SE-8, pp. 203-210, 1982.
No context found.
B. Liskov, "On Linguistic Support for Distributed Programs", IEEE Transactions on Software Engineering, May 1982, pp. 203-210.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC