Verteilte Anwendungen, Plattformen und Systeme - Themen

State-machine replication is a concept to achieve fault tolerance. There are several frameworks to support SMR-based applications. Zookeeper is an application implementing a so-called coordination service. It is internally build with SMR technology, but does not use an underlying framework. The task of this work is to reimplement Zookeeper with the BFT-SMaRt/SMRteez framework. The goal is to demonstrate that the framework can handle such applications. In case of a Bachelor's thesis, in case of remaining time also in case of project work, the performance shall be compared to the original Zookeeper implementation. For the implementation it can be expected that at least some code can be reused from the original implementation.

Intel SGX is a technology that allows to launch tamper-proof enclaves in main memory, which isolate parts of applications that deal with sensitive data. There is a broad spectrum of application scenarios, ranging from fault-tolerant systems to privacy-preserving machine learning approaches. Intel provides a native SDK that can be used to derive low-level wrapper functions from a function definitions provided in a DSL, which are then used to interact with the protected parts of the application applications. However, the SDK requires special care during the design process as well as C/C++ programming skills, in order to create a bulletproof interface to the enclave. The Gramine project promises to simplify the SGX application development process by providing functionality to wrap unmodified linux applications in Intel SGX enclaves. Since this approach trades in performance for usability, the goal of this project is to conduct a performance evaluation for different applications launched natively and wrapped with Gramine.