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
| //Based on gulpfile.js from Google Web Starter Kit. | |
| //https://github.com/google/web-starter-kit | |
| 'use strict'; | |
| // Include Gulp & Tools We'll Use | |
| var gulp = require('gulp'); | |
| var $ = require('gulp-load-plugins')(); | |
| var del = require('del'); | |
| var runSequence = require('run-sequence'); | |
| var browserSync = require('browser-sync'); |
| const Promise = require("bluebird"); | |
| const request = require("request-promise"); | |
| const ID3Writer = require('browser-id3-writer'); | |
| const crypto = require('crypto'); | |
| const format = require('util').format; | |
| const fs = require("fs"); | |
| const http = require('http'); | |
| // Download a deezer song / playlist / album |
| --- PSQL queries which also duplicated from https://github.com/anvk/AwesomePSQLList/blob/master/README.md | |
| --- some of them taken from https://www.slideshare.net/alexeylesovsky/deep-dive-into-postgresql-statistics-54594192 | |
| -- I'm not an expert in PSQL. Just a developer who is trying to accumulate useful stat queries which could potentially explain problems in your Postgres DB. | |
| ------------ | |
| -- Basics -- | |
| ------------ | |
| -- Get indexes of tables |