ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Phạm Văn Hưởng M T S PHƯ NG PH P T I ƯU TRONG GI I ĐOẠN PH T TRIỂN PH N MỀM NHÚNG LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN Hà Nội – 2015 i LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Phạm Văn Hưởng M T S PHƯ NG PH P T I ƯU TRONG GI I ĐOẠN PH T TRIỂN PH N MỀM NHÚNG Chuyên ngành: Kỹ thuật phần mềm Mã số: 62 48 01 03 LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS. Nguyễn Ngọc Bình Hà Nội – 2015 ii LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com LỜI M ĐO N T n t i l Ph m V n H ởng l nghi n u sinh ng nh C ng nghệ th ng tin huy n ng nh Kỹ thuật phần mềm kh K16 tr ờng Đ i họ C ng nghệ – Đ i họ Quố gi H Nội Luận n ti n s l ng tr nh nghi n u ri ng t i Luận n l k t qu qu tr nh làm việ nghi m t t i liệu th m kh o tr h ẫn r r ng C ng tr nh kho họ tr nh t i y trong luận n s ho ph p s ng ng t gi T i xin m k t v hịu tr h nhiệm n u s is t Hà Nội, ngày 4 tháng 8 năm 2015 Nghi n c u sinh Phạm Văn Hưởng iii LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com LỜI ẢM N Tr ớ h t em xin g i lời m ơn sâu sắ tới PGS TS Nguyễn Ngọ B nh tận t nh hỉ o v s hữ s i s t gi p em ho n th nh luận n n y Xin trân trọng m ơn Thầy C trong Hội ng nh gi luận n v Thầy C ph n iện nhận x t hỉ r những khi m khuy t luận n ho n thiện hơn Xin trân trọng m ơn Thầy C tr ờng Đ i họ C ng nghệ - Đ i họ Quố gi H Nội Phong h gi ng y v s hỉ o nhiệt t nh Thầy C th s em những ki n th quý u ũng nh những ịnh h ớng ng nghệ tốt Xin hân th nh m ơn nh hị em trong nh m nghi n u về hệ thống nh ng v phần mềm nh ng t i tr ờng Đ i họ C ng nghệ - Đ i họ Quố gi H Nội về g p ý hữu h v s phối h p nghi n u . Hà Nội, ngày 4 tháng 8 năm 2015 Nghi n c u sinh Phạm Văn Hưởng iv LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com MỤ LỤ BẢNG THUẬT NGỮ . IV BẢNG KÝ HIỆU . VII D NH MỤ BẢNG . X D NH MỤ HÌNH VẼ. Tổng quan về tối ưu hệ thống nhúng và phần mềm nhúng . Hiện trạng và thách th c . 12 1 2 1 Hiện tr ng v th h th trong gi i o n thi t k . 12 1 2 2 Hiện tr ng v th h th trong gi i o n lập tr nh . 14 1 2 3 Hiện tr ng v th h th trong gi i o n th thi . Phư ng pháp và nội dung nghi n c u . 18 1 3 1 Ph ơng ph p nghi n u . 18 1 3 2 Nội ung nghi n u . Tổng t chư ng . T I ƯU PH N MỀM NHÚNG TRONG GI I ĐOẠN THIẾT KẾ . Tối ưu hiệu năng trong giai đoạn thi t . 20 2 1 1 Tối u hiệu n ng tr n i u lớp . Tối u hiệu n ng tr n huy n ổi m h nh . Tối ưu bộ nhớ trong giai đoạn thi t . 40 2 2 1 Tối u ộ nhớ hi m ng tr n sắp x p t -pô . 40 2 2 2 Tối u ộ nhớ hi m ng tr n huy n ổi m h nh . Tối ưu đa mục ti u dựa tr n biểu đồ lớp . Tổng t chư ng . 61 i LUAN VAN CHAT LUONG download : add luanvanchat@agmail. T I ƯU PH N MỀM NHÚNG TRONG GI I ĐOẠN LẬP TRÌNH . Quá trình bi n dịch chéo và các m c tối ưu . Tối ưu mã nguồn m c cao độc lập máy đích . 65 3 2 1 Cơ sở lý thuy t về tối u m ngu n m o. 65 3 2 2 C i ti n tối u ộ tr n th y th i u th t ơng ơng . 70 3 2 3 C i ti n hiệu n ng phần mềm nh ng tr n n n ữ liệu . Tối ưu mã hợp ngữ hướng đ n các PU hệ thống nhúng . 79 3 3 1 C ph ơng ph p tối u ơ n tr n m h p ngữ. 80 3 3 2 Tối u hiệu n ng tr n lập lị h lệnh . 83 3 3 3 Tối u iện n ng ti u th tr n lập lị h lệnh . Tổng t chư ng . T I ƯU PH N MỀM NHÚNG TRONG GI I ĐOẠN THỰ THI . Tối ưu môi trường thực thi . 96 4 1 2 Ph ơng ph p tối u tr n lập lị h ti n tr nh . 96 4 1 3 Tối u trong thời gi n th thi tr n huy n iệt h . 97 4 1 4 Tối u iện n ng ti u th tr n kỹ nghệ ng v t i ấu h nh CPU . Tối ưu dựa tr n cải ti n môi trường truyền dữ liệu . Tối ưu hóa chư ng trình thực thi dựa tr n mã tự sửa . Tổng t chư ng . 106 D NH MỤ ÔNG TRÌNH KHO HỌ Ủ T GIẢ LIÊN QU N ĐẾN LUẬN N. 110 TÀI LIỆU TH M KHẢO . TỔNG H P HƯ NG TRÌNH THỰ NGHIỆM. ác chư ng trình và công cụ tối ưu . 119 P 1 1 Khung l m việ DSL v T4 . 119 P 1 2 Ch ơng tr nh tối u hiệu n ng tr n nh gi i u lớp . 125 P 1 3 Ch ơng tr nh tối u m ti u tr n i u lớp . 127 P 1 4 Ch ơng tr nh tối u ộ nhớ tr n sắp x p t -pô . 127 P 1 5 Ch ơng tr nh tối u tr n huy n ổi m h nh . 129 P 1 6 Ch ơng tr nh phân t h m h p ngữ t m ấu h nh tối u . 131 P 1 7 Ch ơng tr nh lập lị h lệnh tối u. 132 ii LUAN VAN CHAT LUONG download : add luanvanchat@agmail. ác chư ng trình sử dụng trong iểm ch ng . 132 P 2 1 Ch ơng tr nh nhận ng hữ N m tr n Po ketPC . 133 P 2 2 Ch ơng tr nh nhận ng hữ N m theo ị h v we . 137 P 2 4 Ch ơng tr nh 8 quân Hậu . 137 P25 C h ơng tr nh nh ng ho v Netduino Plus . 138 P26 C h ơng tr nh nh ng ho vi x lý MIPS . 143 BẢNG HỈ MỤ . 144 iii LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com BẢNG THUẬT NGỮ STT Từ vi t tắt ụm từ ti ng nh Mô tả 1 ALU Arithmetic and Logic Unit Bộ lôgic v số họ 2 ARM Advanced RISC Machine Máy RISC ti n ti n T n một lo i vi iều khi n tập o n Atmel, theo t n 3 AVR Alf and Vegard's RISC h i nh thi t k hip ầu tiên 4 CFG Control Flow Graph Bi u lu ng iều khi n Complex Instruction Set 5 CISC M y t nh với tập lệnh ph t p Computer 6 CPU Central Processing Unit Bộ x lý trung tâm Common Subexpression 7 CSE Lo i ỏ i u th on hung Elimination Đ thị h ớng kh ng hu 8 DAG Directed Acyclic Graph trình 9 DSL Domain Specific Language Ng n ngữ huy n iệt miền 10 DTG Dependent Task Graph Đ thị t v ph thuộ 11 ES Embedded Software Phần mềm nh ng 12 ESD Embedded Software Design Thi t k phần mềm nh ng Embedded Software Memory 13 ESMO Tối u ộ nhớ phần mềm nh ng Optimization Embedded Software Tối u hiệu n ng phần mềm 14 ESPO Performance Optimization nhúng 15 FPU Floating Point Unit Đơn vị số ấu phẩy ộng Bộ tr nh i n ị h m 16 GCC GNU Compiler Collection ngu n mở GNU Hệ iều h nh ngu n mở h ớng 17 GNU GNU's Not Unix t ơng th h với Unix 18 GZIP GNU Zip Kỹ thuật n n GNU Zip Institute of Electrical and 19 IEEE Viện kỹ thuật iện v iện t Electronics Engineers 20 J2ME Java to Micro Edition Nền t ng J v ho thi t ị iv LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com t nh hất nhỏ gọn 21 JIT Just In Time Kỹ thuật i n ị h t m 22 JVM Java Virtual Machine M y oJ v 23 LED Light Emitting Diode Điốt ph t qu ng 24 LCD Liquid Crystal Display M n h nh tinh th lỏng 25 MEM Maximum Entropy Model Mô h nh Entropy i Microprocessor without Bộ vi x lý kh ng ần tầng 26 MIPS Interlocked Pipeline Stages ống lệnh ng ộ 27 MOO Multi-objective Optimization Tối u m ti u Microsoft Intermediate 28 MSIL Ng n ngữ trung gi n Mi rosoft Language 29 MSQ Measures of Software Quality Độ o hất l ng phần mềm Optimizing Embedded Software Tối u phần mềm nh ng 30 OMT Based on Model Transformation tr n huy n ổi m h nh 31 OOP Object-Oriented Programming Lập tr nh h ớng ối t ng 32 OS Operating System Hệ iều h nh Optimizing Embedded Software Tối u phần mềm nh ng 33 OSC Based on Simulation Code tr n m m phỏng 34 PC Personal Computer Máy tính cá nhân 35 PHP Hypertext Preprocessor Ng n ngữ lập tr nh we PHP Pareto Multi-objective 36 PMO Tối u m ti u P reto Optimization 37 RAM Random Access Memory Bộ nhớ truy xuất ngẫu nhi n Reduced Instruction Set 38 RISC M y t nh với tập lệnh r t gọn Computer 39 ROM Read Only Memory Bộ nhớ hỉ ọ Bộ ng ph t tri n phần 40 SDK Software Development Kit mềm Gi o th truy xuất ối t ng 41 SOAP Simple Object Access Protocol ơn gi n 42 SoC System on Chip Hệ thống t h h p tr n một hip 43 SOO Single Objective Optimization Tối u ơn m ti u Software Performance 44 SPE Kỹ nghệ hiệu n ng phần mềm Engineering 45 SPO Software Performance Tối u hiệu n ng phần mềm v LUAN VAN CHAT LUONG download : add luanvanchat@agmail.
Luận Văn Thạc Sĩ: Một Số Phương Pháp Tối Ưu Trong Các Giai Đoạn Phát Triển Phần Mềm Nhúng
Luận văn thạc sĩ VNU UET trình bày các phương pháp tối ưu trong phát triển phần mềm nhúng, phục vụ nghiên cứu công nghệ thông tin.
Trường đại học
Đại học Quốc gia Hà NộiChuyên ngành
Công nghệ thông tinNgười đăng
Ẩn danhThể loại
luận án tiến sĩPhí lưu trữ
45 PointMục lục chi tiết
THÔNG TIN CHI TIẾT
Tác giả: Phạm Văn Hưởng
Người hướng dẫn: PGS. Nguyễn Ngọc Bình
Trường học: Đại học Quốc gia Hà Nội
Chuyên ngành: Công nghệ thông tin
Đề tài: Tối Ưu Hóa Phần Mềm Nhúng Trong Các Giai Đoạn Phát Triển
Loại tài liệu: luận án tiến sĩ
Năm xuất bản: 2015
Địa điểm: Hà Nội
Trích đoạn nội dung tài liệu
Nội dung được bảo vệ bản quyền — Tải xuống đầy đủ