PhD: High-level Abstraction for network programming |
Position no more available (Ahmad Ahmad-Kassem)
Contacts:
Location:Located in the CITI laboratory (Lyon, France) and the LIAMA Institute (Beijing, China) Research areas:Networking protocols and database technology Keywords:networking protocols, declarative languages, P2P, adaptive behavior Environment:The trend towards ubiquitous wireless communication is accelerated with wireless technologies interconnecting an increasing number of heterogeneous devices such as sensors, PDA’s, wearable computers, etc. This leads to an increase of the complexity and dynamics of communication networks. More and more facilities will be interconnected temporarily in dynamic networks, and cooperate to carry on common tasks. The constraints of the participating nodes, such as their limited energy, their communication capabilities, their mobility, as well as the distribution of the resources, make data and network management very challenging. Objectives:The objective of this thesis is to develop a framework, which allows to program both networking protocols (eg routing) as well as distributed applications (eg P2P content distribution) in a simple and declarative manner. Programming in a declarative manner means specifying the desired results and not the algorithms to compute them. The system is thus in charge of generating, as much as possible optimized, distributed algorithms. The objective is to extend to networks the approach that has made the success of databases, relying on a clear separation between a logical and a physical model, which allows users and applications to access data through declarative queries (eg SQL), leaving the system compute optimized execution plans. The languages which will be used originate from the database field. They allow an application oriented vs system oriented programming. Finally, the network is hidden in databases and a control packet of routing protocols is viewed as a recursive request which is recursively propagated to the neighbourhood of the source node. Having essentially query languages at our disposal, the system will rely on embedded databases in each node of the network, to perform the local computation, whether related to networking or to applications. This facilitates the development of the code, which will make use of functionalities of the embedded DBMS (Data Base Management System), but moreover it allows the language to operate on heterogeneous architectures and networks. The thesis will contribute to the development of the methodology, in particular the distributed query processing techniques, the declarative networking approach, the development of new routing mechanisms relying on queries, as well as the proof of concept with the participation to the development of a system prototype. References:
Prerequisites:
|
Last Updated on Friday, 09 July 2010 10:38 |