Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Merge pull request #11506 from gadmm/caml_state_assertion | Gabriel Scherer | 2022-09-21 | 1 | -1/+1 | |
|\ | | | | | Introduce run-time checks that the domain lock is held | |||||
| * | Assert Caml_state != NULL | Guillaume Munch-Maccagnoni | 2022-09-07 | 1 | -1/+1 | |
| | | ||||||
* | | otherlibs/systhreads: domain_id is always int, not uintnat (#11550) | Enguerrand | 2022-09-21 | 1 | -1/+1 | |
| | | ||||||
* | | Stop passing -safe-string when building the compiler and in the testsuite | Sébastien Hinderer | 2022-09-11 | 3 | -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 Refis | 2022-08-30 | 1 | -0/+7 | |
| | ||||||
* | Restore "Protect against repeated initialization (PR#3532)" (#11473) | Guillaume Munch-Maccagnoni | 2022-08-28 | 1 | -2/+3 | |
| | ||||||
* | Make sure each thread has its own alternate stack for signal handling | Xavier Leroy | 2022-08-27 | 1 | -1/+3 | |
| | ||||||
* | Merge pull request #11349 from sadiqj/runtime_events_docs | Enguerrand | 2022-08-26 | 2 | -12/+31 | |
|\ | | | | | Runtime events docs | |||||
| * | add more documentation to the C API | Sadiq Jaffer | 2022-07-05 | 2 | -9/+14 | |
| | | ||||||
| * | add environment variables to mli and reference them in the C header | Sadiq Jaffer | 2022-06-28 | 1 | -0/+14 | |
| | | ||||||
| * | runtime tracing chapter, libruntime_events and OCAMLRUNPARAMs doc update | Sadiq Jaffer | 2022-06-28 | 1 | -3/+3 | |
| | | ||||||
* | | Build system: turn warning 66 into an error | Sébastien Hinderer | 2022-08-18 | 1 | -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 Hinderer | 2022-08-18 | 1 | -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-doc | Sébastien Hinderer | 2022-08-08 | 2 | -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` | favonia | 2022-08-08 | 2 | -2/+2 | |
| | | | ||||||
* | | | Merge pull request #11475 from OlivierNicole/fixtermios | Sébastien Hinderer | 2022-08-08 | 1 | -32/+36 | |
|\ \ \ | |/ / |/| | | Make Unix terminal interface bindings domain-safe | |||||
| * | | Unix termios interface: use POSIX type tcflag_t | Xavier Leroy | 2022-08-05 | 1 | -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-safe | Olivier Nicole | 2022-08-05 | 1 | -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_dune | Gabriel Scherer | 2022-08-01 | 1 | -4/+174 | |
|\ \ \ | |/ / |/| | | Fix dune file of the Unix library for Linux | |||||
| * | | Make otherlibs/unix dune file more suitable for Windows | Olivier Nicole | 2022-08-01 | 1 | -13/+181 | |
| | | | ||||||
| * | | Fix dune file of Unix lib (Linux only) | Olivier Nicole | 2022-08-01 | 1 | -11/+13 | |
| | | | ||||||
* | | | Fix gethostbyaddr for IPv6 arguments, continued (#11466) | Xavier Leroy | 2022-08-01 | 1 | -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 Nicole | 2022-08-01 | 1 | -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 Nicole | 2022-07-22 | 2 | -6/+2 | |
| | | ||||||
* | | Do not reinitialize mutex and cond var | Guillaume Munch-Maccagnoni | 2022-07-21 | 2 | -4/+11 | |
| | | | | | | | | This is undefined behaviour; instead they are intended to be reused. | |||||
* | | Quick fix for the multiplication of tick threads | Guillaume Munch-Maccagnoni | 2022-07-21 | 1 | -1/+0 | |
| | | ||||||
* | | Merge pull request #11400 from sadiqj/runtime_events_counters_fixes | Sadiq Jaffer | 2022-07-21 | 2 | -24/+3 | |
|\ \ | | | | | | | Runtime events counters fixes | |||||
| * | | remove events whose probes don't currently exist in 5.0 | Sadiq Jaffer | 2022-07-20 | 2 | -24/+0 | |
| | | | ||||||
| * | | fix missing EV_C_MINOR_ALLOCATED | Sadiq Jaffer | 2022-07-20 | 2 | -0/+3 | |
| | | | ||||||
* | | | Unix-win32: small clean up for opendir and rewinddir (#11432) | hhugo | 2022-07-20 | 1 | -2/+4 | |
|/ / | | | | | Co-authored-by: Hugo Heuzard <hugo.heuzard@nomadic-labs.com> | |||||
* | | Merge pull request #11406 from gasche/threads-leaks | Gabriel Scherer | 2022-07-19 | 1 | -12/+44 | |
|\ \ | | | | | | | Fix some leaks in systhreads | |||||
| * | | systhreads: also cleanup threads resource in _reinitialize | Gabriel Scherer | 2022-07-18 | 1 | -30/+35 | |
| | | | | | | | | | | | | Suggested-by: Florian Angeletti <florian.angeletti@inria.fr> | |||||
| * | | systhreads: fix leaks on thread termination | Gabriel Scherer | 2022-07-07 | 1 | -0/+26 | |
| | | | | | | | | | | | | | | | Co-authored-by: Enguerrand Decorne <decorne.en@gmail.com> Co-authored-by: Fabrice Buoro <fabrice@tarides.com> | |||||
| * | | backtrace: caml_free_backtrace_buffer | Gabriel Scherer | 2022-07-07 | 1 | -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.in | David Allsopp | 2022-07-18 | 4 | -3/+4 | |
| | | | ||||||
* | | | Simplify systhreads META file | David Allsopp | 2022-07-18 | 1 | -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 entries | David Allsopp | 2022-07-18 | 5 | -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 number | Sébastien Hinderer | 2022-07-18 | 7 | -5/+15 | |
| | | | ||||||
* | | | Some documentation | Guillaume Munch-Maccagnoni | 2022-07-16 | 2 | -4/+8 | |
| | | | ||||||
* | | | Do not access Caml_state without holding the lock in systhreads | Guillaume Munch-Maccagnoni | 2022-07-16 | 2 | -38/+53 | |
| | | | ||||||
* | | | smaller diff between unix and win32 (#11433) | hhugo | 2022-07-12 | 2 | -144/+194 | |
| | | | | | | | | | Co-authored-by: Hugo Heuzard <hugo.heuzard@nomadic-labs.com> | |||||
* | | | Merge pull request #11431 from hhugo/modern-string-api | Gabriel Scherer | 2022-07-12 | 1 | -12/+5 | |
|\ \ \ | | | | | | | | | Use modern string api | |||||
| * | | | Use modern string api | Hugo Heuzard | 2022-07-12 | 1 | -12/+5 | |
| |/ / | ||||||
* | | | Make the Field macro a volatile access (#11255) | KC Sivaramakrishnan | 2022-07-11 | 2 | -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-compat | David Allsopp | 2022-07-05 | 2 | -15/+32 | |
|\ \ | | | | | | | Add all renamed symbols to unixsupport.h | |||||
| * | | Remove the duplicate definition of win32_maperr | David Allsopp | 2022-06-28 | 2 | -2/+1 | |
| | | | ||||||
| * | | Add Windows compatibility definitions | David Allsopp | 2022-06-20 | 1 | -2/+12 | |
| | | | ||||||
| * | | Move all the compatibility macros together | David Allsopp | 2022-06-20 | 1 | -22/+15 | |
| | | | ||||||
| * | | Add remaining unix compatibility defines | David Allsopp | 2022-06-20 | 1 | -1/+16 | |
| | | | | | | | | | | | | Remainining functions for the Unix implementation of the library. | |||||
* | | | unix: flush Windows channels at exit (#11384) | Florian Angeletti | 2022-07-04 | 1 | -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. |