Responsive image
博碩士論文 etd-0903103-100535 詳細資訊
Title page for etd-0903103-100535
論文名稱
Title
嵌入式微處理器之即時位址追蹤壓縮器
A Real-Time Address Trace Compressor for Embedded Microprocessors
系所名稱
Department
畢業學年期
Year, semester
語文別
Language
學位類別
Degree
頁數
Number of pages
107
研究生
Author
指導教授
Advisor
召集委員
Convenor
口試委員
Advisory Committee
口試日期
Date of Exam
2003-07-28
繳交日期
Date of Submission
2003-09-03
關鍵字
Keywords
微處理器、除錯、追蹤、壓縮
Compress, Real-Time, Microprocessor, Trace, Debug
統計
Statistics
本論文已被瀏覽 5652 次,被下載 3905
The thesis/dissertation has been browsed 5652 times, has been downloaded 3905 times.
中文摘要
位址追蹤壓縮代表微處理器在指令提取週期所產生的位址資料能夠經由即時壓縮硬體的處理後後取回做觀察與分析。這個即時追蹤壓縮硬體本身是即時追蹤系統的主要核心元件。在這篇論文裡,我們將說明如何去設計與實作這個即時位址追蹤壓縮器。這個位址追蹤壓縮器允許去收集準確、連續與無限長度的位址參考,而不會去影響微處理器的運作。此即時位址追蹤器藉由可再使用的能力,可以整合在不同的嵌入式微處理器上。並且具有豐富的可調整參數,供設計者去發展具成本效益的追蹤系統。最後,在實驗中我們得到了接近 1:100 的高壓縮率。因此,透過此項技術所設計的追蹤系統將可比市面上所製作的電路擬真模擬器多出 20 倍的追蹤深度,可以大幅提昇產業界在以嵌入式微處理器為基礎的晶片除錯系統之追蹤能力。
Abstract
Address trace compression represents that the address data, which are generated from the instruction fetch stage of the microprocessor, can be retrieved for later observation and analysis. This real time trace compression hardware is the primary component of real-time trace system. In this paper, we present how to design and implement this real-time address trace compressor. Address trace compressor is allowed to perform accurate, successive trace collection in an unlimited length and can be used in various embedded microprocessors without influencing the operation of the microprocessors. Also, it has abundant reconfigurable parameters that can be used to develop a cost-effective trace system. The experiment results show that this compressor can reach a higher compression ratio of 1:100. Hence, by utilizing this real-time compression technique, the trace depths of new trace system can be 20 times more than these existing in-circuit emulators.
目次 Table of Contents
Chapter 1. 論文簡介 1
1.1 研究背景 1
1.2 研究動機 2
1.3 研究方法 5
1.4 主要貢獻 7
1.5 論文組織 8

Chapter 2. 相關研究 9
2.1 位址追蹤技術 9
2.1.1 Instruction Level Simulator 10
2.1.2 Instrumented Program 11
2.1.3 Trap-bit Method 13
2.1.4 Altered Microcode 14
2.1.5 Embedded Trace Unit 14
2.1.5 ARM 在追蹤裝置上的專利 15
2.2 無失真資料壓縮 17
2.2.1 Huffman Encoding 17
2.2.2 Arithmetic Encoding 18
2.2.3 Lempel-Ziv Encoding 18

Chapter 3. On-Chip除錯系統 19
3.1 On-Chip 除錯技術的簡介 19
3.2 On-Chip In-Circuit Emulator (ICE) 的硬體運作原理 20
3.2.1 電路架構 20
3.2.2 ICE 與微處理器的整合方法 24
3.3 On-Chip Trace System 的硬體運作原理 25
3.4 On-Chip Debugging Systems 的比較 26

Chapter 4. 運作原理與硬體架構 28
4.1 RTATC 的基本原理 28
4.2 追蹤壓縮器的壓縮程序 29
4.2.1 Non-Sequential PC Filtering Phase 30
4.2.2 PC Pattern Reduction Phase 37
4.2.3 Data Compression Phase 45
4.3 Soft IP 化的考量 48
4.4 追蹤壓縮器硬體的進一步探討 49

Chapter 5. 實驗與討論 (Experiment and Discussion) 50
5.1 基本的實驗方法與壓縮率分析 50
5.2 嵌入式系統常用的標竿程式 (Benchmark) 55
5.3 採用 Slicing Approach 的壓縮率分析 59
5.3.1 各個標竿程式在不同 Phase 的壓縮率分析 60
5.3.2 探討移除掉 Phase1 後,對各個標竿程式壓縮率的影響 63
5.3.3 探討移除掉 Phase2 後,對各個標竿程式壓縮率的影響 65
5.3.4 探討 Phase2切片法的切片個數與切片長度關係 67
5.4 採用 Differential Approach 的壓縮率分析 59
5.4.1 採用差值法的壓縮率分析 70
5.4.2 採用移除掉 Phase1 的差值法其壓縮率分析 73
5.5 探討調整 Lempel-Ziv 壓縮器的參數對壓縮率的影響 76
5.6 硬體成本的分析 79

Chapter 6. 系統驗證環境 81
6.1 Provided Verification Models 81
6.2 對位址追蹤壓縮器的基本驗證策略 81
6.2.1 Coding Style 82
6.2.2 早期效能評估系統 83
6.2.3 ROM Model Generator 83
6.2.4 自動化驗證環境 84
6.2.5 Coverage Analysis 86
6.3 FPGA 雛型系統的實作與驗證 88
6.3.1 位址追蹤壓縮器的可重複使用性的驗證策略 88
6.3.2 電路驗證時的相關軟硬體工具環境 89
6.3.3 輸入/輸出介面規格 90
6.3.4 FPGA 的合成結果 97
6.3.5 展示系統的電路設計 98
6.3.5 展示系統的操作程序 100

Chapter 7. 應用方法與實例 101
7.1 應用方法 101
7.2 具體之應用實例 102

Chapter 8. 結論 102

參考文獻 (References) 104
參考文獻 References
[1] Ing-Jer Huang, Hsin-Ming Chen and Chung-Fu Kao, “Reusable embedded in-circuit emulator”, Design Automation Conference, pp. 33-34, 2001.
[2] IEEE-ISTO Nexus 5001 Forum Web Site, http://www.nexus5001.org/
[3] Chu, "MILS:Mips Instruction Level Simulator", Unpublished Report, Computer Systems Laboratory, Standford University, September 1985.
[4] VAX hardware documentation, available from this web site, http://www.vaxarchive.org/hw/index.html.
[5] Craig B. Stunkel, Bob Janssents and W. Kent Fuchs, "Collecting Address Traces from Parallel Computers", Proceeding of the 24 Annual Hawaii International Conference on System, 1991.
[6] Mohammand I. Malkawi and Janak H. Patel, "Performance Measurement of Paging Behavior in Multiprogramming Systems", Computer Architecture News, 1986.
[7] Mani Azimi, Carl Erickson, "A Software Approach to Multiprocessor Address Trace Generation", Annual International Computer Software and Application Conference , 1990.
[8] C.B Stunkel and W. K. Fuchs, “TRAPEDS: Producing Traces for Multicomputers via Execution Driven Simulator”, Proceedings. 1989 ACM SIGMETRICS International Conference Measurement Modeling Computer System, Berkeley, CA, pp.70-78, May 1989.
[9] C.B. Stunkel and W. K. Fuchs, “Analysis of Hypercube Cache Performance using Address Traces Generated by TRAPEDS”, Proceedings 1989 ACM SIGMETRICS International Conference Parallel Processing vol. I, St. Charles IL, pp. 33-40, Aug 1989.
[10] S. J. Eggers, D. R. Keppel, E. J. Koldinger, and H. M. Levy, “Technique for Efficient Inline Tracing on a Shared-Memory Multiprocessor,” ACM SIGMETRICS International Conference Measurement Modeling Computer System, pp. 37-46, May 1990.
[11] Anant Agarwal, Richard L.Sites, and Mark Horowitz, "ATUM: A New Technique for Capturing Address Traces Using Microcode", 13th Annual International Symposium on Computer Architecture, 1986.
[12] Richard L.Sites and Anant Agarwal, "Multiprocessor cache analysis using ATUM", 15th Annual International Symposium on Computer Architecture, June 1988.
[13] Ciaran MacNamee and Donal Heffernan, “Emerging on-chip debugging techniques for real-time embedded systems”, IEE Computing & Control Engineering Journal, pp. 295-303, Dec. 2000.
[14] Gallager, R.G., “Variations on a Theme by Huffman”, IEEE Trans. Information Theory, IT-24, 1978, pp. 668-674.
[15] Huffman, D., “A Method for the Construction of Minimum Redundancy Codes”, Proceedings of IRE, Vol. 40, 1952, pp. 1098-1101.
[16] Knuth, D.E., “Dynamic Huffman Coding”, Journal of Algorithm, Vol. 6, 1985, pp.163-180.
[17] Witten I.H., Neal, R.M., and Cleary, J.G., “Arithmetic Coding for Data Compression”, Comm. Of the ACM, Vol.30, No. 6, Jun. 1987, pp. 520-540.
[18] Welch, T.A., “A Technique for High-Performance Data Compression”, Computers, Vol. C-17, No.6, 1984, pp.8-19.
[19] Ziv, J. and Lempel, A,. “A Universal Algorithm for Sequential Data Compression”, IEEE Trans. On Information Theory, Vol. IT-23, No.3, 1977, pp. 337-343.
[20] Wei-Je Huang, Nirmal Saxena, et.al., “A Reliable LZ Data Compressor on Reconfigurable Coprocessors”, IEEE Symposium on Field-Programmable Custom Computing Machines, 2000, pp. 249-259.
[21] Agarwal, A. and M. Huffman, “Blocking: Exploiting Spatial Locality for Trace Compaction”, Proceedings, ACM SIGMETRICS 1990, pp. 48-57.
[22] ARM Corp. Web Site, http://www.arm.com.
[23] J.-M. Chen and C.-H.Wei, “VLSI design for high-speed LZ-based data compression”, IEE Proc.-Circuits Devices System, Vol. 146, No. 5. Oct. 1999, pp. 268-278.
[24] Whetsel, L., “An IEEE 1149.1 Based Test Access Architecture for ICs with Embedded Cores”, Proc. International Test Conference, 1997, pp. 69-78.
[25] Intel Corp. Web Site, http://www.intel.com/.
[26] E.N.Elnozahy , "Address Trace Compression Through Loop Detection and Reduction", Proceedings of the 1999 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, pp.214-215.
[27] Mohammed El Shobaki and Lennart Lindh, “A Hardware and Software Monitor for High-Level System-on-chip Verification”, International Symposium on Quality Electronic Design, 2001, pp.56
[28] Cmelik, B. and Keppel, D. Shade, "A fast instruction-set simulator for execution profiling", University of Washington Technical Report UWCSE 93-06-06. 1993.
[29] Davies, O., Lacroute, P., Heinlein, J., Horowitz, M., Mable, "A technique for efficient machine simulation", Stanford University Technical Report CSL-TR-94-636, October, 1994.
[30] Larus, J. R. “Efficient program tracing”, IEEE Computer, May, 1993, pp.52-60, 1993
[31] Magnusson, P., "A design for efficient simulation of a multiprocessor", In Proceedings of the 1993 Western Simulation Multiconference on International Workshop on Modeling, Analysis and Simulation of computer and Telecommunication Systems (MASCOTS-93), pp.69-78, La Jolla, California, 1993
[32] Bedichek, R. Talisman, "Fast and accurate multicomputer simulation", In Proceedings of the 1995 SIGMETRICS Conference on Measurement and Modeling of Computer Systems, pp.14-24, 1995
[33] Veenstra, J. and Fowler, R. MINT, "A front and for efficient simulation of shared-memory multiprocessors", In Proceedings of the 2nd Internatinal Workshop on Modeling, Analysis, and Simulation of computer and Telecommunication sytems (MASCOTS), pp.201-207, 1994.
[34] Cmelik, B. and Keppel, D. Shade, "A fast instruction-set simulator for execution profiling", In Proceedings of the 1994 SIGMETRICS Conference on Measurement and Modeling of Computer Systems, Nashville, TN, ACM, pp.128-137, 1994
[35] Richard A.UHIG, "Trace-driven Memory Simulation: A Survey", ACM Computing Surveys 1997
[36] Nagle, D., Uhlig, R. and Mudge, T. Monster, "A tool for analyzing the interaction between operating systems and computer architectures", University of Michigan Technical Report CSE-TR-147-92.1992.
[37] Biomation. Biomation CLAS 4000 Application Note 4032. Cupertino, CA, Biomation. 1991.
[38] Stuart Ball, "Introduction to Interrupt Debugging", Embedded Systems Programming, May 2002.
[39] Cosimo Antonio Prete, Marco Graziano, Francesco Lazzarini, “The ChARM Tool for Tuning Embedded Systems”, IEEE Micro, Vol. 17, No. 4, July/August 1997.
[40] IEEE Std 1149.1, "IEEE Standard Test Access Port and Boundary-Scan Architecture", IEEE Computer Society, New York, 1990
[41] I. J. Huang, C. F. Kao, H. M. Chen, J. N. Ruan and T. A. Lu, "A Retargetable Embedded In-circuit Emulation Module for Microprocessors", IEEE Design and Test, (special issue on Embedded Processor Based Designs), pages 28-38, July/August 2002.
電子全文 Fulltext
本電子全文僅授權使用者為學術研究之目的,進行個人非營利性質之檢索、閱讀、列印。請遵守中華民國著作權法之相關規定,切勿任意重製、散佈、改作、轉貼、播送,以免觸法。
論文使用權限 Thesis access permission:校內外都一年後公開 withheld
開放時間 Available:
校內 Campus: 已公開 available
校外 Off-campus: 已公開 available


紙本論文 Printed copies
紙本論文的公開資訊在102學年度以後相對較為完整。如果需要查詢101學年度以前的紙本論文公開資訊,請聯繫圖資處紙本論文服務櫃台。如有不便之處敬請見諒。
開放時間 available 已公開 available

QR Code