W jaki sposób powiązane są zmienne globalne w bibliotekach wspólnych?

Załóżmy, że mam wspólną bibliotekę z tą funkcją, gdzie "i" jest jakąś zmienną globalną.W jaki sposób powiązane są zmienne globalne w bibliotekach wspólnych?

int foo() { 
return i++; 
}

Kiedy wywołać tę funkcję od wielu procesach wartość „i” w każdym procesie jest niezależny od innych procesów.

To zachowanie jest dość spodziewane.

Zastanawiam się, jak zwykle to zachowanie jest realizowane przez linker? Z mojego rozumienia kod jest dzielony między procesy, więc zmienna musi mieć ten sam adres wirtualny we wszystkich przestrzeniach adresowych każdego programu, który używa tej biblioteki. Ten stan wydaje się dość trudny do osiągnięcia, więc myślę, że tu coś pomijam i robi się to inaczej.

Czy mogę uzyskać bardziej szczegółowe informacje na ten temat?

Źródło

2013-06-15 Honza Brabec

** Kod ** jest udostępniony, a nie ** dane. ** Dynamiczny linker prawdopodobnie tworzy nową kopię zmiennej dla każdego procesu, ale nie tworzy kopii segmentu tekstowego (kodu). –

@ H2CO3 Jestem tego świadomy. Jednak pytam o szczegóły procesu łączenia. –

Cóż, jeśli potrzebujesz więcej szczegółów, myślę, że powinieneś rzucić okiem na rzeczywistą implementację. Dynamiczny linker w Linuksie i ten w Darwin (BSD/OS X/iOS) to opensource. –

Każdy proces ma własną unikalną przestrzeń adresową, więc gdy proces uzyskuje dostęp do zmiennej, może mieć różne wartości, a następnie inny proces. Jeśli proces powinien współdzielić tę samą pamięć, musieliby to ustawić. Wspólna biblioteka to za mało.

Źródło

2013-06-15 18:02:39 Devolus

Jestem świadomy tego, że każdy proces ma unikalną przestrzeń adresową. Jednak kod jest udostępniany. a kod odnosi się do jakiegoś adresu (wirtualnego) w pamięci. Moje pytanie dotyczy tego, jak to się dzieje. –

Mimo że wskazują one na ten sam adres, strony pamięci są powiązane z ich środowiskiem procesowym. Strony pamięci są przypisywane przez system operacyjny, więc linker nie musi robić nic specjalnego. – Devolus

Dynamiczny proces łączenia w czasie wykonywania (bardzo podobny do procesu łączenia statycznego), przydziela oddzielne segmenty danych (i bss) dla każdego procesu i odwzorowuje je w przestrzeni adresowej procesu. Tylko segmenty tekstu są współużytkowane między procesami. W ten sposób każdy proces otrzymuje własną kopię danych statycznych.

Źródło

2013-06-15 18:14:10 Ziffusion

Czy konieczne jest przydzielenie segmentów danych do dokładnie tej samej lokalizacji w każdej przestrzeni adresowej? Jeśli tak, co się stanie, jeśli lokalizacja jest już używana przez inne dane w jednym ze spacerów? –

Segmenty są przydzielane, mapowane gdzieś w przestrzeni adresowej (wszystko, co jest dostępne), a następnie proces łączenia, jeśli jest wykonywany (przeniesienie itp. I rozdzielczość symbolu). – Ziffusion

Ale jeśli kod jest udostępniony, w jaki sposób mogę przeprowadzić na nim relokację bez wpływu na inne procesy korzystające z tego samego kodu? –

kod jest dzielone pomiędzy procesami, więc zmienna musi mieć sam adres wirtualny we wszystkich przestrzeniach adresowych każdego programu, który używa tej biblioteki

Kod nie jest dzielona sposób myśleć. Tak, dynamiczny obiekt współdzielony jest ładowany tylko raz, ale odwołania do pamięci lub stos lub sterty, które kodują w zastosowaniach so, nie są udostępniane. Udostępniana jest tylko sekcja zawierająca kod.

Źródło

2013-06-15 20:21:58 Cratylus

W jaki sposób powiązane są zmienne globalne w bibliotekach wspólnych?

Odpowiedz

Powiązane problemy