1. 26 Jan, 2022 2 commits
    • Yedidya Feldblum's avatar
      add missing {} in LifoSem · 92ee56a3
      Yedidya Feldblum authored
      Reviewed By: magedm
      
      Differential Revision: D33763949
      
      fbshipit-source-id: 779c2a3d0337a357395a2554e810e7b0903a86d6
      92ee56a3
    • Lucian Grijincu's avatar
      folly::io::Cursor: fix UndefinedBehaviorSanitizer: nullptr-with-nonzero-offset · 148432cd
      Lucian Grijincu authored
      Summary:
      Per standard pointer arithmetic is only defined when keeping pointers within the bounds of an array object.
      
       Applying non-zero offset to nullptr (or making non-nullptr a nullptr by subtracting pointer's integral value from the pointer itself) is undefined behavior.
      
      Since https://reviews.llvm.org/D66608 `[InstCombine] icmp eq/ne (gep inbounds P, Idx..), null -> icmp eq/ne P, null) LLVM middle-end uses those guarantees for transformations.` and mis-compilations have been observed:
      - https://lists.llvm.org/pipermail/llvm-commits/Week-of-Mon-20190826/687838.html
      - https://github.com/google/filament/pull/1566
      
      To prevent help weed out bugs before they lead to future miscompilations a new UBSAN check has been added: `nullptr-with-nonzero-offset`
      - https://reviews.llvm.org/D67122 [UBSan][clang][compiler-rt] Applying non-zero offset to nullptr is undefined behaviour
      
      `folly::io::Cursor` does this type of operations when checking if `crtPos_ + N <= crtEnd_`: when it's empty it becomes `nullptr + N <= nullptr`:
        const uint8_t* crtBegin_{nullptr};
        const uint8_t* crtEnd_{nullptr};
        const uint8_t* crtPos_{nullptr};
      
      Switch to `uintptr_t` space where the math is no longer UB.
      
      Reviewed By: yfeldblum
      
      Differential Revision: D33737556
      
      fbshipit-source-id: 588b91ac1387112a6f183edfda5555ca1b7193d8
      148432cd
  2. 25 Jan, 2022 10 commits
    • Yedidya Feldblum's avatar
      check calls for Function exec ops · 30073fb9
      Yedidya Feldblum authored
      Summary: Exec ops include move and nuke ops.
      
      Reviewed By: ot, philippv
      
      Differential Revision: D32904615
      
      fbshipit-source-id: cb6ffa81f034c2dd8072ebd605dc8caabac2f199
      30073fb9
    • Yedidya Feldblum's avatar
      A place for compiler hints · a17e8443
      Yedidya Feldblum authored
      Summary:
      [Folly] A place for compiler hints in `folly/lang/Hint.h`.
      
      Add long-form names which explicitly reveal intentions:
      * `compiler_may_unsafely_assume` v.s. `assume`
      * `compiler_may_unsafely_assume_unreachable` v.s. `assume_unreachable`
      * `compiler_must_not_elide` v.s. `doNotOptimizeAway`
      * `compiler_must_not_predict` v.s. `makeUnpredictable`
      
      Reviewed By: Gownta
      
      Differential Revision: D20240392
      
      fbshipit-source-id: 5f13fafc6a426fcd66fa61465eb1e2ffe15b4187
      a17e8443
    • Alex Hornby's avatar
      update ubuntu python .deb requirement for dataclasses · d1521025
      Alex Hornby authored
      Summary: We have dataclasses dependency now in eden_scm, which means python 3.7 or later
      
      Reviewed By: quark-zju
      
      Differential Revision: D33713759
      
      fbshipit-source-id: 6f915238326201d7408f885804714981505b7fa8
      d1521025
    • Alex Hornby's avatar
      add support for testing package resolution by distro and distro version · cab74d17
      Alex Hornby authored
      Summary:
      Add support for overriding os, distro and distro version to command line when inspecting system packages so one can requested see ubuntu 18.04 package from other OS.  Makes testing easier
      
      Used shlex to shell unquote the value to be tested in the getdeps expression evaluator. getdeps expression parser didn't tolerate 18.04 as . is special char to getdeps expressions, needed to be "18.04"
      
      Reviewed By: quark-zju
      
      Differential Revision: D33741323
      
      fbshipit-source-id: d83397c7fb5180a4d985d0d8ae7b3ff33b72f828
      cab74d17
    • Akrama Baig Mirza's avatar
      DRY implementation of ThreadIdCollector · 55d6a804
      Akrama Baig Mirza authored
      Summary: ThreadManager.cpp and CPUThreadPoolExecutor.cpp both define the same implemenation of a ThreadIdCollector. Let's create one implementation that can be shared.
      
      Reviewed By: yfeldblum, amlannayak
      
      Differential Revision: D33065836
      
      fbshipit-source-id: b17ef7abbba29cc7bad3779f20c76a3b08773963
      55d6a804
    • Taewook Oh's avatar
      folly: define FOLLY_SANITIZE_DATAFLOW macro for DFSan. · fb0be74d
      Taewook Oh authored
      Summary: This defines the macro `FOLLY_SANITIZER_DATAFLOW` as other sanitizers do.
      
      Reviewed By: yfeldblum
      
      Differential Revision: D33747374
      
      fbshipit-source-id: 3c8aa58f43ed72c4ca259bd2434e1f79d12dc65b
      fb0be74d
    • Chad Austin's avatar
      opt into pyre · 3e149ff7
      Chad Austin authored
      Summary:
      Now that we have some type annotations, we might as well support
      running the type checker.
      
      Reviewed By: xavierd
      
      Differential Revision: D33715757
      
      fbshipit-source-id: baf693e4b2415e0e1aa50b569b744ca0cfb91337
      3e149ff7
    • Chad Austin's avatar
      use python 3 type annotations · 6ba5d05e
      Chad Austin authored
      Summary: We don't support Python 2 anymore.
      
      Reviewed By: xavierd
      
      Differential Revision: D33715602
      
      fbshipit-source-id: 6cf3dba83f8207f956cab8eb8dbb3a748e1d9f89
      6ba5d05e
    • Chad Austin's avatar
      remove legacy __future__ imports · 11440db6
      Chad Austin authored
      Summary: The future is now.
      
      Reviewed By: xavierd
      
      Differential Revision: D33714537
      
      fbshipit-source-id: 8d282bbe7391c4b72b70dab54a5c252060fba457
      11440db6
    • Ha Truong's avatar
      Removed implicit conversion in Folly · 1771e14f
      Ha Truong authored
      Summary: Declared maxReadAtOnce_ in AtomicNotificationQueue.h as uint_32 to avoid implicit conversion in AtomicNotificationQueue-inl.h
      
      Reviewed By: yfeldblum
      
      Differential Revision: D33645415
      
      fbshipit-source-id: 0eb57074951f1320df2dbb1d302cba69a727af56
      1771e14f
  3. 24 Jan, 2022 2 commits
  4. 22 Jan, 2022 2 commits
    • Alan Frindell's avatar
      Implement 'isBufferMovable' in ReadCallback · 594b7e77
      Alan Frindell authored
      Summary: This is more efficient for some underlying transports, including Fizz.
      
      Reviewed By: yfeldblum
      
      Differential Revision: D33724711
      
      fbshipit-source-id: 35ebcce83da4a9289f7f083c8873142e9b844ca0
      594b7e77
    • Rob Rios's avatar
      Add mock writem in AsyncUDPSocket · 7f73100f
      Rob Rios authored
      Summary: Add writem method to MockAsyncUDPSocket.
      
      Reviewed By: yfeldblum
      
      Differential Revision: D33696768
      
      fbshipit-source-id: eb99650f3dcde4eacbf83be3dd8ef9d2c03c6200
      7f73100f
  5. 21 Jan, 2022 4 commits
    • Alex Hornby's avatar
      use the new --force-local-execution option · 61ad883b
      Alex Hornby authored
      Summary: Use the new tpx option to run tests locally on the OSS CI hosts
      
      Reviewed By: bigfootjon
      
      Differential Revision: D33454014
      
      fbshipit-source-id: dcf49dcebcd476c68b3eb46eb013079c30db52c7
      61ad883b
    • Yedidya Feldblum's avatar
      exception_shared_string · 34c678f8
      Yedidya Feldblum authored
      Summary:
      A refcounted-string type suitable for exception types.
      
      Exception types should ordinarily be nothrow-copy-constructible, which excludes holding `std::string` fields, and should ordinarily be as small as possible, which excludes holding `std::shared_ptr<std::string>` fields.
      
      Reviewed By: luciang
      
      Differential Revision: D33010058
      
      fbshipit-source-id: ae71f00d2053c9c52b9a980d028dce8397704cda
      34c678f8
    • Adel Abouchaev's avatar
      Support variable length socket options. · fa92f656
      Adel Abouchaev authored
      Summary: Add a feature to apply and read variable length socket options.
      
      Differential Revision: D33410246
      
      fbshipit-source-id: 3407a926c2ba9323a2318f3d34f8e1f1173bde59
      fa92f656
    • Matthias Braun's avatar
      Work around clang ToT syntax error · bb743c35
      Matthias Braun authored
      Summary: Work around "incompatible pointer types assigning" errors reported by clang top-of-tree.
      
      Reviewed By: Gownta
      
      Differential Revision: D33482980
      
      fbshipit-source-id: 2d7cf408c45ae96540c5c7779f8462f01d5b3498
      bb743c35
  6. 20 Jan, 2022 6 commits
    • Chad Austin's avatar
      fix boost build on single-core machines · 65098360
      Chad Austin authored
      Summary:
      On a single-core Ubuntu VM, getdeps attempts to pass -j0 to Boost Jam,
      which fails.
      
      Reviewed By: fanzeyi
      
      Differential Revision: D33675531
      
      fbshipit-source-id: 629ee41448941213aadec10658583d8f984b13c2
      65098360
    • Ilya Albrecht's avatar
      Implement automatic scaling benchmark · 4a022b1b
      Ilya Albrecht authored
      Summary:
      Original implementation uses minimum running time as a result even if it will be just a single iteration, which might introduce high error rate.
      
      This diff targets to improve benchmarking stability by adding a new method that estimates running time over 1 sec, runs benchmark with multiple ecpoches about half a second each for 5 sec, drops top and bottom 25% percentile measurements to remove outliers, and gives a geomean of whats left.
      
      This feature is not enabled by default, as it might considarably increse total running time, and can be turned on by using `-bm_estimate_time` knob.
      
      Reviewed By: Gownta
      
      Differential Revision: D33478923
      
      fbshipit-source-id: 144d8e16f8279a30a1eccf1d9494d607893532c8
      4a022b1b
    • Chad Austin's avatar
      Back out "cmake needs openssl" · 7211f124
      Chad Austin authored
      Summary:
      Original commit changeset: 2f869768f3a8
      
      Original Phabricator Diff: D33432903 (https://github.com/facebook/folly/commit/e7eb2bb6db6c4b8f7ecb368236c2244d07b58f91)
      
      The prior commit broke the open source build for Watchman:
      
      ```
      Exception: project openssl has no builder for <getdeps.manifest.ManifestContext object at 0x7f053d23fe80>
      ```
      
      Reviewed By: lnicco
      
      Differential Revision: D33675540
      
      fbshipit-source-id: cdf11a967a2234263e5713eaf2959ec9dc2b0e52
      7211f124
    • Kenny Yu's avatar
      symbolizer: Allow Symbolizer to take a path to binary · e018a713
      Kenny Yu authored
      Summary:
      Previously by default, `Symbolizer` would always use the current process's
      binary by looking at `/proc/self/exe`. This change allows passing a
      different binary name to `Symbolizer` so that we can reuse this library
      to look up symbol information of a different process that is executed
      from a different binary.
      
      Reviewed By: Gownta
      
      Differential Revision: D33558166
      
      fbshipit-source-id: 12c6ae3aa8c5d88caaef7933edb2c69bc896d75b
      e018a713
    • Marcus Holland-Moritz's avatar
      Replace std::is_pod<> which is deprecated in C++20 (#1695) · 515b5b68
      Marcus Holland-Moritz authored
      Summary:
      Warnings are triggered by `is_pod<>` with both Clang and GCC when
      using `-std=c++20`.
      
      This change replaces all instances of `is_pod<T>::value` with
      `(is_standard_layout<T>::value && is_trivial<T>::value)`, which
      is equivalent and even suggested by both compilers.
      
      Pull Request resolved: https://github.com/facebook/folly/pull/1695
      
      Reviewed By: Gownta
      
      Differential Revision: D33483730
      
      Pulled By: Orvid
      
      fbshipit-source-id: 79bd867c7e019f614c6187ca9ca5c44d65bf6310
      515b5b68
    • Yedidya Feldblum's avatar
      let coro malloc/free use wrappers · d9619f27
      Yedidya Feldblum authored
      Summary: The coroutine library has non-elidable wrappers for alloc/dealloc. They directly call `operator new` and `operator delete` but, of course, they have conditionals. Switch to the wrappers which handle the conditionals.
      
      Reviewed By: luciang
      
      Differential Revision: D33181403
      
      fbshipit-source-id: ab8d56634569b82680b36d6b72fb9ff7f5c05f19
      d9619f27
  7. 19 Jan, 2022 3 commits
  8. 18 Jan, 2022 2 commits
    • Shai Szulanski's avatar
      Delete unused multiplex and de/materialize algorithms · 7c7597c2
      Shai Szulanski authored
      Summary: The CallbackRecord interface is unfamiliar to users and inconsistent with the general direction of folly::coro, and as a result these algorithms have not seen any usage. Deletes them and moves CallbackRecord into the only file that uses it. (We may eventually want to replace it if we come up with a story for Try<Reference> but I'm not tackling that here).
      
      Differential Revision: D33570204
      
      fbshipit-source-id: 9cfb0def927e5882f582d6c1eb280d97c9ff3e22
      7c7597c2
    • Zsolt Dollenstein's avatar
      Add --shared-libs arg to getdeps.py · 7880abd1
      Zsolt Dollenstein authored
      Summary:
      This diffs adds
      * `--shared-libs` command line argument to the `build` command which enables building shared libraries for supported projects (cmake-based projects, boost, libevent)
      * this flag overrides `BUILD_SHARED_LIBS` cmake flags in manifest files and from `--extra-cmake-defines`
      * adds `shared_libs=on` expression support in manifest files
      * for boost, the flag enables building shared libraries **in addition to** statically linked ones
      
      Reviewed By: simonmar
      
      Differential Revision: D27462289
      
      fbshipit-source-id: d22ab434f7228c30472611bc323830d88efba0a5
      7880abd1
  9. 15 Jan, 2022 2 commits
    • Mike Kolupaev's avatar
      Clarify comment for coro::merge() · dd5e8b4f
      Mike Kolupaev authored
      Summary: Based on scsiguy's feedback. Probably it can be made shorter and clearer still, feel free to propose more changes.
      
      Reviewed By: scsiguy
      
      Differential Revision: D33591287
      
      fbshipit-source-id: e0bf85ebfd98d7032ddbd54c69c52b33525a62c7
      dd5e8b4f
    • Adam Hupp's avatar
      Fix mixed MSVC/clang-cl build (#1617) · 9d608677
      Adam Hupp authored
      Summary:
      An executable built by clang-cl that is linked against folly/logging
      from vcpkg will fail to link due to a few missing symbols.  folly/logging
      has a number of functions that are only defined when `__INCLUDE_LEVEL__` is defined.
      vcpkg always uses MSVC, MSVC does not support this macro while clang-cl does,
      resulting in mismatch between what is defined, used, and declared.
      
      These ifdefs mostly came from fc507b26.
      
      The (minor IMO) negative consequence of this diff is that
      `XlogFileScopeInfo` will be unnecessarily larger (a pointer and an uint32)
       on compilers that don't support `__INCLUDE_LEVEL__` (e.g MSVC).
      
      The actual condition of whether to make use of `__INCLUDE_LEVEL__` remains, via the `XLOG_IS_IN_HEADER_FILE` macro.
      
      Pull Request resolved: https://github.com/facebook/folly/pull/1617
      
      Reviewed By: yfeldblum
      
      Differential Revision: D29753787
      
      Pulled By: Orvid
      
      fbshipit-source-id: 28f8128c981b255960d7838d2df2a3d299153bc2
      9d608677
  10. 14 Jan, 2022 1 commit
    • Mike Kolupaev's avatar
      Document non-structured-concurrenty caveats in coro::merge(), fix one of them · 0a5dcad2
      Mike Kolupaev authored
      Summary:
      Part of the added comment about `folly::coro::merge()`:
      
        // Currently this doesn't fully do structured concurrency. Care is needed to
        // avoid use-after-free when the stream is terminated early, as some cancelled
        // input streams may be left running in background.
        // The rule is: if output generator's next() returned an empty value
        // (end of stream), it's guaranteed that 'sources' and all input coroutines are
        // completed and destroyed, no use-after-free danger. In all other cases
        // (next() returned an exception or the output generator was destroyed early),
        // the input generators may be left running in background (cancelled and
        // detached).
      
      This diff adds a long comment about this and a couple other quirks (or what I would consider quirks).
      
      It also fixes one of the quirks: the merged stream may return end-of-stream when 'source' coroutine frame is not destroyed yet. So if the 'source' coroutine e.g. has a `SCOPE_EXIT` that references some state owned by the caller of `merge()`, it may in principle use-after-free. This diff destroys 'source' coroutine frame just before returning end-of-stream rather than just after. This way `merge()` is at least possible to use in "strucutured concurrency" style, as long as you avoid exceptions and always drain the merged generator before destroying it.
      
      It would be easy to do the same for the exception case (just wait for the `makeConsumerTask()` coroutine to complete before calling `throw_exception()`). This would make `merge()` as close to structured concurrency as is possible with `folly::AsyncGenerator` (which can always be synchronously destroyed, leaving no choice but to detach child coroutines; but as long as the user doesn't do that, it should be fine). But I'm hesitant to do it because some existing call sites might rely on current behavior. I'll leave this to the team that actually owns this code. Same for the two cancellation quirks listed in the added comment.
      
      Reviewed By: iahs
      
      Differential Revision: D33557074
      
      fbshipit-source-id: cf7aaee8ec78e21c370d1f7faff3b4bad1327c95
      0a5dcad2
  11. 13 Jan, 2022 1 commit
    • Mingtao Yang's avatar
      fibers: Invoke old sigsegv handler synchronously · 28ef22ea
      Mingtao Yang authored
      Summary:
      folly::fibers uses a SIGSEGV handler to detect fiber overflows, by checking if
      the faulting address resides within a guard page range.
      
      In the case when it does not, prior to this diff, the folly::fibers signal
      handler would reraise the signal and allow the previous sigsegv handler handle
      the exception.
      
      The problem with this is that reraising the signal will discard the original
      `siginfo` context sent by the kernel. The old signal handler would lose
      visibility on the machine state, faulting condition, etc.
      
      This does not play nicely with folly::symbolizer. Typically,
      folly::symbolizer's signal handler will print information on the faulting
      signal, such as:
      
      ```
      *** Signal 11 (SIGSEGV) (0xdeadbeef) received by PID 3140647 (pthread TID 0x7fe2cddf1380) (linux TID 3140647) (code: address not mapped to object), stack trace: ***
          @ 00000000002f4d3d folly::symbolizer::(anonymous namespace)::signalHandler(int, siginfo_t*, void*)
                             ./folly/experimental/symbolizer/SignalHandler.cpp:449
          @ 0000000000000000 (unknown)
          @ 00000000002dd0f9 doCrashWildRead()
                             ./scripts/mingtao/oneoffs/crash.cc:9
          @ 00000000002dd0b1 main
                             ./scripts/mingtao/oneoffs/crash.cc:47
          @ 0000000000025dc4 __libc_start_main
          @ 00000000002dcfb9 _start
                             /home/engshare/third-party2/glibc/2.30/src/glibc-2.30/csu/../sysdeps/x86_64/start.S:120
      Segmentation fault (core dumped)
      ```
      
      From the error message, you can see that:
      * the faulting address was 0xdeadbeef
      * the reason for SIGSEGV was because the application accessed a region of memory outside of its virtual address space
      
      If you happened to have used `folly::fibers` somewhere within your application, though, you instead would see this:
      
      ```
      *** Aborted at 1639532805 (Unix time, try 'date -d 1639532805') ***
      *** Signal 11 (SIGSEGV) (0x1c85b0032a0f8) received by PID 3318008 (pthread TID 0x7f5573e8d380) (linux TID 3318008) (maybe from PID 3318008, UID 116827) (code: -6), stack trace: ***
          @ 00000000002f4e0d folly::symbolizer::(anonymous namespace)::signalHandler(int, siginfo_t*, void*)
                             ./folly/experimental/symbolizer/SignalHandler.cpp:449
          @ 0000000000000000 (unknown)
          @ 00000000002dd169 doCrashWildRead()
                             ./scripts/mingtao/oneoffs/crash.cc:9
          @ 00000000002dd124 main
                             ./scripts/mingtao/oneoffs/crash.cc:48
          @ 0000000000025dc4 __libc_start_main
          @ 00000000002dcfb9 _start
                             /home/engshare/third-party2/glibc/2.30/src/glibc-2.30/csu/../sysdeps/x86_64/start.S:120
      ```
      
      `code: -6` corresponds to `SI_TKILL`, indicating that the signal was a result of some process invoking `tgkill` (this is the fiber handler re-raising the signal)
      
      And `0x1c85b0032a0f8` is some bogus value, since signals raised by `tgkill` do not have a valid si_addr field.
      
      Furthermore, when debugging the core file, `p $_siginfo` will no longer give the relevant machine state at the time of the crash, since `$_siginfo` now would correspond to the
      raised signal by folly::fibers, rather than the original fault.
      
      This diff changes the `raise` to a synchronous invocation of the old signal handler. This allows the original signal context to be properly preserved (and visible within core).
      
      Reviewed By: Gownta
      
      Differential Revision: D33165801
      
      fbshipit-source-id: 4526d5a9a93cf1eba13e9f5a16b13d00b3c8c85b
      28ef22ea
  12. 12 Jan, 2022 4 commits
    • Pranav Thulasiram Bhat's avatar
      Arguments for async_invocable_inner_type · 47eda458
      Pranav Thulasiram Bhat authored
      Summary: Add variadic template argument parameters to async_invocable_inner_type (so it can support overloaded callables).
      
      Differential Revision: D33534807
      
      fbshipit-source-id: 8bd1d2bc48bb27592b9d728dbd67e85bbed32144
      47eda458
    • Neil Mitchell's avatar
      Fix FBString.h inclusion order · 5ddabd17
      Neil Mitchell authored
      Summary: I don't see how this header works, as it includes folly/Portable.h (which defines FOLLY_HAS_STRING_VIEW) _after_ it has already used FOLLY_HAS_STRING_VIEW a few lines up. Somehow, that worked with buck1 (really not sure how), but broke buck2.
      
      Reviewed By: ot
      
      Differential Revision: D33511408
      
      fbshipit-source-id: 9e2da2a5c25a02367079254ff78552a5a335b3b1
      5ddabd17
    • Pranjal Raihan's avatar
      Fix race between PrimaryPtr::lock and PrimaryPtr::join · cd8d2b0d
      Pranjal Raihan authored
      Reviewed By: andriigrynenko
      
      Differential Revision: D33532498
      
      fbshipit-source-id: bd180566563576d003afced43684a8e0cb8e3cee
      cd8d2b0d
    • Shaun Ruffell's avatar
      Only close currently open descriptors on Linux · 1c24c1b4
      Shaun Ruffell authored
      Summary:
      folly::Subprocess attempts to close (nearly) all file descriptors if
      `closeOtherFds()` option is set. When the process limit for number of
      file descriptors is large, but the actual number of open descriptors is low,
      much time is spent calling `close()` on files that are not actually open.
      
      On Linux, we can use the information in `/proc/self/fd` to close only those
      files that are actually open to speed up the process in the normal case.
      
      Reviewed By: yfeldblum
      
      Differential Revision: D33128499
      
      fbshipit-source-id: efa5a348ff657c8212d9329a3efc7dd5bc0bb4d9
      1c24c1b4
  13. 11 Jan, 2022 1 commit
    • Kenny Yu's avatar
      ensure normal stack addresses are valid when walking async stacks · 8ef03f99
      Kenny Yu authored
      Summary: This ensures that when we collect the normal stack traces while collecting the async stack traces, the normal stack addresses are within a valid range. The normal stack addresses may be invalid because some functions may not follow the usual calling convention, for example with TSAN or with Lua FFI calling into C++.
      
      Reviewed By: yfeldblum
      
      Differential Revision: D32108552
      
      fbshipit-source-id: 97b652f5e71b67dfa810549d837c7a0393d7c4cb
      8ef03f99