https://github.com/asimkadav/fgft
fgft
https://github.com/asimkadav/fgft
codegeneration devicedriver static-analysis
Last synced: 2 months ago
JSON representation
fgft
- Host: GitHub
- URL: https://github.com/asimkadav/fgft
- Owner: asimkadav
- Created: 2013-06-18T23:33:58.000Z (almost 13 years ago)
- Default Branch: master
- Last Pushed: 2013-12-21T00:50:01.000Z (over 12 years ago)
- Last Synced: 2023-10-20T17:50:36.497Z (over 2 years ago)
- Topics: codegeneration, devicedriver, static-analysis
- Language: C
- Size: 11.7 MB
- Stars: 2
- Watchers: 1
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Code splitting tool for Fine-grained Fault Tolerance
=====================================================
Fine-Grained Fault Tolerance (FGFT) isolates driver code at the granularity of a single entry point. It executes driver code as a transaction, allowing roll back if the driver fails.
Following is the directory wise listing of this code tree:
/cil:
This piece of code takes a driver and splits it to produce two kernel modules. First is the regular kernel module, that contains callouts to the SFI module that runs code with SFI checks. Since this can be done on a per-entry basis and decided at runtime, FGFT generates three copies of each function. First is the normal function w/o SFI in regular module. Second, is a callout version that just contains stubs for call-in and out of SFI. Third, is the SFI version that does the actual job and contains SFI checks.