├── .cargo ├── cc ├── config.toml ├── linker ├── linker.so └── rustc ├── .gitignore ├── .gitmodules ├── Cargo.toml ├── README.md ├── benches ├── baseline.rs ├── bench.c └── inger.rs ├── compiler ├── .gitignore ├── Makefile ├── ingerc ├── ingerc.cpp └── ingerc.ts ├── configure ├── internal └── libsignal │ ├── Cargo.toml │ └── src │ ├── lib.rs │ ├── libgotcha.rs │ └── pthread.rs ├── ld ├── ldd ├── profile ├── src ├── compile_assert.rs ├── ffi.rs ├── force.rs ├── future.rs ├── groups.rs ├── lib.rs ├── lifetime.rs ├── linger.rs ├── localstores.rs ├── main.rs ├── preemption.rs ├── profiler.rs ├── reusable.rs ├── signals.rs ├── stacks.rs ├── tcb.rs ├── tcbstub.rs ├── timer.rs └── unfurl.rs ├── tests └── inger │ ├── lock.rs │ └── main.rs └── testsuite ├── .gitignore ├── build ├── custom-glibc.patch ├── test └── testinger.c /.cargo/cc: -------------------------------------------------------------------------------- 1 | ../external/libgotcha/cc -------------------------------------------------------------------------------- /.cargo/config.toml: -------------------------------------------------------------------------------- 1 | ../external/libgotcha/libgotcha.cargo -------------------------------------------------------------------------------- /.cargo/linker: -------------------------------------------------------------------------------- 1 | ../ld -------------------------------------------------------------------------------- /.cargo/linker.so: -------------------------------------------------------------------------------- 1 | ../ld.so -------------------------------------------------------------------------------- /.cargo/rustc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/.cargo/rustc -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/.gitmodules -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/Cargo.toml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/README.md -------------------------------------------------------------------------------- /benches/baseline.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/benches/baseline.rs -------------------------------------------------------------------------------- /benches/bench.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/benches/bench.c -------------------------------------------------------------------------------- /benches/inger.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/benches/inger.rs -------------------------------------------------------------------------------- /compiler/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/compiler/.gitignore -------------------------------------------------------------------------------- /compiler/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/compiler/Makefile -------------------------------------------------------------------------------- /compiler/ingerc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/compiler/ingerc -------------------------------------------------------------------------------- /compiler/ingerc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/compiler/ingerc.cpp -------------------------------------------------------------------------------- /compiler/ingerc.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/compiler/ingerc.ts -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/configure -------------------------------------------------------------------------------- /internal/libsignal/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/internal/libsignal/Cargo.toml -------------------------------------------------------------------------------- /internal/libsignal/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/internal/libsignal/src/lib.rs -------------------------------------------------------------------------------- /internal/libsignal/src/libgotcha.rs: -------------------------------------------------------------------------------- 1 | ../../../external/libtimetravel/src/libgotcha.rs -------------------------------------------------------------------------------- /internal/libsignal/src/pthread.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/internal/libsignal/src/pthread.rs -------------------------------------------------------------------------------- /ld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/ld -------------------------------------------------------------------------------- /ldd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/ldd -------------------------------------------------------------------------------- /profile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/profile -------------------------------------------------------------------------------- /src/compile_assert.rs: -------------------------------------------------------------------------------- 1 | #[inline] 2 | pub fn assert_sync(_: &T) {} 3 | -------------------------------------------------------------------------------- /src/ffi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/ffi.rs -------------------------------------------------------------------------------- /src/force.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/force.rs -------------------------------------------------------------------------------- /src/future.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/future.rs -------------------------------------------------------------------------------- /src/groups.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/groups.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/lifetime.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/lifetime.rs -------------------------------------------------------------------------------- /src/linger.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/linger.rs -------------------------------------------------------------------------------- /src/localstores.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/localstores.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/preemption.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/preemption.rs -------------------------------------------------------------------------------- /src/profiler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/profiler.rs -------------------------------------------------------------------------------- /src/reusable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/reusable.rs -------------------------------------------------------------------------------- /src/signals.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/signals.rs -------------------------------------------------------------------------------- /src/stacks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/stacks.rs -------------------------------------------------------------------------------- /src/tcb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/tcb.rs -------------------------------------------------------------------------------- /src/tcbstub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/tcbstub.rs -------------------------------------------------------------------------------- /src/timer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/timer.rs -------------------------------------------------------------------------------- /src/unfurl.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/src/unfurl.rs -------------------------------------------------------------------------------- /tests/inger/lock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/tests/inger/lock.rs -------------------------------------------------------------------------------- /tests/inger/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/tests/inger/main.rs -------------------------------------------------------------------------------- /testsuite/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/testsuite/.gitignore -------------------------------------------------------------------------------- /testsuite/build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/testsuite/build -------------------------------------------------------------------------------- /testsuite/custom-glibc.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/testsuite/custom-glibc.patch -------------------------------------------------------------------------------- /testsuite/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/testsuite/test -------------------------------------------------------------------------------- /testsuite/testinger.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/efficient/libinger/HEAD/testsuite/testinger.c --------------------------------------------------------------------------------