Re: [akaros] Go 1.4
On 2018-09-07 at 11:18 Dmitry Vyukov wrote: > E.g. for fuchsia we now auto-generate syzkaller descriptions from fidl > service descriptions, so syzkaller knows how to connect to system > services and can talk to them with realistic contents. Sounds pretty cool! -- You received this message because you are subscribed to the Google Groups "Akaros" group. To unsubscribe from this group and stop receiving emails from it, send an email to akaros+unsubscr...@googlegroups.com. To post to this group, send email to akaros@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/akaros/20180907073550.49cfd154%40cyssor. For more options, visit https://groups.google.com/d/optout.
Re: [akaros] Go 1.4
On Thu, Sep 6, 2018 at 6:14 PM, Barret Rhoden wrote: > Hi - > > Thanks to Brian's efforts this summer, we have a working Go 1.4 port > that passes all of the Go tests. It's up to date with all the Akaros > changes since our 1.3 port a few years ago, to include using SSH and > execing test binaries across a 9p mount. Nice! Unfortunately syzkaller is not potentially portable to 1.4 as we have lots of external dependencies. > Check out the doc for how to use it and some of the more interesting > bits of the port: > > https://github.com/akaros/go-akaros/blob/akaros/README.akaros > > My favorite is Usys: a mechanism to call into GCC / 2LS C code from Go > code, similar to making a syscall on other OSes. On Akaros, many parts > of a traditional OS are done in userspace, and the mechanisms and > concepts in userspace are analogous to OSes, with the classic example > being vcore context ~= interrupt context. Hence the name and much of > the implementation - Usys: User-level Syscall. Sounds like something else to stress test ;) E.g. for fuchsia we now auto-generate syzkaller descriptions from fidl service descriptions, so syzkaller knows how to connect to system services and can talk to them with realistic contents. E.g.: https://github.com/google/syzkaller/blob/master/sys/fuchsia/fidl_io.txt https://github.com/google/syzkaller/blob/master/sys/fuchsia/fidl_process.txt > Although 1.4 is not the latest Go version, things like Usys and the > work with signal handlers set us up for an easier transition to later > versions of Go that have removed all Ken C code from the runtime. > Additionally, 1.4 will always be around for bootstrapping. > > Barret > > P.S. Obligatory Go Dot: '·' > P.P.S. "What is that syntax?!" --Brian, regarding the Go Dot The first question I asked Ian when met him in person. -- You received this message because you are subscribed to the Google Groups "Akaros" group. To unsubscribe from this group and stop receiving emails from it, send an email to akaros+unsubscr...@googlegroups.com. To post to this group, send email to akaros@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/akaros/CACT4Y%2BahVEihysBuePY-qFAyvGTX6bmkWGx27yXi6Q95Capfkw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
Re: [akaros] Go 1.4
Nice! Well done! In addition to the ‚.‘, dont forget about the fake UTF ‚/‚ symbol for symbols that match to packages like „runtime/cgo“ as symbols in the C Code. Barret Rhoden schrieb am Do. 6. Sep. 2018 um 18:15: > Hi - > > Thanks to Brian's efforts this summer, we have a working Go 1.4 port > that passes all of the Go tests. It's up to date with all the Akaros > changes since our 1.3 port a few years ago, to include using SSH and > execing test binaries across a 9p mount. > > Check out the doc for how to use it and some of the more interesting > bits of the port: > > https://github.com/akaros/go-akaros/blob/akaros/README.akaros > > My favorite is Usys: a mechanism to call into GCC / 2LS C code from Go > code, similar to making a syscall on other OSes. On Akaros, many parts > of a traditional OS are done in userspace, and the mechanisms and > concepts in userspace are analogous to OSes, with the classic example > being vcore context ~= interrupt context. Hence the name and much of > the implementation - Usys: User-level Syscall. > > Although 1.4 is not the latest Go version, things like Usys and the > work with signal handlers set us up for an easier transition to later > versions of Go that have removed all Ken C code from the runtime. > Additionally, 1.4 will always be around for bootstrapping. > > Barret > > P.S. Obligatory Go Dot: '·' > P.P.S. "What is that syntax?!" --Brian, regarding the Go Dot > > -- > You received this message because you are subscribed to the Google Groups > "Akaros" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to akaros+unsubscr...@googlegroups.com. > To post to this group, send email to akaros@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/akaros/20180906121438.6ee48807%40gnomeregan.cam.corp.google.com > . > For more options, visit https://groups.google.com/d/optout. > -- ~Kevin -- You received this message because you are subscribed to the Google Groups "Akaros" group. To unsubscribe from this group and stop receiving emails from it, send an email to akaros+unsubscr...@googlegroups.com. To post to this group, send email to akaros@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/akaros/CAJR1fVq9hv3WjOHg7ZnRs8mVuzfg22DKUJ68h_dS%2BEFrsu8wvQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.