Meeting 2017 06 01

Jump to bottom

Lennart Oldenburg edited this page Jun 20, 2017 · 7 revisions

Time: 16:15 - 17:45
Participants: Tim, Matthias, Lennart
Tim
- Virtual meeting with Georges and Vitor regarding Pure OP-based CRDTs
- Checked Dovecot mailing list proposal
- Incorporated remarks into Evaluation page
- Very first ideas regarding an IMAP benchmark
- Verification of our IMAP-CmRDT is done, very awesome!
  - Will meet with Peter & Annette in Kaiserslautern to discuss results
- Containerized Dovecot will follow
Matthias
- Submitted a PromCon 2017 talk proposal, nice!
- Pull request proposed for moving pluto to DDD-style
- First metrics collection with Prometheus integrated
- Automatic folder creation will follow very soon
- Looked into k8s deployment of Prometheus
- Moved our CI builds from Travis CI to self-hosted Drone CI
Lennart
- Sent mail to Dovecot mailing list, unfortunately no response
- Removed failover node, distributor now connects directly to storage in case of 5 failed connection attempts to a worker
- Discussed verification code and structure with Tim
- Contributed to PromCon submission
- Started to move internal communication to gRPC
- Worked with Matthias to adopt DDD style throughout pluto
TO:
- IMAP benchmark
  - We took a look again at the Dovecot-recommended IMAP benchmarks
  - We will probably propose and implement our own benchmark tool
  - Concurrent IMAP "sessions" (we have to use this term carefully), potentially with command dependencies internally
  - One nice way for obtaining IMAP traffic is to implement a traffic generator based on seeds, nice to retrospectively have a look at "surrounding" traffic
- Evaluation
  - We had no more time to discuss this topic
ToDos until 2017-06-15
- Lennart:
  - Use gRPC/ProtoBuf for internal communication
  - Review the Isabelle/HOL proof comments
  - Work on IMAP benchmark to evaluate pluto
  - ~~Think about people to ask for suitable Dovecot deployment instead of Dovecot list~~
  - Work with Matthias on Scientific Prometheus Exporter
- Matthias:
  - Continue with the TODOs from last time...
- Tim:
  - ToDo