maxim-ge

maxim-ge

maxim-ge

CAP Theorem

An exerpt from Seth Gilbert and Nancy Lynch. Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services. ACM SIGACT News, 33(2):51–59, 2002. doi:10.1145/564585.564601. URL https://users.ece.cmu.edu/~adrian/731-sp04/readings/GL-cap.pdf

Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services
Seth Gilbert Nancy Lynch

Abstract
When designing distributed web services, there are three properties that are commonly desired: consistency, availability, and partition tolerance. It is impossible to achieve all three. In this note, we prove this conjecture in the asynchronous network model, and then discuss solutions to this dilemma in the partially synchronous model.

maxim-ge

(* CAP theorem *)

Require Import Lia.

Inductive Value : Type :=
  | V1   : Value
  | V0   : Value
  | None : Value.

maxim-ge

Install ubuntu/debian on Synology DS432+

Resources

https://recoverit.wondershare.com/nas-recovery/synology-ubuntu.html

https://bugs.launchpad.net/ubuntu/+source/subiquity/+bug/1901482

20.04.1, when applying updates, 'full log' is reporting for every package install: E: Can not write log (Is /dev/pts mounted?) - posix_openpt (19: No such device)

maxim-ge

package main

import (
	"fmt"
	"log"
	"strconv"
	"time"

	bolt "github.com/coreos/bbolt"
)