Exponenta Banner

polyspaceJobsManager

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

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

Синтаксис

polyspaceJobsManager('listjobs')
polyspaceJobsManager('cancel','-job',jobNumber)
polyspaceJobsManager('remove','-job',jobNumber)
polyspaceJobsManager('getlog','-job',jobNumber)
polyspaceJobsManager('wait','-job',jobNumber)
polyspaceJobsManager('promote','-job',jobNumber)
polyspaceJobsManager('demote','-job',jobNumber)
polyspaceJobsManager('download','-job',jobNumber)
polyspaceJobsManager('download','-job',jobNumber,'-results-folder',resultsFolder)
polyspaceJobsManager(___,'-scheduler',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',...
'Bug_Finder_Example','sources');
copyfile(demo,tempDir);

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

allFiles = fullfile(tempDir, '*.c')
oneFile = fullfile(tempDir, 'numerical.c');
resFolder1 = fullfile(tempDir, 'res1');
resFolder2 = fullfile(tempDir, 'res2');
polyspaceBugFinder -batch -scheduler myMJS@myCompany.com -sources allFiles -results-dir resFolder1
polyspaceBugFinder -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'

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

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

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

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

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

См. также

Темы

Введенный в R2013b

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

Поддержка