]> 2026-09-08T16:34:38+09:00 Lesson:extending applications safely and efficiently 7a5f9f65 3000 ko Applications that need in-process programmable extensions at low latency. Limits: Constrained by eBPF/verifier expressiveness and MPK availability; exact overhead was not extracted. EIM makes extension capabilities/resources explicit; bpftime enforces them with eBPF verification, memory protection keys, and dynamic rewriting. S3ResearchAgent medium Venue: OSDI. Year: 2025. Native plugins are fast but unsafe; process isolation is costly and does not express fine-grained extension rights. Verification: official USENIX page and abstract; confidence=high. 2026-07-16T15:03:14Z 2461238.1272454 Extending Applications Safely and Efficiently. OSDI 2025. Safe extensibility needs a contract covering both what code may access and what resources it may consume. Extending Applications Safely and Efficiently workloads=six application-extension use cases; baselines=native/in-process and isolated extension approaches; metrics=safety and efficiency; results=six use cases demonstrated; exact figures unavailable in abstract How can applications admit high-performance extensions while constraining their capabilities and resources? lab Combine verifiable code with hardware isolation and explicit capability/resource declarations. Draft 2026-07-18T14:58:30Z 2461240.1239583 2026-07-18T14:58:30Z 2461240.1239583 extending applications safely and efficiently 7a5f9f65 3000 ev_a52cb2e705834813 2026-07-16T15:03:15Z 2461238.1272569 S3ResearchAgent Extending Applications Safely and Efficiently. OSDI 2025. paper Bibliographic paper record. not_recorded extending applications safely and efficiently 7a5f9f65# 82d4dca89239fa7cc46d963618ab1faa 3000 verified-content-v1-0139 2026-07-16T18:57:34Z 2461238.2899769 S3ResearchAgent Yusheng Zheng; Tong Yu; Yiwei Yang; Yanpeng Hu; Xiaozheng Lai; Dan Williams; Andi Quinn. Extending Applications Safely and Efficiently. OSDI, 2025. paper Verification: official USENIX page and abstract; confidence=high. Canonical title: Extending Applications Safely and Efficiently Question: How can applications admit high-performance extensions while constraining their capabilities and resources? Context: Native plugins are fast but unsafe; process isolation is costly and does not express fine-grained extension rights. Method: EIM makes extension capabilities/resources explicit; bpftime enforces them with eBPF verification, memory protection keys, and dynamic rewriting. Evaluation: workloads=six application-extension use cases; baselines=native/in-process and isolated extension approaches; metrics=safety and efficiency; results=six use cases demonstrated; exact figures unavailable in abstract Interpretation: Safe extensibility needs a contract covering both what code may access and what resources it may consume. Reusable lesson: Combine verifiable code with hardware isolation and explicit capability/resource declarations. Applicability: Applications that need in-process programmable extensions at low latency. Limits: Constrained by eBPF/verifier expressiveness and MPK availability; exact overhead was not extracted. not_recorded extending applications safely and efficiently 7a5f9f65# 79ad1acf6927b544c99fa36009ddd3e4 3000 canonical-paper-v2-7a5f9f65 2026-07-18T05:21:01Z 2461239.7229282 S3ResearchAgent Yusheng Zheng; Tong Yu; Yiwei Yang; Yanpeng Hu; Xiaozheng Lai; Dan Williams; Andi Quinn. Extending Applications Safely and Efficiently. OSDI, 2025. paper Verification: official USENIX page and abstract; confidence=medium. Canonical title: Extending Applications Safely and Efficiently Question: How can applications admit high-performance extensions while constraining their capabilities and resources? Context: Native plugins are fast but unsafe; process isolation is costly and does not express fine-grained extension rights. Method: EIM makes extension capabilities/resources explicit; bpftime enforces them with eBPF verification, memory protection keys, and dynamic rewriting. Evaluation: workloads=six application-extension use cases; baselines=native/in-process and isolated extension approaches; metrics=safety and efficiency; results=six use cases demonstrated; exact figures unavailable in abstract Interpretation: Safe extensibility needs a contract covering both what code may access and what resources it may consume. Reusable lesson: Combine verifiable code with hardware isolation and explicit capability/resource declarations. Applicability: Applications that need in-process programmable extensions at low latency. Limits: Constrained by eBPF/verifier expressiveness and MPK availability; exact overhead was not extracted. official_abstract extending applications safely and efficiently 7a5f9f65# 160bd289366961bf7e8fb0d96c49ec7f 3000 2026-07-18T14:58:30Z 2461240.1239583 S3ResearchAgent verify_37606e573ba45e2bb39f partial_source context 보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함. inconclusive df857b4bff9d29fbc252a1bc0c02350ef7d15237aff6f763f8de2e09ab7d5be1 R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=df857b4bff9d29fbc252a1bc0c02350ef7d15237aff6f763f8de2e09ab7d5be1 보존 파일 objects/sha256/df/df857b4bff9d29fbc252a1bc0c02350ef7d15237aff6f763f8de2e09ab7d5be1 ev_a52cb2e705834813 ac1a4b0d110d7e2349730195d58c5879bf98d039bcd7a02aa4661850b19e55ed extending applications safely and efficiently 7a5f9f65# 79765ff34f7ef6f4d00beb53593d07df 3000 2026-07-18T14:58:30Z 2461240.1239583 S3ResearchAgent verify_42c9cd74fa94200b8b8c partial_source context 보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함. inconclusive df857b4bff9d29fbc252a1bc0c02350ef7d15237aff6f763f8de2e09ab7d5be1 R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=df857b4bff9d29fbc252a1bc0c02350ef7d15237aff6f763f8de2e09ab7d5be1 보존 파일 objects/sha256/df/df857b4bff9d29fbc252a1bc0c02350ef7d15237aff6f763f8de2e09ab7d5be1 verified-content-v1-0139 ce80b4ba732cff9e0a32f11db67b2837bc3430a8d1ae660fff3dacdb0b2e0edf extending applications safely and efficiently 7a5f9f65# e5b3d1bcfbd8472d303caa9f6f0b95ca 3000 2026-07-18T14:58:30Z 2461240.1239583 S3ResearchAgent verify_a87b846bc04ace9d565d partial_source context 보존 원문 객체를 확보했으나 이 일괄 검증에서는 claim-bearing 범위를 재판정하지 않아 결론을 보류함. inconclusive df857b4bff9d29fbc252a1bc0c02350ef7d15237aff6f763f8de2e09ab7d5be1 R2-RESTIC:7f893ca5afd2cfb6fe320e9b61063ccc70e75a7a96589420038c8cf338b273be; archive-manifest-sha256=e28171fb69e141ce306d92dfe4b10e6cdc6e81d4fa910c30a846204dbcf8edf8; sha256=df857b4bff9d29fbc252a1bc0c02350ef7d15237aff6f763f8de2e09ab7d5be1 보존 파일 objects/sha256/df/df857b4bff9d29fbc252a1bc0c02350ef7d15237aff6f763f8de2e09ab7d5be1 canonical-paper-v2-7a5f9f65 6748b8d16e7956df8fc486ad0374871db8be56b3f14dfd50f5782b473a77d4d6 extending applications safely and efficiently 7a5f9f65# 1eac714917fd409eaed0e6f71398d92a