A Decision Procedure Approach to Linux Modules Dependency


Technical Report, 2015

44 Pages, Grade: 12


Abstract or Introduction

This report focuses on the dependency resolution mechanism between modules for the Linux kernel. The reasoning concerns how to express dependency relation in propositional logic, based on different Linux kernel modules. It is around this topic that further development will be held. The reasoning will concern how to express this dependency relation in propositional logic.

To establish a development, an analysis of the kbuild system is performed. The goal is to identify how and what are the elements that take part in the dependency tracking mechanism.

The kbuild is a framework providing tools to construct the kernel. It can be declined into two main component : the kconfig files and makefiles. These are the elements that are responsible for handling dependency.

Logic is used to express a proof i.e., the correctness of a reasoning. To do so, a proof assistant viz., Coq is used. A decision procedure is a mechanism that resolves a problem by answering it using yes or no.

Details

Title
A Decision Procedure Approach to Linux Modules Dependency
Course
Operating systems
Grade
12
Author
Year
2015
Pages
44
Catalog Number
V1442860
ISBN (eBook)
9783964877369
ISBN (Book)
9783964877376
Language
English
Keywords
Linux, kernel, kernel modules, decision procedure, kbuild
Quote paper
Tolga Topal (Author), 2015, A Decision Procedure Approach to Linux Modules Dependency, Munich, GRIN Verlag, https://www.grin.com/document/1442860

Comments

  • No comments yet.
Look inside the ebook
Title: A Decision Procedure Approach to Linux Modules Dependency



Upload papers

Your term paper / thesis:

- Publication as eBook and book
- High royalties for the sales
- Completely free - with ISBN
- It only takes five minutes
- Every paper finds readers

Publish now - it's free