Table of Contents
VLSI Design
Volume 2016, Article ID 8093614, 16 pages
http://dx.doi.org/10.1155/2016/8093614
Research Article

A Cache System Design for CMPs with Built-In Coherence Verification

1Department of Computer Science and Engineering, National Institute of Technology Durgapur, West Bengal 713209, India
2Department of Computer Science and Technology, Indian Institute of Engineering Science and Technology Shibpur, West Bengal 711103, India

Received 22 December 2015; Revised 19 May 2016; Accepted 24 May 2016

Academic Editor: A. Postula

Copyright © 2016 Mamata Dalui and Biplab K. Sikdar. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. K. Olukotun and L. Hammond, “The future of microprocessor,” Magazine Queue—Multiprocessors, vol. 3, no. 7, pp. 26–29, 2005. View at Google Scholar
  2. H. Wang, S. Baldawa, and R. Sangireddy, “Dynamic error detection for dependable cache coherency in multicore architectures,” in Proceedings of the 21st International Conference on VLSI Design (VLSI DESIGN '08), pp. 279–284, Hyderabad, India, January 2008. View at Publisher · View at Google Scholar · View at Scopus
  3. C. Liqun, N. Muralimanohar, K. Ramani, R. Balasubramonian, and J. B. Carter, “Interconnect-aware coherence protocols for chip multiprocessors,” in Proceedings of the 33rd International Symposium on Computer Architecture (ISCA '06), pp. 339–350, Boston, Mass, USA, June 2006. View at Publisher · View at Google Scholar · View at Scopus
  4. R. E. Ahmed, “Energy-aware cache coherence protocol for chip-multiprocessors,” in Proceedings of the Canadian Conference on Electrical and Computer Engineering (CCECE '06), pp. 82–85, IEEE, Ottawa, Canada, May 2006. View at Publisher · View at Google Scholar
  5. J. Wang, Y. Xue, H. Wang, and D. Wang, “Network caching for chip multiprocessors,” in Proceedings of the IEEE 28th International Performance Computing and Communications Conference (IPCCC '09), pp. 341–348, Scottsdale, Ariz, USA, December 2009. View at Publisher · View at Google Scholar · View at Scopus
  6. R. Gong, K. Dai, and Z. Wang, “Transient fault recovery on chip multiprocessor based on dual core redundancy and context saving,” in Proceedings of the 9th International Conference for Young Computer Scientists (ICYCS 08), pp. 148–153, IEEE, Hunan, China, November 2008. View at Publisher · View at Google Scholar · View at Scopus
  7. A. Yamawaki and M. Iwane, “Coherence maintenances to realize an efficient parallel processing for a cache memory with synchronization on a chip-multiprocessor,” in Proceedings of the 8th International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '05), December 2005. View at Publisher · View at Google Scholar
  8. C. Fensch, N. Barrow-Williams, R. D. Mullins, and S. Moore, “Designing a physical locality aware coherence protocol for chip-multiprocessors,” Institute of Electrical and Electronics Engineers. Transactions on Computers, vol. 62, no. 5, pp. 914–928, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  9. J. L. Hennessy and D. A. Patterson, Computer Architecture: A Quantitative Approach, Morgan Kaufmann, 3rd edition, 2003.
  10. A. Ros, M. E. Acacio, and J. M. García, “Scalable directory organization for tiled CMP architectures,” in Proceedings of the International Conference on Computer Design (CDES '08), pp. 112–118, July 2008. View at Scopus
  11. A. Ros, M. E. Acacio, and J. M. García, “A direct coherence protocol for many-core chip multiprocessors,” IEEE Transactions on Parallel and Distributed Systems, vol. 21, no. 12, pp. 1779–1792, 2010. View at Publisher · View at Google Scholar · View at Scopus
  12. S. Wolfram, Cellular Automata and Complexity—Collected Papers, Addison Wesley, 1994.
  13. M. Dalui, K. Gupta, and B. K. Sikdar, “Directory based cache coherence verifivation logic in CMPs cache system,” in Proceedings of the 1st International Workshop on Many-Core Embedded Systems (MES '13) in Conjunction with the 40th Annual IEEE/ACM International Symposium on Computer Architecture (ISCA '13), pp. 33–40, Tel-Aviv, Israel, June 2013. View at Publisher · View at Google Scholar · View at Scopus
  14. M. Dalui and B. K. Sikdar, “Design of directory based cache coherence protocol verification logic in CMPs around TACA,” in Proceedings of the 11th International Conference on High Performance Computing and Simulation (HPCS '13), pp. 318–325, IEEE, Helsinki, Finland, July 2013. View at Publisher · View at Google Scholar · View at Scopus
  15. G. Kurian, J. E. Miller, J. Psota et al., “ATAC: a 1000-core cache-coherent processor with on-chip optical network,” in Proceedings of the 19th International Conference on Parallel Architectures and Compilation Techniques (PACT '10), pp. 477–488, Vienna, Austria, September 2010. View at Publisher · View at Google Scholar · View at Scopus
  16. D. Lenoski, J. Laudon, K. Gharachorloo, A. Gupta, and J. Hennessy, “The directory-based cache coherence protocol for the DASH multiprocessor,” ACM SIGARCH Computer Architecture News, vol. 18, no. 2, pp. 148–159, 1990. View at Publisher · View at Google Scholar
  17. P. Pal Chaudhuri, D. Roy Chowdhury, S. Nandi, and S. Chatterjee, Additive Cellular Automata—Theory and Applications, vol. 1, IEEE Computer Society Press, Los Alamitos, Calif, USA, 1997.
  18. M. Dalui and B. K. Sikdar, “An efficient test design for verification of cache coherence in CMPs,” in Proceedings of the 9th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC '11), pp. 328–334, Sydney, Australia, December 2011. View at Publisher · View at Google Scholar
  19. S. Das, N. N. Naskar, S. Mukherjee, M. Dalui, and B. K. Sikdar, “Characterization of CA rules for SACA targeting detection of faulty nodes in WSN,” in Proceedings of the 9th International Conference on Cellular Automata for Research and Industry (ACRI '10), Ascoli Piceno, Italy, September 2010.
  20. S. Das, S. Mukherjee, N. N. Naskar, and B. K. Sikdar, “Characterization of single cycle CA and its application in pattern classification,” Journal of Electronic Notes in Theoretical Computer Science, vol. 252, pp. 181–203, 2009. View at Google Scholar
  21. M. Dalui, Theory and applications of cellular automata for CMPs cache system protocol design and verification [Ph.D. thesis], IIEST Shibpur, Howrah, India, 2014.
  22. R. Ubal, B. Jang, P. Mistry, D. Schaa, and D. Kaeli, “Multi2Sim: a simulation framework for CPU-GPU computing,” in Proceedings of the 21st International Conference on Parallel Architectures and Compilation Techniques (PACT '12), pp. 335–344, ACM, September 2012. View at Publisher · View at Google Scholar · View at Scopus
  23. S. C. Woo, M. Ohara, E. Torrie, J. P. Singh, and A. Gupta, “SPLASH-2 programs: characterization and methodological considerations,” in Proceedings of the 22nd Annual International Symposium on Computer Architecture, pp. 24–36, June 1995. View at Scopus
  24. E. M. Santovich, K. J. Singh, L. Lavagno et al., “SIS: a system for sequential circuit synthesis,” Tech. Rep. UCB/ERL M92/41, Electronic Research Laboratory, 1992. View at Google Scholar
  25. A. Agarwal, R. Simoni, J. Horowitz, and M. Horowitz, “An evaluation of directory schemes for cache coherence,” in Proceedings of the 15th International Symposium on Computer Architecture (ISCA '88), Honolulu, Hawaii, USA, May-June 1988.
  26. M. Mahmoud and A. Wassal, “Hybrid limited-pointer linked-list cache directory and cache coherence protocol,” in Proceedings of the 2nd International Japan-Egypt Conference on Electronics, Communications and Computers (JEC-ECC '13), pp. 77–82, Cairo, Egypt, December 2013. View at Publisher · View at Google Scholar · View at Scopus
  27. E. Jerger, Chip multiprocessor coherence and interconnect system design [Ph.D. thesis], University of Wisconsin-Madison, 2008.
  28. X. Zhao, K. Sammut, and F. He, “Formal verification of a novel snooping cache coherence protocol for CMP,” in Proceedings of the CMP-MSI: Workshop on Chip Multiprocessor Memory Systems and Interconnects, 2007.
  29. F. Pong and M. Dubois, “Verification techniques for cache coherence protocols,” ACM Computing Surveys, vol. 29, no. 1, pp. 82–126, 1997. View at Publisher · View at Google Scholar · View at Scopus