1. 15 4月, 2011 3 次提交
  2. 14 4月, 2011 1 次提交
    • R
      simplify cancellation point handling · 9beb6330
      Rich Felker 提交于
      we take advantage of the fact that unless self->cancelpt is 1,
      cancellation cannot happen. so just increment it by 2 to temporarily
      block cancellation. this drops pthread_create.o well under 1k.
      9beb6330
  3. 07 4月, 2011 6 次提交
  4. 06 4月, 2011 1 次提交
    • R
      new framework to inhibit thread cancellation when needed · 729cb49f
      Rich Felker 提交于
      with these small changes, libc functions which need to call functions
      which are cancellation points, but which themselves must not be
      cancellation points, can use the CANCELPT_INHIBIT and CANCELPT_RESUME
      macros to temporarily inhibit all cancellation.
      729cb49f
  5. 04 4月, 2011 5 次提交
    • R
      pthread_create need not set errno · 7fd39952
      Rich Felker 提交于
      7fd39952
    • R
      block all signals during rsyscall · 66def4e7
      Rich Felker 提交于
      otherwise a signal handler could see an inconsistent and nonconformant
      program state where different threads have different uids/gids.
      66def4e7
    • R
      fix race condition in rsyscall handler · 1ad049b7
      Rich Felker 提交于
      the problem: there is a (single-instruction) race condition window
      between a thread flagging itself dead and decrementing itself from the
      thread count. if it receives the rsyscall signal at this exact moment,
      the rsyscall caller will never succeed in signalling enough flags to
      succeed, and will deadlock forever. in previous versions of musl, the
      about-to-terminate thread masked all signals prior to decrementing
      the thread count, but this cost a whole syscall just to account for
      extremely rare races.
      
      the solution is a huge hack: rather than blocking in the signal
      handler if the thread is dead, modify the signal mask of the saved
      context and return in order to prevent further signal handling by the
      dead thread. this allows the dead thread to continue decrementing the
      thread count (if it had not yet done so) and exiting, even while the
      live part of the program blocks for rsyscall.
      1ad049b7
    • R
      don't trust siginfo in rsyscall handler · c9b2d801
      Rich Felker 提交于
      for some inexplicable reason, linux allows the sender of realtime
      signals to spoof its identity. permission checks for sending signals
      should limit the impact to same-user processes, but just to be safe,
      we avoid trusting the siginfo structure and instead simply examine the
      program state to see if we're in the middle of a legitimate rsyscall.
      c9b2d801
    • R
      simplify calling of timer signal handler · f01d3518
      Rich Felker 提交于
      f01d3518
  6. 03 4月, 2011 2 次提交
  7. 02 4月, 2011 4 次提交
  8. 01 4月, 2011 2 次提交
  9. 30 3月, 2011 5 次提交
    • R
      avoid crash on stupid but allowable usage of pthread_mutex_unlock · a1eb8cb5
      Rich Felker 提交于
      unlocking an unlocked mutex is not UB for robust or error-checking
      mutexes, so we must avoid calling __pthread_self (which might crash
      due to lack of thread-register initialization) until after checking
      that the mutex is locked.
      a1eb8cb5
    • R
      streamline mutex unlock to remove a useless branch, use a_store to unlock · 02084109
      Rich Felker 提交于
      this roughly halves the cost of pthread_mutex_unlock, at least for
      non-robust, normal-type mutexes.
      
      the a_store change is in preparation for future support of archs which
      require a memory barrier or special atomic store operation, and also
      should prevent the possibility of the compiler misordering writes.
      02084109
    • R
      cheap special-case optimization for normal mutexes · 124b4ebc
      Rich Felker 提交于
      cycle-level benchmark on atom cpu showed typical pthread_mutex_lock
      call dropping from ~120 cycles to ~90 cycles with this change. benefit
      may vary with compiler options and version, but this optimization is
      very cheap to make and should always help some.
      124b4ebc
    • R
      8524d653
    • R
      major improvements to cancellation handling · bf619d82
      Rich Felker 提交于
      - there is no longer any risk of spoofing cancellation requests, since
        the cancel flag is set in pthread_cancel rather than in the signal
        handler.
      
      - cancellation signal is no longer unblocked when running the
        cancellation handlers. instead, pthread_create will cause any new
        threads created from a cancellation handler to unblock their own
        cancellation signal.
      
      - various tweaks in preparation for POSIX timer support.
      bf619d82
  10. 29 3月, 2011 2 次提交
  11. 26 3月, 2011 1 次提交
    • R
      match glibc/lsb cancellation abi on i386 · ea343364
      Rich Felker 提交于
      glibc made the ridiculous choice to use pass-by-register calling
      convention for these functions, which is impossible to duplicate
      directly on non-gcc compilers. instead, we use ugly asm to wrap and
      convert the calling convention. presumably this works with every
      compiler anyone could potentially want to use.
      ea343364
  12. 25 3月, 2011 4 次提交
    • R
      d8dc2faf
    • R
      optimize contended case for pthread_spin_trylock · b8b85a42
      Rich Felker 提交于
      b8b85a42
    • R
      optimize spinlock spin · c322fe4e
      Rich Felker 提交于
      c322fe4e
    • R
      overhaul cancellation to fix resource leaks and dangerous behavior with signals · b470030f
      Rich Felker 提交于
      this commit addresses two issues:
      
      1. a race condition, whereby a cancellation request occurring after a
      syscall returned from kernelspace but before the subsequent
      CANCELPT_END would cause cancellable resource-allocating syscalls
      (like open) to leak resources.
      
      2. signal handlers invoked while the thread was blocked at a
      cancellation point behaved as if asynchronous cancellation mode wer in
      effect, resulting in potentially dangerous state corruption if a
      cancellation request occurs.
      
      the glibc/nptl implementation of threads shares both of these issues.
      
      with this commit, both are fixed. however, cancellation points
      encountered in a signal handler will not be acted upon if the signal
      was received while the thread was already at a cancellation point.
      they will of course be acted upon after the signal handler returns, so
      in real-world usage where signal handlers quickly return, it should
      not be a problem. it's possible to solve this problem too by having
      sigaction() wrap all signal handlers with a function that uses a
      pthread_cleanup handler to catch cancellation, patch up the saved
      context, and return into the cancellable function that will catch and
      act upon the cancellation. however that would be a lot of complexity
      for minimal if any benefit...
      b470030f
  13. 20 3月, 2011 4 次提交
    • R
      global cleanup to use the new syscall interface · aa398f56
      Rich Felker 提交于
      aa398f56
    • R
    • R
      syscall overhaul part two - unify public and internal syscall interface · 685e40bb
      Rich Felker 提交于
      with this patch, the syscallN() functions are no longer needed; a
      variadic syscall() macro allows syscalls with anywhere from 0 to 6
      arguments to be made with a single macro name. also, manually casting
      each non-integer argument with (long) is no longer necessary; the
      casts are hidden in the macros.
      
      some source files which depended on being able to define the old macro
      SYSCALL_RETURNS_ERRNO have been modified to directly use __syscall()
      instead of syscall(). references to SYSCALL_SIGSET_SIZE and SYSCALL_LL
      have also been changed.
      
      x86_64 has not been tested, and may need a follow-up commit to fix any
      minor bugs/oversights.
      685e40bb
    • R
      overhaul syscall interface · d00ff295
      Rich Felker 提交于
      this commit shuffles around the location of syscall definitions so
      that we can make a syscall() library function with both SYS_* and
      __NR_* style syscall names available to user applications, provides
      the syscall() library function, and optimizes the code that performs
      the actual inline syscalls in the library itself.
      
      previously on i386 when built as PIC (shared library), syscalls were
      incurring bus lock (lock prefix) overhead at entry and exit, due to
      the way the ebx register was being loaded (xchg instruction with a
      memory operand). now the xchg takes place between two registers.
      
      further cleanup to arch/$(ARCH)/syscall.h is planned.
      d00ff295