Edsko de Vries

Spec should be explicit about what happens when no locally cached snapshot is available

1

For almost all files listed in the snapshot, if no locally cached snapshot is available this just means that they should be considered changed and should be downloaded. However, the...

Spec doesn't say what happens to locally cached files when root metadata is changed

2

In theupdateframework/specification#76 I mention that we delete the cached snapshot and timestamp on a verification error to avoid attacks where the attackers sets the file version to MAX_INT. However, we...

Spec should say when 'local' files are overwritten (5.1)

8

(I'm logging issues such as these mostly to help make the spec more precise. I hope it's useful.) The update process described in Section 5.1 looks something like: 1. Download...

withMonitor should provide monitor reference

7

Currently `withMonitor` is defined as ``` haskell withMonitor :: ProcessId -> Process a -> Process a withMonitor pid code = bracket (monitor pid) unmonitor (\_ -> code) ``` but it...

Fix receiveWait test

4

See https://github.com/simonmar/distributed-process/commit/ad2d328d33bf92102f8d694886f2f44a12c68e3a.

[Imported from JIRA. Reported by Edsko de Vries @edsko) as [DP-5](https://cloud-haskell.atlassian.net/browse/DP-5) on 2012-11-07 15:51:10] Some of the backends may register processes internally (like the logger process in SimpleLocalnet), and we...

[DP-11] unmonitor should remove monitor messages from the mailbox (if any)

13

[Imported from JIRA. Reported by Edsko de Vries @edsko) as [DP-11](https://cloud-haskell.atlassian.net/browse/DP-11) on 2012-10-23 11:23:33]

spawnChannel might wait indefinitely

1

If the remote process (or node, or the connection, ..) dies before it manages to send a `SendPort` back to us, we will wait forever. Instead, `spawnChannel` should monitor the...

[DP-03] Improve efficiency of message matching

3

[Imported from JIRA. Reported by Edsko de Vries @edsko) as [DP-3](https://cloud-haskell.atlassian.net/browse/DP-3) on 2012-10-15 09:20:36] In particular, storing messages by type could be very beneficial.