Operating Systems

Authors and titles for cs.OS in May 2022

[1]  arXiv:2205.07314 [pdf, other]

Title: Dynamic Ready Queue Based Process Priority Scheduling Algorithm

Authors: Raghav Dalmia, Aryaman Sinha, Ruchi Verma, P. K. Gupta

Comments: 5 pages, 7 Figures, 5 Tables

Subjects: Operating Systems (cs.OS)

[2]  arXiv:2205.10929 [pdf, other]

Title: rgpdOS: GDPR Enforcement By The Operating System

Authors: Alain Tchana, Raphael Colin, Adrien Le Berre, Vincent Berger, Benoit Combemale, Natacha Crooks, Ludovic Pailler

Subjects: Operating Systems (cs.OS); Cryptography and Security (cs.CR)

[3]  arXiv:2205.12270 [pdf, other]

Title: The Next-Generation OS Process Abstraction

Authors: Rodrigo Siqueira, Nelson Lago, Fabio Kon, Dejan Milojičić

Subjects: Operating Systems (cs.OS); Hardware Architecture (cs.AR)

[4]  arXiv:2205.03322 (cross-list from cs.CR) [pdf, ps, other]

Title: Private delegated computations using strong isolation

Authors: Mathias Brossard, Guilhem Bryant, Basma El Gaabouri, Xinxin Fan, Alexandre Ferreira, Edmund Grimley-Evans, Christopher Haster, Evan Johnson, Derek Miller, Fan Mo, Dominic P. Mulligan, Nick Spinale, Eric van Hensbergen, Hugo J. M. Vincent, Shale Xiong

Subjects: Cryptography and Security (cs.CR); Operating Systems (cs.OS); Programming Languages (cs.PL)

[5]  arXiv:2205.07480 (cross-list from cs.FL) [pdf, other]

Title: Analyzing FreeRTOS Scheduling Behaviors with the Spin Model Checker

Authors: Chen-Kai Lin, Bow-Yaw Wang

Subjects: Formal Languages and Automata Theory (cs.FL); Operating Systems (cs.OS)