summaryrefslogtreecommitdiff
path: root/otherlibs
Commit message (Collapse)AuthorAgeFilesLines
...
* Merge pull request #11506 from gadmm/caml_state_assertionGabriel Scherer2022-09-211-1/+1
|\ | | | | Introduce run-time checks that the domain lock is held
| * Assert Caml_state != NULLGuillaume Munch-Maccagnoni2022-09-071-1/+1
| |
* | otherlibs/systhreads: domain_id is always int, not uintnat (#11550)Enguerrand2022-09-211-1/+1
| |
* | Stop passing -safe-string when building the compiler and in the testsuiteSébastien Hinderer2022-09-113-3/+3
|/ | | | | | PR #1252 has made the safe-string mode the default so passing -safe-string explicitly has become useless since this PR has been merged, even more useless since support for mutable strings was removed in OCaml 5.0.
* fix unix' dune build (#11521)Thomas Refis2022-08-301-0/+7
|
* Restore "Protect against repeated initialization (PR#3532)" (#11473)Guillaume Munch-Maccagnoni2022-08-281-2/+3
|
* Make sure each thread has its own alternate stack for signal handlingXavier Leroy2022-08-271-1/+3
|
* Merge pull request #11349 from sadiqj/runtime_events_docsEnguerrand2022-08-262-12/+31
|\ | | | | Runtime events docs
| * add more documentation to the C APISadiq Jaffer2022-07-052-9/+14
| |
| * add environment variables to mli and reference them in the C headerSadiq Jaffer2022-06-281-0/+14
| |
| * runtime tracing chapter, libruntime_events and OCAMLRUNPARAMs doc updateSadiq Jaffer2022-06-281-3/+3
| |
* | Build system: turn warning 66 into an errorSébastien Hinderer2022-08-181-1/+1
| | | | | | | | | | Now that the warning has been disabled exactly where it was currently necessary to disable it, we can turn it into an error in the build system.
* | Globally enable warning 66 (unused-open-bang)Sébastien Hinderer2022-08-181-1/+1
| | | | | | | | | | But make sure not to turn it into an error at this stage, so that all the warnings get printed.
* | Merge pull request #11481 from favonia/umask-docSébastien Hinderer2022-08-082-2/+2
|\ \ | | | | | | Fix the type of umask to `file_perm -> file_perm`
| * | Fix the type of Unix.umask to `Unix.file_perm -> Unix.file_perm`favonia2022-08-082-2/+2
| | |
* | | Merge pull request #11475 from OlivierNicole/fixtermiosSébastien Hinderer2022-08-081-32/+36
|\ \ \ | |/ / |/| | Make Unix terminal interface bindings domain-safe
| * | Unix termios interface: use POSIX type tcflag_tXavier Leroy2022-08-051-8/+8
| | | | | | | | | | | | | | | Since POSIX.1, the 4 "flag" members of `struct termios` have type `tcflag_t`. Hence, use `tcflag_t` instead of `int` to access them.
| * | Make Unix terminal interface bindings domain-safeOlivier Nicole2022-08-051-28/+32
| | | | | | | | | | | | | | | | | | | | | Up to now, Unix.tcgetattr and Unix.tcsetattr both modify a global variable of type `struct termios`. To make the bindings domain-safe, this replaces the global variable with stack-allocated variables.
* | | Merge pull request #11467 from OlivierNicole/fix_duneGabriel Scherer2022-08-011-4/+174
|\ \ \ | |/ / |/| | Fix dune file of the Unix library for Linux
| * | Make otherlibs/unix dune file more suitable for WindowsOlivier Nicole2022-08-011-13/+181
| | |
| * | Fix dune file of Unix lib (Linux only)Olivier Nicole2022-08-011-11/+13
| | |
* | | Fix gethostbyaddr for IPv6 arguments, continued (#11466)Xavier Leroy2022-08-011-13/+12
| | | | | | | | | The fix from #11461 did not handle the case where HAS_IPV6 is not defined.
* | | Fix gethostbyaddr for IPv6 arguments and make it domain-safe (#11461)Olivier Nicole2022-08-011-16/+34
|/ / | | | | | | | | | | | | | | | | caml_gethostbyaddr would always call gethostbyaddr with an IPv4 address type and structure, even when its argument is an IPv6 address. This commit also removes a file-local mutable variable for the sake of domain safety. Added a test.
* | Revert incorrect marking of socketpair as unimplemented on Windows (#11452)Olivier Nicole2022-07-222-6/+2
| |
* | Do not reinitialize mutex and cond varGuillaume Munch-Maccagnoni2022-07-212-4/+11
| | | | | | | | This is undefined behaviour; instead they are intended to be reused.
* | Quick fix for the multiplication of tick threadsGuillaume Munch-Maccagnoni2022-07-211-1/+0
| |
* | Merge pull request #11400 from sadiqj/runtime_events_counters_fixesSadiq Jaffer2022-07-212-24/+3
|\ \ | | | | | | Runtime events counters fixes
| * | remove events whose probes don't currently exist in 5.0Sadiq Jaffer2022-07-202-24/+0
| | |
| * | fix missing EV_C_MINOR_ALLOCATEDSadiq Jaffer2022-07-202-0/+3
| | |
* | | Unix-win32: small clean up for opendir and rewinddir (#11432)hhugo2022-07-201-2/+4
|/ / | | | | Co-authored-by: Hugo Heuzard <hugo.heuzard@nomadic-labs.com>
* | Merge pull request #11406 from gasche/threads-leaksGabriel Scherer2022-07-191-12/+44
|\ \ | | | | | | Fix some leaks in systhreads
| * | systhreads: also cleanup threads resource in _reinitializeGabriel Scherer2022-07-181-30/+35
| | | | | | | | | | | | Suggested-by: Florian Angeletti <florian.angeletti@inria.fr>
| * | systhreads: fix leaks on thread terminationGabriel Scherer2022-07-071-0/+26
| | | | | | | | | | | | | | | Co-authored-by: Enguerrand Decorne <decorne.en@gmail.com> Co-authored-by: Fabrice Buoro <fabrice@tarides.com>
| * | backtrace: caml_free_backtrace_bufferGabriel Scherer2022-07-071-1/+2
| | | | | | | | | | | | | | | Co-authored-by: Enguerrand Decorne <decorne.en@gmail.com> Co-authored-by: Fabrice Buoro <fabrice@tarides.com>
* | | Standardise order of lines in META.inDavid Allsopp2022-07-184-3/+4
| | |
* | | Simplify systhreads META fileDavid Allsopp2022-07-181-11/+4
| | | | | | | | | | | | | | | | | | threads.posix is an artefact of vmthreads days - keep it as an alias of the main package only. No need for all the various predicates and so forth, therefore.
* | | Remove redundant directory entriesDavid Allsopp2022-07-185-5/+0
| | | | | | | | | | | | | | | These entries are from when the META files were in a different location from the libraries themselves.
* | | Let configure generate the META files, with a proper version numberSébastien Hinderer2022-07-187-5/+15
| | |
* | | Some documentationGuillaume Munch-Maccagnoni2022-07-162-4/+8
| | |
* | | Do not access Caml_state without holding the lock in systhreadsGuillaume Munch-Maccagnoni2022-07-162-38/+53
| | |
* | | smaller diff between unix and win32 (#11433)hhugo2022-07-122-144/+194
| | | | | | | | | Co-authored-by: Hugo Heuzard <hugo.heuzard@nomadic-labs.com>
* | | Merge pull request #11431 from hhugo/modern-string-apiGabriel Scherer2022-07-121-12/+5
|\ \ \ | | | | | | | | Use modern string api
| * | | Use modern string apiHugo Heuzard2022-07-121-12/+5
| |/ /
* | | Make the Field macro a volatile access (#11255)KC Sivaramakrishnan2022-07-112-3/+3
|/ / | | | | | | | | | | | | | | `Field(v,i)` is now `volatile`-qualified, to better handle races with concurrent updates in C or in OCaml. (More complete discussion at #10992.) `&Field(v,i)` now has type `volatile value *`. Add `volatile` qualifiers to `caml_modify`, `caml_initialize`, and in internal parts of the runtime system.
* | Merge pull request #11336 from dra27/unix-header-compatDavid Allsopp2022-07-052-15/+32
|\ \ | | | | | | Add all renamed symbols to unixsupport.h
| * | Remove the duplicate definition of win32_maperrDavid Allsopp2022-06-282-2/+1
| | |
| * | Add Windows compatibility definitionsDavid Allsopp2022-06-201-2/+12
| | |
| * | Move all the compatibility macros togetherDavid Allsopp2022-06-201-22/+15
| | |
| * | Add remaining unix compatibility definesDavid Allsopp2022-06-201-1/+16
| | | | | | | | | | | | Remainining functions for the Unix implementation of the library.
* | | unix: flush Windows channels at exit (#11384)Florian Angeletti2022-07-041-10/+9
| | | | | | | | | | | | Introduce the `caml_ml_open_descriptor_out_with_flags` and `caml_ml_open_descriptor_in_with_flags` functions in runtime/io.c. Use them to convert Windows file descriptors to channels.