summaryrefslogtreecommitdiff
path: root/doc/design/assistant/desymlink.mdwn
blob: ffa37399ddc660340558122c56dad62bd82263e5 (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
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
While dropbox allows modifying files in the folder, git-annex freezes
them upon creation, using symlinks.

This is a core design simplification of git-annex.
But it is problematic too:

* To allow directly editing files in its folder, something like [[todo/smudge]] is
  needed, to get rid of the symlinks that stand in for the files.
* OSX seems to have a [[lot_of_problems|bugs/OSX_alias_permissions_and_versions_problem]]
  with stupid programs that follow symlinks and present the git-annex
  hash filename to the user.
* FAT sucks and doesn't support symlinks at all, so [[Android]] can't
  have regular repos on it.

One approach for this would be to hide the git repo away somewhere,
and have the git-annex assistant watch a regular directory, with
regular files.

There would have to be a mapping from files to git-annex objects.
And some intelligent way to determine when a file has been changed
and no longer corresponds to its object. (Not expensive hashing every time,
plz.)

Since this leaves every file open to modification, any such repository
probably needs to be considered untrusted by git-annex. So it doesn't
leave its only copy of a file in such a repository, but instead
syncs it to a proper git-annex repository.

The assistant would make git commits still, of symlinks. It can already do
that with without actual symlinks existing on disk. More difficult is
handling merging; git merge wants a real repository with files it can
really operate on. The assistant would need to calculate merges on its own,
and update the regular directory to reflect changes made in the merge.

Another massive problem with this idea is that it doesn't allow for
[[partial_content]]. The symlinks that everyone loves to hate on are what
make it possible for the contents of some files to not be present on
disk, while the files are still in git and can be retreived as desired.
With real files, some other standin for a missing file would be needed.
Perhaps a 0 length, unreadable, unwritable file? On systems that
support symlinks it could be a broken symlink like is used now, that
is converted to a real file when it becomes present.

## concrete design

* Enable with annex.direct
* Use .git/ for the git repo, but `.git/annex/objects` won't be used
  for object storage.
* `git status` and similar will show all files as type changed, and
  `git commit` would be a very bad idea. Just don't support users running
  git commands that affect the repository in this mode. Probably.
* However, `git status` and similar also will show deleted and new files,
  which will be helpful for the assistant to use when starting up.
* Cache the mtime, size etc of files, and use this to detect when they've been
  modified when the assistant was not running. This would only need to be
  checked at startup, probably.
* Use dangling symlinks for standins for missing content, as now.
  This allows just cloning one of these repositories normally, and then
  as the files are synced in, they become real files.
* Maintain a local mapping from keys to files in the tree. This is needed
  when sending/receiving/dropping keys to know what file to access.
  Note that a key can map to multiple files. And that when a file is
  deleted or moved, the mapping needs to be updated.
* May need a reverse mapping, from files in the tree to keys? TBD
  (Currently, getting by looking up symlinks using `git cat-file`)
  (Needed to make things like `git annex drop` that want to map from the
  file back to the key work.)
* The existing watch code detects when a file gets closed, and in this
  mode, it could be a new file, or a modified file, or an unchanged file.
  For a modified file, can compare mtime, size, etc, to see if it needs
  to be re-added.
* The inotify/kqueue interface does not tell us when a file is renamed.
  So a rename has to be treated as a delete and an add, so can have a lot
  of overhead, to re-hash the file.
* Note that this could be used without the assistant, as a git remote
  that content is transferred to and from. Without the assistant, changes
  to files in this remote would not be noticed and committed, unless
  a git-annex command were added to do so.
  Getting it basically working as a remote would be a good 1st step.
* It could also be used without the assistant as a repository that
  the user uses directly. Would need some git-annex commands
  to merge changes into the repo, update caches, and commit changes.
  This could all be done by "git annex sync".

## TODO

* kqueue does not deliver an event when an existing file is modified.
  This doesn't affect OSX, which uses FSEvents now, but it makes direct
  mode assistant not 100% on other BSD's.

## done

* `git annex sync` updates the key to files mappings for files changed,
  but needs much other work to handle direct mode:
  * Generate git commit, without running `git commit`, because it will
    want to stage the full files. **done**
  * Update location logs for any files deleted by a commit. **done**
  * Generate a git merge, without running `git merge` (or possibly running
    it in a scratch repo?), because it will stumble over the direct files.
    **done**
  * Drop contents of files deleted by a merge (including updating the
    location log), or if we cannot drop,
    move their contents to `.git/annex/objects/`.  **no**  .. instead, 
    avoid ever losing file contents in a direct mode merge. If the file is
    deleted, its content is moved back to .git/annex/objects, if necessary.
  * When a merge adds a symlink pointing at a key that is present in the
    repo, replace the symlink with the direct file (either moving out
    of `.git/annex/objects/` or hard-linking if the same key is present
    elsewhere in the tree. **done**
  * handle merge conflicts on direct mode files **done**
* support direct mode in the assistant (many little fixes)

* Deal with files changing as they're being transferred from a direct mode
  repository to another git repository. The remote repo currently will 
  accept the bad data and update the location log to say it has the key.

  This affects both special remotes and git remotes. 

  For special remotes,
  it seems the best that could be done is to have an error unwind action
  passed to `sendAnnex` that is called if the file is modified as it's
  transferred. That would then remove the probably corrupted file from the
  remote. (The full transfer would still run, unless there was also a way
  to cancel an in progress transfer.) **done**

  (With the above, there is some potential for the bad content being
  downloaded from the special remote into another repo. This would only
  happen if the other repo for some reason thinks the special remote 
  has the content. Since the location log would not be updated until the
  transfer is successful, this should not happen.)

  For local git remotes, need to check the direct mode file after it's
  copied and before it's put into place as a key's content. **done**
  (untested)

  `git-annex-shell sendkey` needs to do something if it sent bad
  data. This seems to not need protocol changes; it can just detect 
  the problem and exit nonzero. Would need to do something to clean up
  the temp file, which is probably corrupt. (Could in future use it as a
  basis for transferring the new key..) **done**

  For git remotes, added a flag to `git-annex-shell recvkey` (using a field
  after the "--" to remain back-compat). With this flag, after receiving
  the data, the remote fscks the data. This is not optimal, but avoids
  needing another round-trip, or a protocol change.