DATA)Kind of access
accessKind::=tags…
| Tags | Value | Description |
|---|---|---|
| Read | "read" |
Read access |
| Write | "write" |
Write access |
GET)Registered tags for the above type.
input
::=null
output
::=tag[]
DATA)Kind of access protection
protectionKind::=tags…
| Tags | Value | Description |
|---|---|---|
| Unprotected | "unprotected" |
Unprotected access |
| Maybe_protected | "maybe_protected" |
Maybe protected access |
| Protected | "protected" |
Protected access |
GET)Registered tags for the above type.
input
::=null
output
::=tag[]
ARRAY)Data for Mthread summary
SIGNAL)Signal for array mtThreadsSummary
DATA)Data for array rows mtThreadsSummary
mtThreadsSummaryData::= {fields…}
| Field | Format | Description |
|---|---|---|
"key" |
$mtThreadsSummary |
Entry identifier. |
"thread" |
[ number ,
string ] |
Thread |
"locksTaken" |
[ number ,
string ] [] |
Locks taken by thread |
"locksReleased" |
[ number ,
string ] [] |
Locks released by thread |
"mqueuesCreated" |
[ number ,
string ] [] |
Message queues created by thread |
"mqueuesSenders" |
[ number ,
string ] [] |
Message queues sending some messages by thread |
"mqueuesReceivers" |
[ number ,
string ] [] |
Message queues receiving some messages by thread |
"sharedVarsRead" |
string
[] |
Shared variables read by thread |
"sharedVarsWritten" |
string
[] |
Shared variables written by thread |
GET)Data fetcher for array mtThreadsSummary
input
::=number
output
::={output…}
| Output | Format | Description |
|---|---|---|
"reload" |
boolean | array fully reloaded |
"removed" |
$mtThreadsSummary
[] |
removed entries |
"updated" |
mtThreadsSummaryData
[] |
updated entries |
"pending" |
number | remaining entries to be fetched |
GET)Force full reload for array mtThreadsSummary
input
::=null
output
::=null
ARRAY)Data for Mthread summary of shared memory accesses
SIGNAL)Signal for array mtSharedVarsSummary
DATA)Data for array rows mtSharedVarsSummary
mtSharedVarsSummaryData::= {fields…}
| Field | Format | Description |
|---|---|---|
"key" |
$mtSharedVarsSummary |
Entry identifier. |
"bases" |
string | Memory bases accessed |
"zones" |
string | Memory zone accessed |
"accessKind" |
accessKind |
Is the access a read or a write? |
"protectionKind" |
protectionKind |
Kind of access protection |
"protectionMutexes" |
[ number ,
string ] [] |
Mutex protecting the access (if any) |
"markers" |
marker
[] |
List of statements where the access happens |
GET)Data fetcher for array mtSharedVarsSummary
input
::=number
output
::={output…}
| Output | Format | Description |
|---|---|---|
"reload" |
boolean | array fully reloaded |
"removed" |
$mtSharedVarsSummary
[] |
removed entries |
"updated" |
mtSharedVarsSummaryData
[] |
updated entries |
"pending" |
number | remaining entries to be fetched |
GET)Force full reload for array mtSharedVarsSummary
input
::=null
output
::=null