- in /var/PolySpace or on in PolySpace_RLDatas sub-folder (location is given in polyspace.conf file)
- in /tmp or in location given by %TEMP% environment variable.
Why do I receive a message 'No space left on device' when using PolySpace for C/C++ on server side?
28 次查看(过去 30 天)
显示 更早的评论
When I launch a verification on PolySpace server, I receive an error:
*** Software Safety Analysis Level N ...
System error No space left on device (nospc: No space left on device)"
采纳的回答
MathWorks Support Team
2015-4-9
The error is seen because one of the disk locations is probably full (as mentioned in the error message). On the PolySpace server, there are two locations where PolySpace can take up disk space:
As soon as this message appears, check the two locations.
On a UNIX system, if it concerns /tmp location, it is possible to redirect the TMP used by PolySpace onto /var for instance (if for instance there is enough space in /var). In bash shell, it gives:
mkdir /var/polyspace_tmp
RTE_TMP_DIR=/var/polyspace_tmp
export RTE_TMP_DIR
But as verification is launched through Queue Manager, this environment variable must be given to the Queue Manager login account. To do that, login on server machine as login account and execute the following commands (last command starts polyspaced outside service):
/etc/init.d/polyspaced stop
RTE_TMP_DIR=/var/polyspace_tmp
export RTE_TMP_DIR
$POLYSPACE_COMMON/RemoteLauncher/bin/polyspaced
Then you can relaunch the verification. If it fixes the trouble and as the Queue Manager is launched as a service, please put the environment variable in the startup script:
kill process associated with polyspaced (you launched polyspaced outside service management above)
edit /etc/init.d/polyspaced and add 'export RTE_TMP_DIR=/var/polyspace_tmp' around line 15 and save file
/etc/init.d/polyspaced start
Notes:
1. Previous hints have to be slightly adapted for a Windows OS.
2. Since R2012b, following batch option forces to locate temporary files in a results sub-folder:
-tmp-dir-in-results-dir
0 个评论
更多回答(1 个)
Anirban
2022-5-24
This error generally means that the drive containing your temporary folder got full during the Polyspace verification.
There are many ways to work around the problem. If your results folder is in a different drive, for instance, the simplest thing to do is to reuse your results folder as a temporary folder using the option -tmp-dir-in-results-dir.
0 个评论
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!