From mirageos-devel-bounces@lists.xenproject.org Wed Jul 06 12:28:45 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Wed, 06 Jul 2022 12:28:45 +0000 Received: from list by lists.xenproject.org with outflank-mailman.362225.592176 (Exim 4.92) (envelope-from ) id 1o948u-0003aS-JV; Wed, 06 Jul 2022 12:28:32 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 362225.592176; Wed, 06 Jul 2022 12:28:32 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1o948u-0003aL-Gh; Wed, 06 Jul 2022 12:28:32 +0000 Received: by outflank-mailman (input) for mailman id 362225; Wed, 06 Jul 2022 12:28:31 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1o948t-0003aF-9P for mirageos-devel@lists.xenproject.org; Wed, 06 Jul 2022 12:28:31 +0000 Received: from mail-ed1-x530.google.com (mail-ed1-x530.google.com [2a00:1450:4864:20::530]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 23cfa03e-fd27-11ec-924f-1f966e50362f; Wed, 06 Jul 2022 14:28:30 +0200 (CEST) Received: by mail-ed1-x530.google.com with SMTP id m16so3583803edb.11 for ; Wed, 06 Jul 2022 05:28:28 -0700 (PDT) Received: from [192.168.0.192] (80-162-30-222-cable.dk.customer.tdc.net. [80.162.30.222]) by smtp.gmail.com with ESMTPSA id ds12-20020a0564021ccc00b00437d3e6c4c7sm15585612edb.53.2022.07.06.05.28.27 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 06 Jul 2022 05:28:27 -0700 (PDT) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 23cfa03e-fd27-11ec-924f-1f966e50362f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=message-id:date:mime-version:user-agent:to:content-language:from :subject:content-transfer-encoding; bh=8rdyCqJJx/ylVEt7MJJZqe01t+IOftRv6x+zXwepvJg=; b=m2Q02wNkBP6QO2BhevBzJhBrxp8Su9XrgoYucUY8AltmlhcflJRNXgrDN3xAuvjWFF 69y/F4Fk6vKwMfwDz0OX4NJuf6S2ySENi2AmJUlr1xkSZyYvQ/mIRDYzEp8vBZ9DboeH C+rZ7iyJAF/4S0DeXHLgbOLVxkddxXiS9OvaQUkeJMvyYxdeHUTyyBBHQj5kdPXr4WgZ YKWtF7dCR7nTVUCPi/f06WDdBaPO0luytUBI9X0sJ1SyU8AYXI4cQX0uwsLP3HdlytH6 xDnctE9ZE0ovg5YZihUA+F1p6/PoTPS6A/YJEEILscQvhuBEBpZK2nqKRvvC9Q0jDFzo 14eg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:date:mime-version:user-agent:to :content-language:from:subject:content-transfer-encoding; bh=8rdyCqJJx/ylVEt7MJJZqe01t+IOftRv6x+zXwepvJg=; b=n5zFTng7fQpwik0hby6CjlOOp9U1jZmjx3luGWpJY23pBNjbVx9lee/BEfgfxy9fRj NBjP0XekIgTdcjh51zjp5JTz3mXxyQdfB5KwrYLgeqeyelUKeuWjXLjJAhYW4ToEBugc XR3GaZmggJllQdd4bpmKM/iNX0flnSr8IZ80lExYP753bOjhUejn6+sz48UQJt6gP2iB xukdRYQhGHDBWa44zwtuqLFraaJdNnfyE6P6tYGBs2S+CXjNOkgVaGmTLiU453hOjcKm f+jCYhFzVEA2kT4KsKoWbbgpNAEsFC2Vre8S7sqHGLBa/OSSI1y36OtQZhoaw4/ZKT1Z 4l1Q== X-Gm-Message-State: AJIora/e1G14nFlww+C+z1tK8yzEMfKbLPAdSBgCBTySbMqKdNgsDshU KKr8L2r87cHugQCTcS+E85RRKkXhSl4leQ== X-Google-Smtp-Source: AGRyM1sDXBWcKsPHwr7K6ZCNBTUCN/IFBFrATJFv1ohM+wAFd4/NLKCD7CNQHh3/S96+vSNMRcUBDA== X-Received: by 2002:a05:6402:3216:b0:435:a061:d662 with SMTP id g22-20020a056402321600b00435a061d662mr53172129eda.275.1657110508601; Wed, 06 Jul 2022 05:28:28 -0700 (PDT) Message-ID: <3bcb5ba0-17f1-7fac-7f8b-2a1677698217@gmail.com> Date: Wed, 6 Jul 2022 14:28:26 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.4.1 To: mirageos-devel@lists.xenproject.org Content-Language: en-US From: =?UTF-8?Q?Reynir_Bj=c3=b6rnsson?= Subject: Meeting 2022-07-06 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Hello list, Today we were a handful of people on the call, and after some time of silence we came to the conclusion that we have all had been on vacation and did not have anything new to report :D Meeting at https://whereby.com/ocamllabs in two week (July 20, 2022) was proposed. Best, Reynir From mirageos-devel-bounces@lists.xenproject.org Sun Jul 24 17:10:04 2022 Return-path: Envelope-to: archives@lists.xenproject.org Delivery-date: Sun, 24 Jul 2022 17:10:04 +0000 Received: from list by lists.xenproject.org with outflank-mailman.374188.606296 (Exim 4.92) (envelope-from ) id 1oFf73-0007vz-IW; Sun, 24 Jul 2022 17:09:53 +0000 X-Outflank-Mailman: Message body and most headers restored to incoming version Received: by outflank-mailman (output) from mailman id 374188.606296; Sun, 24 Jul 2022 17:09:53 +0000 Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1oFf73-0007vs-FU; Sun, 24 Jul 2022 17:09:53 +0000 Received: by outflank-mailman (input) for mailman id 374188; Sun, 24 Jul 2022 17:09:52 +0000 Received: from se1-gles-flk1-in.inumbo.com ([94.247.172.50] helo=se1-gles-flk1.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.92) (envelope-from ) id 1oFf72-0007vm-67 for mirageos-devel@lists.xenproject.org; Sun, 24 Jul 2022 17:09:52 +0000 Received: from mail-io1-xd29.google.com (mail-io1-xd29.google.com [2607:f8b0:4864:20::d29]) by se1-gles-flk1.inumbo.com (Halon) with ESMTPS id 6b9c2c5f-0b73-11ed-924f-1f966e50362f; Sun, 24 Jul 2022 19:09:50 +0200 (CEST) Received: by mail-io1-xd29.google.com with SMTP id h145so7111456iof.9 for ; Sun, 24 Jul 2022 10:09:48 -0700 (PDT) X-BeenThere: mirageos-devel@lists.xenproject.org List-Id: Developer list for MirageOS List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: mirageos-devel-bounces@lists.xenproject.org Precedence: list Sender: "MirageOS-devel" X-Inumbo-ID: 6b9c2c5f-0b73-11ed-924f-1f966e50362f DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to; bh=wa9lmEaawuiH1y4PA3fgFc243MibUUFG2uRUh+O4v0U=; b=f/XuP4golzb2xBqf4Emwul12WZ1P775JQIRq4IQ6ZG/GhYen1GnNh9o+qnHf7C9lpC RPdGUNxIGZQ6glnStX0qRheoLVhl3LtFAtEdxQtZO3vdxOvp82uWG/5trLPgbGxb0hON S0B/magDBwBRcUJVaVq9sgTcBwUWGCpY079Zz+UKKNpMVc3o0b33AIToKOhlJpyPzONn tOUur/72/279gjbUqtUO8Zl4b4c7kjTrl5zMCq1EpSGU0hrb275bTySUBWI+2/tWphGm BSRoEytcSuEr7o58Aaam0xaGiipfZtwRsnEl30zVXAOZEoc7tpnhYV9ctiEZ30gCNuQg lCrQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=wa9lmEaawuiH1y4PA3fgFc243MibUUFG2uRUh+O4v0U=; b=ZbsMhd/cD+objaX7kRkdHBYz6tXupO2gRvyuQl5ozm1/J4aG8Uqxj6Gjq8ur6JMu/j CVy6ErJqwDzGzj0qOW5mnooSQR0qWjrNV/NSuteoe339aRBni9zJcF/wcgZCqhj5wQzk 0YQwsqW5qbzGM7EXBRxRLLNpnTLDVXIrV9KzF1QnHlFRCNUnHq+srNChxlGwrVd+3pho e2GMMV4Pqf24pGi/tyx432W0s4984NLZbFSVWcJzwaw7RhHUbVMczJMP3PIj3ki/Lgks n3sClnILLPSQVCW8ovfSuWru11+e/ESNaus+uqrJy53rV826f6vrNdLQRWF1l1hkM7MO pIEA== X-Gm-Message-State: AJIora+GdE9KTEBrWbAQ1sQ0Ir5PUjrNFsUZqO5kJ4zBgsFqIzyChYFw zjak9e8WOzpM0pU+r0LX9iBrloLeWxUDZGckmQB8YFf5lU8= X-Google-Smtp-Source: AGRyM1sSIrCqw/rcjjNG0mihbMDd78UAKdb0pyKc6kfn6JooT3/OHDxcDtBtoRAr4jZ4zcO5//HHxyT6F5IYegY2fYE= X-Received: by 2002:a6b:3fd6:0:b0:67b:d97f:47d3 with SMTP id m205-20020a6b3fd6000000b0067bd97f47d3mr3017950ioa.46.1658682586577; Sun, 24 Jul 2022 10:09:46 -0700 (PDT) MIME-Version: 1.0 From: Romain Calascibetta Date: Sun, 24 Jul 2022 19:09:35 +0200 Message-ID: Subject: Meeting 2022-07-20 To: mirageos-devel@lists.xenproject.org Content-Type: multipart/alternative; boundary="0000000000005e433505e4902258" --0000000000005e433505e4902258 Content-Type: text/plain; charset="UTF-8" Hello list, This is the report of the meeting of 20/07/2022. We have decided to hold the next meeting on 7 September 2022 (14:00, CEST). Have a good holiday and enjoy. ## MirageOS ecosystem romain: I will do the next release of Solo5/mirage-solo5/mirage-xen/mirage to integrate the patch of Pierre about metrics (about memory consumption). haesbert: Why we did about Solo5 (stats about `malloc()`) pierre: we count the whole memory allocted (by a simple subtraction), so it's much faster than before (before, we used malloc_footprint()). So now we can introspect the memory usage of the whole unikernel. It's a small adaptation of dlmalloc. haesbert: What is dlmalloc? pierre: simple implementation of malloc used by Solo5 ## Haesbaert turn haesbert: working for Tarides, my longer project: think about MirageOS and OCaml multicore. Look up on Solo5. We don't have a plan yet but we need to move on multicore. Looked at Firecracker. Solo5 still is the best approach. The basic idea to support solo5: Solo5 is elegant and really simple. For OCaml 5, you need the idea of stacks. It's hard to create an unikernel (no documentation, etc.) New backend or improve Solo5? Romain: simulate multiple core with one vcpu haesbert: you still need to do a lot of work, my personal goal ..., my second goal is to make Solo5 really fast. Maybe focus on hvt first (see spt after). Romain: muen still must be supported Pierre: Xen too haesbert: that's fine I think haesbest: may be mixed on top of HVT the Virtio backend. We still provide both. haesbeaert: maybe you are true to try to fake an implementation of pthread and dig in then into to implement real multicore for OCaml 5 Romain: mirage-tcpip? haesbert: I don't know too much about it but I tried to see the fix. The fix seems correct. Maybe we can do something nicer. Romain: may be the best is to try and provide outcomes to help Hannes about TCP/IP stack haesbert: lot of works between libraries (MirageOS ecosystem) and multicore because the whole stack depends on lwt Romain: yes, but most of the core libraries don't depend on lwt (state machine, protocol, etc). But we don't have the time to maintain eio support for instance - so maybe someone should take care about that. ## Reynir turn Reynir: I'm looking for MirageOS inside Docker. How we can deploy an unikernel inside a Docker (tap interface and so one). I used the SPT target to deploy into the docker and its work. ## Timada turn Timada: I would like to share my progress, implementing Solo5 for microcontrollers: I just finished implementing {console, cpu, memory} initialisation. Now I need to implement the time initialisation. My goal is to make a simple unikernel with the Console device - doing step by step. Haesbert: Which controller you said? Timada: https://www.ti.com/product/AM6442 ## Pierre turn pierre: I'm still stuck on the circuit creation on the Tor protocol. NAT the traffic into the Tor network. I can contact the first node but I need to tell the first node to extend to a second one. I have to get the encryption key for the handshake. I'm not sure if I got the true key - I did something wrong about that. pierre: Probably, I don't clearly understand the Tor protocol but I hope (in my vacation) to find something. I need to do something for September because I will get some students (2 or 3) to work on the Tor protocol. I don't want to let my student implement the circuit - to let them work on some higher questions. pierre: If you want to help, we can do some visio (to Romain). pierre: About the retreat? romain: Hannes said something about October, we will try to confirm as soon as possible and send an email about that ## Romain turn Work on bob, I did a PoC which can transmit files and folders through a unikernel. That is mainly what I did, see https://github.com/dinosaure/bob. Currently, I'm on Windows support. -- The report was a bit chaotic as I intervened several times (and could not write at the same time). If I have forgotten any information or misinterpreted/written what you said, please add to it. Have a good holiday! -- Romain Calascibetta - http://din.osau.re/ --0000000000005e433505e4902258 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello list,

This is the repo= rt of the meeting of 20/07/2022. We have decided to hold the next meeting o= n 7 September 2022 (14:00, CEST). Have a good holiday and enjoy.
=
## MirageOS ecosystem

romain: I will do the next rele= ase of Solo5/mirage-solo5/mirage-xen/mirage to integrate the patch of Pierr= e about metrics (about memory consumption).
haesbert: Why we did about S= olo5 (stats about `malloc()`)
pierre: we count the whole memory allocted= (by a simple subtraction), so it's much faster than before (before, we= used malloc_footprint()). So now we can introspect the memory usage of the= whole unikernel. It's a small adaptation of dlmalloc.
haesbert: Wha= t is dlmalloc?
pierre: simple implementation of malloc used by Solo5
=
## Haesbaert turn

haesbert: working for Tarides, my longer proje= ct: think about MirageOS and OCaml multicore. Look up on Solo5. We don'= t have a plan yet but we need to move on multicore. Looked at Firecracker. = Solo5 still is the best approach. The basic idea to support solo5: Solo5 is= elegant and really simple.

For OCaml 5, you need the idea of stacks= .
It's hard to create an unikernel (no documentation, etc.)
New b= ackend or improve Solo5?

Romain: simulate multiple core with one vcp= u
haesbert: you still need to do a lot of work, my personal goal ..., my= second goal is to make Solo5 really fast. Maybe focus on hvt first (see sp= t after).

Romain: muen still must be supported
Pierre: Xen toohaesbert: that's fine I think

haesbest: may be mixed on top of = HVT the Virtio backend. We still provide both.

haesbeaert: maybe you= are true to try to fake an implementation of pthread and dig in then into = to implement real multicore for OCaml 5

Romain: mirage-tcpip?
hae= sbert: I don't know too much about it but I tried to see the fix. The f= ix seems correct. Maybe we can do something nicer.
Romain: may be the b= est is to try and provide outcomes to help Hannes about TCP/IP stack
hae= sbert: lot of works between libraries (MirageOS ecosystem) and multicore be= cause the whole stack depends on lwt
Romain: yes, but most of the core l= ibraries don't depend on lwt (state machine, protocol, etc). But we don= 't have the time to maintain eio support for instance - so maybe someon= e should take care about that.

## Reynir turn

Reynir: I'm= looking for MirageOS inside Docker. How we can deploy an unikernel inside = a Docker (tap interface and so one). I used the SPT target to deploy into t= he docker and its work.

## Timada turn

Timada: I would like t= o share my progress, implementing Solo5 for microcontrollers: I just finish= ed implementing {console, cpu, memory} initialisation. Now I need to implem= ent the time initialisation. My goal is to make a simple unikernel with the= Console device - doing step by step.
Haesbert: Which controller you sai= d?
Timada: https://www.ti.= com/product/AM6442

## Pierre turn

pierre: I'm still s= tuck on the circuit creation on the Tor protocol. NAT the traffic into the = Tor network. I can contact the first node but I need to tell the first node= to extend to a second one. I have to get the encryption key for the handsh= ake. I'm not sure if I got the true key - I did something wrong about t= hat.

pierre: Probably, I don't clearly understand the Tor protoc= ol but I hope (in my vacation) to find something. I need to do something fo= r September because I will get some students (2 or 3) to work on the Tor pr= otocol. I don't want to let my student implement the circuit - to let t= hem work on some higher questions.

pierre: If you want to help, we c= an do some visio (to Romain).
pierre: About the retreat?
romain: Hann= es said something about October, we will try to confirm as soon as possible= and send an email about that

## Romain turn

Work on bob, I d= id a PoC which can transmit files and folders through a unikernel.
That = is mainly what I did, see http= s://github.com/dinosaure/bob. Currently, I'm on Windows support.

--

The report was a bit= chaotic as I intervened several times (and could not write at the same tim= e). If I have forgotten any information or misinterpreted/written what you = said, please add to it. Have a good holiday!

--
Romai= n Calascibetta - http://d= in.osau.re/
--0000000000005e433505e4902258--