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
typeasync_method =
| Async_none(* <<div class="odocwiki_info"|~System calls are made synchronously~, and may block the entire program~. >> *)
| Async_detach(* <<div class="odocwiki_info"|~System calls are made in another system thread~, thus without blocking other ~Lwt threads~. ~The drawback is that it may degrade performance in some cases~. ~This is the default~. >> *)
| Async_switch(* <<div class="odocwiki_info"|~System calls are made in the main thread~, and if one blocks the execution continue in another system thread~. ~This method is the most efficient~, also you will get better performance if you force all threads to run on the same cpu~. ~On linux this can be done by using the command <<span class="odocwiki_inlinecode"|taskset>>~. ~Note that this method is still experimental~. >> *)
The text was updated successfully, but these errors were encountered:
See for instance on http://ocsigen.org/lwt/2.5.1/api/Lwt_unix the documentation for the
async_method
type:The text was updated successfully, but these errors were encountered: