-
Notifications
You must be signed in to change notification settings - Fork 177
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
MSVCR - aborting on theories test as worker_set is NULL in worker_read_event #58
Comments
Just to be sure, does running the test with |
Yup. Here is the working directory: http://1drv.ms/1PDoaZg |
Huh. I downloaded your work directory, and run the test -- everything works fine. ... I hope I'm not going to lose my mind on this. In any case, I don't see how I can help beyond that. I'm going to check if this happens somehow on my windows 7 setup, but I think this has something to do with your setup, somehow... Could you maybe try this:
and report your findings ? |
Thanks for the steps and sure thing, I will report my finding soon'ish. I am actually working on two virtual machines. Once I will finish the tasks in hand, will reboot the system and take a fresh stab at it. Incidentally, I closed the running command prompt and copied Nonetheless, I will keep you apprised if I find anything interesting. Meanwhile, this can be considered as a "maybe bug", with least probability. :) |
Finally got a chance to reboot. On my system, it is still throwing the exception but cannot reproduce on windows 10 VM with ditto steps. I will try to investigate what went wrong with my setup. As this issue is specific to my system, I presume this ticket should be closed? |
I'm going to leave this open a bit more until we get some more infos, maybe there is a bug somewhere, but it only manifest itself on some very special conditions. I'm currently testing multiple low-resource configurations to see if it comes from this. |
Ok, it seems that I am able to reproduce it sometimes. I have configured the Windows 10 VM to use 1GB of RAM, and 2 cores running with a 50% resource attribution. I am running from a git shell Edit: I have further lifted the resources to 2GB of RAM, and 2 dedicated cores; it still happens with the command above. |
I've linked the error to the effective number of maximum jobs. Calling ./theories.cc.bin.exe -j30 immediately triggers the |
After further investigation, it seems that the problem arises from the pipe created by windows. Currently, to create a pipe, Explicitely specifying a large size for the buffer (like 10 * 4096) fixes the issue, but would be the wrong way of fixing it. What I don't understand is why writing to the pipe when the pipe is full does not block the fwrite call, when CreatePipe returns file handles that are explicitely blocking. |
@am11 I'm trying an experimental fix that so far didn't trigger the error on my end, could you try it on your system ? The fix is on the Edit: I tried another (and probably more correct) approach for a fix that also doesn't trigger the |
Great. I'm merging fix/58-alt, as I suspect the commit on fix/58 to work more by accident, and does not address the root cause, which fix/58-alt does. |
On Windows x64 with VS2015, current bleeding branch (ref. 4cc826e) chokes on running theories test with following commands sequence:
Following dialog is shown, when building with Debug configuration and debugging with IDE suggests that it is aborting from src/core/worker.c#L72 (in release, it shows a different more cryptic message):
Here is the call stack:
while still at breakpoints, here is how the locals look like:
The text was updated successfully, but these errors were encountered: