Giải nén tệp WHL
Kéo và thả hoặc nhấp chuột để chọn
Riêng tư và an toàn
Mọi thứ xảy ra trong trình duyệt của bạn. Các tệp của bạn không bao giờ chạm vào máy chủ của chúng tôi.
Nhanh như chớp
Không tải lên, không chờ đợi. Chuyển đổi ngay khi bạn thả một tệp.
Thực sự miễn phí
Không cần tài khoản. Không có chi phí ẩn. Không có thủ thuật kích thước tệp.
Định dạng WHL là gì?
Bánh xe
XAR (eXtensible ARchive) là định dạng tệp do Apple Inc. phát triển để đóng gói và phân phối phần mềm trên macOS. Nó thay thế cho các định dạng cũ hơn như .pkg và .dmg, mang lại một số lợi thế như cải thiện bảo mật, kích thước tệp nhỏ hơn và hiệu suất tốt hơn. Các tệp XAR sử dụng phần mở rộng tệp .xar và có thể được tạo và giải nén bằng tiện ích dòng lệnh xar đi kèm với macOS.
Định dạng XAR dựa trên tiêu chuẩn XML (eXtensible Markup Language). Một kho lưu trữ XAR bao gồm ba thành phần chính: bảng mục lục (TOC) ở định dạng XML mô tả nội dung của kho lưu trữ, các tệp và thư mục thực tế được lưu trữ trong kho lưu trữ và chữ ký số để bảo mật. TOC đóng vai trò như một chỉ mục, chỉ định đường dẫn, kích thước và siêu dữ liệu khác cho từng tệp trong kho lưu trữ. Cấu trúc dựa trên XML này cho phép mở rộng, vì Apple hoặc bên thứ ba có thể thêm các thẻ tùy chỉnh để hỗ trợ các tính năng mới.
Một khía cạnh quan trọng của định dạng XAR là việc sử dụng nén. Theo mặc định, XAR sử dụng nén zlib để giảm kích thước của các tệp được lưu trữ. Bản thân TOC cũng được nén. Điều này dẫn đến kích thước kho lưu trữ nhỏ hơn so với các định dạng cũ hơn như .pkg, định dạng lưu trữ các tệp không nén. Tuy nhiên, XAR cũng hỗ trợ lưu trữ các tệp không nén nếu muốn. Nén được áp dụng cho từng tệp có thể được chỉ định riêng trong TOC.
Để đảm bảo tính toàn vẹn và tính xác thực của các kho lưu trữ XAR, định dạng này kết hợp các chữ ký số. Mỗi tệp XAR bao gồm một hoặc nhiều chữ ký bao phủ toàn bộ TOC. Các chữ ký này được tạo bằng mật mã khóa công khai, thường là v ới các thuật toán RSA hoặc DSA. Các chữ ký cho phép người nhận xác minh rằng kho lưu trữ chưa bị giả mạo và nó có nguồn gốc từ một nguồn đáng tin cậy. Apple sử dụng chữ ký XAR để phân phối các bản cập nhật phần mềm và ứng dụng trên Mac App Store.
Khi một kho lưu trữ XAR được mở, TOC sẽ được giải nén và phân tích cú pháp trước. TOC cung cấp cấu trúc thư mục và siêu dữ liệu tệp, tương tự như định dạng 'tar' được sử dụng trên các hệ thống Unix. Dữ liệu tệp thực tế được lưu trữ sau TOC trong kho lưu trữ. Dữ liệu của từng tệp có thể được nén hoặc không nén, như được chỉ ra bởi mục tương ứng trong TOC. Để giải nén một tệp, dữ liệu của tệp đó được xác định vị trí bằng thông tin về độ lệch và kích thước từ TOC.
Định dạng XAR hỗ trợ một số tính năng nâng cao ngoài việc lưu trữ cơ bản. Một tính năng như vậy là khả năng bao gồm nhiều TOC trong một kho lưu trữ duy nhất. Điều này cho phép tạo các bản cập nhật gia tăng, trong đó chỉ những tệp đã thay đổi cần được bao gồm trong kho lưu trữ bản cập nhật. Nhiều TOC có thể mô tả trạng thái của kho lưu trữ trên các phiên bản khác nhau của phần mềm. Các cơ chế cập nhật thông minh có thể sử dụng thông tin này để áp dụng các bản vá gia tăng một cách hiệu quả.
Ngoài ra, các kho lưu trữ XAR có thể lưu trữ các thuộc tính mở rộng và danh sách kiểm soát truy cập (ACL) được liên kết với các tệp được lưu trữ. Thuộc tính mở rộng là các cặp khóa-giá trị có thể lưu trữ siêu dữ liệu cụ thể của ứng dụng. ACL xác định các quyền chi tiết để truy cập các tệp. Bằng cách bảo toàn thông tin này trong kho lưu trữ, XAR đảm bảo rằng các thuộc tính tệp gốc được khôi phục khi giải nén trên hệ thống đích.
Định dạng XAR cũng bao gồm các điều khoản để ký mã. Ngoài các chữ ký cấp kho lưu trữ bao phủ TOC, các tệp riêng lẻ trong kho lưu trữ có thể có chữ ký riêng. Điều này rất hữu ích để phân phối các thành phần phần mềm cần được xác minh độc lập. Ví dụ: một kiến trúc plugin có thể sử dụng ký mã để đảm bảo rằng chỉ các plugin đáng tin cậy mới được ứng dụng tải.
Một tính năng khác của XAR là khả năng lưu trữ các liên kết cứng. Liên kết cứng cho phép nhiều mục thư mục tham chiếu cùng một dữ liệu tệp trên đĩa. Trong TOC XAR, các liên kết cứng được biểu diễn bằng các phần tử XML đặc biệt trỏ đến mục tệp gốc. Khi kho lưu trữ được giải nén, các liên kết cứng được tạo lại, bảo toàn dung lượng đĩa và duy trì cấu trúc thư mục gốc.
Để làm việc với các kho lưu trữ XAR theo chương trình, các nhà phát triển có thể sử dụng công cụ dòng lệnh xar hoặc các thư viện như libxar. Công cụ xar cung cấp các lệnh để tạo, giải nén và thao tác các kho lưu trữ XAR. Nó hỗ trợ nhiều tùy chọn để nén, ký và xác minh. Libxar là một thư viện C triển khai định dạng XAR và cung cấp API để đọc và ghi các kho lưu trữ XAR. Nó cho phép các nhà phát triển tích hợp hỗ trợ XAR vào các ứng dụng của riêng họ.
Tóm lại, định dạng XAR cung cấp một phương pháp hiện đại và có thể mở rộng để đóng gói và phân phối phần mềm trên macOS. Việc sử dụng XML cho bảng mục lục, nén để có kích thước tệp nhỏ hơn, chữ ký số để bảo mật và hỗ trợ các tính năng nâng cao như cập nhật gia tăng và ký mã khiến nó trở thành một công cụ mạnh mẽ cho các nhà phát triển và quản trị viên hệ thống. Khi Apple tiếp tục cải tiến và quảng bá định dạng này, XAR có khả năng trở thành tiêu chuẩn để phân phối phần mềm trên macOS.
Nén tệp giảm độ dư thừa để cùng một lượng thông tin sử dụng ít bit hơn. Giới hạn trên được quyết định bởi lý thuyết thông tin: với nén không mất dữ liệu, giới hạn là entropy của nguồn (xem định lý mã nguồn của Shannon source coding theorem và bài báo gốc năm 1948 “A Mathematical Theory of Communication”). Với nén mất dữ liệu, sự đánh đổi giữa bitrate và chất lượng được mô tả bởi lý thuyết rate–distortion.
Hai trụ cột: mô hình hóa và mã hóa
Hầu hết bộ nén có hai giai đoạn. Đầu tiên một mô hình dự đoán hoặc lộ ra cấu trúc trong dữ liệu. Sau đó một bộ mã biến các dự đoán đó thành mẫu bit gần tối ưu. Gia đình kinh điển là Lempel–Ziv LZ77 (1977) và LZ78 (1978) phát hiện chuỗi lặp rồi phát các tham chiếu thay vì byte thô. Ở phía mã hóa mã Huffman (bài gốc 1952) gán mã ngắn hơn cho ký hiệu có xác suất cao. Mã hóa số học và range coding tiến gần hơn nữa tới giới hạn entropy, trong khi Asymmetric Numeral Systems (ANS) hiện đại đạt được tỷ lệ tương tự với các bảng tra cứu nhanh.
Các định dạng phổ biến thực sự làm gì
DEFLATE (dùng bởi gzip, zlib, ZIP) kết hợp LZ77 và Huffman. Đặc tả đều mở: DEFLATE RFC 1951, lớp bọc zlib RFC 1950và định dạng gzip RFC 1952. Gzip được thiết kế cho streaming và không cung cấp truy cập ngẫu nhiên. PNG chuẩn hóa DEFLATE là phương pháp duy nhất (cửa sổ tối đa 32 KiB) theo đặc tả “Compression method 0…” và W3C/ISO PNG 2nd Edition.
Zstandard (zstd): bộ nén đa dụng mới cung cấp tỷ lệ cao và giải nén cực nhanh. Định dạng có trong RFC 8878 (cùng bản HTML) và đặc tả tham chiếu trên GitHub. Như gzip, frame cơ bản không nhắm tới truy cập ngẫu nhiên. Siêu năng lực của zstd là từ điển: mẫu nhỏ từ tập dữ liệu giúp hàng loạt tệp nhỏ/giống nhau nén tốt hơn (xem tài liệu python-zstandard và ví dụ của Nigel Tao). Triển khai hỗ trợ cả từ điển “unstructured” lẫn “structured” (thảo luận).
Brotli: tối ưu cho nội dung web (font WOFF2, HTTP). Kết hợp từ điển tĩnh và lõi LZ+entropy giống DEFLATE. Đặc tả là RFC 7932, mô tả cửa sổ 2WBITS−16 với WBITS [10, 24] (1 KiB−16 B tới 16 MiB−16 B) và rằng nó không cung cấp truy cập ngẫu nhiên. Brotli thường vượt gzip trên văn bản web và giải nén nhanh.
Vỏ chứa ZIP: ZIP là kho tệp có thể lưu nhiều phương pháp nén (deflate, store, zstd...). Chuẩn thực tế là APPNOTE của PKWARE (xem cổng APPNOTE, bản lưu trữvà tóm tắt của LC ZIP File Format (PKWARE) / ZIP 6.3.3).
Tốc độ so với tỷ lệ
LZ4 ưu tiên tốc độ tuyệt đối với tỷ lệ vừa phải. Xem trang dự án và định dạng frame. Lý tưởng cho cache trong RAM, telemetri hoặc đường nóng cần giải nén gần tốc độ bộ nhớ.
XZ / LZMA hướng đến mật độ cao (tỷ lệ tốt) với thời gian nén chậm hơn. XZ là vỏ chứa; công việc chính do LZMA/LZMA2 (mô hình LZ77 + range coding) đảm nhiệm. Xem định dạng .xz, đặc tả LZMA (Pavlov)và ghi chú kernel Linux về XZ Embedded. XZ thường nén tốt hơn gzip và cạnh tranh với codec hiện đại, nhưng mã hóa lâu hơn.
bzip2 dùng Biến đổi Burrows–Wheeler (BWT), move-to-front, RLE và Huffman. Thường nhỏ hơn gzip nhưng chậm hơn; xem hướng dẫn chính thức và trang man (Linux).
Cửa sổ, khối và truy cập ngẫu nhiên
Kích thước “cửa sổ” rất quan trọng. Tham chiếu DEFLATE chỉ nhìn lại 32 KiB (RFC 1951) và giới hạn 32 KiB của PNG được nêu ở đây. Brotli hỗ trợ cửa sổ từ ~1 KiB đến 16 MiB (RFC 7932). Zstd điều chỉnh cửa sổ và độ sâu tìm kiếm theo level (RFC 8878). Dòng cơ sở của gzip/zstd/brotli hướng tới giải nén tuần tự; bản thân định dạng không hứa truy cập ngẫu nhiên, nhưng các vỏ chứa (tar có chỉ mục, framing theo khối, chỉ mục chuyên biệt) có thể bổ sung.
Lossless và lossy
Các định dạng trên là lossless: bạn khôi phục đúng byte ban đầu. Codec media thường lossy: loại bỏ chi tiết khó nhận biết để giảm bitrate. Với ảnh, JPEG cổ điển (DCT, lượng tử hóa, mã entropy) được chuẩn hóa trong ITU-T T.81 / ISO/IEC 10918-1. Với âm thanh, MP3 (MPEG-1 Layer III) và AAC (MPEG-2/4) dùng mô hình cảm nhận và biến đổi MDCT (xem ISO/IEC 11172-3, ISO/IEC 13818-7và tổng quan MDCT tại đây). Lossy và lossless có thể cùng tồn tại (ví dụ PNG cho UI, codec web cho ảnh/video/audio).
Mẹo thực tế
- Chọn đúng việc. Văn bản/font web brotli. Tệp chung và sao lưu zstd (giải nén nhanh, nhiều mức để đổi thời gian lấy tỷ lệ). Đường truyền siêu nhanh và telemetri lz4. Mật độ tối đa cho lưu trữ dài hạn khi thời gian mã hóa chấp nhận được xz/LZMA.
- Tệp nhỏ? Huấn luyện và gửi kèm từ điển zstd (tài liệu) / (ví dụ). Có thể thu nhỏ mạnh hàng chục đối tượng nhỏ tương tự.
- Tính tương thích. Khi trao đổi nhiều tệp, hãy dùng vỏ chứa (ZIP, tar) + bộ nén. APPNOTE của ZIP định nghĩa phương thức và tính năng; xem PKWARE APPNOTE và tóm tắt LC tại đây.
- Đo trên dữ liệu của bạn. Tỷ lệ và tốc độ phụ thuộc tập dữ liệu. Nhiều repo công bố benchmark (ví dụ README LZ4 dẫn corpus Silesia tại đây), nhưng luôn kiểm chứng nội bộ.
Tài liệu tham khảo chính (đào sâu)
Lý thuyết Shannon 1948 · Rate–distortion · Mã hóa Huffman 1952 · Mã số học · Range coding · ANS. Định dạng DEFLATE · zlib · gzip · Zstandard · Brotli · LZ4 frame · định dạng XZ. Chuỗi BWT Burrows–Wheeler (1994) · hướng dẫn bzip2. Media JPEG T.81 · MP3 ISO/IEC 11172-3 · AAC ISO/IEC 13818-7 · MDCT.
Tóm lại: hãy chọn bộ nén phù hợp dữ liệu và ràng buộc của bạn, đo trên dữ liệu thực và đừng quên lợi ích từ từ điển cùng cách đóng gói thông minh. Khi ghép đúng, bạn sẽ có tệp nhỏ hơn, truyền nhanh hơn và ứng dụng phản hồi hơn mà không hy sinh độ chính xác hay tính di động.
Câu hỏi thường gặp
Nén file là gì?
Nén file là quá trình giảm kích thước của một file hoặc các file, thường để tiết kiệm không gian lưu trữ hoặc tăng tốc độ truyền trên mạng.
Cách nén file hoạt động như thế nào?
Nén file hoạt động bằng cách xác định và loại bỏ sự trùng lặp trong dữ liệu. Nó sử dụng thuật toán để mã hóa dữ liệu gốc trong một không gian nhỏ hơn.
Có những loại nén file nào?
Hai loại chính của nén file là nén lossless và lossy. Nén lossless cho phép phục hồi hoàn toàn file gốc, trong khi nén lossy cho phép giảm kích thước đáng kể hơn nhưng có thể mất một phần chất lượng dữ liệu.
Có thể cho một ví dụ về công cụ nén file?
Một ví dụ phổ biến về công cụ nén file là WinZip, hỗ trợ nhiều định dạng nén bao gồm ZIP và RAR.
Nén file có ảnh hưởng đến chất lượng của file không?
Với nén lossless, chất lượng không thay đổi. Tuy nhiên, với nén lossy, có thể có sự giảm chất lượng rõ rệt do nó loại bỏ dữ liệu ít quan trọng để giảm kích thước file đáng kể hơn.
Nén file có an toàn không?
Có, nén file an toàn về mặt tính toàn vẹn của dữ liệu, đặc biệt với nén lossless. Tuy nhiên, giống như bất kỳ file nào, file nén có thể bị mục tiêu bởi malware hoặc virus, vì vậy luôn quan trọng khi có phần mềm bảo mật uy tín.
Có thể nén những loại file nào?
Hầu như tất cả các loại file đều có thể được nén, bao gồm file văn bản, hình ảnh, audio, video và file phần mềm. Tuy nhiên, mức độ nén có thể thực hiện đáng kể có thể thay đổi giữa các loại file khác nhau.
ZIP file là gì?
ZIP file là một loại định dạng file sử dụng nén lossless để giảm kích thước của một hoặc nhiều file. Nhiều file trong một ZIP file effectively được gói lại thành một file duy nhất, điều này cũng giúp việc chia sẻ dễ dàng hơn.
Tôi có thể nén một file đã được nén không?
Về mặt kỹ thuật, có, mặc dù việc giảm kích thước thêm có thể tối thiểu hoặc thậm chí phản tác dụng. Nén một file đã được nén đôi khi có thể tăng kích thước do metadata được thêm vào bởi thuật toán nén.
Làm thế nào để giải nén một file?
Để giải nén một file, bạn thường cần một công cụ giải nén hoặc giải nén, như WinZip hoặc 7-Zip. Những công cụ này có thể trích xuất các file gốc từ định dạng nén.