Hệ thống điện tử thời gian thực: nguyên lý cơ bản, lập kế hoạch và ứng dụng.

Informatec Digital » Recursos » Hệ thống điện tử thời gian thực: nguyên lý cơ bản, lập kế hoạch và ứng dụng.

Các hệ thống điện tử thời gian thực đã ăn sâu vào cuộc sống hàng ngày của chúng ta, mặc dù chúng ta thường không để ý đến chúng. Từ túi khí ô tô đến hệ thống kiểm soát không lưu, và thậm chí cả một chiếc lò vi sóng đơn giản, mọi thứ đều phụ thuộc vào hệ thống máy tính không chỉ thực hiện mọi việc một cách chính xác, mà còn phải thực hiện đúng vào thời điểm chính xác . Nếu vượt quá thời gian quy định, dù chỉ một chút, nó cũng được coi là một thất bại, ngay cả khi phép tính hoàn hảo.

Vẻ đẹp (và cả thách thức) của các hệ thống này nằm ở chỗ chúng cần tương tác với thế giới vật lý theo những mốc thời gian rất cụ thể . Chỉ đơn thuần "nhanh" là chưa đủ: chúng phải có khả năng dự đoán, ổn định và đồng bộ với những gì đang xảy ra bên ngoài máy tính. Đó là lý do tại sao việc thiết kế, phân tích và thử nghiệm một hệ thống thời gian thực phức tạp hơn đáng kể so với một hệ thống thông thường, đa năng.

Hệ thống thời gian thực là gì và nó khác với hệ thống tốc độ cao như thế nào?

Hệ thống thời gian thực (RTS) về cơ bản là một hệ thống kỹ thuật số điều khiển hoặc giám sát một quá trình vật lý với các ràng buộc thời gian rõ ràng. Nó không chỉ phải tạo ra kết quả chính xác về mặt logic mà còn phải đảm bảo rằng phản hồi đến trong một khung thời gian xác định; việc không đáp ứng được thời hạn này sẽ cấu thành lỗi hệ thống.

Những ví dụ rõ ràng về hành vi này bao gồm việc kích hoạt túi khí hoặc hệ thống chống bó cứng phanh (ABS) của ô tô , một robot cố gắng bắt quả bóng giữa không trung, hoặc hệ thống quản lý động cơ của một chiếc xe hiện đại. Trong tất cả các trường hợp này, phản ứng chậm trễ, thậm chí chỉ vài mili giây, cũng có thể vô dụng hoặc thậm chí nguy hiểm.

Trong ngữ cảnh này, từ “thời gian” có nghĩa là sự hoạt động chính xác phụ thuộc vào thời điểm phản ứng xảy ra , chứ không chỉ phụ thuộc vào bản chất của phản ứng. Và từ “thực tế” ngụ ý rằng hệ thống phải phản ứng với các sự kiện bên ngoài trong quá trình diễn biến thực tế của chúng, sử dụng một thang thời gian phù hợp với thang thời gian của môi trường vật lý mà nó kiểm soát.

Điều này trái ngược với một hệ thống chỉ đơn thuần là "nhanh", nơi mà điều duy nhất quan trọng là đầu ra xuất hiện càng nhanh càng tốt, mà không cần phải đồng bộ hóa với thế giới bên ngoài. Một máy chủ web rất mạnh có thể nhanh, nhưng nó không nhất thiết là một hệ thống thời gian thực nếu nó không có các thời hạn nghiêm ngặt gắn liền với các sự kiện vật lý.

Điều quan trọng nữa là phải phân biệt chúng với các hệ thống trực tuyến : những hệ thống này có thể luôn được kết nối và phản hồi các yêu cầu (ví dụ: trình duyệt hoặc hệ thống đặt chỗ), nhưng chúng không cần phải tuân thủ các thời hạn nghiêm ngặt được phối hợp với các quy trình vật lý, vì vậy chúng không tự động là hệ thống thời gian thực; tuy nhiên, trong các ứng dụng web hiện đại, tìm kiếm thời gian thực có thể yêu cầu độ trễ và đảm bảo tương tự.

Ví dụ thực tế: điều khiển đèn giao thông tại một giao lộ.

Một ví dụ rất minh họa về các hệ thống điện tử thời gian thực là hệ thống điều khiển đèn giao thông tại một giao lộ đông đúc . Việc chỉ đơn giản là thay đổi đèn "gần đúng" thời gian là chưa đủ; các quyết định phải được đưa ra liên tục dựa trên những gì đang xảy ra trên đường phố.

Đầu tiên, giao thông được giám sát . Các cảm biến (vòng cảm ứng, camera, cảm biến hồng ngoại, v.v.) được đặt ở các làn đường và vạch kẻ đường dành cho người đi bộ để phát hiện phương tiện và người. Các thiết bị này liên tục gửi dữ liệu đến bộ điều khiển trung tâm, nhờ đó bộ điều khiển nhận được thông tin cập nhật về môi trường.

Tại trung tâm điều khiển, một máy tính nhúng xử lý dữ liệu theo thời gian thực, áp dụng các thuật toán để tính toán số lượng xe đang xếp hàng, mật độ xe trên mỗi làn đường và số lượng người đi bộ đang chờ. Với thông tin này, nó xác định thời gian mỗi pha của đèn giao thông nên kéo dài bao lâu ở mỗi hướng.

Tiếp theo là giai đoạn ra quyết định . Ví dụ, hệ thống sẽ quyết định kéo dài đèn xanh theo hướng tắc nghẽn nhất để giảm ùn tắc giao thông hoặc ưu tiên cho người đi bộ qua đường nếu họ đã chờ quá lâu. Những quyết định này dựa trên các chính sách tối ưu hóa được xác định trước và các yêu cầu về an toàn và lưu lượng giao thông.

Sau khi quyết định được đưa ra, bộ điều khiển sẽ tác động lên các bộ chấp hành điều chỉnh đèn giao thông. Nó thay đổi trạng thái của đèn giao thông với độ chính xác đến từng mili giây, tuân thủ các yêu cầu về đèn vàng, đèn đỏ toàn bộ, khóa liên động và các yêu cầu an toàn khác, đảm bảo quá trình chuyển đổi giữa các giai đoạn diễn ra suôn sẻ.

Tất cả điều này được thực hiện thông qua quá trình tối ưu hóa liên tục : hệ thống giám sát lưu lượng giao thông không gián đoạn và điều chỉnh thời gian đèn xanh, đèn vàng và đèn đỏ trong thời gian thực để thích ứng với những thay đổi đột ngột (ùn tắc giao thông, xe cứu thương đi qua, sự biến động về lưu lượng giao thông vào những thời điểm nhất định trong ngày, v.v.). Điều này chứng minh rõ ràng lý do tại sao chúng ta nói về thời gian thực: logic điều khiển chỉ có ý nghĩa nếu các quyết định được thực hiện trong khung thời gian cụ thể.

Lịch sử và sự phát triển của các hệ thống thời gian thực

Nguồn gốc của điện toán thời gian thực gắn liền mật thiết với việc điều khiển các quy trình công nghiệp và hàng không vũ trụ trong nửa cuối thế kỷ 20. Các tài liệu tham khảo đặt nền móng cho các hệ thống này đã được xuất bản từ năm 1965, và ngay sau đó, vào năm 1973, Liu và Layland đã chính thức hóa định nghĩa toán học về lập lịch trong các hệ thống thời gian thực nghiêm ngặt và linh hoạt.

Trong mô phỏng máy tính, thuật ngữ "mô phỏng thời gian thực" bắt đầu được sử dụng khi mô hình máy tính chạy nhanh bằng quá trình vật lý mà nó đại diện. Điều này đặt ra một tình huống khó xử kinh điển: hoặc tăng độ chính xác của mô hình bằng cách hy sinh tốc độ, hoặc giảm độ chính xác để đạt được hoặc vượt qua hiệu suất thời gian thực.

Điều tương tự cũng xảy ra với giao diện đồ họa và công cụ trò chơi : để trải nghiệm được mượt mà, chúng phải phản hồi đủ nhanh với thao tác của người dùng và sự thay đổi cảnh, duy trì số khung hình mỗi giây cao và ổn định.

Kể từ những năm 60 và 70, các hệ thống thời gian thực đã trưởng thành nhờ những bài học kinh nghiệm từ các trường hợp thực tế nổi bật, một số trường hợp gần như thảm họa, giúp hoàn thiện các kỹ thuật phân tích và lập kế hoạch thời gian.

Các trường hợp mang tính bước ngoặt: Apollo 11 và Mars Pathfinder

Một trong những sự cố nổi tiếng nhất trong lịch sử ban đầu của điện toán thời gian thực là sự quá tải của máy tính trên module hạ cánh Mặt Trăng của tàu Apollo 11. Trong quá trình hạ cánh, hệ thống dẫn đường bắt đầu phát ra các cảnh báo (như cảnh báo nổi tiếng 1202) cho thấy CPU đang hoạt động chậm hơn so với khối lượng công việc của nó.

Theo báo cáo nhiệm vụ, nếu những cảnh báo đó tiếp tục kéo dài, độ tin cậy của dữ liệu định vị cho phi hành đoàn sẽ bị ảnh hưởng, và nhiệm vụ có thể đã bị hủy bỏ. Cuối cùng, dựa trên các mô phỏng và kinh nghiệm trước đó, quyết định được đưa ra là tiếp tục, và mô-đun Eagle đã hạ cánh thành công xuống Mặt Trăng.

Về cơ bản, đó là trường hợp quá tải bộ xử lý : khối lượng tính toán nhiều hơn khả năng xử lý của CPU trong thời gian cho phép, đặc biệt khi quá trình xử lý liên quan đến cảnh báo được thêm vào khối lượng công việc bình thường. Sự cố này đã nhấn mạnh tầm quan trọng của việc duy trì đủ nguồn lực dự phòng trong các hệ thống mà chi phí do lỗi gây ra là không thể chấp nhận được.

Một trường hợp được nghiên cứu kỹ lưỡng khác là tàu vũ trụ Mars Pathfinder . Ở đây, vấn đề không phải là quá tải nghiêm trọng, mà là hiện tượng đảo ngược ưu tiên, gây ra tình trạng trễ hạn ngay cả khi CPU có dung lượng dự phòng khá lớn.

Trong hệ thống lập lịch ưu tiên, hiện tượng đảo ngược ưu tiên xảy ra khi một tác vụ có ưu tiên cao bị chặn bởi một tác vụ có ưu tiên thấp đang sở hữu một tài nguyên dùng chung (như mutex), và trong khi đó, một tác vụ có ưu tiên trung bình lại làm gián đoạn tác vụ có ưu tiên thấp. Kết quả là tác vụ quan trọng bị chặn một cách gián tiếp bởi một tác vụ ít quan trọng hơn, làm phá vỡ các đảm bảo về thời gian thực.

Để giảm thiểu rủi ro này, giao thức kế thừa ưu tiên được sử dụng . Khi một tác vụ có ưu tiên cao bị chặn bởi một tác vụ có ưu tiên thấp hơn, bộ lập lịch tạm thời nâng ưu tiên của tác vụ có ưu tiên thấp lên ngang bằng với tác vụ có ưu tiên cao. Điều này ngăn các tác vụ có ưu tiên trung gian làm gián đoạn nó, cho phép nó giải phóng tài nguyên càng nhanh càng tốt và sau đó trở lại ưu tiên ban đầu.

Những trường hợp này đã cho thấy rõ rằng việc thiết kế một STR không chỉ đơn thuần là "đảm bảo đủ dung lượng CPU", mà còn là việc hiểu lý thuyết lập lịch và định thời , cũng như thử nghiệm tạm thời toàn bộ hệ thống (phần cứng, firmware và phần mềm) cùng nhau.

Các thành phần cơ bản của một hệ thống thời gian thực

Một hệ thống STR điển hình bao gồm sự kết hợp giữa phần cứng chuyên dụng, phần mềm và các yếu tố giao diện với quá trình vật lý. Nó không chỉ đơn thuần là một chương trình; nó là một hệ thống tích hợp phải phản hồi các kích thích bên ngoài trong khung thời gian đã biết.

Về mặt vật lý, chúng ta thấy hệ thống này cần được điều khiển : đó có thể là bất kỳ quy trình nào có thể điều chỉnh được, chẳng hạn như nhà máy công nghiệp, động cơ, dây chuyền sản xuất, đèn giao thông, robot hoặc thiết bị y tế. STR đo trạng thái của nó và áp dụng các hành động điều khiển để giữ cho nó nằm trong các thông số mong muốn.

Giữa thế giới vật lý và máy tính là một lớp giao diện tín hiệu , bao gồm các bộ chuyển đổi tương tự sang số (ADC) và bộ chuyển đổi số sang tương tự (DAC), cũng như các mạch điều chỉnh. Lớp này điều chỉnh điện áp, dòng điện và định dạng tín hiệu để chúng có thể được hệ thống số đọc và tạo ra.

Một yếu tố quan trọng là đồng hồ thời gian thực , tạo ra các gián đoạn định kỳ trong mỗi chu kỳ lấy mẫu. Điều này đồng bộ hóa việc thu thập dữ liệu, điều khiển và thực thi, đảm bảo rằng các phép đo và lệnh được đưa ra chính xác vào thời điểm cần thiết.

Hệ thống này thường bao gồm một bảng điều khiển dành cho người vận hành với các nút khởi động và dừng, giao diện để điều chỉnh các thông số và cơ chế để buộc vận hành ở chế độ thủ công. Ngoài ra, màn hình được sử dụng để hiển thị trạng thái, cảnh báo, xu hướng và bất kỳ thông tin liên quan nào khác để giám sát quá trình.

Những thay đổi trạng thái quan trọng được lưu trữ trong cơ sở dữ liệu thời gian thực , cho phép ghi lại những gì đã xảy ra, điều tra các sự cố và trích xuất số liệu thống kê để cải thiện quản lý. Thông tin lịch sử này ngày càng tăng theo thời gian và cung cấp cơ sở cho các quyết định bảo trì, tối ưu hóa và thiết kế lại.

Nhiều môi trường công nghiệp có hệ thống giám sát từ xa cho phép theo dõi và, trong một số trường hợp, điều khiển hoạt động của nhà máy từ các trung tâm điều khiển phân tán. Điều này rất cần thiết khi một cơ sở phụ thuộc vào cơ sở khác (ví dụ: một nhà máy cung cấp nguyên liệu thô cho nhà máy khác), và các quyết định được đưa ra ở một nơi sẽ ảnh hưởng đến toàn bộ chuỗi cung ứng.

Cốt lõi của hệ thống STR là máy tính nhúng , phần mềm của nó thường được chia thành nhiều loại mô-đun: thuật toán điều khiển số (bộ điều chỉnh, bộ lọc, vòng phản hồi), ghi dữ liệu, giao diện địa chỉ và quản lý, và tương tác trực tiếp với người vận hành.

Các tính năng chính: thời gian, xử lý đồng thời, bảo mật và hiệu quả.

Các hệ thống thời gian thực thường xử lý các vấn đề lớn và phức tạp , liên quan đến nhiều biến số, thiết bị bên ngoài và điều kiện thay đổi. Điều này đòi hỏi sự chú ý cẩn thận đến kiến ​​trúc, lập kế hoạch và cơ chế giao tiếp giữa các tác vụ.

Vì dữ liệu đến từ thế giới vật lý, hệ thống phải xử lý các số thực (số thập phân, số có tỷ lệ cố định, v.v.) biểu thị các đại lượng như nhiệt độ, áp suất, tốc độ hoặc điện áp. Độ chính xác của việc biểu diễn và tính toán có thể rất quan trọng đối với chất lượng điều khiển.

An toàn và độ tin cậy thường rất quan trọng: một sự cố có thể gây ra thiệt hại kinh tế nghiêm trọng, hư hỏng tài sản, thương tích cá nhân hoặc tác động đến môi trường. Đó là lý do tại sao các kỹ thuật chịu lỗi, dự phòng và chiến lược suy giảm có kiểm soát được tích hợp.

Tính đồng thời là một đặc điểm nổi bật khác. Một STR thường thực hiện nhiều tác vụ song song về mặt logic: đọc cảm biến, điều khiển, truyền thông, ghi nhật ký , giao diện người dùng, v.v. Điều này đòi hỏi phải quản lý các tài nguyên dùng chung, tránh các điều kiện tranh chấp và đảm bảo rằng các phần quan trọng không vượt quá thời hạn.

Hiệu quả không phải là một thứ xa xỉ, mà là một nhu cầu thiết yếu. Một STR phải chính xác về mặt logic và thời gian , đồng thời phải được tối ưu hóa để tận dụng tối đa CPU, bộ nhớ và các thiết bị I/O. Thách thức nằm ở việc tìm ra sự cân bằng giữa biên độ thời gian, chi phí phần cứng và độ phức tạp của phần mềm.

Các thiết bị đầu vào/đầu ra thường được chuyên dụng hóa và liên kết chặt chẽ với quy trình vật lý . Chúng ta không chỉ nói về các cổng thông thường, mà còn cả các bus trường, cảm biến thông minh và các giao thức truyền thông được thiết kế để giảm thiểu độ trễ và đảm bảo thời gian giao hàng chính xác.

Các loại hệ thống thời gian thực: cứng, mềm và vững chắc

Tùy thuộc vào mức độ nghiêm trọng của việc xử lý lỗi thời gian, các STR được phân loại thành nhiều nhóm. Trong một hệ thống thời gian thực nghiêm ngặt , tất cả các thời hạn phải được đáp ứng mà không có ngoại lệ. Một lỗi duy nhất có thể dẫn đến hậu quả nghiêm trọng hoặc, ít nhất, làm mất hiệu lực kết quả.

Các ví dụ điển hình về hệ thống thời gian thực nghiêm ngặt bao gồm điều khiển chuyến bay, một số hệ thống y tế quan trọng và bảo vệ cơ sở hạ tầng điện. Trong những trường hợp này, kết quả chính xác nhưng bị chậm trễ là vô ích; hệ thống phải được thiết kế sao cho, trong bất kỳ kịch bản nào có thể dự đoán trước, nó sẽ không thất bại trong việc đáp ứng giới hạn thời gian của mình.

Các hệ thống thời gian thực mềm cho phép xảy ra độ trễ không thường xuyên. Tính hữu ích của kết quả giảm đi khi có độ trễ, nhưng nó vẫn có thể sử dụng được. Điều này xảy ra trong các ứng dụng đa phương tiện hoặc thu thập dữ liệu, nơi một vài khung hình bị mất hoặc mẫu bị trễ làm giảm chất lượng, nhưng hệ thống vẫn tiếp tục hoạt động.

Giữa hai thái cực này là các hệ thống thời gian thực ổn định . Ở đây, sự chậm trễ thỉnh thoảng được chấp nhận, nhưng khi phản hồi đến muộn, nó trở nên vô giá trị và bị loại bỏ. Ví dụ điển hình bao gồm các hệ thống video hoặc viễn thông thời gian thực: một khung hình đến muộn sẽ bị loại bỏ để duy trì sự đồng bộ.

Kiến trúc: mở/đóng và tập trung/phân tán

Các hệ thống thời gian thực cũng có thể được phân loại theo mức độ mở về công nghệ . Các hệ thống độc quyền sử dụng các công nghệ và giao thức khép kín, được kiểm soát bởi một nhà cung cấp duy nhất, có thể mang lại hiệu suất tốt nhưng hạn chế khả năng tương tác và phát triển.

Ngược lại, các hệ thống mở sử dụng các tiêu chuẩn và giao thức công khai , tạo điều kiện thuận lợi cho việc tích hợp các thành phần từ các nhà sản xuất khác nhau, tái sử dụng phần mềm và chuyển đổi dần sang các nền tảng mới.

Một điểm khác biệt quan trọng nữa là giữa hệ thống tập trung và hệ thống phân tán . Trong phương pháp tập trung, một nút chính chịu trách nhiệm điều phối giao tiếp và xử lý các tác vụ quan trọng, trong khi các nút khác hoạt động như các thiết bị đầu cuối hoặc thiết bị ngoại vi tương đối đơn giản.

Trong kiến ​​trúc phân tán, quá trình xử lý và truyền thông được chia sẻ giữa nhiều nút thông minh hợp tác với nhau một cách tự chủ. Điều này cho phép khả năng mở rộng, tính dự phòng và sự gần gũi với quy trình vật lý, nhưng lại làm phức tạp việc đồng bộ hóa thời gian và phối hợp tổng thể.

Tính tất định, độ trễ gián đoạn và khả năng phản hồi

Tính xác định là một thuộc tính cốt lõi của SRT: đó là khả năng dự đoán với độ chính xác cao thời gian cần thiết để bắt đầu và hoàn thành một nhiệm vụ . Vấn đề không phải là nhanh nhất có thể, mà là có thời gian phản hồi đã biết và có giới hạn.

Độ trễ ngắt đo thời gian từ khi một ngắt bên ngoài được tạo ra (ví dụ: một cảm biến báo cáo sự kiện) cho đến khi hệ thống bắt đầu xử lý nó. Giá trị này rất quan trọng vì nhiều yêu cầu dịch vụ bắt nguồn từ môi trường vật lý và không thể chấp nhận sự chậm trễ tùy ý.

Khả năng phản hồi tập trung vào thời gian cần thiết để thực thi một tác vụ sau khi một ngắt được chấp nhận . Nó bao gồm các yếu tố như thời gian khởi động của chương trình con xử lý, thời lượng của quá trình xử lý liên quan và tác động của các ngắt lồng nhau hoặc sự ưu tiên.

Thông thường, người ta thực hiện phân tích định lượng về tính xác định và khả năng phản hồi để đặc trưng hóa hệ thống: ví dụ, có thể yêu cầu 95% các tác vụ phải hoàn thành trong một khung thời gian nhất định . Từ đó, các ứng dụng chạy trên hệ điều hành thời gian thực (RTOS) phải được thiết kế để tránh rơi vào phạm vi hiệu suất dự kiến ​​tồi tệ nhất.

Kiểm soát hệ thống bằng quy trình và độ tin cậy

Trong nhiều hệ thống thời gian thực tiên tiến, bản thân các tiến trình ứng dụng có quyền kiểm soát hệ thống rất chặt chẽ . Chúng có thể khai báo rõ ràng mức độ ưu tiên, yêu cầu bộ nhớ (phần nào nên được lưu vào bộ nhớ đệm, chính sách hoán đổi nào được cho phép, v.v.) và các đặc quyền mà chúng cần.

Mặc dù thoạt nhìn có vẻ như là một mô hình hỗn loạn, nhưng thực chất nó dựa trên các loại quy trình được xác định rõ ràng và các ràng buộc cụ thể . Thông thường, người ta thiết lập các yêu cầu như: "các quy trình bảo trì không được vượt quá 3% mức sử dụng CPU, ngoại trừ trong các khoảng thời gian tải thấp được xác định rõ ràng."

Độ tin cậy không chỉ đơn thuần là việc không xảy ra lỗi ngẫu nhiên. Nhà cung cấp dịch vụ mạng (NSP) phải duy trì chất lượng dịch vụ trong giới hạn đã thỏa thuận trong thời gian dài, đảm bảo thời gian phản hồi đáp ứng các thông số kỹ thuật ngay cả khi gặp phải những gián đoạn hợp lý.

Ngoài ra, khả năng chịu lỗi cũng là một yêu cầu : nếu xảy ra sự cố nghiêm trọng (lỗi phần cứng, lỗi do con người, nhiễu loạn bên ngoài), hệ thống phải bảo toàn càng nhiều dữ liệu và chức năng càng tốt, đồng thời giảm thiểu hoạt động bằng cách ưu tiên các tác vụ quan trọng có mức độ ưu tiên cao nhất.

Ngôn ngữ lập trình và lập trình thời gian thực

Trên thực tế, nhiều hệ thống thời gian thực (RTS) được nhúng và phải tương tác với nhiều thành phần bên ngoài, khiến lập trình song song và điều khiển trực tiếp thiết bị trở nên thiết yếu. Các ngôn ngữ lập trình hiện đại cung cấp các hàm cơ bản cho đa luồng, giao tiếp và đồng bộ hóa, nhưng chúng phải được sử dụng hết sức cẩn thận trong các ứng dụng thời gian thực, đặc biệt là trong các framework web và các dịch vụ thời gian thực như Laravel.

Hiệu quả triển khai là yếu tố then chốt: các tính năng ngôn ngữ "đẹp mắt" có thể phải trả giá đắt về thời gian phản hồi, mức sử dụng CPU hoặc mức tiêu thụ bộ nhớ . Đó là lý do tại sao, trong các hệ thống nhúng, mọi sự trừu tượng đều được đánh giá tỉ mỉ trước khi được áp dụng.

Hai ngôn ngữ có vị trí nổi bật trong thế giới lập trình thời gian thực là Ada và Java với các phần mở rộng thời gian thực . Ada được thiết kế đặc biệt để hỗ trợ các hệ thống quan trọng và đã được tích hợp các cải tiến để tăng cường khả năng của nó trong lĩnh vực này.

Đối với Java, các chức năng thời gian thực được bổ sung sau này, với các đặc tả như Đặc tả thời gian thực cho Java và Phần mở rộng lõi thời gian thực, giới thiệu các mô hình bộ nhớ và lập lịch phù hợp hơn cho hệ điều hành thời gian thực (RTOS).

Hệ điều hành thời gian thực (RTOS)

Hệ điều hành thời gian thực (RTOS) là phần mềm cốt lõi cung cấp nền tảng xây dựng các ứng dụng có thời hạn nghiêm ngặt. Các dịch vụ của nó (lập lịch, ngắt, đồng bộ hóa, I/O, v.v.) cần phải hoạt động một cách có thể dự đoán được.

Khác với hệ điều hành đa năng, hệ điều hành thời gian thực (RTOS) được tối ưu hóa để thực hiện các tác vụ lặp đi lặp lại trong khung thời gian rất ngắn . Mục tiêu không phải là "làm nhiều việc" mà là đảm bảo tác vụ quan trọng nhất được chạy đúng thời điểm, không xảy ra sự cố bất ngờ.

Đó là lý do tại sao chúng thường là những hệ thống nhẹ hơn nhiều, không có các hiệu ứng đồ họa cầu kỳ hay các dịch vụ không cần thiết, với kích thước chỉ vài megabyte và triết lý thiết kế tối giản. Ít mã hơn đồng nghĩa với độ trễ không mong muốn ít hơn và ít điểm lỗi hơn , phù hợp với các yêu cầu thời gian thực.

Về mặt lịch sử, các hệ điều hành thời gian thực (RTOS) bắt đầu được phát triển vào những năm 60 và 70 cho các ứng dụng quân sự, hàng không vũ trụ và công nghiệp. Trong những thập kỷ tiếp theo, các sản phẩm thương mại đã xuất hiện, chẳng hạn như VxWorks, QNX và các biến thể thời gian thực của Solaris , được sử dụng rộng rãi trong viễn thông, ô tô và hệ thống nhúng.

Với sự phát triển mạnh mẽ của IoT trong những năm 2000 và 2010, các hệ điều hành thời gian thực (RTOS) nhẹ như FreeRTOS đã trở nên rất phổ biến trong các thiết bị kết nối tiêu thụ điện năng thấp. Đồng thời, các phần mở rộng POSIX thời gian thực đã được đề xuất để thống nhất giao diện và tạo điều kiện thuận lợi cho khả năng tương thích phần mềm.

Ngày nay, nhiều hệ điều hành thời gian thực (RTOS) tích hợp với trí tuệ nhân tạo và các kỹ thuật học máy để tối ưu hóa việc lập lịch, dự đoán lỗi và điều chỉnh các tham số điều khiển trong thời gian thực. Tất cả những điều này, tất nhiên, đều phải đảm bảo tính chính xác về thời gian.

Thị trường hệ điều hành thời gian thực (RTOS) trị giá vài tỷ đô la và dự kiến ​​sẽ tăng trưởng ổn định trong những năm tới, được thúc đẩy bởi các thiết bị y tế, tự động hóa công nghiệp, ô tô và các hệ thống cơ sở hạ tầng trọng yếu.

Các yêu cầu mà một hệ điều hành thời gian thực tốt phải đáp ứng

Một hệ điều hành thời gian thực (RTOS) hiện đại phải có khả năng đa nhiệm và ưu tiên , để nó có thể tạm dừng các tác vụ có độ ưu tiên thấp hơn nhằm thực thi ngay lập tức một tác vụ khẩn cấp hơn. Lập lịch dựa trên độ ưu tiên là mô hình chủ đạo: nó luôn chạy tác vụ quan trọng nhất đang sẵn sàng để thực thi.

Hơn nữa, nó phải cung cấp các cơ chế giao tiếp và đồng bộ hóa (hàng đợi, semaphore, mutex, sự kiện) được thiết kế để giảm thiểu tình trạng tắc nghẽn không cần thiết và tránh các hiện tượng như đảo ngược ưu tiên, áp dụng các giao thức kế thừa hoặc giới hạn ưu tiên khi thích hợp.

Việc hiểu rõ hành vi định thời của hệ điều hành thời gian thực (RTOS) là vô cùng cần thiết : độ trễ ngắt tối đa, thời gian chuyển đổi ngữ cảnh, thời gian thực thi các hàm đồng bộ hóa, v.v. Nếu thiếu dữ liệu này, không thể chứng minh được ứng dụng có đáp ứng được thời hạn đề ra hay không.

Thuật toán lập lịch: EDF và các mô hình khác

Lập lịch tác vụ là một trong những nền tảng của hệ thống thời gian thực. Trong số các thuật toán được nghiên cứu nhiều nhất là Earliest Deadline First (EDF) , một bộ lập lịch ưu tiên động, tối ưu trong nhiều ngữ cảnh thời gian thực.

EDF ưu tiên các nhiệm vụ dựa trên thời hạn hoàn thành tuyệt đối của chúng : nhiệm vụ có thời hạn gần nhất sẽ được ưu tiên cao nhất tại bất kỳ thời điểm nào. Điều này đảm bảo, trong những điều kiện nhất định, nếu tồn tại một kế hoạch khả thi đáp ứng tất cả các thời hạn, EDF sẽ tìm ra kế hoạch đó.

Thuật toán này mang tính phòng ngừa: nếu một tác vụ khác có thời hạn gấp rút hơn xuất hiện trong quá trình thực thi một tác vụ, hệ thống có thể tạm dừng tác vụ hiện tại và phân bổ CPU cho tác vụ mới. EDF thường được triển khai bằng cách sử dụng hàng đợi ưu tiên được sắp xếp theo thời gian còn lại cho đến thời hạn.

Một trong những ưu điểm của EDF là khả năng đạt được mức sử dụng CPU gần 100% trong khi vẫn đảm bảo đúng thời hạn, miễn là tập hợp tác vụ có thể lập lịch được. Hơn nữa, nó thích ứng tốt với môi trường năng động, nơi thời hạn hoặc thời gian thực thi ước tính thay đổi.

Ví dụ, nếu chúng ta có hai tiến trình P1 và P2 với chu kỳ và thời gian tính toán khác nhau, EDF sẽ luôn ưu tiên tiến trình có thời hạn tuyệt đối gần hơn, luân phiên thực thi khi có các kích hoạt mới và thời hạn được tính toán lại.

Tuy nhiên, EDF cũng không phải không có nhược điểm. Trong những tình huống có khối lượng công việc cực kỳ cao và thay đổi thường xuyên, việc triển khai hiệu quả có thể trở nên phức tạp, và trong một số điều kiện nhất định, vấn đề tắc nghẽn có thể phát sinh đối với các tác vụ có thời hạn tương đối dài.

Các thuật toán thời gian thực nổi tiếng khác bao gồm Rate Monotonic (RM) và Deadline Monotonic (DM) , sử dụng các ưu tiên cố định dựa trên chu kỳ hoặc khung thời gian tương đối của các tác vụ. Mỗi thuật toán đều có điều kiện tối ưu riêng và lĩnh vực ứng dụng ưa thích.

Các ứng dụng điển hình của hệ thống thời gian thực

Hệ thống STR (Stack Transfer Sensor) có mặt ở khắp mọi nơi. Trong ngành công nghiệp chế biến , chúng được sử dụng để kiểm soát và giám sát các dây chuyền sản xuất thực phẩm, đồ uống, hóa chất, dược phẩm, v.v., đảm bảo các biến số quan trọng được giữ trong giới hạn cho phép và sản phẩm cuối cùng đạt chất lượng như mong đợi.

Trong lĩnh vực vận tải, máy bay, tàu hỏa, ô tô và tàu thủy đều dựa vào các hệ thống định vị, điều khiển và an toàn thời gian thực . Các hệ thống này bao gồm từ hệ thống phanh ABS đến hệ thống kiểm soát lực kéo và ổn định, cũng như các hệ thống quản lý giao thông đường sắt và hàng hải.

Viễn thông hiện đại dựa trên việc quản lý luồng thông tin theo thời gian thực trong các mạng tốc độ cao: chuyển mạch gói, truyền tải giọng nói và video trực tiếp, đảm bảo chất lượng dịch vụ và giảm độ trễ là những nhiệm vụ mà việc đáp ứng thời hạn là vô cùng quan trọng.

Trong lĩnh vực quốc phòng, các hệ thống giám sát, radar, tác chiến điện tử và an ninh mạng sử dụng nền tảng thời gian thực để phát hiện và phản hồi các mối đe dọa trong vòng mili giây hoặc ít hơn, bảo vệ cơ sở hạ tầng trọng yếu và các nguồn lực chiến lược.

Trong y học, các thiết bị như máy theo dõi dấu hiệu sinh tồn, máy thở, máy tạo nhịp tim hoặc máy truyền dịch hoạt động với phần mềm thời gian thực, phải phản ứng an toàn với những thay đổi trong tình trạng của bệnh nhân, thường dẫn đến hậu quả sống còn nếu không kịp thời hạn.

Ngoài thế giới kỹ thuật số, thời gian thực cũng có thể được quan sát trong các quá trình sinh học. Ví dụ, một hạt giống chỉ nảy mầm khi các điều kiện môi trường nằm trong phạm vi và khung thời gian cụ thể (độ ẩm, nhiệt độ, ánh sáng). Nếu nó nảy mầm ngay khi chạm đất mà không tuân thủ các khung thời gian này, nó có thể sẽ không sống sót. Đây là một phép ẩn dụ hữu ích cho thấy một hệ thống không thích nghi với môi trường thời gian của nó có thể thất bại như thế nào.

Nhìn vào bức tranh tổng thể, STR (Surface Transparency) trải rộng trên nhiều lĩnh vực như viễn thông, đa phương tiện, điều khiển công nghiệp, robot, hàng không, đường sắt, ô tô, thiết bị gia dụng, thí nghiệm khoa học và hệ thống y tế . Và danh sách này vẫn tiếp tục được mở rộng khi các công nghệ mới được phát triển.

Trong tất cả các môi trường này , cần có các giao thức truyền thông thời gian thực cụ thể , chẳng hạn như CAN, Token Bus, TDMA-TTP, CSMA/CD được điều chỉnh hoặc các lược đồ Xác nhận tích cực hoặc Truyền lại (PAR), giúp giảm thời gian truyền và đảm bảo thời điểm dữ liệu đến nơi.

Song song với tất cả những điều này, một kỹ thuật phần mềm thời gian thực độc quyền đã được hoàn thiện, với các phương pháp luận về luồng dữ liệu, cấu trúc dữ liệu và lập trình hướng đối tượng được điều chỉnh để thể hiện các gián đoạn, thay đổi ngữ cảnh, giao tiếp bất đồng bộ và phục hồi lỗi với các yêu cầu thời gian nghiêm ngặt.

Với tất cả những điều trên, càng rõ ràng hơn lý do tại sao các hệ thống thời gian thực hiện nay là một phần thiết yếu của cơ sở hạ tầng công nghệ hiện đại: chúng chịu trách nhiệm vận hành hàng ngàn quy trình quan trọng và thường nhật một cách an toàn, đáng tin cậy, mà người dùng không cần phải suy nghĩ về mọi thứ diễn ra "ở hậu trường" chỉ trong tích tắc.