1. 27 Aug, 2021 7 commits
    • Dridi Boukelmoune's avatar
      vrt: Make sure VRT_Rollback() has a snapshot · 8e36cb70
      Dridi Boukelmoune authored
      Otherwise we would entirely unravel the task workspace.
      8e36cb70
    • Dridi Boukelmoune's avatar
      travis: Workspace emulator coverage · f237ed15
      Dridi Boukelmoune authored
      f237ed15
    • Dridi Boukelmoune's avatar
      circleci: Workspace emulator coverage · 5770abc3
      Dridi Boukelmoune authored
      5770abc3
    • Dridi Boukelmoune's avatar
      ws_emu: Introduce the workspace emulator · cfa0983d
      Dridi Boukelmoune authored
      The goal of the workspace emulator is to replicate the regular workspace
      behavior with individual allocations and make it work transparently.
      
      It's the successor of the workspace sanitizer from #3320 with notable
      differences:
      
      - enabled at configure time instead of run time
      - in a separate source file instead of mixed in
      - using sparse allocations instead of built-in red zones
      
      This means that the workspace emulator can be combined with regular
      sanitizer, in particular asan and lsan. If available, asan's public
      interface is used to mitigate the possible overflow of a reservation
      after some of it was released.
      
      Even without sanitizers, the fact that we integrate with jemalloc by
      default and enable its abort and junk options in varnishtest is enough
      to detect a use-after-free in some cases.
      
      With sanitizers though, the workspace emulator can observe #3550.
      
      One drawback is that the logic is split in two files, and some functions
      are identical in the two files. It might be possible to split cache_ws.c
      into something like cache_ws_alloc.c and cache_ws_util.c for example.
      
      Closes #3320
      Refs #3550
      Refs #3600
      cfa0983d
    • Dridi Boukelmoune's avatar
      ws: New WS_ReqPipeline() · 17ca56af
      Dridi Boukelmoune authored
      When a session has data pipelined we perform a dirty dance to move it at
      the beginning of the workspace. The rollbacks used to occur between
      HTC_RxPipeline() and HTC_RxInit() calls until it was centralized in the
      latter.
      
      With a dedicated WS_ReqPipeline() operation we can capture the semantics
      of initializing an existing connection for its next task with or without
      data fetched from the previous task.
      
      While conceptually there is still a use-after-free since the pipelined
      data may belong to the same workspace, it is fine if that happens within
      the bounds of an atomic workspace operation.
      17ca56af
    • Dridi Boukelmoune's avatar
      htc: Defer workspace rollbacks for request tasks · 5b4f0f1a
      Dridi Boukelmoune authored
      When we take on a new request on a connection from which something was
      already received, we need to pipeline it and we do so at the beginning
      of the request workspace. There's a high probability that the pipeline
      is coming from the same workspace, which is a form of use-after-free
      only made safe by the workspace implementation details.
      
      To avoid the conceptual use-after-free, we defer req workspace rollbacks
      and perform them during the next HTC_RxInit() call before the pipelining
      operation.
      
      Because HTTP/1 works directly on the session, a worker can safely switch
      back and forth between sess and req tasks. This means that unless the
      session goes idle the same workspace is used from one client request
      to the next, hence the rollback previously happening in Req_Cleanup().
      
      With h2 however there is a disconnect between the session and streams.
      The connection is received in req0's workspace, and then copied into
      a stream's req workspace via the pipelining scheme. Rollbacks can be
      deferred as well, but they need to happen otherwise the session will
      soon overflow. Independent HTC_RxInit() calls happen for req0 in the
      h2 session thread, and for h2 streams in the regular request task code
      path.
      
      PROXY Protocol parsing may result in receiving more than the proxy
      preamble itself and pipelining will happen, whether it is via a req
      for HTTP/1 or req0 for h2.
      
      On the other end of the spectrum when Varnish acts as a client it
      only sends one HTTP/1 request at a time for a given connection, so
      we never expect pipelining to occur in fetch task.
      5b4f0f1a
    • Dridi Boukelmoune's avatar
      vrt: Fix use-after-release · 2bb355c7
      Dridi Boukelmoune authored
      2bb355c7
  2. 26 Aug, 2021 1 commit
  3. 25 Aug, 2021 19 commits
  4. 24 Aug, 2021 4 commits
  5. 23 Aug, 2021 3 commits
  6. 21 Aug, 2021 2 commits
  7. 20 Aug, 2021 4 commits