rs3lab / KFlex

Related projects ⓘ

Alternatives and complementary repositories for KFlex

• DINT-NSDI24 / DINT
  [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF
  ☆35Updated 4 months ago
• JunctionOS / junction
  Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security
  ☆72Updated 3 weeks ago
• stanford-mast / shinjuku
  ☆45Updated last year
• google / ghost-userspace
  ☆223Updated 10 months ago
• dslab-epfl / tinynf
  Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…
  ☆59Updated last year
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated last year
• deeptir18 / cornflakes
  A zero-copy serialization library and networking stack.
  ☆43Updated 9 months ago
• Electrode-NSDI23 / Electrode
  ☆47Updated last year
• yuhong-zhong / bpf-storage-hotos
  ☆20Updated 3 years ago
• Xilinx-CNS / ebpf_asm
  An assembler for eBPF programs written in an Intel-like assembly syntax.
  ☆46Updated last year
• utsaslab / crashmonkey
  CrashMonkey: tools for testing file-system reliability (OSDI 18)
  ☆192Updated 2 years ago
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆21Updated last year
• sched-ext / sched_ext
  This repo is no longer active. sched_ext is now developed in https://git.kernel.org/pub/scm/linux/kernel/git/tj/sched_ext.git/
  ☆132Updated 4 months ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆48Updated last month
• LinuxPerfStudy / LEBench
  ☆60Updated 4 months ago
• xrp-project / BPF-KV
  ☆22Updated last year
• awslabs / damo
  DAMON user-space tool
  ☆155Updated 2 months ago
• i10-kernel / i10-implementation
  i10 kernel implementation (NSDI'20)
  ☆52Updated 4 years ago
• resource-disaggregation / karma
  Resource Allocation for Dynamic Demands
  ☆18Updated 10 months ago
• LLNL / umap
  User-space Page Management
  ☆104Updated 3 months ago
• qais-yousef / sched-analyzer
  BPF CO-RE based sched-analyzer
  ☆30Updated last month
• libbpf / blazesym
  blazesym is a library for address symbolization and related tasks
  ☆115Updated this week
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆25Updated last month
• uclasystem / DRust
  ☆40Updated last month
• Thesys-lab / HotOS23-QD-LP
  The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"
  ☆32Updated last year
• eunomia-bpf / KEN
  Kernel Extensions Large Language Model Agent
  ☆17Updated 3 months ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆90Updated last week
• aliireza / packetmill
  PacketMill: Toward per-core 100-Gbps Networking
  ☆62Updated 2 years ago
• ietf-wg-bpf / ebpf-docs
  eBPF Standard Documentation
  ☆42Updated last month
• olivierpierre / unikernel-papers
  ☆107Updated this week