Re: [MirageOS-devel] mirage-logs and functoria

[Drup <drupyog+caml@xxxxxxxx>]

> Ideally, I'd like to integrate this with functoria. What would be the
> best way to do this?
> Is it possible to do something like this?
>
>    register "console" [mirage_logs (main $ default_console)]
Not directly like that. I see several possibilities.

- Make "Main" take an extra module argument
      module L = struct let log = create () |> run end
  then config.ml is now
      let log = default_log $ default_console in
      register "foo" [main $ .. $ log]

  This way, the functor application of Mirage_logs.Make is outside (in 
the "default_log" combinator).
  Maybe it could be combined with Logs.Src.create if that's desirable.

- Change a bit the API, so that you have a `start` function that returns 
a thread that starts the logger
  (which means no automated function wrapping).

  Then, we declare main differently:
       let main = foreign ~deps:[hidden default_log] "Unikernel.Main" ( 
... @-> job)
  `Main.start` will receive an additional value (at least unit, but you 
can put whatever you want).
  and that ensures that logs are initialized before the main job is 
executed.
  This is what is done for nocrypto.

  Function wrapping could probably be arranged by using the value 
passed around.
  In the end, this could be like 1), but without the functor argument.

- The problem with those two methods is similar to your tracing issue. 
It doesn't log things started before the main job.
  The third possibility is, we solve 
https://github.com/mirage/functoria/issues/45 and we add a way to put 
the logger (and the tracer) there.
  Again, no automated wrapping


_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel