[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[MirageOS-devel] Xen C stubs / profiling / TLS / status

I'm currently working on upstreaming the profiling/tracing support for
Mirage, and also on fixing the C compilation problems on Xen/x86
(needed for TLS on Xen).

I now have quite a few pull requests open and managing all the various
branches is getting tricky (not least because of the Mirage practice
of keeping OASIS files and changelogs under version control, making
every PR conflict with every other). If someone could merge a few of
them, that would help a lot! (I think I have permission to do it
myself, but that seems rude and having someone else review them is
always useful)

For example, on mirage-platform, I have:

https://github.com/mirage/mirage-platform/pull/108 (Use monotonic time
for events)
https://github.com/mirage/mirage-platform/pull/107 (Add some more C
functions for the TLS libraries)
https://github.com/mirage/mirage-platform/pull/105 (Depend on
mirage-profile to add tracing support)

Merging #108 would not only fix sleep on Xen/x86, but would also unblock

https://github.com/mirage/mirage-profile/pull/2 (Remove C stubs for
adding timestamp on Xen)

after which I could merge the mirage-profile mvars thread:


which would allow me to make a PR for the tracing work on tcpip. That,
in turn, would be easier to manage if these PRs were merged first:

https://github.com/mirage/mirage-tcpip/pull/86 (Fixed race waiting for
ARP response)
https://github.com/mirage/mirage-tcpip/pull/85 (Build Xen stubs
separately, with CFLAGS from Mini-OS)

Merging #85 would, in particular, unblock:

https://github.com/mirage/mirage/pull/332 (Get Xen linker options from
ocamlfind xen_linkopts variables)

(which also depends on mirage-profile/pull/2, which is blocked by


Dr Thomas Leonard        http://0install.net/
GPG: 9242 9807 C985 3C07 44A6  8B9A AE07 8280 59A5 3CC1
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

MirageOS-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.