Vers des mécanismes d'exclusion mutuelle plus efficaces pour les architectures multi-cœur

Doctoral thesis English OPEN
Lozi, Jean-Pierre;
(2014)
  • Publisher: HAL CCSD
  • Subject: [ INFO.INFO-OH ] Computer Science [cs]/Other [cs.OH] | Rpc | Verrou | [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH] | Lock | Combining | Multicoeur | Congestion mémoire | Multicore | Synchronisation

The scalability of multithreaded applications on current multicore systems is hampered by the performance of lock algorithms, due to the costs of access contention and cache misses. The main contribution presented in this thesis is a new lock algorithm, Remote Core Lock... View more
  • References (46)
    46 references, page 1 of 5

    3 Lock algorithms 25 3.1 Blocking locks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 3.2 Basic spinlock . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 3.3 CLH . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 3.4 MCS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 3.5 Time-published locks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 3.6 Oyama . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 3.7 Flat Combining . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 3.8 CC-Synch and DSM-Synch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 3.9 Comparison of lock algorithms . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 3.10 Other lock algorithms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42

    4 Contribution 45 4.1 Remote Core Lock . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 4.1.1 Core algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 4.1.2 Implementation of the RCL Runtime . . . . . . . . . . . . . . . . . . . . . 47 4.1.2.1 Ensuring liveness and responsiveness . . . . . . . . . . . . . . . . 47 4.1.2.2 Algorithm details . . . . . . . . . . . . . . . . . . . . . . . . . . 50 4.1.3 Comparison with other locks . . . . . . . . . . . . . . . . . . . . . . . . . 52 4.2 Tools . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 4.2.1 Profiler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 4.2.2 Reengineering legacy applications . . . . . . . . . . . . . . . . . . . . . . . 57 4.3 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

    [1] J. L. Abellán, J. Fernández, and M. E. Acacio. Glocks: ecient support for highly-contended locks in many-core CMPs. In Proceedings of the 2011 IEEE International Parallel and Distributed Processing Symposium, IPDPS '11, pages 893-905, Washington, DC, USA, 2011. IEEE Computer Society.

    [2] A. Agarwal and M. Cherian. Adaptive backo synchronization techniques. In Proceedings of the 16th Annual International Symposium on Computer Architecture, ISCA '89, pages 396-406, New York, NY, USA, 1989. ACM.

    [3] H. Akkan, M. Lang, and L. Ionkov. HPC runtime support for fast and power ecient locking and synchronization. In Proceedings of the 2013 IEEE International Conference on Cluster Computing, CLUSTER '13, pages 1-7. IEEE, 2013.

    [4] G. M. Amdahl. Validity of the single processor approach to achieving large scale computing capabilities. In Proceedings of the April 18-20, 1967, Spring Joint Computer Conference, AFIPS '67 (Spring), pages 483-485, New York, NY, USA, 1967. ACM.

    [5] T. E. Anderson. The performance of spin lock alternatives for shared-memory multiprocessors. IEEE Transactions on Parallel and Distributed Systems, 1(1):6-16, Jan. 1990.

    [6] G. R. Andrews. Concurrent Programming: principles and Practice. Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, USA, 1991.

    [7] M. Auslander, D. Edelsohn, O. Krieger, B. Rosenburg, and R. Wisniewski. Enhancement to the MCS lock for increased functionality and improved programmability. U.S. patent application 10/128,745. Oct. 2003.

    [8] D. F. Bacon, R. Konuru, C. Murthy, and M. Serrano. Thin locks: featherweight synchronization for java. In Proceedings of the ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation, PLDI '98, pages 258-268, New York, NY, USA, 1998. ACM.

  • Similar Research Results (2)
  • Metrics
Share - Bookmark