Skip to content

Latest commit

 

History

History
25 lines (17 loc) · 820 Bytes

README.markdown

File metadata and controls

25 lines (17 loc) · 820 Bytes
Raw

#Deterministic C Library for Linux

  • Deterministic syscall interface
  • Emulate Linux C standard library functions (eg. mmap, fork)
  • Example programs

#Current code

The current project branch is being redesigned to build 32 and 64 bit versions of the library. As such, the status of this branch is purely development and has a lot of test code/prototypes.

##Acknowledgements

Some of the code in inc/ and lib/ is derived or copied exactly from MIT's JOS operating system. I will do my best to document which files came from JOS. See NOTICES for JOS's license.

Determinator

The library itself is in many ways inspired by Determinator. See "Efficient System-Enforced Deterministic Parallelism.