Time clock and the ordering of events in a distributed system
Consensus on Transaction Commit
An empirical study on the correctness of formally verified distributed systems
| #!/usr/bin/env python3 | |
| import numpy as np | |
| import matplotlib.pyplot as plt | |
| import matplotlib.ticker as mticker | |
| from scipy.stats import zipfian | |
| # --- Constants --- | |
| NUM_SLOTS = 16384 |
| // go.mod | |
| module upload | |
| go 1.16 | |
| require ( | |
| github.com/go-redis/redis/v8 v8.11.5 | |
| ) |
| #!/usr/bin/env python3 | |
| import redis,secrets | |
| # Connect to Redis server | |
| r = redis.Redis(host='localhost', port=6379, db=0) | |
| # Initialize variables | |
| total_numbers = 100_000_000 |
| #!/usr/bin/env python3 | |
| import numpy as np | |
| import matplotlib.pyplot as plt | |
| import webbrowser | |
| def uniform_bin_filling(N_balls, K_bins): | |
| bins = np.zeros(K_bins, dtype=int) | |
| for i in range(N_balls): | |
| bins[np.random.randint(0, K_bins)] += 1 |
| #!/bin/bash | |
| # run it via | |
| # wget -O - https://gist.github.com/romange/a082bef5636f994b63e2239ecff28abc/raw/setup_ws.sh 2> /dev/null \ | |
| # | sudo -E bash - | |
| apt-get update | |
| apt-get -y upgrade | |
| # for Dev prerequisites |
| package main | |
| import ( | |
| "fmt" | |
| "github.com/aws/aws-sdk-go/aws" | |
| "github.com/aws/aws-sdk-go/aws/session" | |
| "github.com/aws/aws-sdk-go/service/s3/s3manager" | |
| "os" | |
| "strconv" | |
| "time" |
| #include <sys/mman.h> | |
| #include <unistd.h> | |
| #include <stdio.h> | |
| #include <string.h> | |
| #include <stdlib.h> | |
| /* On 48-bit addressing schemes you can mmap any non-reserved address between | |
| 0 and 0x7FFFFFFFFFFF. You can try to pass 0x7fffffffe000 or 0 when running this program. | |
| */ | |
| int main(int argc, char* argv[]) { |
Hello