错误是见过因为一个磁盘的位置可能是完整的(如在错误消息中提到的)。PolySpace服务器上,有两个地方PolySpace可以占用磁盘空间:
- 在/var/PolySpace或在polyspace PolySpace_RLDatas子文件夹(位置给出。conf文件)
- 在/ tmp或位置由%临时%环境变量。
一旦出现此消息,检查两个地点。
在UNIX系统上,如果问题/ tmp的位置,可以重定向使用的tmp PolySpace到/ var例如(例如如果有足够的空间在/ var)。在bash shell,它给:
mkdir/var/polyspace_tmp
RTE_TMP_DIR = / var / polyspace_tmp
出口RTE_TMP_DIR
但是当验证通过队列管理器启动,这个环境变量必须给队列管理器登录帐户。为此,登录服务器机器上登录账户和执行以下命令(最后一个命令开始polyspaced外部服务):
/etc/init.d / polyspaced停止
RTE_TMP_DIR = / var / polyspace_tmp
出口RTE_TMP_DIR
美元POLYSPACE_COMMON / RemoteLauncher / bin / polyspaced
然后你可以重新验证。如果修复问题和队列管理器启动一个服务,请把启动脚本的环境变量:
杀了过程与polyspaced(你推出polyspaced外服务管理)
编辑/etc/init.d / polyspaced并添加“出口RTE_TMP_DIR = / var / polyspace_tmp”在第15行并保存文件
/etc/init.d / polyspaced开始
注:
1。先前的提示稍微适应一个Windows操作系统。
2。R2012b以来,批量选择的部队后定位结果子文件夹来临时文件:
-tmp-dir-in-results-dir
