Method and system for multicore communication with safety properties
摘要:
A method for sending communication data includes: ascertaining whether a configuration of a communication channel between a data-sending application and at least one data-receiving application can activate a write lock that precludes at least one further data-sending application from writing data to a first memory area; activating the write lock, if the configuration of the communication channel provides for the activation of the write lock; writing the communication data and sender state data indicating the communication data to the first data memory area; and deactivating the write lock if the configuration of the communication channel provides for the activation of the write lock. The data-sending and data-receiving applications each have read access to the first data memory area, and the activation of the write lock does not substantially adversely affect the read access by each of the data-sending and data-receiving applications to the first data memory area.
信息查询
0/0