.NET Framework 4.7.1
dotnet add package LUC.DVVSet --version
NuGet\Install-Package LUC.DVVSet -Version
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package.
<PackageReference Include="LUC.DVVSet" Version="" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add LUC.DVVSet --version
#r "nuget: LUC.DVVSet,"
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package.
// Install LUC.DVVSet as a Cake Addin
#addin nuget:?package=LUC.DVVSet&version=

// Install LUC.DVVSet as a Cake Tool
#tool nuget:?package=LUC.DVVSet&version=

Dotted-version vector clocks

This is adaptation from Erlang to C#
Original code:


clock() :: {entries(), values()}.
vector() :: [{counter(), values()}].
entries() :: [{id()}, {counter(), [values()]}].
id() :: string().
values() :: [value()].
value() :: string().
counter() :: non_neg_integer().

Structure of clocks


Each operation with clock causes a counter increment. Id is a unique value, entries in the clock cannot have the same id value.


Create (clock, Id)

Metod Create advances the causal history with the given id.

Example: we take a empty clock with a value "v1" and create a new clock with id "a":
Create(new Clock("v1"), "a") → [{a,1,["v1"]}],[]


Return a entries without any values.

Example: Join([{a,1,["v1"]}],[] → [{a,1,[]}]

Clock Update(clock1, clock2, Id)

Advances the causal history of the first clock with the given id, while synchronizing with the second clock, thus the new clock is causally newer than both clocks in the argument. The new value is the anonymous dot of the clock.

Update([{a,1,[]}],["v2"](first clock),[{a,1,["v1"]}],[](second clock),"a"(id)) → [{a,2,[v2]}],[]
Update([{a,1,[]}],["v4"](first clock),[{a,2,[]}],["v2"](second clock),"b"(id)) → [{a,2,[v2]}],[{b,1,[v4]}],[]
Update([{a,1,[]}],["v5"](first clock),[{a,2,[]}],[v2](second clock),"a"(id)) → [{a,3,[v5][v2]}],[]

SyncClocks(Clock clock1, Clock clock2)

Product Versions
.NET Framework net471 net472 net48 net481
Compatible target framework(s)
Additional computed target framework(s)
Learn more about Target Frameworks and .NET Standard.

NuGet packages

This package is not used by any NuGet packages.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated 361 2/5/2022 326 2/5/2022 338 1/13/2022
1.0.3 334 1/13/2022
1.0.2 329 1/12/2022
1.0.1 235 12/12/2021 390 12/11/2021 259 9/4/2021 290 6/15/2021 248 6/13/2021
1.0.0 259 6/13/2021

Minor fixes