CPN-Based Modeling and Analysis of Shared Multi-Channel Cache CMP Architecture

Xiao Qing Tian; Cai Xia Liu; Feng Qi Wei

doi:10.4028/www.scientific.net/AMM.321-324.898

Paper Titles

Finite Element Modeling of Induction Heating on Easy-Open-End Dies
p.881

Daqing Oilfield Sanan Putaohua Reservoir Sedimentary Microfacies Research
p.886

Point Bar Numerical Simulation and Results Analysis of x-Unit in the Daqing Oilfield D Block
p.890

A Framework of Solving Combined Transportation and Scheduling Problem
p.894

CPN-Based Modeling and Analysis of Shared Multi-Channel Cache CMP Architecture
p.898

Bayesian Estimate of Exponential Parameter with Missing Data
p.904

Design and Simulation of the Communication Circuit on Multi Jigging Machines
p.909

The Design and Simulation of Three-Phase PWM Converter
p.917

Adaptive Projective Synchronization of the New Three-Dimensional Chaotic System
p.921

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 321-324CPN-Based Modeling and Analysis of Shared...

CPN-Based Modeling and Analysis of Shared Multi-Channel Cache CMP Architecture

Abstract:

As a formal modeling and analysis method, colored petri nets (CPN) fits to construct formal model for software/hardware system with lots of communication and parallel/synchronous sharing behavior. Then behavior analysis of system function and performance based on the CPN model can be unfolded to verify the system feasibility. The CPN model of a kind of new CMP architecture shared multi-channel L2 Cache (AUMCC) is constructed in this article. Processing simulating of instruction set is deeply penetrated on the AUMCC CPN model, and analysis based on simulating results well verifies the feasibility of AUMCC architecture.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 321-324)

Pages:

898-903

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.321-324.898

Citation:

Cite this paper

Online since:

June 2013

Authors:

Xiao Qing Tian, Cai Xia Liu, Feng Qi Wei

Keywords:

CMP System, CPN Modeling, Shared Multi-Channel Cache Architecture

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] K.Olukotun and L.Hammond, "The Future of Microprocessors," Micro Trans. ACM. NY. USA, Vol. 3, pp.26-29, September 2005.

Google Scholar

[2] K. Jensen, L.M. Kristensen and L. Wells, "Colored Petri Nets and CPN Tools for Modeling and Validation of Concurrent Systems ", International Journal on Software Tools for Technology Transfer. Springer-Verlag Berlin Heidelberg, Vol. 9 , p.213 – 254, May 2007.

DOI: 10.1007/s10009-007-0038-x

Google Scholar

[3] Liu Jingyu, Zhu Yu and Yin Wensheng, "Embedded RTOS Task Schedule Modeling Based on CPN", J. Computer Engineering. Shanghai. PRC, Vol. 36, pp.1-3, November 2010.

Google Scholar

[4] Xie Xuejun and Ye Yizheng, "Design of Cache Controller with Harvard Architecture", J. Computer Engineering. Shanghai. PRC, Vol.30, pp.37-39, November 2004.

Google Scholar

[5] Liu Caixia, Shi Feng, Deng Ning and Song Hong, "CMP-Oriented Shared Multi-Channel Cache Architecture and Prototype Construction", J. Joural of Harbin Institute of Technology. Harbin. PRC, Vol. 42, pp.1383-1386, December 2010.

Google Scholar

[6] Zhu Lianzhang, Sui Ruisheng and Kong Yingying, "Simulation based on performance Analysis in CPN Tools", J. Microcomputer Applications. Shanghai. PRC, Vol.29, pp.78-81, April 2008.

Google Scholar

[7] A.V. Ratzer, L.Wells, H.M. Lassen, M.Laursen, J.F. Qvortrup, M.S. Stissing, M.Westergaard, S.Christensen and K.Jensen, "CPN Tools for Editing, Simulating, and Analyzing Colored Petri Nets", Lecture Notes. Springer-Verlag Berlin Heidelberg, Vol.2679, pp.450-462, June 2003[Proceedings 24th International Conference on the Application and Theory of Petri Nets. Eindhoven. the Netherlands, 2003].

DOI: 10.1007/3-540-44919-1_28

Google Scholar