On Multi-threaded Metrical Task Systems

被引:0
|
作者
Feuerstein, Esteban [1 ]
Seiden, Steven S. [2 ]
de Loma, Alejandro Strejilevich [1 ]
机构
[1] Univ Buenos Aires, Fac Ciencias Exactas & Nat, Dept Computac, Pabellon I,Ciudad Univ, RA-1428 Buenos Aires, DF, Argentina
[2] Louisiana State Univ, Dept Comp Sci, Baton Rouge, LA 70803 USA
关键词
Competitive analysis; Multi-tasking systems; On-line algorithms; Paging;
D O I
10.1016/j.jda.2005.12.005
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Traditionally, on-line problems have been studied under the assumption that there is a unique sequence of requests that must be served. This approach is common to most general models of online computation, such as Metrical Task Systems. However, there exist on-line problems in which the requests are organized in more than one independent thread. In this more general framework, at every moment the first unserved request of each thread is available. Therefore, apart from deciding how to serve a request, at each stage it is necessary to decide which request to serve among several possibilities. In this paper we introduce Multi-threaded Metrical Task Systems, that is, the generalization of Metrical Task Systems to the case in which there are many threads of tasks. We study the problem from a competitive analysis point of view, proving lower and upper bounds on the competitiveness of on-line algorithms. We consider finite and infinite sequences of tasks, as well as deterministic and randomized algorithms. In this work we present the first steps towards a more general framework for on-line problems which is not restricted to a sequential flow of information. (C) 2006 Elsevier B.V. All rights reserved.
引用
收藏
页码:401 / 413
页数:13
相关论文
共 50 条
  • [1] Multi-threaded reachability
    Sahoo, D
    Jain, J
    Iyer, SK
    Dill, DL
    Emerson, EA
    42ND DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2005, 2005, : 467 - 470
  • [2] Multi-Threaded Actors
    Azadbakht, Keyvan
    de Boer, Frank S.
    Serbanescu, Vlad
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (223): : 51 - 66
  • [3] A case study on the lightweight verification of a multi-threaded task server
    Catano, Nestor
    Ahmed, Ijaz
    Siminiceanu, Radu I.
    Aldrich, Jonathan
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 80 : 169 - 187
  • [4] On multi-threaded paging
    Feuerstein, E
    de Loma, AS
    ALGORITHMS AND COMPUTATION, 1996, 1178 : 417 - 426
  • [5] Extending Database Task Schedulers for Multi-threaded Application Code
    Wolf, Florian
    Psaroudakis, Iraklis
    May, Norman
    Ailamaki, Anastasia
    Sattler, Kai-Uwe
    PROCEEDINGS OF THE 27TH INTERNATIONAL CONFERENCE ON SCIENTIFIC AND STATISTICAL DATABASE MANAGEMENT, 2015,
  • [6] Multi-Threaded Library for Many-Core Systems
    Porterfield, Allan
    Nassar, Nassib
    Fowler, Rob
    2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-5, 2009, : 2115 - 2122
  • [7] Monitoring Multi-threaded Component-Based Systems
    Nazarpour, Hosein
    Falcone, Ylies
    Bensalem, Saddek
    Bozga, Marius
    Combaz, Jacques
    INTEGRATED FORMAL METHODS (IFM 2016), 2016, 9681 : 141 - 159
  • [8] Memory management for multi-threaded software DSM systems
    Kee, YS
    Kim, JS
    Ha, S
    PARALLEL COMPUTING, 2004, 30 (01) : 121 - 138
  • [9] Modeling and Testing Multi-Threaded Asynchronous Systems with Creol
    Aichernig, Bernhard
    Griesmayer, Andreas
    Schlatte, Rudolf
    Stam, Andries
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 243 : 3 - 14
  • [10] Modeling and resolving lock contention for multi-threaded systems
    Zhang, Yang
    Talpur, Shahnawaz
    ICIC Express Letters, 2011, 5 (12): : 4473 - 4478