[lwip-devel] [patch #9832] Contrib: Unix port: improve support for the Hurd

[Joan Lledó]

URL:
  <https://savannah.nongnu.org/patch/?9832>

                 Summary: Contrib: Unix port: improve support for the Hurd
                 Project: lwIP - A Lightweight TCP/IP stack
            Submitted by: jllledo
            Submitted on: Sun 14 Jul 2019 12:41:38 PM CEST
                Category: Contrib
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
             Assigned to: None
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any
         Planned Release: None

    _______________________________________________________

Details:

- contrib/ports/unix/port/sys_arch.c: sys_arch_sem_wait() and cond_wait():
  - On the Hurd, pthread_cond_wait() and pthread_cond_timedwait() are awakened
when
      glibc cancels the RPC that called them. I wrote some code to handle this
case.
  - contrib/ports/unix/port/include/arch/sys_arch.h: I defined SYS_ARCH_INTR
to be
    returned by sys_arch_sem_wait() when pthread_cond_wait() was awakened on
the Hurd.

- contrib/ports/unix/check/CMakeLists.txt: Add support for the Hurd:
  - Line 7: add AND NOT CMAKE_SYSTEM_NAME STREQUAL GNU
  - Line 12: set(LWIP_USE_SANITIZERS true) only if (NOT CMAKE_SYSTEM_NAME
STREQUAL GNU)
  - Line 48: add OR CMAKE_SYSTEM_NAME STREQUAL GNU

More info at:

https://lists.nongnu.org/archive/html/lwip-devel/2019-07/msg00001.html



    _______________________________________________________

File Attachments:


-------------------------------------------------------
Date: Sun 14 Jul 2019 12:41:41 PM CEST  Name:
0001-Unix-port-improve-support-for-the-Hurd.patch  Size: 5KiB   By: jllledo

<http://savannah.nongnu.org/patch/download.php?file_id=47211>

    _______________________________________________________

Reply to this item at:

  <https://savannah.nongnu.org/patch/?9832>

_______________________________________________
  Message sent via Savannah
  https://savannah.nongnu.org/