asimkadav / fgft

fgft

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

About

fgft


Languages

Language:C 91.1%Language:OCaml 7.2%Language:TeX 0.5%Language:Perl 0.4%Language:Graphviz (DOT) 0.4%Language:Shell 0.3%Language:D 0.0%Language:Objective-C 0.0%Language:C++ 0.0%Language:CSS 0.0%