Czy wymagana jest synchronizacja?

Question

I określonych zmiennej (r.something) wewnątrz przedmiotu

func (r *Runner) init() { 
    r.something = make(map[string]int) 
    r.something["a"]=1 

    go r.goroutine() 
} 

podczas r.goroutine wykorzystuje wartości przechowywanej w r.something bez synchronizacji. Nikt inny nie odczyta/zapisze tej wartości z wyjątkiem r.goroutine()

Czy można to zrobić bez synchronizacji?

Innymi słowy: chcę ponownie użyć jakiejś zmiennej z goroutiny zainicjowanej gdzie indziej przed początku goroutine. Czy to jest bezpieczne?

Dodatkowe pytanie: Po zakończeniu r.goroutine() chcę móc używać r.something z innych źródeł (bez nakładania się odczytu/zapisu z innymi goroutinami). Czy to też jest bezpieczne?

Answer 1

Oczywiście jest to bezpieczne, ponieważ programowanie w Go może być koszmarem (a przynajmniej znacznie mniej przyjemnym). The Go Memory Model to interesujący fragment do przeczytania.

Tworzenie rutyny jest punktem synchronizacji. Jest to przykład bardzo podobny do Ciebie:

var a string 

func f() { 
    print(a) 
} 

func hello() { 
    a = "hello, world" 
    go f() 
} 

z następującym komentarzem:

nazywając cześć drukuje „Hello, World” w pewnym momencie w przyszłości (być może po powrocie z komentarzy).

To dlatego, że:

Oświadczenie Go, który rozpoczyna nowy goroutine dzieje przed zaczyna Wykonawczym goroutine użytkownika.

Słowo przed jest kluczowe tutaj, ponieważ implikuje rutynowe tworzenie (w jednym wątku) muszą być zsynchronizowane z jego rozpoczęcia (ewentualnie w innym wątku), więc pisze do musi być widoczny przez nową rutynę .

Answer 2

Jeśli nie istnieje sytuacja, w której pokrywają z czytać i pisać operacji według różnych Go-rutyny może wystąpić w tej zmiennej, to masz rację: nie ma potrzeby jakiegokolwiek synchonization.

Jak już wspomniałeś, że zmienna została zainicjowana przed twoja rutyna się rozpoczęła, jesteś w rzeczywistości bezpieczny.

Answer 3

Tak, jest bezpiecznie. Według Go Memory Model:

• oświadczenie Go, który rozpoczyna nowy goroutine dzieje przed rozpoczęciem Wykonawczym goroutine za
• obrębie jednego goroutine The dzieje, zanim zamówienie jest kolejność wyrażone przez program

Oznacza to, że wszystkie zmiany w zmiennych, które wprowadziłeś przed uruchomieniem goroutine, są widoczne wewnątrz tej goroutine.

Odpowiedz na dodatkowe pytanie: to zależy. Ogólnie rzecz biorąc, jeśli r.goroutine() zmodyfikowany r.goroutine() i chcesz go odczytać z innej goroutine, musisz użyć synchronizacji.