summaryrefslogtreecommitdiff
path: root/stdlib/domain.mli
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #11813 from edwintorok/5.0-docsFlorian Angeletti2022-12-191-0/+6
* clarify the doc of Domain.DLS.new_keyGabriel Scherer2022-12-151-9/+32
* Domain.at_each_spawn is gone, remove dangling reference (#11709)Christiano Haesbaert2022-12-011-13/+8
* Stdlib: mark effect and domain modules as unstable.Florian Angeletti2022-11-171-0/+4
* Clarify docs for Domain.recommended_domain_countDavid Allsopp2022-10-201-1/+4
* stdlib: remove Domain.at_each_spawnFlorian Angeletti2022-10-051-6/+0
* Domain.recommended_domain_count with type unit -> int (#11545)Gabriel Scherer2022-09-211-1/+1
* Add a function to request a recommended max number of Domains (#11309)Christiano Haesbaert2022-07-051-0/+3
* Refine the semantics of domain callbacks.KC Sivaramakrishnan2022-06-061-20/+35
* remove Domain.set_name, requires bootstrapSabine Schmaltz2022-05-261-5/+0
* Simplify Domain.joinKC Sivaramakrishnan2022-04-161-6/+3
* Minor tweaksfavonia2022-04-081-2/+2
* Revise the documentation of Domainfavonia2022-04-081-7/+15
* Make Domain.t injectivefavonia2022-04-051-1/+1
* DLS.new_key ~split_from_parent: document where the key is computedGabriel Scherer2022-01-141-0/+5
* Domain.DLS: simplify the API and implementation for parent-initialized keysXavier Leroy2022-01-141-9/+2
* Domain.DLS: derive DLS values from parent domainGabriel Scherer2022-01-141-6/+17
* Merge pull request ocaml-multicore/ocaml-multicore#745 from Engil/systhreads_...KC Sivaramakrishnan2021-12-091-0/+5
|\
| * introduce Domain.at_startup to handle systhreads setup organicallyEnguerrand Decorne2021-12-071-0/+5
* | otherlibs: dynlink is not allowed to run when the calling domain is not the m...Enguerrand Decorne2021-12-071-0/+3
|/
* runtime: add caml_thread_setnameEnguerrand Decorne2021-12-021-0/+5
* remove timer_ticks from Domain moduleTom Kelly2021-10-201-5/+0
* Move Domain.Sync.cpu_relax -> Domain.cpu_relaxTom Kelly2021-10-201-7/+3
* Remove Sync.poll from Domain moduleTom Kelly2021-10-201-4/+0
* make code grouping in domain.mli and domain.ml more logical; add license and ...Tom Kelly2021-10-201-5/+24
* add deprecated annotation for Domain.Sync.pollSadiq Jaffer2021-09-061-0/+1
* add polling at mach layerSadiq Jaffer2021-09-061-1/+1
* Ignore exceptions raised by Domain.at_exitKC Sivaramakrishnan2021-06-221-1/+2
* Add Domain.at_exit to flush the standard formattersKC Sivaramakrishnan2021-06-211-0/+4
* printf and eprintf only interleave at newlinesKC Sivaramakrishnan2021-06-211-0/+6
* Update DLS docsKC Sivaramakrishnan2021-06-141-4/+2
* Removal of wait, crticial_section, notify, yield primitivesTom Kelly2021-06-031-75/+1
* DLS doc updateSudha Parimala2020-09-291-3/+2
* Domain.DLS.new_key takes an initialiserSudha Parimala2020-09-291-11/+9
* more details on time complexity of DLS [get] and [set]Sudha Parimala2020-07-221-3/+4
* update DLS documentationSudha Parimala2020-07-221-10/+12
* use old directly instead of passing around in set functionSudha Parimala2020-07-211-1/+2
* Thread-local -> Domain-localSudha Parimala2020-07-201-7/+7
* clean-upSudha Parimala2020-07-181-3/+3
* modify types and testSudha Parimala2020-07-161-7/+21
* add thread local storageSudha Parimala2020-07-141-0/+9
* Added Domain.Sync.poll to poll for interruptsKC Sivaramakrishnan2020-02-231-1/+3
* doc changes for wait_for and wait_untilSadiq Jaffer2019-04-251-2/+4
* Remove BVars & bootstrapStephen Dolan2018-08-011-30/+0
* Add retry support for critical sectionsStephen Dolan2017-08-231-1/+4
* Add Domain.Sync.cpu_relax primitiveStephen Dolan2017-08-231-0/+4
* Add timing primitives to Domain.SyncStephen Dolan2017-08-231-0/+12
* Add Domain.timer_ticksStephen Dolan2017-08-231-0/+4
* fixup! New Domain API with better low-level synchronisation primitives.Stephen Dolan2017-08-031-10/+14
* New Domain API with better low-level synchronisation primitives.Stephen Dolan2017-08-031-10/+76
View Lorry Controller Status