TASTE bugtrack - Taste
View Issue Details
0000698Taste[All Projects] Ocarina - C code generationpublic2017-10-26 14:042018-07-02 10:02
miguel_munoz 
hugues 
normalmajorhave not tried
assignedopen 
All
0000698: Size of __po_hi_request_t is always the maximum
The size of the message buffers sent by the bus drivers is __PO_HI_MESSAGES_MAX_SIZE, which is calculated from sizeof(__po_hi_request_t). This type is a union of all the possible types in the function interfaces. The consequence is that the size of the data sent via e.g. a serial line does not depend on which interfaces have been mapped through this serial line. Instead, it depends on the maximum data type size in the model. For instance, if we have an interface in the model with a parameter of size 1kB which local inside a partition, and a second interface with a size of 1byte that is mapped to a serial line between two partitions, the serial line will send 1kB for each byte of actual data transferred. This makes any data transfer between partitions unusable as soon as there are large types defined in the system, even if they are not actually transferred between partitions.
No tags attached.
Issue History
2017-10-26 14:04miguel_munozNew Issue
2017-10-26 14:04miguel_munozStatusnew => assigned
2017-10-26 14:04miguel_munozAssigned To => user2
2017-10-26 14:38huguesAssigned Touser2 => hugues
2017-11-15 12:11huguesNote Added: 0003122
2018-07-02 10:02maximeNote Added: 0003398

Notes
(0003122)
hugues   
2017-11-15 12:11   
See this patch as a template for drivers: https://github.com/OpenAADL/ocarina/issues/121 [^] This has been tested with messages of various size on Linux/socket. This patch must now be adapted for other drivers. This will be done as part of the update of these drivers.
(0003398)
maxime   
2018-07-02 10:02   
What is the current status in POHIC now? Is there such issue with POHIAda too ?