This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Formal Model to Manage the InfiniBand Arbitration Tables Providing QoS
August 2007 (vol. 56 no. 8)
pp. 1024-1039
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, Aug. 2007, doi:10.1109/TC.2007.1051
Usage of this product signifies your acceptance of the Terms of Use.