中文
相关论文

相关论文: Bounded Priority-Aware Locking for Real-Time Kerne…

200 篇论文

The problem of hotspots remains a critical challenge in high-contention workloads for concurrency control (CC) protocols. Traditional concurrency control approaches encounter significant difficulties under high contention, resulting in…

数据库 · 计算机科学 2025-08-27 Farzad Habibi , Juncheng Fang , Tania Lorido-Botran , Faisal Nawab

All real time tasks which are termed as critical tasks by nature have to complete its execution before its deadline, even in presence of faults. The most popularly used real time task assignment algorithms are First Fit (FF), Best Fit (BF),…

操作系统 · 计算机科学 2016-09-08 A. Christy Persya , T. R. Gopalakrishnan Nair

Motivated by modern parallel computing applications, we consider the problem of scheduling parallel-task jobs with heterogeneous resource requirements in a cluster of machines. Each job consists of a set of tasks that can be processed in…

分布式、并行与集群计算 · 计算机科学 2020-04-03 Mehrnoosh Shafiee , Javad Ghaderi

We study a difficult problem of how to schedule complex workflows with precedence constraints under a limited budget in the cloud environment. We first formulate the scheduling problem as an integer programming problem, which can be…

分布式、并行与集群计算 · 计算机科学 2019-03-05 Hang Zhang , Xiaoying Zheng , Ye Xia , Mingqi Li

Recent NVIDIA Graphics Processing Units (GPUs) can execute multiple kernels concurrently. On these GPUs, the thread block scheduler (TBS) uses the FIFO policy to schedule their thread blocks. We show that FIFO leaves performance to chance,…

硬件体系结构 · 计算机科学 2014-06-25 Sreepathi Pai , R. Govindarajan , Matthew J. Thazhuthaveetil

In Real-time system, utilization based schedulability test is a common approach to determine whether or not tasks can be admitted without violating deadline requirements. The exact problem has previously been proven intractable even upon…

软件工程 · 计算机科学 2011-01-11 Jagbeer Singh

We consider the problem of online scheduling on a single machine in order to minimize weighted flow time. The existing algorithms for this problem (STOC '01, SODA '03, FOCS '18) all require exact knowledge of the processing time of each…

数据结构与算法 · 计算机科学 2021-03-10 Yossi Azar , Stefano Leonardi , Noam Touitou

This paper addresses the computational offloading of Deep Neural Networks (DNNs) to nearby devices with similar processing capabilities, to avoid the larger communication delays incurred for cloud offloading. We present a preemption aware…

分布式、并行与集群计算 · 计算机科学 2025-04-24 Jamie Cotter , Ignacio Castineiras , Donna O'Shea , Victor Cionca

This paper focuses on the analysis of real-time non preemptive multiprocessor scheduling with precedence and several latency constraints. It aims to specify a schedulability condition which enables a designer to check a priori -without…

操作系统 · 计算机科学 2013-01-22 Omar Kermia

To deliver high performance in power limited systems, architects have turned to using heterogeneous systems, either CPU+GPU or mixed CPU-hardware systems. However, in systems with different processor types and task affinities, scheduling…

性能 · 计算机科学 2017-12-12 Zhuo Chen , Diana Marculescu

In this paper we propose a general framework to integrate supervised and unsupervised examples with background knowledge expressed by a collection of first-order logic clauses into kernel machines. In particular, we consider a multi-task…

机器学习 · 计算机科学 2024-02-06 Michelangelo Diligenti , Marco Gori , Marco Maggini , Leonardo Rigutini

Priority queues are used in a wide range of applications, including prioritized online scheduling, discrete event simulation, and greedy algorithms. In parallel settings, classical priority queues often become a severe bottleneck, resulting…

数据结构与算法 · 计算机科学 2025-04-17 Marvin Williams , Peter Sanders

The Priority Inheritance Protocol (PIP) is arguably the best-known protocol for resource sharing under real-time constraints. Its importance in modern applications is undisputed. Nevertheless, because jobs may be blocked under PIP for a…

操作系统 · 计算机科学 2018-06-12 Paolo Torroni , Zeynep Kiziltan , Eugenio Faldella

The rigid gang task model is based on the idea of executing multiple threads simultaneously on a fixed number of processors to increase efficiency and performance. Although there is extensive literature on global rigid gang scheduling,…

分布式、并行与集群计算 · 计算机科学 2024-09-04 Binqi Sun , Tomasz Kloda , Marco Caccamo

This paper presents an efficient Mixed-Integer Nonlinear Programming (MINLP) formulation for systems with discrete control inputs under dwell time constraints. By viewing such systems as a switched system, the problem is decomposed into a…

最优化与控制 · 数学 2025-01-10 Ramin Abbasi-Esfeden , Armin Nurkanovic , Moritz Diehl , Panagiotis Patrinos , Jan Swevers

In the case of compute-intensive machine learning, efficient operating system scheduling is crucial for performance and energy efficiency. This paper conducts a comparative study over FIFO(First-In-First-Out) and RR(Round-Robin) scheduling…

操作系统 · 计算机科学 2024-09-25 Malobika Roy Choudhury , Akshat Mehrotra

We study Online Linear Programming (OLP) with batching. The planning horizon is cut into $K$ batches, and the decisions on customers arriving within a batch can be delayed to the end of their associated batch. Compared with OLP without…

机器学习 · 计算机科学 2024-08-02 Haoran Xu , Peter W. Glynn , Yinyu Ye

Real-time systems are intrinsic components of many pivotal applications, such as self-driving vehicles, aerospace and defense systems. The trend in these applications is to incorporate multiple tasks onto fewer, more powerful hardware…

操作系统 · 计算机科学 2024-10-03 V. Gabriel Moyano , Zain A. H. Hammadeh , Selma Saidi , Daniel Lüdtke

CPU scheduling is one of the most crucial operations performed by operating systems. Different conventional algorithms like FCFS, SJF, Priority, and RR (Round Robin) are available for CPU Scheduling. The effectiveness of Priority and Round…

操作系统 · 计算机科学 2015-11-10 Amar Ranjan Dash , Sandipta Kumar Sahu , Sanjay Kumar Samantra , Sradhanjali Sabat

Motivated by the need of {\em social distancing} during a pandemic, we consider an approach to schedule the visitors of a facility (e.g., a general store). Our algorithms take input from the citizens and schedule the store's discrete…

计算机科学与博弈论 · 计算机科学 2021-10-25 Deepesh Kumar Lall , Garima Shakya , Swaprava Nath