OSDI 2023

2024-03-17 21:28
文章标签 2023 osdi

本文主要是介绍OSDI 2023,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

17th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2023, Boston, MA, USA, July 10-12, 2023.

第17届USENIX操作系统设计与实现研讨会,OSDI 2023,2023年7月10-12日,美国马萨诸塞州波士顿。

1. Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKS.
   将你的关键部分发送出去,而不是你的数据:使用TCLOCKS实现透明委托。

2. RON: One-Way Circular Shortest Routing to Achieve Efficient and Bounded-waiting Spinlocks.
   RON:一种单向循环最短路由,实现高效且有界等待的自旋锁。

3. Userspace Bypass: Accelerating Syscall-intensive Applications.
   用户空间绕过:加速系统调用密集型应用程序。

4. Triangulating Python Performance Issues with SCALENE.
   使用SCALENE解决Python性能问题。

5. Relational Debugging - Pinpointing Root Causes of Performance Problems.
   关系调试 - 准确定位性能问题的根本原因。

6. Accountable authentication with privacy protection: The Larch system for universal login.
   负责任的身份验证与隐私保护:Larch系统实现通用登录。

7. K9db: Privacy-Compliant Storage For Web Applications By Construction.
   K9db:通过构建实现网络应用程序的隐私合规存储。

8. Encrypted Databases Made Secure Yet Maintainable.
   加密数据库的安全性与可维护性。

9. LVMT: An Efficient Authenticated Storage for Blockchain.
   LVMT:区块链的高效认证存储。

10. Honeycomb: Secure and Efficient GPU Executions via Static Validation.
    Honeycomb:通过静态验证实现安全高效的GPU执行。

11. An Extensible Orchestration and Protection Framework for Confidential Cloud Computing.
    机密云计算的可扩展编排和保护框架。

12. Nimble: Rollback Protection for Confidential Cloud Services.
    Nimble:保护机密云服务的回滚功能。

13. Security and Performance in the Delegated User-level Virtualization.
    用户级虚拟化中的安全性和性能。

14. Kerveros: Efficient and Scalable Cloud Admission Control.
    Kerveros:高效且可扩展的云准入控制。

15. Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud.
    核心切片:弥合泄漏的保密虚拟机和裸金属云之间的差距。

16. ExoFlow: A Universal Workflow System for Exactly-Once DAGs.
    ExoFlow:一种用于仅一次DAG的通用工作流系统。

17. Hyrax: Fail-in-Place Server Operation in Cloud Platforms.
    Hyrax:云平台中的原地失败服务器操作。

18. NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the Timestamp-Inversion Pitfall.
    NCC:通过避免时间戳反转陷阱实现严格可序列化数据存储的自然并发控制。

19. Conveyor: One-Tool-Fits-All Continuous Software Deployment at Meta.
    Conveyor:在 Meta 实现一切连续软件部署的通用工具。

20. Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases.
    Chardonnay:用于磁盘数据库的快速通用数据中心事务。

21. ScaleDB: A Scalable, Asynchronous In-Memory Database.
    ScaleDB:可扩展的异步内存数据库。

22. VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed Monotonicity.
    VBASE:通过松弛单调性统一在线向量相似性搜索和关系查询。

23. Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction.
    通过基于图的 Oracle 构建检测数据库引擎中的事务性错误。

24. Take Out the TraChe: Maximizing (Tra)nsactional Ca(che) Hit Rate.
    取出 TraChe:最大化事务缓存命中率。

25. Replicating Persistent Memory Key-Value Stores with Efficient RDMA Abstraction.
    使用高效的 RDMA 抽象复制持久内存键值存储。

26. eZNS: An Elastic Zoned Namespace for Commodity ZNS SSDs.
    eZNS:用于商品 ZNS SSD 的弹性分区命名空间。

27. SEPH: Scalable, Efficient, and Predictable Hashing on Persistent Memory.
    SEPH:持久内存上的可扩展、高效和可预测的哈希。

28. No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing.
    无需预留并发性:用于无服务器计算的快速 RDMA 设计的远程分叉。

29. Johnny Cache: the End of DRAM Cache Conflicts (in Tiered Main Memory Systems).
    Johnny Cache:DRAM 缓存冲突的终结(在分层主存储系统中)。

30. TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers.
    TAILCHECK:具有页面保护和标记指针的轻量级堆溢出检测机制。

31. SMART: A High-Performance Adaptive Radix Tree for Disaggregated Memory.
    SMART:用于分离内存的高性能自适应 Radix 树。

32. ORC: Increasing Cloud Memory Density via Object Reuse with Capabilities.
    ORC:通过能力复用增加云内存密度。

33. Global Capacity Management With Flux.
    使用 Flux 进行全局容量管理。

34. Defcon: Preventing Overload with Graceful Feature Degradation.
    Defcon:通过优雅的功能降级防止过载。

35. Cilantro: Performance-Aware Resource Allocation for General Objectives via Online Feedback.
    Cilantro:通过在线反馈实现面向性能的通用目标资源分配。

36. Karma: Resource Allocation for Dynamic Demands.
    Karma:动态需求的资源分配。

37. AlpaServe: Statistical Multiplexing with Model Parallelism for Deep Learning Serving.
    AlpaServe:用于深度学习服务的模型并行统计复用。

38. Cocktailer: Analyzing and Optimizing Dynamic Control Flow in Deep Learning.
    Cocktailer:分析和优化深度学习中的动态控制流。

39. Welder: Scheduling Deep Learning Memory Access via Tile-graph.
    Welder:通过瓦片图调度深度学习内存访问。

40. Effectively Scheduling Computational Graphs of Deep Neural Networks toward Their Domain-Specific Accelerators.
    有效地调度深度神经网络的计算图以实现其特定域加速器。

41. EINNET: Optimizing Tensor Programs with Derivation-Based Transformations.
    EINNET:通过基于导出的转换优化张量程序。

42. Hydro: Surrogate-Based Hyperparameter Tuning Service in Datacenters.
    Hydro:数据中心中基于替代的超参数调整服务。

43. MGG: Accelerating Graph Neural Networks with Fine-Grained Intra-Kernel Communication-Computation Pipelining on Multi-GPU Platforms.
    MGG:在多 GPU 平台上使用细粒度内核通信-计算流水线加速图神经网络。

44. Optimizing Dynamic Neural Networks with Brainstorm.
    使用 Brainstorm 优化动态神经网络。

45. AdaEmbed: Adaptive Embedding for Large-Scale Recommendation Models.
    AdaEmbed:用于大规模推荐模型的自适应嵌入。

46. BWoS: Formally Verified Block-based Work Stealing for Parallel Processing.
    BWoS:用于并行处理的经过正式验证的基于块的工作窃取。

47. Spoq: Scaling Machine-Checkable Systems Verification in Coq.
    Spoq:在 Coq 中扩展机器可检验系统验证。

48. Verifying vMVCC, a high-performance transaction library using multi-version concurrency control.
    验证 vMVCC,使用多版本并发控制的高性能事务库。

49. Automated Verification of Idempotence for Stateful Serverless Applications.
    对有状态无服务器应用程序的幂等性进行自动验证。

50. Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems.
    分片状态机:用于复杂并发系统的自动模块化推理。

51. Flor: An Open High Performance RDMA Framework Over Heterogeneous RNICs.
    Flor:面向异构 RNIC 的开放高性能 RDMA 框架。

52. ShRing: Networking with Shared Receive Rings.
    ShRing:使用共享接收环的网络。

53. ServiceRouter: Hyperscale and Minimal Cost Service Mesh at Meta.
    ServiceRouter:在 Meta 上实现超大规模和最小成本的服务网格。

54. Characterizing Off-path SmartNIC for Accelerating Distributed Systems.
    表征用于加速分布式系统的离线智能网卡。

55. Ensō: A Streaming Interface for NIC-Application Communication.
    Ensō:用于 NIC-应用通信的流接口。

这篇关于OSDI 2023的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/820219

相关文章

CSP 2023 提高级第一轮 CSP-S 2023初试题 完善程序第二题解析 未完

一、题目阅读 (最大值之和)给定整数序列 a0,⋯,an−1,求该序列所有非空连续子序列的最大值之和。上述参数满足 1≤n≤105 和 1≤ai≤108。 一个序列的非空连续子序列可以用两个下标 ll 和 rr(其中0≤l≤r<n0≤l≤r<n)表示,对应的序列为 al,al+1,⋯,ar​。两个非空连续子序列不同,当且仅当下标不同。 例如,当原序列为 [1,2,1,2] 时,要计算子序列 [

HNU-2023电路与电子学-实验3

写在前面: 一、实验目的 1.了解简易模型机的内部结构和工作原理。 2.分析模型机的功能,设计 8 重 3-1 多路复用器。 3.分析模型机的功能,设计 8 重 2-1 多路复用器。 4.分析模型机的工作原理,设计模型机控制信号产生逻辑。 二、实验内容 1.用 VERILOG 语言设计模型机的 8 重 3-1 多路复用器; 2.用 VERILOG 语言设计模型机的 8 重 2-1 多

2023 CCPC(秦皇岛)现场(第二届环球杯.第 2 阶段:秦皇岛)部分题解

所有题目链接:Dashboard - The 2023 CCPC (Qinhuangdao) Onsite (The 2nd Universal Cup. Stage 9: Qinhuangdao) - Codeforces 中文题面: contest-37054-zh.pdf (codeforces.com) G. Path 链接: Problem - G - Codeforces

HNU-2023电路与电子学-实验1

写在前面: 这是电路与电子学课程的第一次实验,按照指导书的需求在Multisim软件搭建一个电路传感器模型,难度较小,细心完成就没有问题。 小tips:22级实验是采用上传到测试平台来进行功能检测,如果不通过则会打回修改后再重新提交,(我们那时候的评测系统特别特别慢,一次只能测一个同学,剩下同学就排队等着,久的时候甚至超过10个小时),这里列举一个常见的错误:热噪声有+号这端需要连接有源滤波器

【python】—— Python爬虫实战:爬取珠海市2011-2023年天气数据并保存为CSV文件

目录 目标 准备工作 爬取数据的开始时间和结束时间 爬取数据并解析 将数据转换为DataFrame并保存为CSV文件         本文将介绍如何使用Python编写一个简单的爬虫程序,以爬取珠海市2011年至2023年的天气数据,并将这些数据保存为CSV文件。我们将涉及到以下知识点: 使用requests库发送HTTP请求使用lxml库解析HTML文档使用dateti

Acrobat Pro DC 2023 for Mac/Win:全能型PDF编辑器深度解析

Adobe Acrobat Pro DC 2023作为一款跨平台的PDF编辑器,无论是对于Mac还是Windows用户,都提供了极为全面且强大的PDF处理功能。该软件凭借其卓越的性能和丰富的特性,成为了全球范围内用户处理PDF文档的首选工具。 一、强大的编辑功能 Acrobat Pro DC 2023内置了多种编辑工具,如文本编辑器、图片替换、页面调整等,使用户能够轻松地对PDF文档进行修改和

【行业报告】2023年消除类手游全球市场洞察

​更多消除内容: 长线消除游戏商业化设计案例:《梦幻花园》 - 游戏干饭之家 谈谈《开心消消乐》是如何做游戏商业化活动 - 游戏干饭之家 消除游戏展现了从简单的游戏玩法到复杂的社交互动,再到精细化运营的发展历程,其通过不断的创新和适应现代游戏的市场变化,依然活跃在市场的前沿 一、消除游戏分类定义 二、消除手游市场现状分析 消除手游近两年下载量增速表现优于整体手游表现,下

【数据分享】2000—2023年我国省市县三级逐月归一化植被指数(NDVI)数据(Shp/Excel格式)

之前我们分享过2000—2023年逐月归一化植被指数(NDVI)栅格数据(可查看之前的文章获悉详情),该数据来源于NASA定期发布的MOD13A3数据集!很多小伙伴拿到数据后反馈栅格数据不太方便使用,问我们能不能把数据处理为更方便使用的Shp和Excel格式的数据! 我们特地对数值在-0.2—1之间的NDVI栅格数据进行了处理,将2000-2023年逐月的归一化植被指数栅格分别按照我国省级行政边

Update Azure OpenAI npm Package to 2023-12-01-preview Version

题意:将 Azure OpenAI npm 包更新到 2023-12-01-preview 版本 问题背景: I am currently using the azure-openai npm package in my project with version 2023-03-15-preview. As per the latest updates, version 2023-12

[SWPUCTF 2023 秋季新生赛]Pingpingping

这种是ctf中比较简单的一类题,主要解法基本上也就那些形式。 这道题我给它提出来主要是涉及了一下比较零散的知识点,觉得想要跟大家分享一下。 <?phphighlight_file(__FILE__);error_reporting(0);$_ping = $_GET['Ping_ip.exe'];if(isset($_ping)){system("ping -c 3 ".$_ping)