From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 8820E82355 for ; Thu, 8 Feb 2018 15:44:48 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yminsky@janestreet.com; spf=Pass smtp.mailfrom=yminsky@janestreet.com; spf=None smtp.helo=postmaster@mxout1.mail.janestreet.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yminsky@janestreet.com) identity=pra; client-ip=38.105.200.78; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yminsky@janestreet.com designates 38.105.200.78 as permitted sender) identity=mailfrom; client-ip=38.105.200.78; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout1.mail.janestreet.com) identity=helo; client-ip=38.105.200.78; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AqrthDRQiTdq5YtuYryB793N7stpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zZxyN2/xhgRfzUJnB7Loc0qyK6/mmATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfa5+IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4rx1QxH0li?= =?us-ascii?q?gIKz858HnWisNuiqJbvAmhrAF7z4LNfY2ZKOZycqbbcNwdWGRBQ91RVzRfDYyg?= =?us-ascii?q?c4sBAe0BPeNCoIn8oVsFsB+yCAaoCe/qzDJDm3340rAg0+k5Ew7G0gwuEdwNvn?= =?us-ascii?q?rJstv6KLwfUfypwKTS0TnPc+9a1DX75YPVch4hu/aMXbdofMXT00YvDQTFjlON?= =?us-ascii?q?ooLiPjOV0P8Ns2ub7uF9Uu+ui2snqwB3oji0xcctipLEhoAPxVDC6yp525o1Jc?= =?us-ascii?q?emR0Flfd6oCodftyafN4ZvRM4pXm9muCE/yrIcuJ67ejAHyJUhxx7FavyIaZKE?= =?us-ascii?q?4hz5VOqJITZ3nnJleLW4hxqo7Uegzej8WtGv31ZLsipKicTMuWwO1xPN9siLUP?= =?us-ascii?q?x9/l2u2TqXzwDT7eVEIEAumaXFNpEh37g9nYcQv0TbBiL7lkb7gLWLekk4+uWk?= =?us-ascii?q?8frrbqn6qpOGNYJ5iRnyProylsG7G+g1MQgDU3KF9eih2rDv50z0TbFMg/YriK?= =?us-ascii?q?fWqoraKt4epqOhAw9azIIj6xGnAjej39UYmmQHLE5YdB6diojmIVDOIPTiAfe9?= =?us-ascii?q?mVuslilkx+vaPr37HJrCMGTDnK39crZ67k5Q0AszzdZB6JJIErwMLvH+VlXsuN?= =?us-ascii?q?DEDhI1KRK4z/r7BNln1I4TWnqDAqqDP6PTtV+I6PgvI+6JZIINuDf9Lvkl5/j1?= =?us-ascii?q?jX86mV4QZqup0oERaH+mBfRmP1+ZbmTyjdcdC2sFog0+TOnyhF2YTTFTf2qyX7?= =?us-ascii?q?475jwjFI2pF4LDRoS0jLyF3Se7BYFWa3tdClGMFHfob5+LV+0NaCKUOM9hkyYL?= =?us-ascii?q?WaKvS487hlmSs1rRxrZ9L+Gc0SAcsZPuzpAh/ezDmB0a9TVsF9WZ3nmRTmoymX?= =?us-ascii?q?kHEWwYxqd69H100FCFmY15hedbBJQH9vZIVBw5JLbexup3EMzoVw/dONyOTQD1?= =?us-ascii?q?EZ2dHTgtQ4dpkJc1aEFnFoDn00majniaRoQNnrnOP6Qat6fV3nz/PcF4kiiU1q?= =?us-ascii?q?AngkI6WMZCKSutgastrlGPVb6MqF2QkuORTYpZxDTErTnRz2OIsVpESgN9TePO?= =?us-ascii?q?WnVNPhKL/+S83VvLSvqVMZpiMgZFzpTSeK5abcD11BNDTfbnftbXZW+qh329CA?= =?us-ascii?q?rOzbSJPtLn?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DMAABYYXxafU7IaSZdGgEBAQEBAgEBA?= =?us-ascii?q?QEIAQEBAYQ3cCgKg1uKJI4lggKCZ4Eak1SCGAojhRgCgiYHGQcEMBgBAgEBAQE?= =?us-ascii?q?BAQEBARIBAQkWCFeCOCSCSAECAQIjHQEBLAsBDwsLAwoCAgkdAgIiEgEFAQoSB?= =?us-ascii?q?hMICooLAxUDDaJJQIspboIngwoBAQWEKAOBO4IKAQEBAQEBAQMBAQEBAQEBAQE?= =?us-ascii?q?XCBJ9g2qCFYFXhRaDJAsDAYUGgkUgiHkMimGQSgmIHo1egwWJM4gGjXyJfBQFI?= =?us-ascii?q?IEXH4IJMxoIGxU9MgaCDgmCPYJPWgGNUAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DMAABYYXxafU7IaSZdGgEBAQEBAgEBAQEIAQEBAYQ3cCg?= =?us-ascii?q?Kg1uKJI4lggKCZ4Eak1SCGAojhRgCgiYHGQcEMBgBAgEBAQEBAQEBARIBAQkWC?= =?us-ascii?q?FeCOCSCSAECAQIjHQEBLAsBDwsLAwoCAgkdAgIiEgEFAQoSBhMICooLAxUDDaJ?= =?us-ascii?q?JQIspboIngwoBAQWEKAOBO4IKAQEBAQEBAQMBAQEBAQEBAQEXCBJ9g2qCFYFXh?= =?us-ascii?q?RaDJAsDAYUGgkUgiHkMimGQSgmIHo1egwWJM4gGjXyJfBQFIIEXH4IJMxoIGxU?= =?us-ascii?q?9MgaCDgmCPYJPWgGNUAEBAQ?= X-IronPort-AV: E=Sophos;i="5.46,479,1511823600"; d="scan'208";a="312646083" Received: from mxout1.mail.janestreet.com ([38.105.200.78]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 08 Feb 2018 15:44:47 +0100 Received: from [172.27.56.106] (helo=tot-qpr-mailcore2) by mxout1.mail.janestreet.com with esmtps (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.89) (envelope-from ) id 1ejnRN-0003tV-SI for caml-list@inria.fr; Thu, 08 Feb 2018 09:44:45 -0500 X-JS-Flow: external X-JS-Scanner-attachment: (ok) No attachments Received: by tot-qpr-mailcore2 with ocaml/mailcore/main_production 1.0+157 (04fd5635a78d) (envelope-from ) id BafGJd-3aNC4A-a5; 2018-02-08 09:44:45.867136-05:00 Received: from mail-vk0-f69.google.com ([209.85.213.69]) by mxgoog1.mail.janestreet.com with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.89) (envelope-from ) id 1ejnRN-0003Ip-QL for caml-list@inria.fr; Thu, 08 Feb 2018 09:44:45 -0500 Received: by mail-vk0-f69.google.com with SMTP id m190so2450324vkg.5 for ; Thu, 08 Feb 2018 06:44:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=BZLU8zE8scXvLFKE8U7gUhwC0dZdx7AxLeNU7nuUe34=; b=Mk1ursJ1Vo+r79cdHNJfc2q8GibjDPNQLMpejc5QIqvPypWTKsOLA/Ugtu/gl7toc3 ja6+/YDIIMIKfdQLlc/g7Id28E2jfk4fTsi4DTdkZZoQMwlAxLFjujZzUDQzV3CIqHD0 mBKRgB5MWQxt8dtTDn/7JS0SLiq9ak+Ej0Q0E= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=BZLU8zE8scXvLFKE8U7gUhwC0dZdx7AxLeNU7nuUe34=; b=sgtmGO3NHH6FaoDuYF1tkDWFvhZMaGN0Bkq9/97L7wP48w2x6i0plKK30AMkJ/lGEl hI+esI2Ymlbu3Tq9ibmQwps6ipcw4qBKvbQnFsGFEWN4S4Cb/NLsQzHMjULA7AdpVJA5 2boC9MglfIHZ+oa6KYN3D/Ysi88xy/60Xo0xwEFKkleC6SdPddBOoRi9uDpFHC5ZCOp9 XbQG6g13BGlRZeAUtrehyCQpr1456iQN1zpbzqoZ7MtMH3tTxD+7po7dcH59D1fMvuuu tjuILqrC1/+KL1mithipk40mDuon2UglNKD1Vc1j3cxWPyiepqg8IooI8UDwzvLJCLTE svlQ== X-Gm-Message-State: APf1xPABqX6LLtJhE4uUcv+kbD5JfoOZg/f4DbDgQ1yWjENfl1hAVZLK oL8aeW+fsQv96Rp08UjS0jyvUj4XAXOJfUfkzr8ERmAZWmI3WZ6ppPPvONQlozKHOJ8dtvuHV5F 6CaAXP1tS2TuIsdtlUvF6x67jOQ== X-Received: by 10.176.86.14 with SMTP id y14mr702824uaa.169.1518101085091; Thu, 08 Feb 2018 06:44:45 -0800 (PST) X-Google-Smtp-Source: AH8x227xT38IFlXCviE04QrBwskehLBc0Ps9kWycm3ghjYLURxi+jbsPQo1mZhL1qaD6QWW0rWdzsKcC1cKjM65Kw2M= X-Received: by 10.176.86.14 with SMTP id y14mr702802uaa.169.1518101084545; Thu, 08 Feb 2018 06:44:44 -0800 (PST) MIME-Version: 1.0 Received: by 10.176.83.154 with HTTP; Thu, 8 Feb 2018 06:44:24 -0800 (PST) In-Reply-To: <20180208131150.GA81347@rxdmac.local> References: <20180208131150.GA81347@rxdmac.local> From: Yaron Minsky Date: Thu, 8 Feb 2018 09:44:24 -0500 Message-ID: To: Cedric Cellier Cc: OCaml Mailing List Content-Type: text/plain; charset="UTF-8" X-JS-Exim-Data-Received: 2018-02-08 09:44:45-0500 X-JS-Processed-by: mailcore Subject: Re: [Caml-list] File synchronization implementation(s) in OCaml? Ha! The paper you linked builds off of an old paper I wrote: http://cis.poly.edu/westlab/papers/ref/practical.pdf There is in fact a full implementation of the algorithms in this paper in OCaml, as part of the SKS system that I wrote many years ago. https://bitbucket.org/skskeyserver/sks-keyserver/wiki/Home I'm not especially proud of the code, but it does work... y On Thu, Feb 8, 2018 at 8:11 AM, Cedric Cellier wrote: > -[ Wed, Feb 07, 2018 at 07:05:15PM -0800, Evgeny Roubinchtein ]---- >> I don't want anything that performs worse than rsync in practice, > > It would be interesting to know how you measure performance as one could > think of many metrics: > > - speed on different data > - speed on similar data > - reliability in face of simultaneous synchronizations > - reliability in case of bad network > - usage of resources > - confidentiality > - ...? > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >