YUBA,

В вашем случае, если работа будет идти только с параметрами, переданными в функцию, то никаких проблем не будет. Функция - это выделенный кусок исполнимого кода, и его синхронизировать с чем то не нужно абсолютно. Синхронизируют, при необходимости, только доступ к данным. Например, передающиеся по ссылке объекты.

YUBAчего второй поток заходит в нее-же и присваивает тем-же ячейкам памяти a=3, b=3
Осталось только понять, с чего вы взяли, что там те же ячейки? В вашем примере параметры метода - примитивные типы, следовательно, происходит передача по значению (а не по ссылке). Из чего следует, что каждый вызов метода приведет к копированию входных данных. То есть ячейки будут разными по любому.

YUBAХотелось бы, чтобы Pallaris был прав
Может, вы огорчитесь, но Pallaris прав.

YUBAХотелось бы подчеркнуть, что потоки пишут данные в разные места, и здесь четко разделены, а вот читают одни и те-же, либо данные других потоков, но чтение идет в разном контексте. Т.е. обращаясь к одним и тем-же функциям объектов делают разные вызовы.
Тут вообще ничего не понятно


YUBAпусть при обращении к функции объекта мы должны получить коллекцию строк (Rows), а другой поток одновременно хочет получить некую другую коллекцию.
А в чем вопрос то? Если функция создает в своем теле коллекцию строк (а не копирует откуда то), то эта коллекция никак не перемешается с другой

YUBAЧитаем Рихтера "... Net via C#"
В том куске, который вы привели, смысла мало. Очевидно, это вырванные их контекста фразы.
YUBAпри обращении к функции объекта из потока, должна создаваться полная копия объекта содержащего эту функцию и взаимосвязанных объектов
это неверная фраза.
YUBAЕсли это не так, никакое копирование переменных в вызове функции не поможет, да и копируются они в функцию (точки входа)
это тоже какая то фантастика. причем ненаучная :-)
YUBAКопирование же значений переменных в вызываемую функцию безопасно только для вызывающего объекта, для чего, собственно и сделано. Но никакой гарантии, что копии кто-то не изменит и функция будет работать нештатно.
Вам Где-то в степи подсказал почитать про стек вызовов. Жаль, вы не следуете хорошим советам.
YUBAArm79Функция - это выделенный кусок исполнимого кода Т.е.. видимо, для всех потоков, это одни и те же ячейки памяти.
У вас какое то катастрофическое непонимание. Функция - это исполнимый код. То есть инструкции процессора. Алгоритм. Если 10 участников работают по одному алгоритму, из этого не следует, что они должны работать поочередно. Они вполне могут и работать параллельно. Синхронизировать их работу нужно только в том случае, если все участники используют какие-то общие для всех вещи. Например, если вы сколачиваете табуретку, как и ваши соседи на уроке труда, то при наличии своих инструментов вы не обязаны оглядываться на них. Но если у вас один молоток на класс, вам придется волей-неволей как-то становиться в очередь к нему.

Конечно, мое описание сильно уступает Рихтеру, да и по хорошему это абстракция, на которую накладываются физические ограничения памяти и процессора, но на вашем уровне это не важно пока что. ОС и компилятор скроют от вас такие "мелочи".

Да, повторюсь. Ячейки памяти - это данные. Метод - это инструкции. Они к данным отношения не имеют.




Теперь на примере кода. Этот код всегда будет выдавать одни и те же результаты при тех же входных данных при любом количестве потоков, в которых метод будет вызываться. Потому что в x и y передаются копии значений. И связи с оригиналом нет.



а вот этот код нельзя назвать потокобезопасным, потому что параметр p передает ссылку на объект. А сам объект может изменяться одновременно с этим методом и в других местах.