当前期刊: arXiv - CS - Operating Systems Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
我的关注
我的收藏
您暂时未登录!
登录
  • DPCP-p: A Distributed Locking Protocol for Parallel Real-Time Tasks
    arXiv.cs.OS Pub Date : 2020-07-01
    Maolin Yang; Zewei Chen; Xu Jiang; Nan Guan; Hang Lei

    Real-time scheduling and locking protocols are fundamental facilities to construct time-critical systems. For parallel real-time tasks, predictable locking protocols are required when concurrent sub-jobs mutually exclusive access to shared resources. This paper for the first time studies the distributed synchronization framework of parallel real-time tasks, where both tasks and global resources are

    更新日期:2020-07-03
  • Scalable Range Locks for Scalable Address Spaces and Beyond
    arXiv.cs.OS Pub Date : 2020-06-22
    Alex Kogan; Dave Dice; Shady Issa

    Range locks are a synchronization construct designed to provide concurrent access to multiple threads (or processes) to disjoint parts of a shared resource. Originally conceived in the file system context, range locks are gaining increasing interest in the Linux kernel community seeking to alleviate bottlenecks in the virtual memory management subsystem. The existing implementation of range locks in

    更新日期:2020-06-23
  • Optimizing Placement of Heap Memory Objects in Energy-Constrained Hybrid Memory Systems
    arXiv.cs.OS Pub Date : 2020-06-22
    Taeuk Kim; Safdar Jamil; Joongeon Park; Youngjae Kim

    Main memory (DRAM) significantly impacts the power and energy utilization of the overall server system. Non-Volatile Memory (NVM) devices, such as Phase Change Memory and Spin-Transfer Torque RAM, are suitable candidates for main memory to reduce energy consumption. But unlike DRAM, NVMs access latencies are higher than DRAM and NVM writes are more energy sensitive than DRAM write operations. Thus

    更新日期:2020-06-23
  • FastDrain: Removing Page Victimization Overheads in NVMe Storage Stack
    arXiv.cs.OS Pub Date : 2020-06-16
    Jie Zhang; Miryeong Kwon; Sanghyun Han; Nam Sung Kim; Mahmut Kandemir; Myoungsoo Jung

    Host-side page victimizations can easily overflow the SSD internal buffer, which interferes I/O services of diverse user applications thereby degrading user-level experiences. To address this, we propose FastDrain, a co-design of OS kernel and flash firmware to avoid the buffer overflow, caused by page victimizations. Specifically, FastDrain can detect a triggering point where a near-future page victimization

    更新日期:2020-06-16
  • An Adaptive Approach to Recoverable Mutual Exlcusion
    arXiv.cs.OS Pub Date : 2020-06-12
    Sahil Dhoked; Neeraj Mittal

    Mutual exclusion (ME) is one of the most commonly used techniques to handle conflicts in concurrent systems. Traditionally, mutual exclusion algorithms have been designed under the assumption that a process does not fail while acquiring/releasing a lock or while executing its critical section. However, failures do occur in real life, potentially leaving the lock in an inconsistent state. This gives

    更新日期:2020-06-12
  • Nefele: Process Orchestration for the Cloud
    arXiv.cs.OS Pub Date : 2020-06-12
    Mina Sedaghat; Pontus Sköldström; Daniell Turull; Vinay Yadhav; Joacim Halén; Madhubala Ganesan; Amardeep Mehta; Wolfgang John

    Virtualization, either at OS- or hardware level, plays an important role in cloud computing. It enables easier automation and faster deployment in distributed environments. While virtualized infrastructures provide a level of management flexibility, they lack practical abstraction of the distributed resources. A developer in such an environment still needs to deal with all the complications of building

    更新日期:2020-06-12
  • The Art of CPU-Pinning: Evaluating and Improving the Performance of Virtualization and Containerization Platforms
    arXiv.cs.OS Pub Date : 2020-06-03
    Davood Ghatreh Samani; Chavit Denninnart; Josef Bacik; Mohsen Amini Salehi

    Cloud providers offer a variety of execution platforms in form of bare-metal, VM, and containers. However, due to the pros and cons of each execution platform, choosing the appropriate platform for a specific cloud-based application has become a challenge for solution architects. The possibility to combine these platforms (e.g. deploying containers within VMs) offers new capacities that makes the challenge

    更新日期:2020-06-03
  • Flex: Closing the Gaps between Usage and Allocation
    arXiv.cs.OS Pub Date : 2020-06-02
    Tan N. Le; Zhenhua Liu

    Data centers are giant factories of Internet data and services. Worldwide data centers consume energy and emit emissions more than airline industry. Unfortunately, most of data centers are significantly underutilized. One of the major reasons is the big gaps between the real usage and the provisioned resources because users tend to over-estimate their demand and data center operators often rely on

    更新日期:2020-06-02
  • Memory virtualization in virtualized systems: segmentation is better than paging
    arXiv.cs.OS Pub Date : 2020-05-30
    Boris Teabe; Peterson Yuhala; Alain Tchana; Fabien Hermenier; Daniel Hagimont; Gilles Muller

    The utilization of paging for virtual machine (VM) memory management is the root cause of memory virtualization overhead. This paper shows that paging is not necessary in the hypervisor. In fact, memory fragmentation, which explains paging utilization, is not an issue in virtualized datacenters thanks to VM memory demand patterns. Our solution Compromis, a novel Memory Management Unit, uses direct

    更新日期:2020-05-30
  • Study of Firecracker MicroVM
    arXiv.cs.OS Pub Date : 2020-05-26
    Madhur Jain

    Firecracker is a virtualization technology that makes use of Kernel Virtual Machine (KVM). Firecracker belongs to a new virtualization class named the micro-virtual machines (MicroVMs). Using Firecracker, we can launch lightweight MicroVMs in non-virtualized environments in a fraction of a second, at the same time offering the security and workload isolation provided by traditional VMs and also the

    更新日期:2020-05-26
  • Autonomous Task Dropping Mechanism to Achieve Robustness in Heterogeneous Computing Systems
    arXiv.cs.OS Pub Date : 2020-05-22
    Ali Mokhtari; Chavit Denninnart; Mohsen Amini Salehi

    Robustness of a distributed computing system is defined as the ability to maintain its performance in the presence of uncertain parameters. Uncertainty is a key problem in heterogeneous (and even homogeneous) distributed computing systems that perturbs system robustness. Notably, the performance of these systems is perturbed by uncertainty in both task execution time and arrival. Accordingly, our goal

    更新日期:2020-05-22
  • A Way Around UMIP and Descriptor-Table Exiting via TSX-based Side-Channel Attack
    arXiv.cs.OS Pub Date : 2020-05-20
    Mohammad Sina Karvandi; Saleh Khalaj Monfared; Mohammad Sina Kiarostami; Dara Rahmati; Saeid Gorgin

    Nowadays, in operating systems, numerous protection mechanisms prevent or limit the user-mode applications to access the kernel's internal information. This is regularly carried out by software-based defenses such as Address Space Layout Randomization (ASLR) and Kernel ASLR (KASLR). They play pronounced roles when the security of sandboxed applications such as Web-browser are considered. Armed with

    更新日期:2020-05-20
  • High Velocity Kernel File Systems with Bento
    arXiv.cs.OS Pub Date : 2020-05-19
    Samantha MillerUniversity of Washington; Kaiyuan ZhangUniversity of Washington; Danyang ZhuoDuke University; Tom AndersonUniversity of Washington

    High development velocity is critical for modern cloud systems. However, rapid development and release cycles have mostly skipped operating systems. Modifications to behavior in Linux, the most widely used server operating system in the cloud, must be done slowly to minimize risk of introducing bugs, be limited in scope, or be implemented in userspace with a potential performance penalty. We propose

    更新日期:2020-05-19
  • Exploiting Inter- and Intra-Memory Asymmetries for Data Mapping in Hybrid Tiered-Memories
    arXiv.cs.OS Pub Date : 2020-05-10
    Shihao Song; Anup Das; Nagarajan Kandasamy

    Modern computing systems are embracing hybrid memory comprising of DRAM and non-volatile memory (NVM) to combine the best properties of both memory technologies, achieving low latency, high reliability, and high density. A prominent characteristic of DRAM-NVM hybrid memory is that it has NVM access latency much higher than DRAM access latency. We call this inter-memory asymmetry. We observe that parasitic

    更新日期:2020-05-10
  • Improving Phase Change Memory Performance with Data Content Aware Access
    arXiv.cs.OS Pub Date : 2020-05-10
    Shihao Song; Anup Das; Onur Mutlu; Nagarajan Kandasamy

    A prominent characteristic of write operation in Phase-Change Memory (PCM) is that its latency and energy are sensitive to the data to be written as well as the content that is overwritten. We observe that overwriting unknown memory content can incur significantly higher latency and energy compared to overwriting known all-zeros or all-ones content. This is because all-zeros or all-ones content is

    更新日期:2020-05-10
  • On Failure Diagnosis of the Storage Stack
    arXiv.cs.OS Pub Date : 2020-05-06
    Duo Zhang; Om Rameshwar Gatla; Runzhou Han; Mai Zheng

    Diagnosing storage system failures is challenging even for professionals. One example is the "When Solid State Drives Are Not That Solid" incident occurred at Algolia data center, where Samsung SSDs were mistakenly blamed for failures caused by a Linux kernel bug. With the system complexity keeps increasing, such obscure failures will likely occur more often. As one step to address the challenge, we

    更新日期:2020-05-06
  • Dim Silicon and the Case for Improved DVFS Policies
    arXiv.cs.OS Pub Date : 2020-05-04
    Mathias Gottschlag; Yussuf Khalil; Frank Bellosa

    Due to thermal and power supply limits, modern Intel CPUs reduce their frequency when AVX2 and AVX-512 instructions are executed. As the CPUs wait for 670{\mu}s before increasing the frequency again, the performance of some heterogeneous workloads is reduced. In this paper, we describe parallels between this situation and dynamic power management as well as between the policy implemented by these CPUs

    更新日期:2020-05-04
  • Designing Robust API Monitoring Solutions
    arXiv.cs.OS Pub Date : 2020-05-01
    Simone Nicchi; Matteo Mariani; Matteo Marini; Federico Palmaro; Daniele Cono D'Elia

    Tracing the sequence of library and system calls made by a program is very helpful in the characterization of its interactions with the environment and ultimately of its semantics. Due to entanglements of real-world software stacks, this task can become challenging as we take accuracy, reliability, and transparency aspects into the equation. In this paper we report on our experience in designing and

    更新日期:2020-05-01
  • Vilamb: Low Overhead Asynchronous Redundancy for Direct Access NVM
    arXiv.cs.OS Pub Date : 2020-04-20
    Rajat Kateja; Andy Pavlo; Gregory R. Ganger

    Vilamb provides efficient asynchronous systemredundancy for direct access (DAX) non-volatile memory (NVM) storage. Production storage deployments often use system-redundancy in form of page checksums and cross-page parity. State-of-the-art solutions for maintaining system-redundancy for DAX NVM either incur a high performance overhead or require specialized hardware. The Vilamb user-space library maintains

    更新日期:2020-04-20
  • A Linux Kernel Scheduler Extension for Multi-core Systems
    arXiv.cs.OS Pub Date : 2020-04-14
    Aleix Roca; Samuel Rodríguez; Albert Segura; Kevin Marquet; Vicenç Beltran

    The Linux kernel is mostly designed for multi-programed environments, but high-performance applications have other requirements. Such applications are run standalone, and usually rely on runtime systems to distribute the application's workload on worker threads, one per core. However, due to current OSes limitations, it is not feasible to track whether workers are actually running or blocked due to

    更新日期:2020-04-15
  • Hardware Memory Management for Future Mobile Hybrid Memory Systems
    arXiv.cs.OS Pub Date : 2020-04-12
    Fei Wen; Mian Qin; Paul Gratz; Narasimha Reddy

    The current mobile applications have rapidly growing memory footprints, posing a great challenge for memory system design. Insufficient DRAM main memory will incur frequent data swaps between memory and storage, a process that hurts performance, consumes energy and deteriorates the write endurance of typical flash storage devices. Alternately, a larger DRAM has higher leakage power and drains the battery

    更新日期:2020-04-14
  • Accelerating Filesystem Checking and Repair with pFSCK
    arXiv.cs.OS Pub Date : 2020-04-12
    David Domingo; Kyle Stratton; Sudarsun Kannan

    File system checking and recovery (C/R) tools play a pivotal role in increasing the reliability of storage software, identifying and correcting file system inconsistencies. However, with increasing disk capacity and data content, file system C/R tools notoriously suffer from long runtimes. We posit that current file system checkers fail to exploit CPU parallelism and high throughput offered by modern

    更新日期:2020-04-14
  • Efficient Kernel Object Management for Tiered Memory Systems with KLOC
    arXiv.cs.OS Pub Date : 2020-04-09
    Sudarsun Kannan; Yujie Ren; Abhishek Bhatacharjee

    Software-controlled heterogeneous memory systems have the potential to improve performance, efficiency, and cost tradeoffs in emerging systems. Delivering on this promise requires an efficient operating system (OS) mechanisms and policies for data management. Unfortunately, modern OSes do not support efficient tiering of data between heterogeneous memories. While this problem is known (and is being

    更新日期:2020-04-13
  • $μ$Tiles: Efficient Intra-Process Privilege Enforcement of Memory Regions
    arXiv.cs.OS Pub Date : 2020-04-09
    Zahra Tarkhani; Anil Madhavapeddy

    With the alarming rate of security advisories and privacy concerns on connected devices, there is an urgent need for strong isolation guarantees in resource-constrained devices that demand very lightweight solutions. However, the status quo is that Unix-like operating systems do not offer privilege separation inside a process. Lack of practical fine-grained compartmentalization inside a shared address

    更新日期:2020-04-13
  • Duplication of Windows Services
    arXiv.cs.OS Pub Date : 2016-08-13
    Zhiyong Shan; Xin Wang; Tzi-cker Chiueh; Rajiv Bagai

    OS-level virtualization techniques virtualize system resources at the system call interface, has the distinct advantage of smaller run-time resource requirements as compared to HAL-level virtualization techniques, and thus forms an important building block for virtualizing parallel and distributed applications such as a HPC clusters. Because the Windows operating system puts certain critical functionalities

    更新日期:2020-04-10
  • SoftWear: Software-Only In-Memory Wear-Leveling for Non-Volatile Main Memory
    arXiv.cs.OS Pub Date : 2020-04-07
    Christian Hakert; Kuan-Hsun Chen; Pual R. Genssler; Georg von der Brüggen; Lars Bauer; Hussam Amrouch; Jian-Jia Chen; Jörg Henkel

    Several emerging technologies for byte-addressable non-volatile memory (NVM) have been considered to replace DRAM as the main memory in computer systems during the last years. The disadvantage of a lower write endurance, compared to DRAM, of NVM technologies like Phase-Change Memory (PCM) or Ferroelectric RAM (FeRAM) has been addressed in the literature. As a solution, in-memory wear-leveling techniques

    更新日期:2020-04-08
  • FLIC: A Distributed Fog Cache for City-Scale Applications
    arXiv.cs.OS Pub Date : 2020-03-25
    Jack West; Neil Kingensmith; George K. Thiruvathukal

    We present FLIC, a distributed software data caching framework for fogs that reduces network traffic and latency. FLICis targeted toward city-scale deployments of cooperative IoT devices in which each node gathers and shares data with surrounding devices. As machine learning and other data processing techniques that require large volumes of training data are ported to low-cost and low-power IoT systems

    更新日期:2020-03-30
  • Co-Optimizing Performance and Memory FootprintVia Integrated CPU/GPU Memory Management, anImplementation on Autonomous Driving Platform
    arXiv.cs.OS Pub Date : 2020-03-17
    Soroush Bateni; Zhendong Wang; Yuankun Zhu; Yang Hu; Cong Liu

    Cutting-edge embedded system applications, such as self-driving cars and unmanned drone software, are reliant on integrated CPU/GPU platforms for their DNNs-driven workload, such as perception and other highly parallel components. In this work, we set out to explore the hidden performance implication of GPU memory management methods of integrated CPU/GPU architecture. Through a series of experiments

    更新日期:2020-03-19
  • Dynamic Budget Management with Service Guarantees for Mixed-Criticality Systems
    arXiv.cs.OS Pub Date : 2020-03-11
    Xiaozhe Gu; Arvind Easwaran

    Many existing studies on mixed-criticality (MC) scheduling assume that low-criticality budgets for high-criticality applications are known apriori. These budgets are primarily used as guidance to determine when the scheduler should switch the system mode from low to high. Based on this key observation, in this paper we propose a dynamic MC scheduling model under which low-criticality budgets for individual

    更新日期:2020-03-19
  • Efficient Schedulability Test for Dynamic-Priority Scheduling of Mixed-Criticality Real-Time Systems
    arXiv.cs.OS Pub Date : 2020-03-11
    Xiaozhe Gu; Arvind Easwaran

    Systems in many safety-critical application domains are subject to certification requirements. In such a system, there are typically different applications providing functionalities that have varying degrees of criticality. Consequently, the certification requirements for functionalities at these different criticality levels are also varying, with very high levels of assurance required for a highly

    更新日期:2020-03-12
  • Multi-Rate Fluid Scheduling of Mixed-Criticality Systems on Multiprocessors
    arXiv.cs.OS Pub Date : 2020-03-11
    Saravanan Ramanathan; Arvind Easwaran; Hyeonjoong Cho

    In this paper we consider the problem of mixed-criticality (MC) scheduling of implicit-deadline sporadic task systems on a homogenous multiprocessor platform. Focusing on dual-criticality systems, algorithms based on the fluid scheduling model have been proposed in the past. These algorithms use a dual-rate execution model for each high-criticality task depending on the system mode. Once the system

    更新日期:2020-03-12
  • Fissile Locks
    arXiv.cs.OS Pub Date : 2020-03-10
    Dave Dice; Alex Kogan

    Classic test-and-test (TS) mutual exclusion locks are simple, and enjoy high performance and low latency of ownership transfer under light or no contention. However, they do not scale gracefully under high contention and do not provide any admission order guarantees. Such concerns led to the development of scalable queue-based locks, such as a recent Compact NUMA-aware (CNA) lock, a variant of another

    更新日期:2020-03-10
  • Data Centers Job Scheduling with Deep Reinforcement Learning
    arXiv.cs.OS Pub Date : 2019-09-16
    Sisheng Liang; Zhou Yang; Fang Jin; Yong Chen

    Efficient job scheduling on data centers under heterogeneous complexity is crucial but challenging since it involves the allocation of multi-dimensional resources over time and space. To adapt the complex computing environment in data centers, we proposed an innovative Advantage Actor-Critic (A2C) deep reinforcement learning based approach called A2cScheduler for job scheduling. A2cScheduler consists

    更新日期:2020-03-03
  • Bringing Inter-Thread Cache Benefits to Federated Scheduling -- Extended Results & Technical Report
    arXiv.cs.OS Pub Date : 2020-02-28
    Corey Tessler; Venkata P. Modekurthy; Nathan Fisher; Abusayeed Saifullah

    Multiprocessor scheduling of hard real-time tasks modeled by directed acyclic graphs (DAGs) exploits the inherent parallelism presented by the model. For DAG tasks, a node represents a request to execute an object on one of the available processors. In one DAG task, there may be multiple execution requests for one object, each represented by a distinct node. These distinct execution requests offer

    更新日期:2020-03-02
  • Virtual Gang based Scheduling of Real-Time Tasks on Multicore Platforms
    arXiv.cs.OS Pub Date : 2019-12-23
    Waqar Ali; Rodolfo Pellizzoni; Heechul Yun

    We propose a virtual-gang based parallel real-time task scheduling approach for multicore platforms. Our approach is based on the notion of a virtual-gang, which is a group of parallel real-time tasks that are statically linked and scheduled together by a gang scheduler. We present a light-weight intra-gang synchronization framework, called RTG-Sync, and virtual gang formation algorithms that provide

    更新日期:2020-03-02
  • Safe and Efficient Remote Application Code Execution on Disaggregated NVM Storage with eBPF
    arXiv.cs.OS Pub Date : 2020-02-25
    Kornilios Kourtis; Animesh Trivedi; Nikolas Ioannou

    With rapid improvements in NVM storage devices, the performance bottleneck is gradually shifting to the network, thus giving rise to the notion of "data movement wall". To reduce the amount of data movement over the network, researchers have proposed near-data computing by shipping operations and compute-extensions closer to storage devices. However, running arbitrary, user-provided extensions in a

    更新日期:2020-02-27
  • A Recurrent Neural Network Based Patch Recommender for Linux Kernel Bugs
    arXiv.cs.OS Pub Date : 2020-02-19
    Anusha Bableshwar; Arun Ravindran; Manoj Iyer

    Software bugs in a production environment have an undesirable impact on quality of service, unplanned system downtime, and disruption in good customer experience, resulting in loss of revenue and reputation. Existing approaches to automated software bug repair focuses on known bug templates detected using static code analysis tools and test suites, and in automatic generation of patch code for these

    更新日期:2020-02-21
  • LibrettOS: A Dynamically Adaptable Multiserver-Library OS
    arXiv.cs.OS Pub Date : 2020-02-20
    Ruslan Nikolaev; Mincheol Sung; Binoy Ravindran

    We present LibrettOS, an OS design that fuses two paradigms to simultaneously address issues of isolation, performance, compatibility, failure recoverability, and run-time upgrades. LibrettOS acts as a microkernel OS that runs servers in an isolated manner. LibrettOS can also act as a library OS when, for better performance, selected applications are granted exclusive access to virtual hardware resources

    更新日期:2020-02-21
  • Privaros: A Framework for Privacy-Compliant Drones
    arXiv.cs.OS Pub Date : 2020-02-16
    Rakesh Rajan Beck; Abhishek Vijeev; Vinod Ganapathy

    We present Privaros, a framework to enforce privacy policies on drones. Privaros is designed for commercial delivery drones, such as the ones that will likely be used by Amazon Prime Air. Such drones visit a number of host airspaces, each of which may have different privacy requirements. Privaros provides an information flow control framework to enforce the policies of these hosts on the guest delivery

    更新日期:2020-02-18
  • ExplFrame: Exploiting Page Frame Cache for Fault Analysis of Block Ciphers
    arXiv.cs.OS Pub Date : 2019-05-30
    Anirban Chakraborty; Sarani Bhattacharya; Sayandeep Saha; Debdeep Mukhopadhyay

    Page Frame Cache (PFC) is a purely software cache, present in modern Linux based operating systems (OS), which stores the page frames that are recently being released by the processes running on a particular CPU. In this paper, we show that the page frame cache can be maliciously exploited by an adversary to steer the pages of a victim process to some pre-decided attacker-chosen locations in the memory

    更新日期:2020-02-13
  • Intel Page Modification Logging, a hardware virtualization feature: study and improvement for virtual machine working set estimation
    arXiv.cs.OS Pub Date : 2020-01-26
    Stella Bitchebe; Djob Mvondo; Alain Tchana; Laurent Réveillère; Noël De Palma

    Intel Page Modification Logging (PML) is a novel hardware feature for tracking virtual machine (VM) accessed memory pages. This task is essential in today's data centers since it allows, among others, checkpointing, live migration and working set size (WSS) estimation. Relying on the Xen hypervisor, this paper studies PML from three angles: power consumption, efficiency, and performance impact on user

    更新日期:2020-01-29
  • AppStreamer: Reducing Storage Requirements of Mobile Games through Predictive Streaming
    arXiv.cs.OS Pub Date : 2019-12-16
    Nawanol Theera-Ampornpunt; Shikhar Suryavansh; Sameer Manchanda; Rajesh Panta; Kaustubh Joshi; Mostafa Ammar; Mung Chiang; Saurabh Bagchi

    Storage has become a constrained resource on smartphones. Gaming is a popular activity on mobile devices and the explosive growth in the number of games coupled with their growing size contributes to the storage crunch. Even where storage is plentiful, it takes a long time to download and install a heavy app before it can be launched. This paper presents AppStreamer, a novel technique for reducing

    更新日期:2020-01-23
  • SPARTA: A Divide and Conquer Approach to Address Translation for Accelerators
    arXiv.cs.OS Pub Date : 2020-01-20
    Javier Picorel; Seyed Alireza Sanaee Kohroudi; Zi Yan; Abhishek Bhattacharjee; Babak Falsafi; Djordje Jevdjic

    Virtual memory (VM) is critical to the usability and programmability of hardware accelerators. Unfortunately, implementing accelerator VM efficiently is challenging because the area and power constraints make it difficult to employ the large multi-level TLBs used in general-purpose CPUs. Recent research proposals advocate a number of restrictions on virtual-to-physical address mappings in order to

    更新日期:2020-01-22
  • Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX
    arXiv.cs.OS Pub Date : 2020-01-21
    Youren Shen; Hongliang Tian; Yu Chen; Kang Chen; Runji Wang; Yi Xu; Yubin Xia

    Intel Software Guard Extensions (SGX) enables user-level code to create private memory regions called enclaves, whose code and data are protected by the CPU from software and hardware attacks outside the enclaves. Recent work introduces library operating systems (LibOSes) to SGX so that legacy applications can run inside enclaves with few or even no modifications. As virtually any non-trivial application

    更新日期:2020-01-22
  • SGX-LKL: Securing the Host OS Interface for Trusted Execution
    arXiv.cs.OS Pub Date : 2019-08-29
    Christian Priebe; Divya Muthukumaran; Joshua Lind; Huanzhou Zhu; Shujie Cui; Vasily A. Sartakov; Peter Pietzuch

    Hardware support for trusted execution in modern CPUs enables tenants to shield their data processing workloads in otherwise untrusted cloud environments. Runtime systems for the trusted execution must rely on an interface to the untrusted host OS to use external resources such as storage, network, and other functions. Attackers may exploit this interface to leak data or corrupt the computation. We

    更新日期:2020-01-22
  • On Schedulability Analysis of EDF Scheduling by Considering Suspension as Blocking
    arXiv.cs.OS Pub Date : 2020-01-16
    Mario Guenzel; Jian-Jia Chen

    During the execution of a job, it may suspend itself, i.e., its computation ceases to process until certain activities are complete to be resumed. This paper provides a counterexample of the schedulability analysis by Devi in Euromicro Conference on Real-Time Systems (ECRTS) in 2003.

    更新日期:2020-01-17
  • Online Scheduling with Makespan Minimization: State of the Art Results, Research Challenges and Open Problems
    arXiv.cs.OS Pub Date : 2020-01-14
    Debasis Dwibedy; Rakesh Mohanty

    Online scheduling has been a well studied and challenging research problem over the last five decades since the pioneering work of Graham with immense practical significance in various applications such as interactive parallel processing, routing in communication networks, distributed data management, client-server communications, traffic management in transportation, industrial manufacturing and production

    更新日期:2020-01-15
  • Runtime Verification of Linux Kernel Security Module
    arXiv.cs.OS Pub Date : 2020-01-06
    Denis Efremov; Ilya Shchepetkov

    The Linux kernel is one of the most important Free/Libre Open Source Software (FLOSS) projects. It is installed on billions of devices all over the world, which process various sensitive, confidential or simply private data. It is crucial to establish and prove its security properties. This work-in-progress paper presents a method to verify the Linux kernel for conformance with an abstract security

    更新日期:2020-01-07
Contents have been reproduced by permission of the publishers.
导出
全部期刊列表>>
材料学研究精选
Springer Nature Live 产业与创新线上学术论坛
胸腔和胸部成像专题
自然科研论文编辑服务
ACS ES&T Engineering
ACS ES&T Water
屿渡论文,编辑服务
杨超勇
周一歌
华东师范大学
南京工业大学
清华大学
中科大
唐勇
跟Nature、Science文章学绘图
隐藏1h前已浏览文章
中洪博元
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
x-mol收录
福州大学
南京大学
王杰
左智伟
湖南大学
清华大学
吴杰
赵延川
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug