Skip to content

ccotter/libdeterm

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

68 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

#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.

About

C runtime library for linux-deterministic

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages