I/O internal error

11 次查看（过去 30 天）
Alan Sorensen
Alan Sorensen 2014-3-12
回答： Nikhil Chaudhari 2018-1-21
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 个）

Alexandre De Barros
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
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
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
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.

类别

在 Help Center 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by