Chủ đề Điện toán & Nhúng
29 chủ đề
- Điện toán & Nhúng
ISO 26262 (An toàn chức năng ô tô)
Tiêu chuẩn quốc tế về an toàn chức năng giảm rủi ro trục trặc E/E ô tô xuống mức chấp nhận được — xếp cấp rủi ro qua HARA→ASIL (A~D), triển khai vòng đời an toàn và mô hình V, định lượng hỏng hóc phần cứng ngẫu nhiên bằng các chỉ số SPFM·LFM·PMHF, và bao quát phân rã ASIL·SEooC·FTTI cùng sự hội tụ với SOTIF (21448)·ISO/SAE 21434·các tiêu chuẩn an toàn AI trong kỷ nguyên lái tự động, dưới dạng luận.
- Điện toán & Nhúng
Thực thi suy đoán và dự đoán rẽ nhánh(Speculative Execution & Branch Prediction)
Chủ đề về dự đoán rẽ nhánh — đoán trước hướng/đích của rẽ nhánh có điều kiện để lấp khoảng trống của đường ống sâu — và thực thi suy đoán — kéo các lệnh chưa xác định về và chạy trên phỏng đoán đó rồi quay lui khi dự đoán sai: bao quát bộ đếm bão hòa 2 bit BHT, BTB, RAS và các bộ dự đoán tương quan/đấu loại/TAGE, khôi phục dự đoán sai dựa trên ROB và đổi tên thanh ghi, suy đoán điều khiển/dữ liệu, cùng các tấn công thực thi nhất thời Spectre·Meltdown (nơi trạng thái kiến trúc khôi phục nhưng dấu vết bộ nhớ đệm còn lại) và biện pháp giảm nhẹ, sắp xếp chuyên sâu từ góc độ Kỹ sư chuyên nghiệp.
- Điện toán & Nhúng
Giao thức nhất quán cache (Cache Coherence, MESI)
Máy trạng thái phần cứng quản lý các bản sao của cùng một khối rải rác khắp các cache riêng đa lõi ở trạng thái Modified·Exclusive·Shared·Invalid để bảo đảm khả năng thấy một giá trị mới nhất duy nhất — bao quát yêu cầu lan truyền/tuần tự hóa ghi, chính sách invalidate so với update, đánh đổi khả năng mở rộng giữa snooping với directory, chuyển trạng thái MESI và các mở rộng MOESI/MESIF, bẫy hiệu năng chia sẻ giả, cùng xu hướng mới như CXL và HTM, từ góc nhìn Kỹ sư chuyên nghiệp.
- Điện toán & Nhúng
Lập lịch CPU (CPU Scheduling)
Kỹ thuật cốt lõi của hệ điều hành lựa chọn tiến trình thực thi tiếp theo từ hàng đợi sẵn sàng để khai thác hiệu quả của đa chương trình — bao gồm chuyển trạng thái tiến trình và các tầng bộ lập lịch dài hạn/trung hạn/ngắn hạn, lập lịch có trưng dụng và không trưng dụng cùng sự đánh đổi giữa các chỉ số hiệu năng, so sánh định lượng các thuật toán FCFS, SJF, ưu tiên, RR, MLFQ, cách xử lý hiệu ứng đoàn hộ tống, nạn đói và đảo ngược ưu tiên, cùng thực tiễn từ Linux CFS/EEVDF, lập lịch nhận biết năng lượng trên đa nhân dị thể đến hiện tượng CFS throttling của Kubernetes, trình bày chuyên sâu theo góc nhìn Kỹ sư chuyên nghiệp.
- Điện toán & Nhúng
Hệ điều hành thời gian thực (RTOS)
Hệ điều hành lấy mục tiêu hàng đầu không phải thông lượng mà là tính tất định bảo đảm đáp ứng trong hạn chót — phân biệt thời gian thực cứng/vừa/mềm, đánh đổi khả năng lập lịch giữa lập lịch ưu tiên chiếm quyền và RMS·EDF, hiện thực hóa khả năng dự đoán bằng kế thừa độ ưu tiên·bộ nhớ khối cố định·ngắt có cận trên bảo đảm, và trình bày theo dạng luận văn phần so sánh GPOS cùng xu hướng PREEMPT_RT·độ nghiêm trọng hỗn hợp·TSN.
- Điện toán & Nhúng
Điện toán gián đoạn (Intermittent Computing)
Điện toán siêu tiết kiệm năng lượng, bảo toàn và khôi phục trạng thái bằng checkpointing và bộ nhớ không bay hơi trong môi trường nguồn điện gián đoạn dựa trên thu hoạch năng lượng.
- Điện toán & Nhúng
Giao thức Gossip để lan truyền trạng thái phân tán
Trình bày theo dạng luận văn giao thức Gossip, lan truyền trạng thái membership, sự kiện và cấu hình không cần nút trung tâm bằng cách trao đổi lặp lại với một số peer; bao gồm push, pull, push-pull, fanout và hội tụ, phát hiện lỗi kiểu SWIM, xử lý trùng lặp, xung đột và phân vùng mạng, so sánh với broadcast, consensus và message queue, các trường hợp service discovery và vô hiệu hóa cache, cùng các cân nhắc về bảo mật, khả năng quan sát và tuning.
- Điện toán & Nhúng
Đồng hồ logic (Logical Clock) trong hệ thống phân tán
Đồng hồ logic theo dõi thứ tự xảy-ra-trước (happens-before) và quan hệ nhân quả của sự kiện chỉ bằng bộ đếm tiến trình và trao đổi thông điệp, không tin vào sự trôi·sai lệch của thời gian vật lý — trình bày đồng hồ vô hướng Lamport cho thứ tự toàn phần và vector clock phát hiện cả tính đồng thời, so sánh điều kiện đồng hồ và chi phí siêu dữ liệu, các phương thức lai vật lý–logic như HLC/TrueTime, và ứng dụng vào xếp thứ tự và giải quyết xung đột trong Dynamo, CRDT, DB phân tán, dưới dạng luận văn.
- Điện toán & Nhúng
Thuật toán sắp xếp (nổi bọt·chèn·nhanh)
So sánh hoạt động, độ phức tạp và tính ổn định của sắp xếp nổi bọt·chèn (O(n²)) và sắp xếp nhanh (trung bình O(n log n), chia để trị).
- Điện toán & Nhúng
Cấu trúc dữ liệu tuyến tính: ngăn xếp·hàng đợi·danh sách
Nguyên lý nhập/xuất, phép toán, ứng dụng và so sánh các cấu trúc dữ liệu tuyến tính: ngăn xếp (LIFO), hàng đợi (FIFO), danh sách (truy cập tùy ý).
- Điện toán & Nhúng
Cấu trúc dữ liệu: tuyến tính và phi tuyến
Khái niệm·phân loại cấu trúc tuyến tính (ngăn xếp·hàng đợi·danh sách) và cấu trúc phi tuyến (cây·đồ thị), so sánh theo hình thái liên kết.
- Điện toán & Nhúng
Phân trang và phân đoạn
Khái niệm·chuyển đổi địa chỉ·so sánh giữa phân trang kích thước cố định (phân mảnh trong) và phân đoạn theo đơn vị logic (phân mảnh ngoài), kết hợp phân đoạn có phân trang và tăng tốc bằng TLB.
- Điện toán & Nhúng
Mạng liên kết trong xử lý song song và Torus
Cấu trúc truyền thông nối các bộ xử lý và bộ nhớ, quyết định hiệu năng song song. Gồm bus, crossbar, mesh, hypercube; torus nối hai đầu của mesh để rút ngắn khoảng cách và phân tán đối xứng.
- Điện toán & Nhúng
Đồ thị có hướng không chu trình (DAG) và sắp xếp tô-pô
Đồ thị có hướng và không có chu trình dùng để biểu diễn quan hệ thứ tự trước sau và phụ thuộc. Sắp xếp tô-pô (Kahn: loại bỏ dần từ các đỉnh có bậc vào bằng 0) xác định thứ tự build và lập lịch.
- Điện toán & Nhúng
Truy cập bộ nhớ không đồng nhất (NUMA, Non-Uniform Memory Access)
Phân tích chuyên sâu kiến trúc ccNUMA — gắn trực tiếp bộ nhớ cục bộ cho từng bộ xử lý để đạt khả năng mở rộng, đổi lại độ trễ truy cập cục bộ và từ xa khác nhau: cấu thành node, kết nối liên thông và bộ điều khiển bộ nhớ tích hợp; căn chỉnh tính cục bộ ở mọi tầng OS, ứng dụng và ảo hóa (vNUMA) như first-touch, affinity, interleave; chia sẻ giả (false sharing) và lưu lượng nhất quán bộ đệm; so sánh với UMA và bộ nhớ phân tán; mở rộng sang CXL và bộ nhớ phân tầng.
- Điện toán & Nhúng
CRDT (kiểu dữ liệu nhân bản không xung đột)
Kiểu dữ liệu nhân bản mà dù nhiều bản sao tự cập nhật không cần điều phối, nhờ phép hợp nhất có tính giao hoán, kết hợp và lũy đẳng nên chắc chắn hội tụ về cùng một trạng thái (SEC) — dạng dựa trên trạng thái/thao tác, các loại G/PN-Counter, OR-Set, CRDT chuỗi, so sánh với đồng thuận và OT, chiến lược áp dụng cho cộng tác thời gian thực và đa vùng.
- Điện toán & Nhúng
Đảo ngược độ ưu tiên (Priority Inversion)
Hiện tượng tác vụ ưu tiên cao bị thực thi muộn do tác vụ ưu tiên thấp chiếm giữ tài nguyên và tác vụ ưu tiên trung bình chiếm quyền (preemption). Giải quyết bằng kế thừa độ ưu tiên và trần độ ưu tiên.
- Điện toán & Nhúng
Kiểm thử phần mềm nhúng
Kiểm chứng theo vòng kín bao gồm cả phần cứng, thời gian thực, ràng buộc tài nguyên và an toàn. Các giai đoạn MIL→SIL→PIL→HIL, tuân thủ độ bao phủ MC/DC của ISO 26262 và DO-178C.
- Điện toán & Nhúng
Big Endian và Little Endian
Thứ tự lưu trữ dữ liệu nhiều byte. Big (MSB trước · chuẩn mạng) và Little (LSB trước · x86), chuyển đổi khi truyền thông giữa các hệ thống không đồng nhất.
- Điện toán & Nhúng
Thrashing (hiện tượng đập trang)
Hiện tượng do đa chương trình quá mức khiến lỗi trang tăng vọt, CPU chỉ lặp lại việc hoán đổi (swapping) và hiệu năng sụt giảm nghiêm trọng. Working set, PFF.
- Điện toán & Nhúng
Bế tắc (Deadlock)
Trình bày dạng tự luận về định nghĩa bế tắc và phân biệt với đói tài nguyên (starvation)·livelock, 4 điều kiện phát sinh (loại trừ tương hỗ, giữ và chờ, không trưng dụng, chờ vòng tròn), nhận diện dựa trên đồ thị cấp phát tài nguyên, sự đánh đổi giữa các kỹ thuật phòng ngừa·tránh (thuật toán Banker)·phát hiện·khôi phục, các tình huống thực tế trong DB·đa luồng·hệ thống phân tán cùng bài toán các triết gia ăn tối, và các lưu ý từ góc nhìn Kỹ sư chuyên nghiệp như sắp thứ tự khóa·timeout·thử lại·khả năng quan sát.
- Điện toán & Nhúng
Sắp xếp cây (Tree Sort)
Thuật toán sắp xếp bằng cách chèn phần tử vào cây tìm kiếm nhị phân rồi duyệt trung thứ tự. Nguyên lý, độ phức tạp (trung bình O(n log n), O(n²) khi cây lệch) và cách tránh trường hợp xấu nhất bằng cây cân bằng như AVL, cây đỏ-đen cùng ứng dụng cho dữ liệu động.
- Điện toán & Nhúng
Xen kẽ bộ nhớ (Memory Interleaving)
Kỹ thuật chia bộ nhớ thành nhiều bank/kênh và phân tán các địa chỉ liên tiếp để truy cập song song, chồng lấp nhằm tăng băng thông. Bao gồm xen kẽ bit thấp/bit cao, xung đột bank, quan hệ với bộ nhớ đệm (cache) và mở rộng sang HBM, NUMA.
- Điện toán & Nhúng
Điều kiện tranh chấp (Race Condition)
Lỗi không tất định trong đó kết quả thay đổi theo thứ tự thực thi do truy cập đồng thời không được bảo vệ vào tài nguyên dùng chung. Vùng găng, loại trừ tương hỗ (mutex, semaphore, CAS) và kiểm soát deadlock, TOCTOU.
- Điện toán & Nhúng
Bộ lọc Bloom (Bloom Filter)
Cấu trúc dữ liệu xác suất xác định quan hệ thuộc tập hợp chỉ với mảng m bit và k hàm băm; kết quả 'không có' chính xác 100%, chỉ 'có' mới cho phép dương tính giả, nhờ đó lọc rẻ các truy vấn thành viên quy mô lớn với lượng bộ nhớ cực nhỏ — trình bày nguyên lý hoạt động, công thức thiết kế xác suất dương tính giả (m/n·ln2), các ứng dụng như LSM DB và Safe Browsing, cùng đánh đổi với counting filter và cuckoo filter.
- Điện toán & Nhúng
WebAssembly (Wasm)
Định dạng lệnh nhị phân khả chuyển, biên dịch từ nhiều ngôn ngữ để thực thi an toàn với tốc độ gần native trên trình duyệt·máy chủ·edge — máy ảo ngăn xếp, bộ nhớ tuyến tính, cô lập dựa trên năng lực (capability), là tầng thực thi cô lập nhẹ được mở rộng bởi WASI·Component Model.
- Điện toán & Nhúng
Băm nhất quán (Consistent Hashing)
Kỹ thuật phân phối đặt khóa và nút trên cùng một vòng băm, gán khóa cho nút đầu tiên theo chiều kim đồng hồ để giảm thiểu việc tái phân bổ khi thêm/bớt nút xuống trung bình K/N — dùng nút ảo để đạt cân bằng tải và trọng số, làm nền tảng định tuyến tiêu chuẩn cho kho lưu trữ phân tán, bộ nhớ đệm và bộ cân bằng tải.
- Điện toán & Nhúng
Thuật toán đồng thuận phân tán (Distributed Consensus) — Paxos và Raft
Kỹ thuật giúp nhiều nút thống nhất cùng một thứ tự lệnh bằng quorum đa số và sao chép log trong môi trường lỗi cục bộ — nguyên lý, bầu chọn leader, tính an toàn của Paxos và Raft cùng ứng dụng thực tế như etcd.
- Điện toán & Nhúng
Độ phức tạp thuật toán và ký hiệu O (O-Notation)
Khái niệm độ phức tạp thời gian, không gian và ký hiệu O, các dạng (O(1)~O(n!)) cùng sự khác biệt về tốc độ tăng thời gian tính toán theo kích thước đầu vào.