Henry Cejtin, Suresh Jagannathan, and Richard Kelsey. Higher-order distributed objects. ACM Transactions on Programming Languages and Systems (TOPLAS), 17(5):704--739, 1995.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....tackled by MetaKlaim. Some of these approaches have been mentioned in the first two sections of the paper, here we only consider the most strictly related one and draw comparisons with some process languages equipped with process distribution and higher order remote communication. Kali Scheme [CJK95] is a distributed implementation of Scheme [SS75] which adds to facilities for program distribution and for communication of higher order objects, such as procedures and closures. These features, and the continuation passing programming style inherited from Scheme, fit the language also for ....

H. Cejtin, S. Jagannathan, and R. Kelsey. Higher-order distributed objects. ACM Transactions on Programming Languages and Systems, 17(5):704--739, 1995.

....message from A to B; then B would send the data to C in a second (tail recursive) call message that contained the same continuation; finally C would return to that continuation by sending a return message to A. People working on distributed systems are starting to work with this idea now [HWW93, CJK95] In addition to performance problems, there is another shortcoming shared by RPC and all the improvements described above: They all require the caller to specify the network node where the next step of the computation is to take place. The caller must explicitly think about where data is ....

Henry Cejtin, Suresh Jagannathan, and Richard Kelsey. Higher-order distributed objects. ACM Transactions on Programming Languages and Systems, 17(5):704--739, September 1995.

....to machine. In Java [11] only program code can migrate; no state is carried with the programs. In Obliq [1] rst class function values (closures) can migrate; closures consist of program code together with an environment that binds variables to values or memory locations [16] In Kali Scheme [2], again, closures can migrate; however, since continuations [8,6] are rst class values, Kali Scheme permits entire processes to migrate autonomously to new hosts. In Telescript [17] functions are not rst class values; however, Telescript provides special operations that permit processes to ....

H. Cejtin, S. Jagannathan, and R. Kelsey. Higher-order distributed objects. ACM Transactions on Programming Languages and Systems, 17(5):704-739, September 1995. http://www.neci.nj.nec.com:80/PLS/Kali.html.

....and run in an extended Web browser. Java s disadvantage is that it does not J. Bates, D. Halls and J. Bacon Mobile Multimedia Applications 3 support state saving explicitly. There are also many other REP systems currently under investigation, such as Omniware [10] Dreme [5] and Kali Scheme [4]. For a more detailed discussion of these systems see [7] We see the importance of mobile scripting languages but our view is that applications should be composed of multiple objects, each of which may be running on separate machines. When a user moves, only those objects tied to that user s ....

H. Cejtin, S. Jagannathan, and R. Kelsey. Higher-order distributed objects. ACM Transactions on Programming Languages and Systems, 17(5):704--739, September 1995.

....support to make it easy to write collaborative and distributed applications [NB96] They use active objects in Obliq to support transparent distribution. We use the Tube to support user mobility to move objects and reconfigure them when they reach their new destination. Kali Scheme Kali Scheme [CJK95] is very similar to the Tube. It allows functions and continuations to be transmitted over a network. It adds distributed garbage collection but does not interface with a user interface toolkit at present nor a conventional distributed programming environment with RPC. We hope to gain direct ....

Henry Cejtin, Suresh Jagannathan, and Richard Kelsey. Higher-Order Distributed Objects. ACM Transactions on Programming Languages and Systems, 17(5):704-- 739, September 1995.

....There exist other distributed implementations of functional languages with explicit notations for parallelism or distribution. DMeroon [18] offers a distributed memory model which enforces coherence based on causality, while ICSLAS [19] adds to DMeroon transparent remote execution. Kali Scheme [3] also offers a form of active messages, on top of which higher level primitives are defined; the semantics of Kali Scheme could easily be defined in terms of Idealised NeXeme. Distributed versions of SML style languages are usually based on communications channels [21, 9] 6 Conclusion This ....

H. Cejtin, S. Jagannathan, and R. Kelsey. Higher-Order Distributed Objects. ACM Transactions on Programming Languages and Systems, 17(5):704--739, 1995.

....keeps track of the number of specialization servers that have been started and of the number of specialization servers that are currently idle. As soon as these numbers are equal the computation has been completed. 4 Implementation Our implementation of the distributed model builds on Kali [6], a distributed implementation of the Scheme programming language. This section gives an overview of Kali s distributed environment, and then briefly describes how the PGG system makes use of it. 4.1 Kali Kali is an extension of the Scheme 48 system [18] an advanced byte code implementation of ....

....system provides placeholders which serve as semaphores and also the necessary locking primitives to grant exclusive access rights locally. On top of these abstractions, the Kali system provides remote procedure calls with remote apply, thread migration, userspecified load balancing, and more [6]. 4.2 Adapting the PGG The changes in the PGG system boil down to replacing the serial implementation of memoization [27] by the distributed one outlined above. Due to the modular design of the system (taking advantage of Scheme 48 s module system [21] only the memoization module has to be ....

[Article contains additional citation context not shown here]

Henry Cejtin, Suresh Jagannathan, and Richard Kelsey. Higher-order distributed objects. ACM Transactions on Programming Languages and Systems, 17(5), September 1995.

....its current state along with it, and (2) communicate easily with other such moving programs. The recent popularity of mobile code has led to an explosion in the number of mobile agent systems. Here we describe a few representative systems in detail and mention other systems briefly. Kali Scheme [CJK95] Kali Scheme is an extension of Scheme 48 [KR95] which is an efficient, multi threaded Scheme implementation based around a bytecode interpreter. Kali Scheme provides a distributed set of address spaces in which the threads execute. New threads can be spawned in either local or remote address ....

....open network environment and would never achieve commercial success. Research systems usually ignore administration, auditing and development tools, and often ignore security if security is orthogonal to the main research interest (such as the use of a high order language in distributed computing [CJK95] Agent Tcl is entirely a research project, but does provide sufficient security mechanisms to protect a machine from malicious agents and also includes a full featured debugger and a simple visual programming environment. Aside from the debugger and visual programming environment, however, ....

[Article contains additional citation context not shown here]

Henry Cejtin, Suresh Jagannathan, and Richard Kelsey. Higher-order distributed objects. ACM Transactions on Programming Languages and Systems, 17(5), September 1995.

....to a mobile personal digital assistant; iii) Communications between mobile agents. There are a number of other systems that support mobile computations, but they adopt a different philosophy. Emerald [15] supports migration of an object, including threads running in parallel. In Kali Scheme [6], continuations may be migrated between address spaces. None of them provides the transparent routing of messages, as described in this paper. Other approaches rely on a stationary entity to support communications between mobile objects, including Aglets [16] Nomadic Pict [29] April [18] and the ....

Henry Cejtin, Suresh Jagannathan, and Richard Kelsey. Higherorder distributed objects. ACM Transactions on Programming Languages and Systems, 17(5):704--739, September 1995.

No context found.

H. Cejtin, S. Jagannathan, and R. Kesley. Higher-Order Distributed Objects. ACM Transactions on Programming Languages and Systems, 17(5):704-739, 1995.

....state domain used by the original semantics, which migrates full continuations, is necessary to specify computation migration. We believe ours is the first attempt to present a precise operational characterization of computation migration for a coordination language. Obliq [Car95] and Kali [CJK95] are two implementations of higher order distributed languages that would form a natural basis on which to implement the coordination language described here. Indeed, we have incorporated the ideas presented here into Kali and expect to report on its practical utility in the near future. Queinnec ....

Henry Cejtin, Suresh Jagannathan, and Richard Kelsey. Higher-Order Distributed Objects. ACM Transactions on Programming Languages and Systems, 17(5):704--739, 1995.

....method call to method C on M 3 supplying the result of calling remote method B on M 2 . Ideally, we would like to have B invoke C directly. However, to do this requires modifying B s implementation. In certain agent based systems [11] or distributed systems which support firstclass continuations [1, 7], B may invoke C directly, wrapping A s continuation around the call. When C finishes, it returns immediately to A, avoiding an unnecessary communication with B. Although a form of asynchronous communication can be expressed in Java RMI using an agent interface, it is cumbersome. See Fig. 1. ....

Cejtin, H., Jagannathan, S., and Kelsey, R. Higher-Order Distributed Objects. ACM Transactions on Programming Languages and Systems 17, 5 (1995), 704--739.

....remote references to their locations, they are quite different from base caches which provide a partial, consistent view of the references exported by other bases. The idea of a distributed cache as a mechanism to implement a global address space was inspired by the implementation used in Kali [CJK95] a distributed extension of the Scheme [RKR98] programming language which uses a similar structure to map remote Scheme objects. Kali s fundamental unit of distribution is a closure: code along with data could be freely transmitted among distributed nodes. In the system described here, objects ....

Henry Cejtin, Suresh Jagannathan, and Richard Kelsey. Higher-Order Distributed Objects. ACM Transactions on Programming Languages and Systems, 17(5):704--739, 1995.

....the machine state domain used by the original semantics, which migrates full continuations, is necessary to specify computation migration. We believe ours is the first attempt to present a precise operational characterization of computation migration for a coordination language. Obliq [3] and Kali [5] are two implementations of higher order distributed languages that would form a natural basis on which to implement the coordination language described here. Indeed, we have incorporated the ideas presented here into Kali and expect to report on its practical utility in the near future. 7 ....

H. Cejtin, S. Jagannathan, and R. Kelsey, Higher-Order Distributed Objects, ACM Transactions on Programming Languages and Systems, 17 (1995), pp. 704--739.

....appropriate object classes in a certain location. 2.4 Object Mobility This framework supports the fact that users may want to move their physical location and have their application sessions follow them. Rather than just moving the user interface [10] or migrating an entire monolithic application [4, 5], this architecture supports moving the objects relevant to a particular user. For example, if John moved room then his video and audio source objects as well as his user interface objects would go with him. After movement, they rebind to the objects they were previously connected to. The ability ....

H. Cejtin, S. Jagannathan, and R. Kelsey. Higher-order distributed objects. ACM Transactions on Programming Languages and Systems, 17(5):704--739, September 1995.

....as means for describing intra application communication. Ultimately, the greatest strength will come from combining techniques to exploit their differing strengths. Dreme is not alone in supporting distributed lexical scoping as a primary means of controlling distributed communication. Kali [10] is another distributed dialect of Scheme with very similar features to Dreme. Both support the dynamic movement of all types of Scheme objects around a network as components of messages, with correct communication among mobile objects ensured by Scheme s lexical scoping rules. In both cases, ....

Henry Cejtin and others. Higher-order distributed objects. ACM Transactions on Programming Languages and Systems, 17(5), 1995.

No context found.

Henry Cejtin, Suresh Jagannathan, and Richard Kelsey. Higher-order distributed objects. ACM Transactions on Programming Languages and Systems (TOPLAS), 17(5):704--739, 1995.

No context found.

Henry Cejtin, Suresh Jagannathan, and Richard Kelsey. Higher-order distributed objects. ACM Transactions on Programming Languages and Systems (TOPLAS), 17(5):704-739, 1995.

No context found.

H. Cejtin, S. Jagannathan, and R. Kelsey. Higher-order distributed objects. ACM Transactions on Programming Languages and Systems, 17(5):704--739, September 1995.

No context found.

Henry Cejtin, Suresh Jagannathan, and Richard Kelsey. Higher-order distributed objects. ACM Transactions on Programming Languages and Systems (TOPLAS), 17(5):704-739, 1995.

No context found.

Henry Cejtin, Suresh Jagannathan, and Richard Kelsey. Higher-order distributed objects. ACM Transactions on Programming Languages and Systems (TOPLAS), 17(5):704-739, 1995.

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