Количество защищенных общих переменных

Число защищенных общих переменных

Описание

Эта метрика измеряет количество переменных со следующими свойствами:

Переменная используется в нескольких задачах.
Все операции над переменной защищены от прерывания через критические разделы или временные исключения.

Примеры

Общие переменные, защищенные посредством временного исключения


#include <limits.h>
int shared_var;

void inc() {
    shared_var+=2;
}

void reset() {
    shared_var = 0;
}

void task() {
    volatile int randomValue = 0;
    while(randomValue) {
        reset();
        inc();
        inc();
    }
}

void interrupt() {
    shared_var = INT_MAX;
}

void interrupt_handler() {
    volatile int randomValue = 0;
    while(randomValue) {
        interrupt();
    }
}

void main() {
}

В этом примере: shared_var является защищенной общей переменной, если заданы следующие параметры:

Выбор Стоимость

Выбор	Стоимость
`Tasks (-entry-points)`	`task` `interrupt_handler`
`Temporally exclusive tasks (-temporal-exclusions-file)`	`temporal_exclusion.txt`

Tasks (-entry-points)

task

interrupt_handler

Temporally exclusive tasks (-temporal-exclusions-file) temporal_exclusion.txt

В командной строке задайте следующие параметры для выполнения примера:

-entry-points task,interrupt_handler  -temporal-exclusions-file temporal_exclusion.txt

temporal_exclusion.txt - текстовый файл, содержащий временные исключительные задачи, разделенные пробелом в одной строке:

task interrupt_handler

Переменная совместно используется task и interrupt_handler. Однако, потому что task и interrupt_handler являются временными исключениями, операции над переменной не могут прерывать друг друга.

Общие переменные, защищенные через критические разделы


#include <limits.h>
int shared_var;

void inc() {
    shared_var+=2;
}

void reset() {
    shared_var = 0;
}

void take_semaphore(void);
void give_semaphore(void);

void task() {
    volatile int randomValue = 0;
    while(randomValue) {
        take_semaphore();
        reset();
        inc();
        inc();
        give_semaphore();
    }
}

void interrupt() {
    shared_var = INT_MAX;
}

void interrupt_handler() {
    volatile int randomValue = 0;
    while(randomValue) {
        take_semaphore();
        interrupt();
        give_semaphore();
    }
}

void main() {
}

В этом примере: shared_var является защищенной общей переменной, если указано следующее:

Выбор Стоимость

Выбор	Стоимость
Точки входа	`task` `interrupt_handler`
Детали критического раздела	Запуск подпрограммы	Завершение процедуры
`take_semaphore`	`give_semaphore`

Точки входа

task

interrupt_handler

Детали критического раздела Запуск подпрограммы Завершение процедуры

take_semaphore give_semaphore

В командной строке задайте следующие параметры для выполнения примера:

-critical-section-begin  take_semaphore:cs1
-critical-section-end give_semaphore:cs1   
-entry-points task,interrupt_handle

Переменная совместно используется task и interrupt_handler. Однако, поскольку операции над переменной выполняются между вызовами начальной и конечной процедур одного и того же критического раздела, они не могут прерывать друг друга.

Метрическая информация

Группа: Проект

Акроним: PSHV

ЕГО метрика: Нет

См. также

Calculate code metrics (-code-metrics) | Critical section details (-critical-section-begin -critical-section-end) | Tasks (-entry-points) | Temporally exclusive tasks (-temporal-exclusions-file)

Представлен в R2018b

Документация