summaryrefslogtreecommitdiff
path: root/doc/developers/status.txt
blob: dbe58c3791688d69dd1713207ec2200698032798 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
The status command
==================

The status command is used to provide a pithy listing of the changes between
two trees. Its common case is between the working tree and the basis tree, but
it can be used between any two arbitrary trees.

.. contents:: :local:

UI Overview
-----------

Status shows several things in parallel (for the paths the user supplied mapped
across the from and to tree, and any pending merges in the to tree).

1. Single line summary of all new revisions - the pending merges and their
   parents recursively.
2. Changes to the tree shape - adds/deletes/renames.
3. Changes to versioned content - kind changes and content changes.
4. Unknown files in the to tree.
5. Files with conflicts in the to tree.


Ideal work for working tree to historical status
------------------------------------------------

We need to do the following things at a minimum:

1. Determine new revisions - the pending merges and history.

1. Retrieve the first line of the commit message for the new revisions.

1. Determine the tree differences between the two trees using the users paths
   to limit the scope, and resolving paths in the trees for any pending merges.
   We arguably don't care about tracking metadata for this - only the value of
   the tree the user commited.

1. The entire contents of directories which are versioned when showing
   unknowns.

1. Whether a given unversioned path is unknown or ignored.

1. The list conflicted paths in the tree (which match the users path
   selection?)


Expanding on the tree difference case we will need to:

1. Stat every path in working trees which is included by the users path
   selection to ascertain kind and execute bit.

1. For paths which have the same kind in both trees and have content, read
   that content or otherwise determine whether the content has changed. Using
   our hash cache from the dirstate allows us to avoid reading the file in the
   common case. There are alternative ways to achieve this - we could record
   a pointer to a revision which contained this fileid with the current content
   rather than storing the content's hash; but this seems to be a pointless
   double-indirection unless we save enough storage in the working tree. A
   variation of this is to not record an explicit pointer but instead
   define an implicit pointer as being to the left-hand-parent tree.


Locality of reference
---------------------

- We should stat files in the same directory without reading or statting
  files in other directories. That is we should do all the statting we
  intend to do within a given directory without doing any other IO, to
  minimise pressure on the drive heads to seek.

- We should read files in the same directory without reading or writing
  files in other directories - and note this is separate to statting (file
  data is usually physically disjoint to metadata).


Scaling observations
--------------------

- The stat operation clearly involves every versioned path in the common case.
- Expanding out the users path selection in a naive manner involves reading the
  entire tree shape information for both trees and for all pending-merge trees.
  (Dirstate makes this tolerably cheap for now, but we're still scaling
  extra-linearly.)
- The amount of effort required to generate tree differences between the
  working tree and the basis tree is interesting: with a tree-like structure
  and some generatable name for child nodes we use the working tree data to
  eliminate accessing or considering subtrees regardless of historival
  age. However, if we have had to access the historical tree shape to
  perform path selection this rather reduces the win we can obtain here.
  If we can cause path expansion to not require historical shape access
  (perhaps by performing the expansion after calculating the tree
  difference for the top level of the selected path) then we can gain a
  larger win. This strongly suggests that path expansion and tree
  difference generation should be linked in terms of API.



..
   vim: ft=rst tw=74 ai