The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (2007 vol.56)
pp: 1024-1039
ABSTRACT
The InfiniBand Architecture (IBA) is an industry-standard architecture for server I/O and interprocessor communication. IBA enables Quality of Service (QoS) support with certain mechanisms. These mechanisms are basically the service levels, the virtual lanes and the table-based arbitration of those virtual lanes. In previous papers, we have examined these mechanisms and described how to apply them to the requirements requested by the applications. We have also tested our proposals showing that the applications achieve the level of QoS requested.In this paper, we present a formal model for the techniques previously proposed. According to this model each application needs a sequence of entries in the IBA arbitration tables based on its requirements. These requirements are related to the mean bandwidth needed and the maximum latency tolerated by the application. Specifically, each request requires a number of entries with a maximum separation between any consecutive pair. In order to manage the requests we propose certain algorithms and we prove some propositions and theorems showing that our method achieves a good behavior.
INDEX TERMS
InfiniBand, QoS, Scheduling, Formal Model
CITATION
F. Alfaro, J. Sánchez, M. Menduiña, J. Duato, "A Formal Model to Manage the InfiniBand Arbitration Tables Providing QoS", IEEE Transactions on Computers, vol.56, no. 8, pp. 1024-1039, August 2007, doi:10.1109/TC.2007.1051
10 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool