Conversation
|
The patch also contains some fixes on Spacetime:
|
|
Maybe Could you please split the patch for the fix to the hard-coded value in |
|
I like the feature, but not the name. If I understand correctly, this is about reserving bits from the header words, for whatever purpose one can imagine. This could be used for debugging (e.g. tracing where a value has been created) as well as profiling, for instance; and possibly for other purposes. What about |
2dd399a to
9147f2d
Compare
|
I followed @alainfrisch naming advice for the option in Maybe we can merge, and change the name later if really important. |
9147f2d to
6b436a4
Compare
with XX a number smaller than 32 (to leave at least 22 bits for the size)
|
Looks like we have no opposition to the latest version, so merging. |
Add --reserved-header-bits XX to ./configure
add caml_young_alloc_start and caml_young_alloc_end in minor_gc.c
ce76e02 flambda-backend: Bugfix for type_application (ocaml#746) 44f3afb flambda-backend: PR580 for main branch (ocaml#743) b851eaa flambda-backend: Backport first part of ocaml/ocaml PR10498 (ocaml#737) fafb4bd flambda-backend: Fix return mode for eta-expanded function in type_argument (ocaml#735) c31f6c3 flambda-backend: Fix treatment of functions called [@nontail] (ocaml#725) 847781e flambda-backend: Fix build_upstream post-PR703 (ocaml#712) bfcbbf8 flambda-backend: Extend Pblock value kind to handle variants (ocaml#703) b2cab95 flambda-backend: Merge ocaml-jst a6d6e0e flambda-backend: Merge ocaml-jst 88a4f63 flambda-backend: Use Pmakearray for immutable arrays (ocaml#699) eeaa44b flambda-backend: Install an ocamldoc binary (ocaml#695) 48d322b flambda-backend: Ensure that GC is not invoked from bounds check failures (ocaml#681) 4370fa1 flambda-backend: Review changes of term directory (ocaml#602) 65a4566 flambda-backend: Add code coverage using bisect_ppx (ocaml#352) 63ab65f flambda-backend: Bugfix for primitive inclusion (ocaml#662) 7e3e0c8 flambda-backend: Fix inclusion checks for primitives (ocaml#661) 96c68f9 flambda-backend: Speed up linking by changing cmxa format (ocaml#607) 1829150 flambda-backend: Bugfix for Translmod.all_idents (ocaml#659) git-subtree-dir: ocaml git-subtree-split: ce76e02
Support for adding profinfo in headers is added by Spacetime. This commit
generalizes that support by providing this feature without Spacetime.
You can now specify "./configure --profinfo 22" for example to tell OCaml that you want the last 22 bits of the header (on 64 bits) to be preserved to store block profiling information.