| Thibault, S., Marant, J., and Muller, G. Adapting distributed applications using extensible networks. In Proceedings of the 19th International Conference on Distributed Computing Systems (Austin, Texas, May 1999), ieee, pp. 234-243. |
....that can be globally optimized by a conventional compiler. In contrast, the run time specializer assembles binary templates that are only locally optimized. Another case study is an interpreter for a language, named PLAN P, that allows a programmer to de ne application speci c network protocols [41,42]. To achieve maximum exibility, protocols need to be deployed dynamically over a network of programmable routers. In order to satisfy portability, safety and security constraints, interpretation appears to be a natural strategy to run programs. Yet, using run time specialization, we demonstrated ....
S. Thibault, J. Marant, G. Muller, Adapting distributed applications using extensible networks, in: Proceedings of the 19th International Conference on Distributed Computing Systems, IEEE Computer Society Press, Austin, TX, 1999, pp. 234-243.
....is generated. 3.2.2 Real Time and Applications To compute execution time, we need to re design the FAC ADE intermediate language. In its current form, it offers very good extensibility, but it was not designed to support worst case execution time. Languages allowing this property are well known [3, 15] but have the drawback of seriously constraining application programming. Reducing the expressivity of the language will impact the entire compilation scheme, thus it may forbid the use of FAC ADE as a target for normal source language. This will even impact the way the user designs real time ....
S. Thibault, J. Marant, and G. Muller. Adapting Distributed Applications Using Extensible Networks. In the 19 IEEE International Conference on Distributed Computing Systems, 1999. 14
....Network provides programmability at the packet level, and allows users to customize operations inside routers and switches, such as routing, caching, retransmissions, and so on. Several projects have used Active Networking to perform multimedia QoS adaptation and resource reservation in routers [75, 63, 64]. 2.4.3 Locating Gateway Services Locating services in the network is a common problem and many protocols exist. For example, DHCP [21] uses a centralized server at a known location to provide information about the location of local DNS servers. DHCP is intended for local area networks only ....
S. Thibault, J. Marant, and G. Muller. Adapting distributed applications using extensible networks. In International Conference on Distributed Computing Systems, pages 234--243, 1999.
....as source code to enable thorough verifications. For efficiency, a Just In Time compiler is generated from the Plan P interpreter via program specialization. Plan P has demonstrated its effectiveness to develop application specific protocols for the adaptation of distributed software components [23]. We have implemented three examples which show that applicationspecific protocols can be used to easily extend distributed applications. Furthermore, we have demonstrated that such applications can be safe, portable and efficient. The Compose group has explored a new application for program ....
S. Thibault, J. Marant, and G. Muller. Adapting distributed applications using extensible networks. In Proceedings of the 19th International Conference on Distributed Computing Systems, pages 234--243, Austin, TX, May 1999. IEEE Computer Society Press.
....where the interpreter is specialised to the input program during run time. Some of the properties enforced by PLAN P include guaranteed termination and delivery, and ensuring that packets are not duplicated exponentially. This system has been demonstrated to improve distributed protocols in [177]. Menage [178] developed an AN environment with the design goal of restricting resource usage. Network resources such as CPU, memory and bandwidth have to be restricted because unchecked programs may cause denial of service attacks. The run time environment used is the OCaml system and the PLAN ....
S. Thibault, J. Marant, and G. Muller, \Adapting distributed applications using extensible networks," in IEEE Proceedings of ICDCS, (Austin, Texas), 1999.
....Therefore, one can design an active protocol that observes the local segment load and performs an appropriate adaptation on a per segment basis. Because the adaptation decision is local to the router, the reaction time is almost instantaneous. This approach has been successfully applied to audio [18] and video broadcast [11] While the active network solution solves the scalability and heterogeneity problems, it raises a number of other issues [16] i) safety, because distributed systems are complex and dicult to implement and debug; ii) security, because network routers are shared ....
....of protocols. The use of such abstractions can permit static veri cation of safety and security properties and simplify protocol development, to the point that a novice programmer can quickly develop realistic protocols. Two DSLs have been developed for active networks: PLAN [10] and PLAN P [18]. While PLAN is interpreted, PLAN P protocols are compiled by a JIT compiler that produces ecient kernel mode code, showing that a DSL based approach can achieve overall performance nearly comparable to that of using a protocol written in C [17] This paper This paper presents an experiment in ....
[Article contains additional citation context not shown here]
S. Thibault, J. Marant, and G. Muller. Adapting distributed applications using extensible networks. In Proceedings of the 19th International Conference on Distributed Computing Systems, pages 234-243, Austin, Texas, May 1999. IEEE Computer Society Press.
....improve productivity; for example, a GAL specification is 10 times smaller than the corresponding X11 C driver. Finally, both GAL and Devil have demonstrated that DSLs can compete with equivalent C code [14, 22] Our study of active networks [24] has lead to the development of a DSL called PLAN P [20, 21]. This DSL allows application specific protocols to be written and dynamically deployed on both routers and terminal equipment such as appliances. A network infrastructure is a shared resource, therefore applicationspecific protocols must be well behaved. Consequently, PLAN P has been designed ....
.... Consequently, PLAN P has been designed such that properties guaranteeing the network safety be preserved (e.g. termination, linear packet duplication, In practice, protocol implementations in PLAN P have been shown to be 3 times smaller than and as efficient as the equivalent C code [20, 21]. Let us now examine in detail in what ways a DSL based approach improves robustness, code re use, and OS expertise. 2.1 Improved Robustness The explicit separation between mechanisms and policies enforced by the DSL approach enables specific reasoning about each level. Indeed, unlike GPLs, the ....
S. Thibault, J. Marant, and G. Muller. Adapting distributed applications using extensible networks. In Proceedings of the 19th International Conference on Distributed Computing Systems, pages 234--243, Austin, Texas, May 1999. IEEE Computer Society Press.
....the fixed aspects of the object structure. Program specialization is a technique for automatically and aggressively optimizing a generic program with respect to information about the program inputs [11, 15] This technique has been applied in a wide range of areas, including operating systems [20, 21, 31], and scientific programs [13, 23] By specializing the checkpointing implementation with respect to recurring structural and modification patterns, we eliminate many tests, virtual calls, and traversals of unmodified data. Because specialization is automatic, these transformations can be ....
S. Thibault, J. Marant, and G. Muller. Adapting distributed applications using extensible networks. In Proceedings of the 19th International Conference on Distributed Computing Systems, pages 234--243, Austin, Texas, May 1999. IEEE Computer Society Press.
....resolution, etc. We find that DSL programs compiled using program specialization can run between 10 and 85 times faster than interpreted programs. 4.2. PLAN P The PLAN P language allows the programmer to define network protocols that manipulate packets associated with a specific application [37, 38]. Because the network is a shared resource, each router needs to verify that downloaded PLAN P programs satisfy its safety and security constraints. Furthermore, a network is often heterogeneous. Thus, to facilitate verification and allow portability, PLAN P programs are downloaded as source code. ....
....originally based on PLAN, a Programming Language for Active Networks [15] which is dedicated to network diagnostics. Nevertheless, the semantics of PLAN P is significantly different in order to treat a larger scope of applications, such as the adaptation of distributed applications and services [38]. While PLAN is interpreted, our PLAN P interpreter is specialized at run time using Tempo, thus achieving the same functionality as a JIT. Our previous experiments have shown that PLAN P protocols can yield the same throughput as equivalent hand crafted C versions [37] Performance We assess the ....
S. Thibault, J. Marant, and G. Muller. Adapting distributed applications using extensible networks. In Proceedings of the 19th International Conference on Distributed Computing Systems, pages 234--243, Austin, Texas, May 1999. IEEE Computer Society Press.
....to be faster than native code produced by a compiler for a general purpose language such as Java. INRIA Experiments in Program Compilation by Interpreter Specialization 13 4. 1 PLAN P PLAN P 3 allows the programmer to dene protocols that manipulate packets associated with a specic application [36, 37]. Because the network is a shared resource, each router needs to verify that downloaded PLAN P programs satisfy its safety and security constraints. Furthermore, a network is often heterogeneous. Thus, to facilitate verication and allow portability, PLAN P programs are downloaded as source code. ....
....Language for Active Networks [15] which is dedicated to network diagnostics. While PLAN P retains most of the SML like syntax of PLAN, the semantics is signicantly dioeerent in order to treat a larger scope of applications such as the adaptation of distributed applications and services [37]. While PLAN is interpreted, our PLAN P interpreter is specialized at run time using Tempo, thus achieving the same functionality as a JIT. Our previous experiments have shown that PLAN P protocols can be as eOEcient as the equivalent hand crafted C version. Performance We evaluate the ....
S. Thibault, J. Marant, and G. Muller. Adapting distributed applications using extensible networks. Research Report 1200, IRISA, Rennes, France, August 1998.
....improve productivity; for example, a GAL specification is 10 times smaller than the corresponding X11 C driver. Finally, both GAL and Devil have demonstrated that DSLs can compete with equivalent C code [21] Our study of active networks [23] has lead to the development of a DSL called PLANP [19, 20]. This DSL allows application specific protocols to be written and dynamically deployed on both routers and terminal equipment such as appliances. A network infrastructure is a shared resource, therefore application specific protocols must be well behaved. Consequently, PLAN P has been designed ....
.... Consequently, PLAN P has been designed such that properties guaranteeing the network safety be preserved (e.g. termination, linear packet duplication, In practice, protocol implementations in PLAN P have been shown to be 3 times smaller than and as efficient as the equivalent C code [19, 20]. Irisa Towards Robust OSes for Appliances 7 Let us now examine in detail in what ways a DSL based approach improves robustness, code re use, and OS expertise. 3.1 Improved Robustness The explicit separation between mechanisms and policies enforced by the DSL approach enables a specific ....
S. Thibault, J. Marant, and G. Muller. Adapting distributed applications using extensible networks. In Proceedings of the 19th International Conference on Distributed Computing Systems, pages 234--243, Austin, Texas, May 1999. IEEE Computer Society Press.
.... Program specialization is a technique for automatically and aggressively optimizing a program with respect to user supplied information about the program inputs [11, 15] Automatic program specialization has been applied in a wide range of areas, including operating systems [19, 20] networks [29], and scientic programs [13, 22] Recently, automatic program specialization has been implemented for Java [25] While program specialization is a general tool and has a wider application scope than checkpointing, the need for safety and the genericity in object structure make specialization a ....
S. Thibault, J. Marant, and G. Muller. Adapting distributed applications using extensible networks. In Proceedings of the 19th International Conference on Distributed Computing Systems, pages 234243, Austin, Texas, May 1999. IEEE Computer Society Press.
.... Program specialization is a technique for automatically and aggressively optimizing a program with respect to user supplied information about the program inputs [11, 15] Automatic program specialization has been applied in a wide range of areas, including operating systems [19, 20] networks [29], and scientific programs [13, 22] Recently, automatic program specialization has been implemented for Java [25] While program specialization is a general tool and has a wider application scope than checkpointing, the need for safety and the genericity in object structure make specialization a ....
S. Thibault, J. Marant, and G. Muller. Adapting distributed applications using extensible networks. In Proceedings of the 19th International Conference on Distributed Computing Systems, pages 234--243, Austin, Texas, May 1999. IEEE Computer Society Press.
....be faster than native code produced by a compiler for a general purpose language such as Java. Irisa Experiments in Program Compilation by Interpreter Specialization 13 4. 1 PLAN P PLAN P 3 allows the programmer to define protocols that manipulate packets associated with a specific application [36, 37]. Because the network is a shared resource, each router needs to verify that downloaded PLAN P programs satisfy its safety and security constraints. Furthermore, a network is often heterogeneous. Thus, to facilitate verification and allow portability, PLAN P programs are downloaded as source code. ....
....Language for Active Networks [15] which is dedicated to network diagnostics. While PLAN P retains most of the SML like syntax of PLAN, the semantics is significantly different in order to treat a larger scope of applications such as the adaptation of distributed applications and services [37]. While PLAN is interpreted, our PLAN P interpreter is specialized at run time using Tempo, thus achieving the same functionality as a JIT. Our previous experiments have shown that PLAN P protocols can be as efficient as the equivalent hand crafted C version. Performance We evaluate the ....
S. Thibault, J. Marant, and G. Muller. Adapting distributed applications using extensible networks. Research Report 1200, IRISA, Rennes, France, August 1998.
No context found.
Scott Thibault, Jerome Marant, and Gilles Muller. Adapting Distributed Applications Using Extensible Networks. In 17th IEEE Conference on Distributed Computing Systems, Austin, Texas, May 1999.
No context found.
Thibault, S., Marant, J., and Muller, G. Adapting distributed applications using extensible networks. In Proceedings of the 19th International Conference on Distributed Computing Systems (Austin, Texas, May 1999), ieee, pp. 234-243.
No context found.
Thibault, S., Marant, J., and Muller, G. Adapting distributed applications using extensible networks. In Proceedings of the 19th International Conference on Distributed Computing Systems (Austin, Texas, May 1999), ieee, pp. 234-243.
No context found.
S. Thibault, J. Marant, and G. Muller. Adapting distributed applications using extensible networks. In ICDCS '99, Austin Texas, pages 234--243, June 1999.
No context found.
S. Thibault, J. Marant, and G. Muller. Adapting Distributed Applications Using Extensible Networks. In the 19 IEEE International Conference on Distributed Computing Systems, 1999.
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