Trình tối ưu hóa bytecode tĩnh java (như proguard) với phân tích thoát?

Question

Tối ưu hóa dựa trên phân tích thoát là tính năng được lên kế hoạch cho Proguard. Trong thời gian chờ đợi, có bất kỳ công cụ hiện có nào như proguard đã thực hiện tối ưu hóa yêu cầu phân tích thoát không?

Answer 1

Có, tôi nghĩ rằng Soot framework thực hiện phân tích thoát.

Answer 2

Bạn mong đợi điều gì từ phân tích thoát trên trình biên dịch? Các lớp Java giống như các tệp đối tượng trong C - chúng được liên kết trong JVM, do đó phân tích thoát có thể được thực hiện chỉ ở mức đơn phương, có khả năng sử dụng hạn chế và sẽ cản trở việc gỡ lỗi (ví dụ: bạn sẽ có dòng mã mà bạn không thể bước).

Trong thiết kế của Java, trình biên dịch khá câm - nó kiểm tra tính chính xác (như Lint), nhưng không cố gắng tối ưu hóa. Các mảnh thông minh được đặt trong JVM - nó sử dụng nhiều kỹ thuật tối ưu hóa để mang lại hiệu suất tốt mã trên nền tảng hiện tại, trong điều kiện hiện tại. Kể từ khi JVM biết tất cả các mã mà hiện đang được nạp nó có thể giả định nhiều hơn trình biên dịch và thực hiện tối ưu hóa đầu cơ được hoàn nguyên vào thời điểm các giả định bị vô hiệu. HotSpot JVM có thể thay thế mã bằng phiên bản được tối ưu hóa nhanh hơn khi chức năng đang chạy (ví dụ: ở giữa vòng lặp khi mã được 'nóng').

Khi không có trong trình gỡ lỗi, các biến có thời gian tồn tại không chồng chéo được thu gọn, các biến thể được thoát ra khỏi vòng lặp, vòng lặp chưa được kiểm soát, v.v. Tất cả điều này xảy ra trong mã JIT-ted và được thực hiện tùy thuộc vào thời gian trong chức năng này (nó không có ý nghĩa nhiều để dành thời gian tối ưu hóa mã mà không bao giờ chạy). Nếu chúng tôi thực hiện một số các tối ưu hóa này, thì JIT sẽ có ít tự do hơn và kết quả tổng thể có thể là số âm thuần. Tối ưu hóa khác là phân bổ các đối tượng không thoát khỏi phương pháp hiện tại - điều này được thực hiện trong một số trường hợp nhất định, mặc dù tôi đọc một bài báo ở đâu đó thời gian để thực hiện phân tích thoát nghiêm ngặt so với thời gian đạt được bằng cách tối ưu hóa. xứng đáng với nó, vì vậy chiến lược hiện tại là heuristic hơn.

Nhìn chung, JVM càng có nhiều thông tin về mã ban đầu của bạn thì càng có thể tối ưu hóa nó. Và việc tối ưu hóa JVM không ngừng cải thiện, do đó tôi sẽ nghĩ về tối ưu hóa mã được biên dịch chỉ khi nói về các JVM rất hạn chế và cơ bản như điện thoại di động. Trong những trường hợp này, bạn muốn chạy ứng dụng của bạn thông qua obfuscator anyway (để rút ngắn tên lớp, v.v.)