Operating systems
[Closed]
Work description
Study of use-space storage technologies usefulness for different types of data-centric applications (e.g., databases, ML solutions). Design of an automatic framework for the analysis of storage operations performed by applications when these use high-performance user-space storage libraries (e.g., SPDK). The analysis must focus on different aspects such as performance, correctness, and efficiency in translating high-level operations to the system call layer. The tasks described in this working plan demand the application and development of concepts and techniques in the areas of Computer Science and Informatics Engineering which are usually introduced in curricular units included in the curricula of BSc courses in Computer Science and Informatics Engineering.
Academic Qualifications
BSC in Computer Science or Informatics Engineering Student.
Minimum profile required
- Knowledge on operating systems;- Knowledge on the C programming language;- Experience on using the POSIX interface and with system calls.
Preference factors
- Knowledge about the SPDK framework; - Experience with tracing tools (e.g., Strace).
Application Period
Since 09 Nov 2023 to 22 Nov 2023
[Closed]
Centre
High-Assurance Software