You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 6624 Reporter:@whitequark Assigned to:@gasche Status: closed (set by @xavierleroy on 2016-12-07T10:47:13Z) Resolution: fixed Priority: normal Severity: minor Fixed in version: 4.03.0+dev / +beta1 Category: ~DO NOT USE (was: OCaml general)
Bug description
Android lacks declarations for pthread_cancel and pthread_atfork, the reasons and workarounds for which are provided in the attached patch.
My (weak) understanding is that your patch completely silences st_thread_kill on Android. How does that not cause trouble further down? The only use of st_thread_kill I see is in caml_thread_cleanup, which is called by caml_thread_stop and also exposed as an external primitive.
The point is a bit moot, because Android simply does not have any way to do what st_thread_kill does. On a second thought I probably should raise some exception inside st_thread_kill instead (there is simply no way to actually kill the thread on Android, and using Thread.kill is extremely bad design anyway). Do you know which one?
Original bug ID: 6624
Reporter: @whitequark
Assigned to: @gasche
Status: closed (set by @xavierleroy on 2016-12-07T10:47:13Z)
Resolution: fixed
Priority: normal
Severity: minor
Fixed in version: 4.03.0+dev / +beta1
Category: ~DO NOT USE (was: OCaml general)
Bug description
Android lacks declarations for pthread_cancel and pthread_atfork, the reasons and workarounds for which are provided in the attached patch.
File attachments
The text was updated successfully, but these errors were encountered: