[Minios-devel] [UNIKRAFT/MUSL PATCH V3 00/28] Update to a first functional version

[Gaulthier Gain <gaulthier.gain@xxxxxxxxx>]

This patch series allows to have a first functional version of
musl (compiles + links). Note that a subset of functions (related to
threads and network) is not fully functional. Furthermore, some
functions can have unexpected behaviour since they use musl internal
thread support (future work: adapt musl threads implementation to
Unikraft).

We chose to consider musl network implementation in a first time.
Nevertheless, this approach is temporary since a future work will be
to add a 'posix-socket' library to Unikraft. This one will provide
socket call. Therefore musl could then provide its own primitives and
would be glueed to 'posix-socket'.

Another future changes concern musl internal headers. In order to
avoid conflicts and redefinitions, a future work will be to keep
internal headers internal only.

Finally, we noticed that there are some issues with buffering on
stdout. We are currently investigating this issue but a temporary fix
is to call `fflush()` after each output on the console.

Changes compared to V1:
- Use syscall shim layer (complete review of syscalls management);
- Integrate musl threads in musl build;
- Use musl namespace in Makefile.uk;
- Add stub for mprotect;
- Adapt musl time with Unikraft time primitives;
- Review musl build redefinitions;

Changes compared to V2:
- Update COPYING.md with musl license information;
- Update README.md with Build' and 'Known Issues' sections; 

Gaulthier Gain (28):
  Add support for C++ applications
  Call configure after patching
  Review formatting for files generations in Makefile.uk
  Update compilation flags with musl namespace
  Remove files related to syscalls management
  Add glue code rules for mem.c in Makefile.uk
  Add stub for mprotect in mem.c
  Add patch to remove syscall prototype in unistd.h
  Add patch to rename __unused field to pad
  Add patch to update time.h to avoid conflicts with uktime
  Use syscall_shim layer instead of musl internal syscalls
  Use uk/bits/syscall_nrs.h instead of musl internal bits/syscall.h
  Update __syscall_cp.c to use syscalls from the syscall_shim layer
  Avoid multiple definitions by excluding functions related to dirent
  Avoid multiple definitions by excluding functions related to fcntl
  Avoid multiple definitions by excluding functions related to legacy
  Avoid multiple definitions by excluding functions related to linux
  Avoid multiple definitions by excluding functions related to misc
  Avoid multiple definitions by excluding functions related to process
  Avoid multiple definitions by excluding functions related to signal
  Avoid multiple definitions by excluding functions related to stat
  Avoid multiple definitions by excluding functions related to stdio
  Avoid multiple definitions by excluding functions related to time
  Avoid multiple definitions by excluding functions related to unistd
  Update Config.uk with the required micro-libs
  Update COPYING.md with musl specifications
  Update MAINTAINERS.md
  Update README.md with current status

 COPYING.md                                    |  14 +-
 Config.uk                                     |  15 +-
 MAINTAINERS.md                                |   8 +-
 Makefile.uk                                   |  79 +++---
 Makefile.uk.musl.dirent                       |  18 +-
 Makefile.uk.musl.fcntl                        |  10 +-
 Makefile.uk.musl.legacy                       |   8 +-
 Makefile.uk.musl.linux                        |  22 +-
 Makefile.uk.musl.misc                         |   6 +-
 Makefile.uk.musl.process                      |  24 +-
 Makefile.uk.musl.signal                       |   4 +-
 Makefile.uk.musl.stat                         |  28 +--
 Makefile.uk.musl.stdio                        |   6 +-
 Makefile.uk.musl.time                         |  18 +-
 Makefile.uk.musl.unistd                       |  86 +++----
 README.md                                     |  25 ++
 include/syscall.h                             | 238 ------------------
 mem.c                                         |   6 +
 ...-prototype-for-syscall-from-unistd.h.patch |  26 ++
 patches/0001-prevent-local-syscall.patch      |  13 -
 ...03-Avoid-reserved-__unused-in-stat.h.patch |  26 ++
 patches/0003-prevent-local-syscall.patch      |  21 --
 patches/0004-Fix-time_h-conflicts.patch       |  32 +++
 patches/0005-Use-syscall-shim-layer.patch     | 151 +++++++++++
 patches/0006-Use-uk_bits_syscall_nrs.patch    |  26 ++
 ...-__syscall_cp-use-syscall-shim-layer.patch |  26 ++
 syscall.c                                     | 144 -----------
 27 files changed, 491 insertions(+), 589 deletions(-)
 delete mode 100644 include/syscall.h
 create mode 100644 
patches/0001-Remove-prototype-for-syscall-from-unistd.h.patch
 delete mode 100644 patches/0001-prevent-local-syscall.patch
 create mode 100644 patches/0003-Avoid-reserved-__unused-in-stat.h.patch
 delete mode 100644 patches/0003-prevent-local-syscall.patch
 create mode 100644 patches/0004-Fix-time_h-conflicts.patch
 create mode 100644 patches/0005-Use-syscall-shim-layer.patch
 create mode 100644 patches/0006-Use-uk_bits_syscall_nrs.patch
 create mode 100644 patches/0007-__syscall_cp-use-syscall-shim-layer.patch
 delete mode 100644 syscall.c

-- 
2.20.1


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel