Available Theses

The purpose of this thesis is to research Distributed Cloud computing mechanisms to encompass following goals :

1. Distributed Cloud environment for VM Image storage.
2. Faster VM Image Distribution.
3. Interoperability of VM Images in Federated Environment.
4. Optimized VM Provisioning and Deployment.

1. A distributed environment has to be implemented attached with S3 and other compatible storage systems for different cloud providers namely OpenStack, Amazon, Google cloud, OpenNebulla based Cloud technologies.
2. The comparison of various distribution mechanisms including unicast, binary distribution, multicast and bit torrent techniques etc. needed to assess the behavior of each technique within federated cloud environment has to be studied.
3. Interoperability of images in various cloud providers including Openstack, Amazon and other environments are to be studied. There are already some existing tools like qemu available : usability of such tools in a federated environment has to be studied.
4. Analysis Study about the rate of VM provisioning, deployment and elastic auto-scaling of inter-operable images in such federated environment with regard to storage and distribution techniques has to be performed.

• Transparent Page Sharing
• CPUs and Memory over commitment

The Thesis work is composed of two phases:

• The analysis of the virtualization technologies and of theirs foundation techniques in order to understand how they work together to deliver the Cloud Services
• The implementation of these techniques in Groudsim .

Implementation of the virtualization techniques in Groudsim.

Investigation of the virtualization benefits and its drawbacks

Dieser rechenaufwändige Simulationsvorgang ist an sich ein sequenzieller Prozess und kann grob in folgende Schritte unterteilt werden:
1. Eintauchen des Fahrzeugs in das Bad
2. Rotierung des Fahrzeugs im Bad
3. Austauchen

• Simulation
• Parallelität
• Software-Entwicklung
• Verifizieren von Algorithmen

The student will have to investigate critical aspects such as the impact of latency and interactivity, trade-off between image quality and performance in fps, and cloud elasticity

• Familiarize yourself with the Insieme infrastructure (with support from its developers)
• Master the usage of CMake in large developments
• Study compilation techniques applicable to any development

• Good general programming skills
• Familiar with compilation tools (Make, CMake, Ant…)

• study the Amazon EC2 API and create a tutorial;
• analyse the cluster compute instances using well-known benchmarks such as latency measurement and HPL;
• based on the benchmark analysis, simulate the execution of traces of large traces from the Parallel Workflow Archive and Grid Workflow Archive;
• quantify time and cost-wise the suitability of these instances for scientific computing.

• study the Amazon EC2 API and create a tutorial;
• analyse the cluster GPU instances using well-known benchmarks such as latency measurement and HPL;
• based on the benchmark analysis, simulate the execution of traces of large traces from the Parallel Workflow Archive and Grid Workflow Archive;
• quantify time and cost-wise the suitability of these instances for scientific computing,

• Familiarize with existing editors and graphics libraries that can be extended
• Implement an editor or extend an existing one to support visualizing performance data next to program code.

• Programming in C/C++ or Java
• No skills or background in parallel programming necessary

To enable the compiler to handle larger applications, sub-regions of the code have to be handled individually. Unfortunately, this makes it harder to apply iterative compilation, since for this approach executable programs equipped with representative input data sets are required.

In the Insieme compiler, every program is represented using INSPIRE – the Insieme parallel intermediate representation – which is a compact, semi-functional, strongly typed formal language for parallel applications. Within this representations, candidates for sub-regions can be easily identified and converted into executables.

The goal of this thesis is to automatically provide valid input data for those executables covering sub-regions. For instance, if the extracted region is a function processing two vectors of a given type, matching input data should be generated and passed to the executable. The generation process should also be extended to support the generation of sequences of input values for more extensive investigations of the sub-regions in the context of machine learning driven optimizations. Particularly, the generated input values may be required to satisfy certain statistical properties.

• Familiarize yourself with the Insieme project, in particular INSPIRE
• Investigate the potential data types occuring as input for sub-regions
• Formally limit the potential input types based on the INSPIRE types
• Investigate literature regarding the automated generation of test data
• Implement a test data generator
• Integrate the test data generation into the Insieme project by offering a modul for generating an executable based on a sub-region and the generated data

• C/C++ skills (the compiler is implemented using C++0x, the target code is C99)

The goal of this thesis is to verify and improve the system’s ability to handle task based parallelism. Therefore, a certain number of task parallel test cases close to real-world examples should be implemented using a format which can be handled by the Insieme compiler (e.g. OpenMP). The test cases should cover a wide range of potential task-based parallel algorithms, and at least some of them should be parameterized for benchmarking.

The processing of these input codes should be investigated throughout the various compiler stages and, if possible, improved. Finally, the handling and mapping of the individual tasks within the runtime should be examined and refined.

• Familiarize yourself with the Insieme project, in particular INSPIRE and the runtime process model
• Find and implement 3-5 real world examples for task parallelism fitting the test case requirements
• Investigate the processing of the examples throughout the various compiler stages and the runtime
• Derive proposals for improving Insieme’s capability of handling tasks => Specification
• Implement improvements to verify expected effects

• Parallel Systems

• C/C++ skills (the compiler is implemented using C++0x, the target code and runtime system is C99)

The INSPIRE language allows the specification of recursive data types, that is, types including their own definition as an element. For instance, a linked list defined by a struct including a value element and a next pointer to the same struct is a recursive type. The goal of this thesis is to investigate possibilities of mapping such recursive types to the virtual environment offered by the runtime such that recursive data like lists or trees can be effectively managed.

• Familiarize yourself with the Insieme project, in particular INSPIRE and the runtime process model
• Investigate the concept of recursive data types and propose potential beneficial modifications
• Investigate and propose a specification on how to map recursive types to the runtime
• Implement your proposal

• Parallel Systems
• Functional Programming

• C/C++ skills (the compiler is implemented using C++0x, the target code and runtime system is C99)

For this language, a generic property deduction framework is required. For instance, the framework should allow the identification of dead code regions or replicated code as well as live variable, alias and exit analysis. The goal of this thesis is the design, specification and implementation of such a framework and the demonstration of its abilities by realizing one or two well known analyses.

• Familiarize yourself with the Insieme project, in particular INSPIRE
• Familiarize yourself with Control Flow Graphs and related analyses
• Derive a proposal for a property deduction system based on INSPIRE
• Implement your system
• Demonstrate its abilities by realizing 1-2 concrete analyses

• functional programming
• compiler construction
• interest in logic and program analyses

• C++ skills (the compiler is implemented using C++0x)

• Familiarize with uCLbench
• Extend suite with new benchmarks
• Brint the output in a machine readable form

• Familiarize with the Insieme project, in particular INSPIRE and the runtime process model
• Read into OpenCL standard
• Implement a subset of the pre-implemented OpenCL host functionalities in INSPIRE

The goal of this thesis is to investigate the use of EC2 spot instances for scientific application with respect to price, fault tolerance, and Quality of Service.

A budget of 1000 Euro for running EC2 experiments is available.