Clamen, S. Leibengood, L., Nettles, S., Wing, J., "Reliable distributed computing with Avalon/Common Lisp," Proceedings of the International Conference on Computer Languages, pp. 169-79, 1990.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....or style of the transmitted code, and the initiator of the transmission. Knabe [39] identifies four different kinds of transmissible code representations source code, interpreted intermediate representation, compiled intermediate representation, and machine code. REV [65] Avalon Common Lisp [20], TACOMA [36] and SafeTCL [14] transmit source code, which is executed via interpretation by the receiving node. Obliq [16] Telescript [73] and Java [25] transmit interpreted intermediate representations, and Omniware utilizes a compiled intermediate representation. Finally, Emerald CHAPTER 7. ....

Clamen, S. Leibengood, L., Nettles, S., Wing, J., "Reliable distributed computing with Avalon/Common Lisp," Proceedings of the International Conference on Computer Languages, pp. 169-79, 1990.

.... programming language similar in scope to Avalon [Detlefs 88] Both Meld and Avalon are particularly concerned with linguistic constructs for transactions and their integration into an object oriented language, but Meld focuses on concurrency control [Kaiser 90] and Avalon on fault tolerance [Clamen 90] PROFIT takes an entirely different approach to data sharing in order to support rapid change, which is not addressed by the atomic and serializable transaction model [Eswarnan 76] Meld supports both compile time and execution time collections of objects, with Meld objects akin to PROFIT ....

Stewart M. Clamen, Linda D. Leibengood, Scott M. Nettles and Jeannette M. Wing. Reliable Distributed Computing with Avalon/Common Lisp. In International Conference on Computer Languages, pages 169-179. New Orleans LA, March, 1990.

....programming language support for reliable computing (a persistent OOPL) Persistent OOPL s are sometimes built on top of an underlying object server. Persistent Owl [Christou 88] built at the University of Massachusetts on top of Mneme [Moss 88] is an example of this. Avalon [Detlefs 88; Clamen 90] built at Carnegie Mellon University on top of the Camelot [Spector 88] server, is similar. In this case, however, the object server is separate from the Camelot transaction server. Both object servers and persistent OOPL s commonly make use of serializable atomic transactions, originally ....

....so we assume that each of these is simply a module within the Argus runtime system. 2.3.2. Avalon Avalon is actually two persistent OOPL s implemented using Camelot as a back end. One uses C [Detlefs 88] as the base programming language, and the other uses the Common Lisp Object System [Clamen 90] Avalon uses the Camelot primitives to provide object classes supporting atomicity and recoverability. The Avalon programmer can then use these as superclasses to implement persistent, recoverable, and atomic objects, while other objects that do not inherit from the Avalon classes are transient. ....

Stewart M. Clamen, Linda D. Leibengood, Scott M. Nettles and Jeannette M. Wing. Reliable Distributed Computing with Avalon/Common Lisp. In International Conference on Computer Languages, pages 169-179. New Orleans LA, March, 1990.

....and a transaction mechanism is provided to support fault tolerant programming. Avalon C encourages writing applications in a client server fashion, and supports server classes which can export certain methods for use by other processes via an RPC like mechanism. 1.4. 10 Avalon LISP Avalon LISP [7] contrasts with Avalon C in that it is a set of extensions to LISP to provide support for general remote evaluation. In Avalon LISP, evaluators are first class objects, and can be passed in messages from clients to servers. This gives fine grain control over where evaluation is done for ....

S.M. Clamen, L.D. Leibergood, S.M. Nettles, and J.M. Wing. Reliable distributed computing with Avalon/Common Lisp. Technical Report CMU-CS-89-186, Carnegie-Mellow Univ. Computer Science Dept., Sep 1989.

....use strategies and techniques related to the ones developed for Extended Facile. Almost every system addresses the problem of heterogeneous machine architectures. The more experimental of these simply transmit code in source form. Those systems based on Lisp or Scheme (e.g. Avalon Common Lisp [7], Messenger Scheme [10] use the eval primitive to compile or interpret code, while other systems (e.g. Safe Tcl [3] Tps [15] use directly interpreted source code. More sophisticated systems usually use an interpreted intermediate representation. Obliq [5] and a derivative, Phantom [9] use ....

Stewart M. Clamen, Linda D. Leibengood, Scott M. Nettles, and Jeannette M. Wing. Reliable distributed computing with Avalon/Common Lisp. In International Conferenceon Computer Languages, pages 169--179. IEEE, March 1990.

....issues (any needed values can be injected directly as the procedure is built) Procedures specify what libraries they require and are dynamically bound to these on receipt. If a library is not available or a function otherwise fails, an error code is returned to the client. Avalon CommonLisp [6] is similar to REV in taking a client server RPC approach, but it enriches the programming model. Arbitrary Common Lisp expressions can be transmitted to a site for evaluation. Since these expressions can include defun, new functions can be installed on the server. Expressions may contain local ....

Stewart M. Clamen, Linda D. Leibengood, Scott M. Nettles, and Jeannette M. Wing. Reliable distributed computing with Avalon/Common Lisp. In International Conference on Computer Languages, pages 169--179. IEEE, March 1990.

.... work Process migration and remote execution have been proposed, and have been successfully used, as mechanisms for adapting to changes in host availability [5, 7, 15, 21, 24] Remote execution has also been proposed for efficient execution of computation that requires multiple remote accesses [6, 8, 22] and for efficient execution of graphical user interfaces which need to interact closely with the client [2] Both these application scenarios use remote execution as a way to avoid using the network. Most proposed uses of Java [10] also use remote execution to avoid repeated client server ....

S. Clamen, L. Leibengood, S. Nettles, and J. Wing. Reliable Distributed Computing with Avalon/Common Lisp. In Proceedings of the International Conference on Computer Languages, pages 169--79, 1990.

....of computation and data. Many systems provide some form of support for program mobility. The simplest form of support is the ability to download code and execute it to completion at a single site as provided by systems like Omniware [4] Safe TCL [7] Java [13] Other systems like Avalon [11], NCL [12] REV [17] and Obliq [10] allow programs in execution to initiate computation on remote nodes and wait for their completion. The most sophisticated support is provided by systems like Agent TCL [14] Emerald [16] Mole [22] Aglets [20] TACOMA [15] and Telescript [24] which permit an ....

....our initial experience with a prototypical application that combines and composes weather images from multiple geographically distributed sources. In this paper, we assume that the reader is familiar with mobile code languages. For introduction to mobile code languages and mobility mechanisms, see [4, 7, 10, 11, 12, 13, 14, 15, 16, 20, 17, 22, 24]. 2 Design constraints In this section, we discuss the language design constraints that arise from the desire to be resource aware and the use of mobility as a mechanism to adapt to changes in resource availability. We discuss the requirements of awareness, agility and authority and the ....

[Article contains additional citation context not shown here]

S. Clamen, L. Leibengood, S. Nettles, and J. Wing. Reliable Distributed Computing with Avalon/Common Lisp. In Proceedings of the International Conference on Computer Languages, pages 169--79, 1990.

.... facility for objects, with a C language extension for programming [Blo89] Avalon, which is implemented on top of Camelot, provides more complete language support for transactions, concentrating on fault tolerance rather than concurrency control, as extensions of C [DHW88] and CommonLisp [CLNW90] Avalon s notion of consistency was influenced by Argus, and also binds atomicity to the object. Hybrid [Nie87] has an atomic block construct that provides atomicity across multiple objects, but blocks other code from executing within any of those objects until the atomic block terminates. ....

Stewart M. Clamen, Linda D. Leibengood, Scott M. Nettles, and Jeannette M. Wing. Reliable distributed computing with avalon/common lisp. In International Conference on Computer Languages, pages 169--179, New Orleans LA, March 1990.

....of computation and data. Many systems provide some form of support for program mobility. The simplest form of support is the ability to download code and execute it to completion at a single site as provided by systems like Omniware [3] Safe TCL [6] Java [14] Other systems like Avalon [11], NCL [13] REV [18] and Obliq [9] allow programs in execution to initiate computation on remote nodes and wait for their completion. The most sophisticated support is provided by systems like Agent This research was supported by ARPA under contract #F19628 94 C 0057, Syracuse subcontract ....

....at target site; and (2) a function call like mechanism which allows programs to execute a procedure at a specified site. Most mobile code languages have selected one of these two alternatives. Agent Tcl [15] Telescript [26] and Aglets [20] use a go based mechanism whereas Obliq [9] Avalon [11], NCL [13] REV [18] and TACOMA [16] use a function call based interface. To ensure a prompt response to asynchronous events, a function call based interface would require one of two things: 1) either the language automatically captures the continuation at the point at which an event occurs and ....

[Article contains additional citation context not shown here]

S. Clamen, L. Leibengood, S. Nettles, and J. Wing. Reliable Distributed Computing with Avalon/Common Lisp. In Proceedings of the International Conference on Computer Languages, pages 169--79, 1990.

.... at all for naming values to be saved in persistent storage, e.g. by having at most a single persistent root, and forcing the user to always explicitly move, upon each access or modification, values to and from persistent storage by name, e.g. by providing make persistent make volatile operations [8]. Our approach, which is similar to that taken in other languages and systems like Poly ML [17] Galileo [2] and Staple [10] gives programmers some control over naming and managing persistent values. It also lets us implement persistent storage management efficiently. 2.3 Implementation 2.3.1 ....

....other control over transaction management. A transaction s role as a control abstraction is combined with its role as part of the database file abstraction. We choose to treat transactions only as a control abstraction. General purpose transaction based languages like Argus [15] and Avalon [11, 8] do not decouple the persistence and undoability properties of transactions. Atomic data types give users a means of guaranteeing both properties and they are inseparable. 6 Argus and Avalon also do not support the principle of orthogonal persistence; e.g. array and atomic array are both ....

S.M. Clamen, L.D. Leibengood, S.M. Nettles, and J.M. Wing. Reliable distributed computing with Avalon/Common Lisp. In Proc. of the 1990 Int'l Conf. on Comp. Lang., pages 169--179, March 1990.

No context found.

Stewart M. Clamen, Linda D. Leibengood, Scott M. Nettles, and Jeannette M. Wing, March 1990. Reliable distributed computing with Avalon/Common Lisp.

No context found.

L. D. Clamen, S. M.and Leibengood and J. M. Nettles, S. M.and Wing. Reliable distributed computing with avalon/common lisp. In 1990 International Conference on Computer Languages, 1990.

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