Handling go routines
This issue aims to keep all the discussions about the internship in a single place.
The main objective is to handle goroutines go func()
. (Note that later, the handling of channels could be a betterment) There are very few people dealing with Go for LTL model checking. To my knowledge only these guys have done something like that. They have few papers you can read and an interesting video from Golang UK conference 2016
.
I think that the very first steps are:
-
Download go2pins and make it work -
Play with https://golang.org/pkg/go/ast/
it will help you to understand the core of the project -
Play with https://tour.golang.org/concurrency/1
to have a nice comprehension of go routine -
Read @akirszenberg reports -
Have a pass that grab the number of go
instruction inside of the given program.
I will add more achievement later :)