Randomized online multi-threaded paging

被引:0
|
作者
Seiden, SS [1 ]
机构
[1] Graz Tech Univ, Inst Math B, A-8010 Graz, Austria
来源
ALGORITHM THEORY - SWAT'98 | 1998年 / 1432卷
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We present the first randomized upper and lower bounds for online multi-threaded paging as introduced by Feuerstein and Strejilevich de Loma [5]. Our main result is a O(w log k)-competitive algorithm for unfair infinite multi-threaded paging, which is optimal to within a constant factor. We also present algorithms and lower bounds for three other sub-models of multi-threaded paging.
引用
收藏
页码:264 / 275
页数:12
相关论文
共 50 条
  • [31] Probabilistic noninterference for multi-threaded programs
    Sabelfeld, A
    Sands, D
    13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 200 - 214
  • [32] Studying multi-threaded behavior with TSViz
    Nunes, Matheus
    Lalh, Harjeet
    Sharma, Ashaya
    Wong, Augustine
    Miucin, Svetozar
    Fedorova, Alexandra
    Beschastnikh, Ivan
    PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), 2017, : 35 - 38
  • [33] Information leakage of multi-threaded programs
    Noroozi, Ali A.
    Karimpour, Jaber
    Isazadeh, Ayaz
    COMPUTERS & ELECTRICAL ENGINEERING, 2019, 78 : 400 - 419
  • [34] Branch prediction in multi-threaded processors
    Gummaraju, J
    Franklin, M
    2000 INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PROCEEDINGS, 2000, : 179 - 188
  • [35] Causal Termination of Multi-threaded Programs
    Kupriyanov, Andrey
    Finkbeiner, Bernd
    COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 814 - 830
  • [36] On Multi-threaded Metrical Task Systems
    Feuerstein, Esteban
    Seiden, Steven S.
    de Loma, Alejandro Strejilevich
    JOURNAL OF DISCRETE ALGORITHMS, 2006, 4 (03) : 401 - 413
  • [37] Agents as multi-threaded logical objects
    Clark, Keith
    Robinson, Peter J.
    2002, Springer Verlag (2407):
  • [38] Go! for multi-threaded deliberative agents
    Clark, KL
    McCabe, FG
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES, 2004, 2990 : 54 - 75
  • [39] Regression Verification for Multi-threaded Programs
    Chaki, Sagar
    Gurfinkel, Arie
    Strichman, Ofer
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 119 - 135
  • [40] ON THE MULTI-THREADED NATURE OF SOLAR SPICULES
    Skogsrud, H.
    van der Voort, L. Rouppe
    De Pontieu, B.
    ASTROPHYSICAL JOURNAL LETTERS, 2014, 795 (01)