当前期刊: arXiv - CS - Operating Systems Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
我的关注
我的收藏
您暂时未登录!
登录
  • 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
  • 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-12
  • 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
  • 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.
导出
全部期刊列表>>
聚焦肿瘤,探索癌症
欢迎探索2019年最具下载量的材料科学论文
宅家赢大奖
向世界展示您的会议墙报和演示文稿
全球疫情及响应:BMC Medicine专题征稿
新版X-MOL期刊搜索和高级搜索功能介绍
化学材料学全球高引用
ACS材料视界
x-mol收录
自然科研论文编辑服务
南方科技大学
南方科技大学
舒伟
中国科学院长春应化所于聪-4-8
复旦大学
课题组网站
X-MOL
香港大学化学系刘俊治
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug