Hi I have some problems with call_with_time_limit… not honoring the time limit. Note that it may be in conjunction with some I/O, but I do not fathom how blocking could be involved given that a (short, 3Kb) file is read and then processed (and it looks like the reading finishes). The processing m…

[image] marcoxa: Exception = time_limit_exceeded Did you really want unification =/2? Comparison is ==/2.

Well… does it really matter in this case?

Probably not but one less thing to worry about. Sometimes when the code changes, one forgets that it is a unification and not a comparison and then time is spent chasing it down. That happened to me twice and took about an hour each time because there were no test cases for that so I religiously ch…

Hard to tell. There are some reasons for call_with_time_limit/2 to fail to abort a query. One is blocking foreign code that cannot be unblocked (for example some of the thread synchronization primitives such as mutex locking; the set depends on the OS), another are foreign code that keeps running…

Thanks… But it seems that the issue is still that the timeout does not get sent. If there is some blocking foreign code, it is in SWI Prolog itself; for sure it is not C code.

Hi the problem is that I use this scheme to test students’ code. Of course they are very… creative in their solutions, but that simply means that it is difficult to extract a proper test case. The code I posted is essentially what I use. I have a hunch that the problem may be with programs that …

Still rather weird. SWISH processes zillions of student programs and uses timeouts. What OS are you using to run the tests? What is the timeout? Do you start/stop Prolog to test a single student query each time?

I use both quite vanilla W11 and MacOS; I could try Linux. I start Prolog (latest stable release) separately for each student and load and start the test suite. The following line is in a bash script. ${swipl} -g "${prolog_code}" \ -t halt 2>&1 | tee -a "${summary_file}" >> "${result_file}" 2>&1 T…

Windows timeout handling is a bit different from the rest, but MacOS and Linux are pretty much the same. I guess waiting until it happens and then share the specific case is as good as it gets. You can send them to me by private mail/message as I guess you don’t want the student stuff and the t…

Problems with call_with_time_limit and test

General

jan February 9, 2023, 1:45pm 9

Unless your version is buggy, it is rather unlikely that the timeout is not sent. Well, I’m unsure about really short timeouts. I guess we need something to reproduce this.

Topic		Replies	Views
`call_with_time_limit/2` Not Enforcing Time Limit as Expected General	1	73	September 2, 2024
Unclear use of timeout in unit tests Help!	10	530	August 18, 2025
Time_out signal lost when many threads have been created? General	7	96	March 6, 2025
Is it possible to create something similar to call_with_time_limit/2 which doesn't kill the goal after timeout? Help!	6	511	September 28, 2019
Goal Evaluation with Timeouts Help!	14	1540	January 24, 2025

Problems with call_with_time_limit and test

Related topics