txos

Operating system demonstrating system transactions

TxOS is a proof-of-concept implementation of system transactions in the Linux 2.6.22.6 kernel. TxOS runs on commodity hardware and supports transactional semantics for 150 system calls.

See http://www.cs.utexas.edu/~porterde/txos/ for more information.

TxOS is licensed under GPLv2 like the Linux kernel (see file "COPYING").

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
Documentation		Documentation
arch		arch
block		block
crypto		crypto
drivers		drivers
fs		fs
include		include
init		init
ipc		ipc
k2gdb		k2gdb
kdb		kdb
kernel		kernel
lib		lib
mm		mm
net		net
scripts		scripts
security		security
sound		sound
usr		usr
COPYING		COPYING
CREDITS		CREDITS
Kbuild		Kbuild
LICENSE		LICENSE
MAINTAINERS		MAINTAINERS
Makefile		Makefile
README		README
README.md		README.md
REPORTING-BUGS		REPORTING-BUGS
cp_linux		cp_linux
environment		environment
fast.config		fast.config
fsck_img		fsck_img
grub-menu-parser.pl		grub-menu-parser.pl
mnt_img		mnt_img
ubuntu-x86-notx.config		ubuntu-x86-notx.config
ubuntu-x86-tx-debug.config		ubuntu-x86-tx-debug.config
ubuntu-x86-tx.config		ubuntu-x86-tx.config

License

Licenses found

ut-osa/txos

Folders and files

Latest commit

History

Repository files navigation

txos

About

Resources

License

Licenses found

Stars

Watchers

Forks

Languages