Exponenta Banner
exponenta event 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',...
'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'

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

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

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

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

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

Смотрите также

Темы

Введенный в R2013b

Документация Polyspace Code Prover
Поддержка