eBPF on Windows • Hacker News Board

Re: eBPF on Windows

#161

Post by encryptluks2 » Tue, May 11, 2021, 2:57 PM UTC

jhomedall wrote: post #156

encryptluks2 wrote: post #144

Earlier quoted context omitted.

Are you even on Windows? This is with WSL 2, as you can systemd doesn't work as expected in WSL2. This is a known issue. If systemd is working for you, then you are doing something magic: sudo systemctl start docker [sudo] password for u3332: System has not been booted with systemd as init system (PID 1). Can't operate. Failed to connect to bus: Host is down https://stackoverflow.com/questions/55579342/why-systemd-is…

From that link (permalink to answer: https://stackoverflow.com/a/61887923 ) : > Nowadays you can try: > sudo service docker start > when using WSL2, if you are running on windows version 2004 or higher (I assume). Which is what I did in the listing above.

  sudo service docker start
  [sudo] password for u3323:
  docker: unrecognized service

Re: eBPF on Windows

#162

Post by jhomedall » Tue, May 11, 2021, 3:41 PM UTC

encryptluks2 wrote: post #161

jhomedall wrote: post #156

Earlier quoted context omitted.

From that link (permalink to answer: https://stackoverflow.com/a/61887923 ) : > Nowadays you can try: > sudo service docker start > when using WSL2, if you are running on windows version 2004 or higher (I assume). Which is what I did in the listing above.

sudo service docker start [sudo] password for u3323: docker: unrecognized service

Did you install docker from their own PPA linked in the instructions above, and are you on Ubuntu 20.04 with WSL2? Those are the only steps I took.

e:

ver

on 'cmd' also shows

  Microsoft Windows [Version 10.0.19042.928]

if that helps

e:

Everything except the service start, which I had to find in that StackOverflow thread. We've hit the max comment depth, so I couldn't response to you directly.

Re: eBPF on Windows

#163

Post by encryptluks2 » Tue, May 11, 2021, 5:37 PM UTC

jhomedall wrote: post #162

encryptluks2 wrote: post #161

Earlier quoted context omitted.

sudo service docker start [sudo] password for u3323: docker: unrecognized service

Did you install docker from their own PPA linked in the instructions above, and are you on Ubuntu 20.04 with WSL2? Those are the only steps I took. e: ver on 'cmd' also shows Microsoft Windows [Version 10.0.19042.928] if that helps e: Everything except the service start, which I had to find in that StackOverflow thread. We've hit the max comment depth, so I couldn't response to you directly.

Are you referring to the install instructions for Ubuntu? No where does it mention running the commands:

  sudo service docker start

Re: eBPF on Windows

#164

Post by nickstinemates » Tue, May 11, 2021, 5:48 PM UTC

encryptluks2 wrote: post #80

encryptluks2 wrote: post #72

Earlier quoted context omitted.

Docker containers don't run in WSL.

You still have to install Docker Desktop and enable the integration. You can't simply install docker in your WSL2 distro and use it.

Not accurate. I don't have docker desktop and docker works fine for me in WSL2

Re: eBPF on Windows

#165

Post by ngcc_hk » Wed, May 12, 2021, 5:40 AM UTC

whizzter wrote: post #153

salawat wrote: post #130

Earlier quoted context omitted.

As mentioned in a sibling reply, there goes my week. Thanks for the reference! Time to learn something I apparently did not know!

I think you can reason it like this. Assuming certain constraints (what you can define bounded analysis rules for) you can prove that things terminate. These rules things are usually far more advanced than we suspect initially, but they're not still not fully unbounded.(And we can often come up with more rules to make things practical even if unwieldy) Deciding termination for an arbitrarily large program in a turing…

I thought any general system contain arithmetic (as the proof based on transformation) cannot be proved it will be halted. Termination ... can it be terminated without halting?

Re: eBPF on Windows

#166

Post by pjmlp » Wed, May 12, 2021, 6:22 AM UTC

coolspot wrote: post #137

dang wrote: post #61

Earlier quoted context omitted.

" Eschew flamebait. Avoid unrelated controversies and generic tangents. " https://news.ycombinator.com/newsguidelines.html Comments like this one take threads in predictable, uninteresting directions, and—what's worse—they often get upvoted, accumulating mass at the top of the thread and choking out the specific interesting stuff. "Windows v Linux" is a classic example of a generic black hole, sucking passing spacesh…

Oops, sorry about that! Intention was to highlight how MS, that fought with *nix tooth and nail, now they are adopting more and more ideas from *nix, basically moving towards being best enterprise Linux.

You mean the company that used to have the best UNIX for PCs during the early 80's (Xenix), and a POSIX subsystem for NT/2000 for getting governement contracts?

Re: eBPF on Windows

#167

Post by pjmlp » Wed, May 12, 2021, 6:24 AM UTC

gigatexal wrote: post #94

Microsoft is really being bold about adopting open tech to improve either it’s bottom line (Azure now runs more Linux VMs than Windows ones) and now with eBPF. Truly a new and different Microsoft.

On top of HyperV, a Windows tech stack.

Re: eBPF on Windows

#168

Post by kwdc » Wed, May 12, 2021, 4:09 PM UTC

corty wrote: post #159

kwdc wrote: post #147

Earlier quoted context omitted.

Re: rebooting is easy Full agreement. We were remotely powering on/off hundreds of machines with a single command line. Then just a web page because we needed non-IT people doing it on regular basis. We used to change wallpapers of certain groups of machines on a daily or even hourly basis due to special events. Do people really think we remotely logged into each one? Or manually remoted each one? Hmmm. Next someone…

Depends, event forwarding is quite weird and broken. Default settings delay and buffer events for quite some time so that an attacker can easily suppress unsent event buffers. Crashes are also usually missed because buffered events have not been sent in time. That can be configured down, but all the provided defaults are useless. Also, encryption and authentication for log forwaring is bound to AD Kerberos credential…

Reading your comments it seems like you have had a bad time. I hope you moved over to linux or similar instead. Otherwise there's a lot of optimisation required in your AD with clean up of multiple areas required. Likely issues with network infrastructure as well.

Also, event forwarding isn’t the only way.

Re: eBPF on Windows

#169

Post by bshanks » Wed, May 12, 2021, 10:56 PM UTC

ngcc_hk wrote: post #165

whizzter wrote: post #153

Earlier quoted context omitted.

I think you can reason it like this. Assuming certain constraints (what you can define bounded analysis rules for) you can prove that things terminate. These rules things are usually far more advanced than we suspect initially, but they're not still not fully unbounded.(And we can often come up with more rules to make things practical even if unwieldy) Deciding termination for an arbitrarily large program in a turing…

I thought any general system contain arithmetic (as the proof based on transformation) cannot be proved it will be halted. Termination ... can it be terminated without halting?

Halting is indeed the same as termination. The halting problem DOES allow you to prove that some programs terminate. The problem is that there will be other programs that do terminate, but you won't be able to prove that they terminate.

So there is no way to know, for EVERY possible program, whether that program will terminate or not. But there are still some programs that you can know for certain that those programs will terminate.