I/O internal error

2014 3 12
4 个回答
更新时间：2018 1 21
2 次查看（30 天）

0 个投票

While running Polyspace Code Prover (R2013b), after the compile phase and about 87% through the Intermediate phase, I get an I/O Exception
exception Bind(Bind) raised.
*** I/O internal error in getc, n=0 on file "#<fd>" at position 7434723
exception Io(Io) raised.
What can I do to avoid or fix this issue?

请先登录，再回答此问题。

回答（4 个）

1 个投票

Hello Alan,
First, I can suggest you to try your verification with the latest version, 14a. If the problem is still there, I suggest you to contact the technical support, and if possible to attach the verification log to your request.
Best regards,
Alex
Marvin
Marvin 2014-11-7

0 个投票

Hello, I have the same problem, but with Polyspace Code Prover (R2014a) and about 89% through the Intermediate phase. Until now, I've get this error for 4 times. I get an I/O Exception:
*** I/O internal error in getc, n=0 on file "#<fd>" at position 516860
exception Io(Io) raised.
What can I do? Is there a fix?
Alexandre De Barros
Alexandre De Barros 2014-11-10

0 个投票

Hi Marvin!
This kind of errors are really "low level" errors, so there is no easy workaround.
Do you see in the log a message like:
exception SysErr(OS.SysErr(name="No space left on device", syserror=nospc)) raised.
or
Out of memory. Unable to allocate heap with 3,981,311,962 bytes.
If yes, this could be a scaling problem.
Having the full log could help, so like Alan I invite you to contact the support and send them the verification log to have a more precise diagnosis.
Best regards,
Alex
Nikhil Chaudhari
Nikhil Chaudhari 2018-1-21

0 个投票

I Am getting a error while running code in intermediate stage.(2016b) code prver
** C to intermediate language translation - 1 (P_SP) * I/O error on BinIo.openOut (file=E:\Polyspace\TEMP\1DFC_1516541746\640D8D_12_E9C\6366.sdp). Retrying...(errno=2) * I/O error on BinIo.openOut (file=E:\Polyspace\TEMP\1DFC_1516541746\640D8D_12_E9C\6366.sdp). Retrying...(errno=2) * I/O error on BinIo.openOut (file=E:\Polyspace\TEMP\1DFC_1516541746\640D8D_12_E9C\6366.sdp). Retrying...(errno=2) * I/O error on BinIo.openOut (file=E:\Polyspace\TEMP\1DFC_1516541746\640D8D_12_E9C\6366.sdp). Retrying...(errno=2)
* I/O error on BinIo.openOut (file=E:\Polyspace\TEMP\1DFC_1516541746\640D8D_12_E9C\6366.sdp). Exiting. * flags=0x200 System error No such file or directory (noent: No such file or directory) exception Io(Io) raised.

类别

在 帮助中心 和 File Exchange 中查找有关 Introduction to Installation and Licensing 的更多信息

产品

标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by