Unisonの論文 @ val it: α → α = fun
Unisonの人の論文。Unisonてのはファイルとディレクトリ構造の同期を行うツールで、この論文はUnisonの定式化を行うというもの。 http://www.cis.upenn.edu/~bcpierce/papers/unisonspec.pdf まずは関連研究との比較でこれが結構面白い。言うまでもなく、同期に関する既存研究はいっぱいある。だがほとんどのツールではoperationalな意味論から同期を定義している、ってのがこの論文の指摘。operationalというのは、ファイルを編集したとか、移動したとか、作ったとか消したとか、そういうファイルシステム上のオペレーションがわかっていて、それをどう順序付けるかというもの。だけどUnisonではこのアプローチを採用しない、というかできない。 なぜか。Unisonが独特なのは、複数の動作環境をはじめから念頭に置いていることと、ユーザレベ
LunaTear: ディレクトリ同期
マシン間でファイル同期をさせるのにいまいち良いソフトが見つからず困って居たところunisonというソフトを発見したので試してみました。 同期ソフト自体はそれこそたくさんあるのですが、片方同期(と言うよりはバックアップ)メインだったり、両方同期があっても削除したファイルが同期相手からレストアされて同期中のディレクトリにゴミファイルが溜まっていく一方とかどうにも使い勝手が悪いものばかりでした。 そんなこんなで困っていたところ、それを解決出来そうなunisonというアプリがあることを知ったので、インストールして試してみることにしました。 で、ローカルでテストしてみたところまさに理想の挙動をしたので早速採用することにしました。 ちなみにUnisonの特徴は以下の通り GUI版もあるが基本的にはコマンドラインベース rsyncアルゴリズムを用いた高速な同期 前回同期時の状況を記録しているため、増減し
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
