avsm

15 ms·

91.
by avsm 10y ago
Do you have a bug reference for this OCaml issue? It works fine here for me on OSX 10.12.
92.
by avsm 10y ago
(author of the talk here) This talk was more of a roundup of interesting uses of library hypervisors. The two are: - the HyperKit/MirageOS use in Docker for Mac and how it can augment a native client application - the far more general
93.
by avsm 10y ago
> the only usage of "unikernel infrastructure" is essentially to hack around elevating privileges for networking in macOS (author of the talk here) That's correct, although I view that in a less dismissive light than your
94.
by avsm 10y ago
Use mprotect(2) on the region of memory that the program wants to make executable. http://man.openbsd.org/OpenBSD-current/man2/mprotect.2 This is good portable programming practise anyway...
95.
by avsm 10y ago
This bug's been driving us mad because we can't reliably repro it on our machines at Docker, and it only happens to a small subset of users, but is very annoying when it goes trigger. It seems to be related to the OSX version inv
96.
by avsm 10y ago
This seems to work fine for me: docker run -it -v /private/etc/passwd:/etc/passwd alpine sh (not recommended for any actual use obviously) Is there a particular case in which this failed for you? We'd appreciat
97.
by avsm 10y ago
Sorry about that -- this was a bug in one of the betas where log rotation was broken. It's been fixed about 3 or 4 betas ago via a mid-week hotfix, so the latest open beta should be just fine. Hope you get a chance to try the latest
98.
by avsm 10y ago
https://forums.docker.com/c/docker-for-mac https://forums.docker.com/c/docker-for-windows hope that helps!
99.
by avsm 10y ago
I've coincidentally just ordered an Altera SoCKit to play with this more over the summer. There's a nice tutorial on getting started with HardCaml and the SoCKit at https://ocaml.io/w/HardCaml
100.
by avsm 10y ago
Please do let us know if it persists, to beta-feedback@docker.com or on the forums.
101.
by avsm 10y ago
Containerd is just one part of what Docker does. There is also image management (signing via Notary), distribution (pull/push to the Hub), orchestration (Swarm and friends), linked services (Compose), etc. You could reuse all the res
102.
by avsm 10y ago
We're taking it in a fairly different direction from upstream xhyve and bhyve, with the integration with other kits like VPNKit, DataKit (and soon, FSKit). We wanted to be able to diverge the build system in particular, and this makes
103.
by avsm 10y ago
It should be possible to build a simpler port for FreeBSD with the recent Docker 1.11 release. It moved the container execution to containerd ( https://github.com/docker/containerd ), so that's where a bunch of the
104.
by avsm 10y ago
Open sourcing our libraries is obviously just the start. We're really keen to hear about any other uses that people might have and move HyperKit in the direction of easy integration with higher-level frameworks. For instance, direct po
105.
by avsm 10y ago
It's important to realise that an LLVM backend is not a panacea -- the OCaml native code generator is highly optimised for the calling conventions and OCaml GC already. LLVM's IR doesn't quite track values at the same abstra
106.
by avsm 10y ago
There's a screencast fresh off the presses on the info page at https://ocaml.io/w/Blog:News/A_new_Reason_for_OCaml I'm finally going to switch away from my ancient nvi setup and use Atom instead! Mirage
107.
MirageOS: unikernel protocol hacking in Marrakech(mirage.io)
7 points by avsm 10y ago|0 comments
108.
by avsm 10y ago
> I cannot believe they are using `docker.local`. This hostname will cause nothing but trouble for years to come. We are indeed moving away from `docker.local` in Docker for Mac. There have actually been two networking modes in there si
109.
by avsm 10y ago
[I work on Docker for Mac] The early betas focussed on feature completeness rather than performance for filesystem sharing. In particular, we have implemented a new "osxfs" that implements bidirectional translation between Linux a
110.
by avsm 11y ago
The new daemon (dubbed osxfs) is FUSE-based at the moment, but also provides a semantic translation layer between OSX filesystem calls and Linux kernel events. The FUSE layer can be removed in the future in favour of a direct kernel module
111.
by avsm 11y ago
I haven't tried the Android emulator recently, but I am interested in deploying Facebook's Infer tool on our codebase (and they've got a Docker container too for it of course). So I've filed an internal bug for us to lo
112.
by avsm 11y ago
This is exactly correct. We're really enjoying working with the Hypervisor.framework, VMnet.framework, and all the various hooks Apple has exposed for apps like Docker for Mac. There are some bugs in the short-term, but Apple has been
113.
by avsm 11y ago
Thanks, this is useful feedback. There are various workarounds in the app to prevent such things, but the purpose of the beta program is to ensure that we catch all the weird permutations that happen when using hardware virt (e.g. the Andr
114.
by avsm 11y ago
Yes that should work fine with osxfs (the new filesystem engine). Do you have a pointer to the specific bug in vbox so we can add it to our test suite?
115.
by avsm 11y ago
Yes, quite a few issues of that nature have been fixed (and we are planning to open-source the changes later in the year once we stabilise the overall application). The bug above has been reported to Apple and they've reportedly fixed
116.
by avsm 11y ago
We'd love to get your feedback on the new filesystem engine in the Docker for Mac app. It's been a ton of work to get right, and there a few corner cases in the current beta that we're squashing, but overall things "jus
117.
by avsm 11y ago
[I work at Docker on the announced Mac app] Nathan LaFreniere (the author of dlite) is awesome, and we've been exchanging tips and tricks and areas where we can collaborate. He knew exactly where to press to find bugs in our earlier b
118.
by avsm 11y ago
Let me explain Docker for Mac in a little more detail [I work on this project at Docker]. Previously in order to run Linux containers on a Mac, you needed to install VirtualBox and have an embedded Linux virtual machine that would run the D
119.
by avsm 11y ago
The runtime aspects of the multicore runtime has been pretty stable. Most of the effort currently is going into the algebraic effects extension that is used to map direct-style concurrency into multiple (parallel) cores: https:/&#x2F
120.
by avsm 11y ago
There is a gap between the formal specification and reality though. We published some work (coincidentally presented right after this paper at SOSP 2015) on building a real-world mathematical model of POSIX and using it to test existing fi

More ›