Skip to content
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

Out-of-bounds array access in Event.sync #7286

Closed
vicuna opened this issue Jul 6, 2016 · 1 comment
Closed

Out-of-bounds array access in Event.sync #7286

vicuna opened this issue Jul 6, 2016 · 1 comment

Comments

@vicuna
Copy link

vicuna commented Jul 6, 2016

Original bug ID: 7286
Reporter: mfp
Status: closed (set by @xavierleroy on 2017-09-24T15:33:06Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.02.3
Fixed in version: 4.03.0
Category: otherlibs
Duplicate of: #7013

Bug description

I've been getting backtraces like the following on a program that uses
Event via Lwt_preemptive.detach:

Thread 1 killed on uncaught exception Invalid_argument("index out of bounds")
Raised by primitive operation at file "event.ml", line 93, characters 4-20
Called from file "src/preemptive/lwt_preemptive.ml", line 79, characters 17-63
Called from file "thread.ml", line 37, characters 8-14

The exception is raised in a Lwt_preemptive worker thread that performs this operation:

let id, task = Event.sync (Event.receive worker.task_channel) in

(BTW. Lwt_preemptive is moving away from Event because of #7158, but this separate
issue stands.)

@vicuna
Copy link
Author

vicuna commented Jul 6, 2016

Comment author: mfp

This issue is a duplicate of #7013, which I see has been fixed in 4.03.
(I've got no idea why searching for "Event" did not return that issue ---
I found it indirectly when I double-checked event.ml's history).

Please close.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant