Exponenta Banner
exponenta event banner

polyspaceJobsManager

Управление заданиями Polyspace в кластере Parallel Server MATLAB

свернуть все на странице

Синтаксис

polyspateTalkedManager («» listjobs «»)
polyspateTalkedManager ('отмена', '-job', jobNumber)
polyspateTalkedManager ('remove', '-job', jobNumber)
polyspateTalkedManager ('getlog', '-job', jobNumber)
polyspateTalkedManager ('wait', '-job', jobNumber)
polyspateTalkedManager ('повышение', '-job', jobNumber)
polyspateTalkedManager ('понизить', '-job', jobNumber)
polyspateTalkedManager ('загрузка', '-job', jobNumber)
polyspateTalkedManager ('загрузка', '-job', jobNumber, '-results-folder', resultsFolder)
polyspateTalkedManager (___, '-scheduler', планировщик)

Описание

пример

polyspaceJobsManager('listjobs') перечисляет все задания Polyspace ® в кластере .

пример

polyspaceJobsManager('cancel','-job',jobNumber) отменяет указанное задание. Задание отображается в очереди как отмененное.

пример

polyspaceJobsManager('remove','-job',jobNumber) удаляет указанное задание из кластера.

пример

polyspaceJobsManager('getlog','-job',jobNumber) отображает журнал для указанного задания.

polyspaceJobsManager('wait','-job',jobNumber) приостанавливается до выполнения указанного задания.

пример

polyspaceJobsManager('promote','-job',jobNumber) перемещает указанное задание вверх в очереди планировщика заданий MATLAB ®.

polyspaceJobsManager('demote','-job',jobNumber) перемещает указанное задание вниз в очереди планировщика заданий MATLAB.

polyspaceJobsManager('download','-job',jobNumber) загружает результаты из указанного задания. Результаты загружаются в папку, указанную при запуске анализа, с помощью -results-dir вариант.

пример

polyspaceJobsManager('download','-job',jobNumber,'-results-folder',resultsFolder) загружает результаты из указанного задания в resultsFolder.

пример

polyspaceJobsManager(___,'-scheduler',scheduler) выполняет указанное действие над указанным планировщиком заданий. Если сервер с предыдущим синтаксисом не указан, Polyspace использует сервер, сохраненный в настройках Polyspace.

Примеры

свернуть все

В этом примере используйте планировщик планировщика заданий MATLAB для удаленного запуска Polyspace и мониторинга заданий через очередь.

Перед выполнением этого примера настройте планировщик заданий MATLAB и метрики Polyspace. В этом примере используется myMJS@myCompany.com планировщик. При выполнении этого примера замените этот планировщик собственным именем кластера.

Настройте исходные файлы.

tempDir = fullfile(tempdir, 'psdemo', 'src');
mkdir(tempDir);
demo = fullfile(polyspaceroot,'polyspace','examples','cxx',...
'Code_Prover_Example','sources');
copyfile(demo,tempDir);

Отправьте два задания планировщику.

allFiles = fullfile(tempDir, '*.c')
oneFile = fullfile(tempDir, 'numerical.c');
resFolder1 = fullfile(tempDir, 'res1');
resFolder2 = fullfile(tempDir, 'res2');
polyspaceCodeProver -batch -scheduler myMJS@myCompany.com -sources allFiles -results-dir resFolder1
polyspaceCodeProver -batch -scheduler myMJS@myCompany.com -sources oneFile -results-dir resFolder2 -add-to-results-repository
polyspaceJobsManager('listjobs','-scheduler','myMJS@myCompany.com')
ID	AUTHOR	APPLICATION	LOCAL_RESULTS_DIR	WORKER	STATUS	DATE	LANG	CLUSTER_MODE
...
19	user	Polyspace	C:\Temp\psdemo\res1		queued	Wed Mar 16 16:48:38 EST 2014	C	Batch
20	user	Polyspace	C:\Temp\psdemo\res2		queued	Wed Mar 16 16:48:38 EST 2014	C	Batch

Если задания не запущены, продвигайте второе задание до первого.

polyspaceJobsManager('promote','-job','20','-scheduler','myMJS@myCompany.com')

Задание 20 запускается до задания 19.

Отменить задание 19.

polyspaceJobsManager('cancel','-job','19','-scheduler','myMJS@myCompany.com')
polyspaceJobsManager('listjobs','-scheduler','myMJS@myCompany.com')
ID	AUTHOR	APPLICATION	LOCAL_RESULTS_DIR	WORKER	STATUS	DATE	LANG	CLUSTER_MODE
...
19	user	Polyspace	C:\Temp\psdemo\res1		cancelled	Wed Mar 16 16:48:38 EST 2014	C	Batch
20	user	Polyspace	C:\Temp\psdemo\res2		running	Wed Mar 16 16:48:38 EST 2014	C	Batch

Удалить задание 19.

polyspaceJobsManager('remove','-job','19','-scheduler','myMJS@myCompany.com')
polyspaceJobsManager('listjobs','-scheduler','myMJS@myCompany.com')
ID	AUTHOR	APPLICATION	LOCAL_RESULTS_DIR	WORKER	STATUS	DATE	LANG	CLUSTER_MODE
...
20	user	Polyspace	C:\psdemo\res2		completed	Wed Mar 16 16:48:38 EST 2014	C	Batch

Получите журнал для задания 20.

polyspaceJobsManager('getlog','-job','20','-scheduler','myMJS@myCompany.com')

Загрузите информацию из задания 20.

resFolder3 = fullfile(tempDir, 'res3');
polyspaceJobsManager('download','-job','20','-results-folder', resFolder3,'-scheduler','myCluster')

Входные аргументы

свернуть все

Номер задания в очереди, которым вы хотите управлять, указанный как вектор символов в одиночных кавычках.

Пример: '-job','10'

Путь к папке результатов, указанной как вектор символов в одиночных кавычках. В этой папке хранятся загруженные файлы результатов.

Пример: '-results-folder','C:\psdemo\myresults'

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

  • Имя компьютера, на котором размещен главный узел кластера Parallel Server™ MATLAB (NodeHost).

  • Имя планировщика заданий MATLAB на хосте головного узла (MJSName@NodeHost).

  • Имя профиля кластера MATLAB (ClusterProfile).

Пример: '-scheduler','myscheduler@mycompany.com'

См. также

Темы

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

Документация по программе проверки кода Polyspace

Поддержка