-osek-multitasking
)Настройте многозадачную настройку из НЕФТЯНОГО определения файла
Эта опция не доступна для кода, сгенерированного из кода MATLAB® или моделей Simulink®.
Задайте НЕФТЯНЫЕ файлы, которые Polyspace® анализирует, чтобы настроить многозадачную настройку вашего проекта OSEK.
Пользовательский интерфейс: В панели Configuration опция доступна на узле Multitasking. Смотрите Зависимости для других опций, которые необходимо также включить.
Командная строка: Используйте опцию -osek-multitasking
. Смотрите информацию о командной строке.
Если ваш проект включает НЕФТЯНЫЕ файлы, Polyspace может проанализировать эти файлы, чтобы настроить задачи, прерывания, циклические задачи и критические разделы. Вы не должны настраивать их вручную.
Polyspace ищет и анализирует НЕФТЯНЫЕ файлы, чтобы настроить вашу многозадачную настройку.
auto
Ищите НЕФТЯНЫЕ файлы в своем источнике проекта и включайте папки, но не в их подпапках.
custom
Ищите НЕФТЯНЫЕ файлы на заданном пути и подпапках path. Можно задать путь к НЕФТЯНЫМ файлам или к папке, содержащей файлы.
Когда вы выбираете эту опцию в вашем исходном коде, Polyspace поддерживает эти многозадачные ключевые слова OSEK:
TASK
DeclareTask
ActivateTask
DeclareResource
GetResource
ReleaseResource
ISR
DeclareEvent
DeclareAlarm
Polyspace анализирует НЕФТЯНЫЕ файлы, что вы предусматриваете TASK
, ISR
, RESOURCE
, и ALARM
определения. Анализ использует эти определения и поддерживаемые многозадачные ключевые слова, чтобы сконфигурировать задачи, прерывания, циклические задачи и критические разделы.
Пример: анализируйте свой многозадачный проект OSEK
Чтобы видеть, как модели Polyspace TASK
, ISR
, и RESOURCE
определения из ваших НЕФТЯНЫХ файлов, откройте Concurrency window от панели Dashboard.
Polyspace не настраивает многозадачную настройку для вашего проекта OSEK.
Убедитесь, что вы объявляете все задачи при помощи DeclareTask
или TASK
ключевые слова, прежде чем вы передадите те задачи как параметры к функциям или макросам, которые ожидают задачу. Например, если вы передаете задачу foo
к ActivateTask
не используя DeclareTask(foo);
во-первых, Polyspace считает задачу foo
неопределенный, который приводит к ошибке компиляции.
Анализ игнорирует TerminateTask()
объявления в вашем исходном коде и полагают, что последующий код выполнен.
Polyspace игнорирует элементы синтаксиса ваших НЕФТЯНЫХ файлов, которые не следуют за синтаксисом, заданным здесь.
Чтобы включить эту опцию в пользовательском интерфейсе десктопных решений, сначала выберите опцию External multitasking configuration
.
Параметр:
-osek-multitasking |
Значение:
auto | пользовательский =' |
Значение по умолчанию: Off |
Пример (Средство поиска Ошибки):
Polyspace Bug Finder - источники |
Пример (Программа автоматического доказательства Кода):
Polyspace Code Prover - источники |
Пример (Сервер Средства поиска Ошибки):
сервер средства поиска ошибки полипробела - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |