1. 11 12月, 2013 14 次提交
    • N
      upload-pack: make sure deepening preserves shallow roots · 79d3a236
      Nguyễn Thái Ngọc Duy 提交于
      When "fetch --depth=N" where N exceeds the longest chain of history in
      the source repo, usually we just send an "unshallow" line to the
      client so full history is obtained.
      
      When the source repo is shallow we need to make sure to "unshallow"
      the current shallow point _and_ "shallow" again when the commit
      reaches its shallow bottom in the source repo.
      
      This should fix both cases: large <N> and --unshallow.
      Signed-off-by: NNguyễn Thái Ngọc Duy <pclouds@gmail.com>
      Signed-off-by: NJunio C Hamano <gitster@pobox.com>
      79d3a236
    • N
      fetch: support fetching from a shallow repository · 4820a33b
      Nguyễn Thái Ngọc Duy 提交于
      This patch just put together pieces from the 8 steps patch. We stop at
      step 7 and reject refs that require new shallow commits.
      
      Note that, by rejecting refs that require new shallow commits, we
      leave dangling objects in the repo, which become "object islands" by
      the next "git fetch" of the same source.
      
      If the first fetch our "ours" set is zero and we do practically
      nothing at step 7, "ours" is full at the next fetch and we may need to
      walk through commits for reachability test. Room for improvement.
      Signed-off-by: NNguyễn Thái Ngọc Duy <pclouds@gmail.com>
      Signed-off-by: NJunio C Hamano <gitster@pobox.com>
      4820a33b
    • N
      clone: support remote shallow repository · beea4152
      Nguyễn Thái Ngọc Duy 提交于
      Cloning from a shallow repository does not follow the "8 steps for new
      .git/shallow" because if it does we need to get through step 6 for all
      refs. That means commit walking down to the bottom.
      
      Instead the rule to create .git/shallow is simpler and, more
      importantly, cheap: if a shallow commit is found in the pack, it's
      probably used (i.e. reachable from some refs), so we add it. Others
      are dropped.
      
      One may notice this method seems flawed by the word "probably". A
      shallow commit may not be reachable from any refs at all if it's
      attached to an object island (a group of objects that are not
      reachable by any refs).
      
      If that object island is not complete, a new fetch request may send
      more objects to connect it to some ref. At that time, because we
      incorrectly installed the shallow commit in this island, the user will
      not see anything after that commit (fsck is still ok). This is not
      desired.
      
      Given that object islands are rare (C Git never sends such islands for
      security reasons) and do not really harm the repository integrity, a
      tradeoff is made to surprise the user occasionally but work faster
      everyday.
      
      A new option --strict could be added later that follows exactly the 8
      steps. "git prune" can also learn to remove dangling objects _and_ the
      shallow commits that are attached to them from .git/shallow.
      Signed-off-by: NNguyễn Thái Ngọc Duy <pclouds@gmail.com>
      Signed-off-by: NJunio C Hamano <gitster@pobox.com>
      beea4152
    • N
    • N
    • N
    • N
      shallow.c: the 8 steps to select new commits for .git/shallow · 58babfff
      Nguyễn Thái Ngọc Duy 提交于
      Suppose a fetch or push is requested between two shallow repositories
      (with no history deepening or shortening). A pack that contains
      necessary objects is transferred over together with .git/shallow of
      the sender. The receiver has to determine whether it needs to update
      .git/shallow if new refs needs new shallow comits.
      
      The rule here is avoid updating .git/shallow by default. But we don't
      want to waste the received pack. If the pack contains two refs, one
      needs new shallow commits installed in .git/shallow and one does not,
      we keep the latter and reject/warn about the former.
      
      Even if .git/shallow update is allowed, we only add shallow commits
      strictly necessary for the former ref (remember the sender can send
      more shallow commits than necessary) and pay attention not to
      accidentally cut the receiver history short (no history shortening is
      asked for)
      
      So the steps to figure out what ref need what new shallow commits are:
      
      1. Split the sender shallow commit list into "ours" and "theirs" list
         by has_sha1_file. Those that exist in current repo in "ours", the
         remaining in "theirs".
      
      2. Check the receiver .git/shallow, remove from "ours" the ones that
         also exist in .git/shallow.
      
      3. Fetch the new pack. Either install or unpack it.
      
      4. Do has_sha1_file on "theirs" list again. Drop the ones that fail
         has_sha1_file. Obviously the new pack does not need them.
      
      5. If the pack is kept, remove from "ours" the ones that do not exist
         in the new pack.
      
      6. Walk the new refs to answer the question "what shallow commits,
         both ours and theirs, are required in .git/shallow in order to add
         this ref?". Shallow commits not associated to any refs are removed
         from their respective list.
      
      7. (*) Check reachability (from the current refs) of all remaining
         commits in "ours". Those reachable are removed. We do not want to
         cut any part of our (reachable) history. We only check up
         commits. True reachability test is done by
         check_everything_connected() at the end as usual.
      
      8. Combine the final "ours" and "theirs" and add them all to
         .git/shallow. Install new refs. The case where some hook rejects
         some refs on a push is explained in more detail in the push
         patches.
      
      Of these steps, #6 and #7 are expensive. Both require walking through
      some commits, or in the worst case all commits. And we rather avoid
      them in at least common case, where the transferred pack does not
      contain any shallow commits that the sender advertises. Let's look at
      each scenario:
      
      1) the sender has longer history than the receiver
      
         All shallow commits from the sender will be put into "theirs" list
         at step 1 because none of them exists in current repo. In the
         common case, "theirs" becomes empty at step 4 and exit early.
      
      2) the sender has shorter history than the receiver
      
         All shallow commits from the sender are likely in "ours" list at
         step 1. In the common case, if the new pack is kept, we could empty
         "ours" and exit early at step 5.
      
         If the pack is not kept, we hit the expensive step 6 then exit
         after "ours" is emptied. There'll be only a handful of objects to
         walk in fast-forward case. If it's forced update, we may need to
         walk to the bottom.
      
      3) the sender has same .git/shallow as the receiver
      
         This is similar to case 2 except that "ours" should be emptied at
         step 2 and exit early.
      
      A fetch after "clone --depth=X" is case 1. A fetch after "clone" (from
      a shallow repo) is case 3. Luckily they're cheap for the common case.
      
      A push from "clone --depth=X" falls into case 2, which is expensive.
      Some more work may be done at the sender/client side to avoid more
      work on the server side: if the transferred pack does not contain any
      shallow commits, send-pack should not send any shallow commits to the
      receive-pack, effectively turning it into a normal push and avoid all
      steps.
      
      This patch implements all steps except #3, already handled by
      fetch-pack and receive-pack, #6 and #7, which has their own patch due
      to their size.
      
      (*) in previous versions step 7 was put before step 3. I reorder it so
          that the common case that keeps the pack does not need to walk
          commits at all. In future if we implement faster commit
          reachability check (maybe with the help of pack bitmaps or commit
          cache), step 7 could become cheap and be moved up before 6 again.
      Signed-off-by: NNguyễn Thái Ngọc Duy <pclouds@gmail.com>
      Signed-off-by: NJunio C Hamano <gitster@pobox.com>
      58babfff
    • N
    • N
      connect.c: teach get_remote_heads to parse "shallow" lines · b06dcd7d
      Nguyễn Thái Ngọc Duy 提交于
      No callers pass a non-empty pointer as shallow_points at this
      stage. As a result, all clients still refuse to talk to shallow
      repository on the other end.
      Signed-off-by: NNguyễn Thái Ngọc Duy <pclouds@gmail.com>
      Signed-off-by: NJunio C Hamano <gitster@pobox.com>
      b06dcd7d
    • N
      make the sender advertise shallow commits to the receiver · ad491366
      Nguyễn Thái Ngọc Duy 提交于
      If either receive-pack or upload-pack is called on a shallow
      repository, shallow commits (*) will be sent after the ref
      advertisement (but before the packet flush), so that the receiver has
      the full "shape" of the sender's commit graph. This will be needed for
      the receiver to update its .git/shallow if necessary.
      
      This breaks the protocol for all clients trying to push to a shallow
      repo, or fetch from one. Which is basically the same end result as
      today's "is_repository_shallow() && die()" in receive-pack and
      upload-pack. New clients will be made aware of shallow upstream and
      can make use of this information.
      
      The sender must send all shallow commits that are sent in the
      following pack. It may send more shallow commits than necessary.
      
      upload-pack for example may choose to advertise no shallow commits if
      it knows in advance that the pack it's going to send contains no
      shallow commits. But upload-pack is the server, so we choose the
      cheaper way, send full .git/shallow and let the client deal with it.
      
      Smart HTTP is not affected by this patch. Shallow support on
      smart-http comes later separately.
      
      (*) A shallow commit is a commit that terminates the revision
          walker. It is usually put in .git/shallow in order to keep the
          revision walker from going out of bound because there is no
          guarantee that objects behind this commit is available.
      Signed-off-by: NNguyễn Thái Ngọc Duy <pclouds@gmail.com>
      Signed-off-by: NJunio C Hamano <gitster@pobox.com>
      ad491366
    • N
      clone: prevent --reference to a shallow repository · 606e435a
      Nguyễn Thái Ngọc Duy 提交于
      If we borrow objects from another repository, we should also pay
      attention to their $GIT_DIR/shallow (and even info/grafts). But
      current alternates code does not.
      
      Reject alternate repos that are shallow because we do not do it
      right. In future the alternate code may be updated to check
      $GIT_DIR/shallow properly so that this restriction could be lifted.
      Signed-off-by: NNguyễn Thái Ngọc Duy <pclouds@gmail.com>
      Signed-off-by: NJunio C Hamano <gitster@pobox.com>
      606e435a
    • N
      send-pack: forbid pushing from a shallow repository · 0b854bcc
      Nguyễn Thái Ngọc Duy 提交于
      send-pack can send a pack with loose ends to the server.  receive-pack
      before 6d4bb383 (fetch: verify we have everything we need before
      updating our ref - 2011-09-01) does not detect this and keeps the pack
      anyway, which corrupts the repository, at least from fsck point of
      view.
      
      send-pack will learn to safely push from a shallow repository later.
      Signed-off-by: NNguyễn Thái Ngọc Duy <pclouds@gmail.com>
      Signed-off-by: NJunio C Hamano <gitster@pobox.com>
      0b854bcc
    • N
      remote.h: replace struct extra_have_objects with struct sha1_array · 13eb4626
      Nguyễn Thái Ngọc Duy 提交于
      The latter can do everything the former can and is used in many more
      places.
      Signed-off-by: NNguyễn Thái Ngọc Duy <pclouds@gmail.com>
      Signed-off-by: NJunio C Hamano <gitster@pobox.com>
      13eb4626
    • N
  2. 28 11月, 2013 3 次提交
  3. 26 11月, 2013 1 次提交
    • J
      Merge branch 'rh/remote-hg-bzr-updates' (early part) · c302941c
      Junio C Hamano 提交于
      Unbreaks a recent breakage due to use of unquote-c-style.
      
      This may need to be cherry-picked down to 1.8.4.x series.
      
      * 'rh/remote-hg-bzr-updates' (early part):
        remote-hg: don't decode UTF-8 paths into Unicode objects
      c302941c
  4. 21 11月, 2013 4 次提交
  5. 19 11月, 2013 7 次提交
  6. 14 11月, 2013 1 次提交
  7. 13 11月, 2013 2 次提交
  8. 12 11月, 2013 3 次提交
  9. 10 11月, 2013 2 次提交
  10. 09 11月, 2013 3 次提交