In [7], efficient memory safety for

In [7], efficient memory safety for TinyOS is presented. In sensor nodes, hardware-based memory protection is not available and the resources are scarce. Resource constraints necessitate the use of unsafe, low level languages like nesC [8]. In TinyOS version 2.1, memory safety is incorporated. The goals for memory safety as given in [7] are: trap all pointer and array errors, provide useful diagnostics, and provide recovery strategies. Implementations of memory-safe TinyOS exploits the concept of a Deputy. The Deputy is a resource to resource compiler that ensures type and memory safety for C code. Code compiled by Deputy relies on a mix of compile and run-time checks to ensure memory safety. Safe TinyOS is backward compatible with earlier version of TinyOS. The Safe TinyOS tool chain inserts checks into the application code to ensure safety at run-time. When a check detects that safety is about to be violated, code inserted by Safe TinyOS takes remedial actions. TinyOS uses a static memory management approach.

Kết quả (Việt) 1:

[7], trí nhớ hiệu quả an toàn cho TinyOS được trình bày. Trong các nút cảm biến, bộ nhớ phần cứng bảo vệ là không có sẵn và các nguồn tài nguyên đang khan hiếm. Nguồn lực hạn chế đòi hỏi việc sử dụng các ngôn ngữ cấp thấp, không an toàn như nesC [8]. TinyOS Phiên bản 2.1, bộ nhớ an toàn được kết hợp. Các mục tiêu cho bộ nhớ an toàn như được đưa ra [7]: bẫy tất cả các lỗi con trỏ và mảng, cung cấp hữu ích chẩn đoán, và cung cấp các chiến lược phục hồi. Hiện thực của bộ nhớ, an toàn TinyOS khai thác khái niệm về một phó. Các phó là một trình biên dịch nguồn tài nguyên để đảm bảo an toàn loại và bộ nhớ cho mã C. Mã biên soạn bởi phó dựa vào sự pha trộn của biên dịch và thời gian chạy kiểm tra để đảm bảo an toàn bộ nhớ. TinyOS an toàn là tương thích với các phiên bản trước đó của TinyOS. Chuỗi công cụ an toàn TinyOS chèn kiểm tra vào các ứng dụng mã để đảm bảo an toàn tại thời gian chạy. Khi kiểm tra phát hiện rằng an toàn là về để được vi phạm, mã chèn bằng TinyOS an toàn cần hành động khắc phục hậu quả. TinyOS sử dụng một cách tiếp cận quản lý tĩnh bộ nhớ.

Kết quả (Việt) 2:

Trong [7], an toàn bộ nhớ hiệu quả cho TinyOS được trình bày. Trong các nút cảm biến, dựa trên phần cứng bảo vệ bộ nhớ là không có sẵn và các nguồn tài nguyên khan hiếm. chế về nguồn lực đòi hỏi việc sử dụng không an toàn, các ngôn ngữ cấp thấp như nesC [8]. Trong TinyOS phiên bản 2.1, an toàn bộ nhớ được tích hợp. Các mục tiêu về an toàn bộ nhớ như được đưa ra trong [7] là: bẫy tất cả các con trỏ và mảng lỗi, cung cấp chẩn đoán hữu ích, và cung cấp các chiến lược phục hồi. Triển khai các TinyOS bộ nhớ an toàn khai thác các khái niệm về một cấp phó. Phó là một nguồn lực để tài nguyên trình biên dịch để đảm bảo loại và bộ nhớ an toàn cho mã C. Mã biên soạn bởi Phó dựa trên sự kết hợp kiểm tra biên dịch và chạy thời gian để đảm bảo an toàn bộ nhớ. Safe TinyOS tương thích ngược với các phiên bản trước đó của TinyOS. Chuỗi an toàn công cụ TinyOS chèn kiểm tra vào mã ứng dụng để đảm bảo an toàn tại thời gian chạy. Khi kiểm tra phát hiện rằng an toàn là về để được vi phạm, mã chèn vào bằng Safe TinyOS có hành động khắc phục hậu quả. TinyOS sử dụng một cách tiếp cận quản lý bộ nhớ tĩnh.