Max Neunhöffer neunhoef

Getting started with Rust on Linux with vim

Do this command:

curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

Pick any metric documentation snippet in Documentation/Metrics.

Check that:

The help string is a string which makes sense as the heading of a Grafana graph.
The unit is correct.
The category makes sense and is correct (for a list of categories see

I hereby claim:

To claim this, I am signing this object:

	This program does not behave as intended:

	#include <atomic>
	#include <iostream>
	int main() {
	std::atomic<long double> x;
	x.store(1.0);
	long double tmp = 2.0;
	bool worked = x.compare_exchange_weak(tmp, 3.0);
	std::cout << "worked " << worked << " set tmp to " << tmp << std::endl;

	#include <pthread.h>

	#ifdef REPAIR
	void* g(void *p) {
	return p;
	}

	void f() {
	pthread_t t;
	pthread_create(&t, nullptr, g, nullptr);

	// This program exposes a bug. Use alpine Linux and compile as follows:
	// g++ exceptioncollision.cpp -o exceptioncollision -O0 -Wall -std=c++14 -lpthread -static
	// Then execute the static executable multiple times:
	// while true ; do ./exceptioncollision ; date ; done
	// after a few tries it will freeze.

	#include <thread>
	#include <atomic>
	#include <chrono>

	version: '2'
	services:
	agency:
	image: arangodb/arangodb
	environment:
	- ARANGO_NO_AUTH=1
	command: arangod --server.endpoint tcp://0.0.0.0:5001 --server.authentication false --agency.activate true --agency.size 1 --agency.supervision true --database.directory /var/lib/arangodb3/agency1

	coordinator:
	image: arangodb/arangodb

	// Cleanup to allow for multiple load:
	delete customers; delete items; delete sales; delete baskets;
	delete reviews; delete reviewRel; delete r; delete gg; delete g;

	// Create the collections:
	["customers", "items", "sales", "baskets", "reviews", "reviewRel"]
	.map(db._drop);
	var customers = db._create("customers",
	{numberOfShards: 3, replicationFactor: 2});
	var items = db._create("items", {numberOfShards: 5, replicationFactor: 2});

	db._drop("fromCollection");
	db._drop("toCollection");
	db._drop("edgeCollection");
	var fromCollection = db._create("fromCollection", {numberOfShards:2})
	var toCollection = db._create("toCollection", {numberOfShards:2})
	fromCollection.ensureIndex({type:"hash",unique:false,fields:["fromAttributeValue"]});
	toCollection.ensureIndex({type:"hash",unique:false,fields:["toAttributeValue"]});
	fromCollection.ensureIndex({type:"skiplist",unique:false,fields:["timeStamp"]});
	toCollection.ensureIndex({type:"skiplist",unique:false,fields:["timeStamp"]});
	var edgeCollection = db._createEdgeCollection("edgeCollection", {numberOfShards:2});