[lsm] outline (#9740)

* initial

* tests and fixes

* add test target

* remove c settings

* missing test.sh

* include some flycheck dirlocals

Author: danking

.dir-locals.el

@@ -0,0 +1,6 @@
+;;; Directory Local Variables
+;;; For more information see (info "(emacs) Directory Variables")
+
+((nil . ((flycheck-pylintrc . "pylintrc")))
+ (nil . ((flycheck-gcc-language-standard . "c++2a")))
+ (nil . ((flycheck-clang-language-standard . "c++2a"))))

lsm/Makefile

@@ -0,0 +1,44 @@
+MAKEFLAGS += --no-builtin-rules
+.SUFFIXES:
+.DEFAULT_GOAL := build/main
+
+CXXFLAGS += -std=c++2a -fPIC -ggdb -g -fno-strict-aliasing
+CXXFLAGS += -fno-omit-frame-pointer  # enables libasan to provide complete stack traces
+CXXFLAGS += -Wall -Werror -Wextra -Wpedantic -Wno-unused-parameter
+CXXFLAGS += -Og -fsanitize=address -fsanitize=undefined
+
+CPP_FILES := $(shell find . -iname '*.cpp' -print)
+OBJECTS := $(CPP_FILES:%.cpp=build/%.o)
+
+ifneq ($(MAKECMDGOALS),clean)
+-include $(OBJECTS:%.o=%.d)
+-include $(PROFILE_OBJECTS:%.o=%.d)
+-include $(SMALL_OBJECTS:%.o=%.d)
+endif
+
+.PHONY: ctags
+ctags:
+	rm -rf TAGS
+	ctags -e -R .
+
+build/%.d: %.cpp
+	@mkdir -p $(@D)
+	$(CXX) $(CXXFLAGS) $< -MG -M -MF $@ -MT $(@:%.d=%.o)
+
+build/%.o: %.cpp
+	@mkdir -p $(@D)
+	$(CXX) $(CXXFLAGS) -MD -MF $(@:%.o=%.d) -MT $@ -c $< -o $@
+
+build/%: build/%.o
+	$(CXX) $(CXXFLAGS) $(LDFLAGS) \
+		-ldl \
+		-o $@ \
+		$(filter %.o,$^)
+
+.PHONY: clean
+clean:
+	rm -rf build
+
+.PHONY: test
+test:
+	./test.sh

lsm/main.cpp

@@ -0,0 +1,79 @@
+#include <iostream>
+#include <optional>
+#include <map>
+#include <string>
+#include <variant>
+#include <vector>
+
+class LSM {
+  std::map<int32_t, int32_t> m;
+public:
+  void put(int32_t k, int32_t v) {
+    // ???
+  }
+  std::optional<int32_t> get(int32_t k) {
+    // ???
+  }
+  std::vector<std::pair<int32_t, int32_t>> range(int32_t l, int32_t r) {
+    // ???
+  }
+  void del(int32_t k) {
+    // ???
+  }
+};
+
+int main(int argc, const char ** argv) {
+  if (argc != 1) {
+    std::cerr << "USAGE: main" << std::endl;
+    return 1;
+  }
+
+  LSM lsm;
+
+  auto& in = std::cin;
+  for (std::string line; std::getline(in, line);) {
+    switch (line[0]) {
+    case 'p': {
+      size_t next;
+      int k = std::stoi(line.substr(2), &next);
+      int v = std::stoi(line.substr(2 + next + 1));
+      lsm.put(k, v);
+      break;
+    }
+    case 'g': {
+      int k = std::stoi(line.substr(2));
+      auto x = lsm.get(k);
+      if (x) {
+        std::cout << x.value();
+      }
+      std::cout << "\n";
+      break;
+    }
+    case 'r': {
+      size_t next;
+      int l = std::stoi(line.substr(2), &next);
+      int r = std::stoi(line.substr(2 + next + 1));
+      auto x = lsm.range(l, r);
+      auto begin = x.cbegin();
+      auto end = x.cend();
+      if (begin != end) {
+        std::cout << begin->first << ":" << begin->second;
+        ++begin;
+        for (; begin != end; ++begin) {
+          std::cout << " " << begin->first << ":" << begin->second;
+        }
+      }
+      std::cout << "\n";
+      break;
+    }
+    case 'd': {
+      int k = std::stoi(line.substr(2));
+      lsm.del(k);
+      break;
+    }
+    default:
+      std::cout << "unrecognized command " << line << std::endl;
+      exit(4);
+    }
+  }
+}

lsm/test.sh

@@ -0,0 +1,66 @@
+#!/bin/bash
+set -e
+
+echo 1
+build/main > build/out 2> build/err <<EOF
+p 10 7
+p 63 222
+p 10 5
+EOF
+rm -rf build/expected; touch build/expected
+diff build/out build/expected
+echo success
+
+echo 2
+build/main > build/out 2> build/err <<EOF
+p 10 7
+p 63 222
+g 10
+g 15
+p 15 5
+g 15
+EOF
+cat > build/expected <<EOF
+7
+
+5
+EOF
+diff build/out build/expected
+echo success
+
+echo 3
+build/main > build/out 2> build/err <<EOF
+p 10 7
+p 13 2
+p 17 99
+p 12 22
+r 10 12
+r 10 15
+r 14 17
+r 0 100
+EOF
+cat > build/expected <<EOF
+10:7
+10:7 12:22 13:2
+
+10:7 12:22 13:2 17:99
+EOF
+diff build/out build/expected
+echo success
+
+echo 4
+build/main > build/out 2> build/err <<EOF
+p 10 7
+p 12 5
+g 10
+d 10
+g 10
+g 12
+EOF
+cat > build/expected <<EOF
+7
+
+5
+EOF
+diff build/out build/expected
+echo success