LXF94:Mono - История изменений

Crazy Rebel: оформление

2008-12-15T17:19:11Z

оформление

Внесённые изменения

Yaleks: /* Разделяй и… разделяй */

2008-07-09T13:36:38Z

‎Разделяй и… разделяй

Yaleks: шаблон

2008-05-20T10:47:40Z

шаблон

Yaleks: «LXF94:Программирование для Mono» переименована в «LXF94:Mono»: унификация

2008-05-20T10:47:11Z

«LXF94:Программирование для Mono» переименована в «LXF94:Mono»: унификация

Lockal: восстановление кавычек в коде AWB

2008-04-27T14:31:09Z

восстановление кавычек в коде AWB

Lodger: /* Разделяй и… разделяй */

2008-03-12T11:32:53Z

‎Разделяй и… разделяй

Lodger: /* В белых перчатках */

2008-03-12T10:25:28Z

‎В белых перчатках

Lodger: /* В белых перчатках */

2008-03-12T10:24:16Z

‎В белых перчатках

Lodger: /* В белых перчатках */

2008-03-12T10:23:06Z

‎В белых перчатках

Lodger: /* В белых перчатках */

2008-03-12T10:22:02Z

‎В белых перчатках

@@ Строка 75: / Строка 75: @@
 Сконцентрируемся на пункте 1, так как вопрос разделения данных – один из самых сложных. На техноязе то, чем мы занимаемся, называется потокобезопасность, и означает, что ваше приложение не сломается, если два потока попытаются сделать одно и то же в один момент. Что если два потока вдвоем примутся читать статическую переменную? Чтение переменных менее проблемно, но тоже небезопасно: легко нарваться на «состояние гонки» [race condition]. Не буду объяснять, что это такое, сейчас: из кода все станет ясно.
-Для начала попробуем безопасным образом писать в переменные из потока. Наш старый код генерировал случайные числа для возведения в квадрат, но сейчас мы собираемся создать список из целых чисел (об этом см. [[LXF92]]), и каждый поток будет считывать первый элемент из списка, удалять его и затем возводить в квадрат. Нам не нужна ситуация, когда все четыре потока прочитают первый элемент, затем поток 0 удалит его, поток 1 примется удалять следующий элемент, поток 2 – еще один, а поток 3 – еще один, и выйдет, что мы сосчитали квадрат для первого числа 4 раза, уничтожили 2-й, 3-й и 4-й элементы, сосчитали квадрат для 5-го элемента… и так далее.
+Для начала попробуем безопасным образом писать в переменные из потока. Наш старый код генерировал случайные числа для возведения в квадрат, но сейчас мы собираемся создать список из целых чисел (об этом см. [[LXF92:Mono|LXF92]]), и каждый поток будет считывать первый элемент из списка, удалять его и затем возводить в квадрат. Нам не нужна ситуация, когда все четыре потока прочитают первый элемент, затем поток 0 удалит его, поток 1 примется удалять следующий элемент, поток 2 – еще один, а поток 3 – еще один, и выйдет, что мы сосчитали квадрат для первого числа 4 раза, уничтожили 2-й, 3-й и 4-й элементы, сосчитали квадрат для 5-го элемента… и так далее.
 C# позволяет легко разрешить эту проблему с помощью выражения lock, отмечающего критические секции кода. Внутри критического блока в заданный момент времени может находится только один поток. Любой другой поток, дойдя до lock-секции, будет ждать, пока первый поток не выйдет из нее. Отсюда следует, что нам надо блокировать любые общие переменные, прежде чем изменять их, чтобы предотвратить двойные изменения.

← Предыдущая		Версия 10:47, 20 мая 2008
Строка 1:		Строка 1:
		+	{{цикл/Mono}}
		+
	== Mono: Работаем с потоками ==		== Mono: Работаем с потоками ==
	''Два ядра позволяют сделать больше – по крайней мере, так уверяет отдел маркетинга Intel. Проверим это вместе с '''Полом Хадсоном'''.''		''Два ядра позволяют сделать больше – по крайней мере, так уверяет отдел маркетинга Intel. Проверим это вместе с '''Полом Хадсоном'''.''

@@ Строка 36: / Строка 36: @@
     for (int i = 0; i < NumsPerThread; ++i) {
      int num = Rand.Next(1, 1000);
-     Console.WriteLine(“Thread #{0} says: {1} squared is {2}”,
+     Console.WriteLine("Thread #{0} says: {1} squared is {2}",
      Thread.CurrentThread.Name, num, num * num);
+    }
@@ Строка 62: / Строка 62: @@
 Вы заметите четыре важных момента в работе программы:
-*1 Каждый поток имеет доступ к генератору случайных чисел Rand и NumThreads, потому что они помечены как ‘static’, то есть каждый поток может читать и писать их.
+*1 Каждый поток имеет доступ к генератору случайных чисел Rand и NumThreads, потому что они помечены как 'static', то есть каждый поток может читать и писать их.
 *2 Каждый поток создает собственные случайные числа. Это потому, что переменная num объявлена локально в каждом потоке, поэтому у них есть по копии этой переменной, чтобы ей управлять.
 *3 При выводе программы вы заметите, что потоки не выводят каждый по строке, типа 012301230123. Более вероятно, что сначала поток 0 напечатает десять строк, затем поток 1 напечатает 10 строк, и так далее, то есть 0000000000111111111122222222223333333333.
@@ Строка 73: / Строка 73: @@
 Сконцентрируемся на пункте 1, так как вопрос разделения данных – один из самых сложных. На техноязе то, чем мы занимаемся, называется потокобезопасность, и означает, что ваше приложение не сломается, если два потока попытаются сделать одно и то же в один момент. Что если два потока вдвоем примутся читать статическую переменную? Чтение переменных менее проблемно, но тоже небезопасно: легко нарваться на «состояние гонки» [race condition]. Не буду объяснять, что это такое, сейчас: из кода все станет ясно.
-Для начала попробуем безопасным образом писать в переменные из потока. Наш старый код генерировал случайные числа для возведения в квадрат, но сейчас мы собираемся создать список из целых чисел (об этом см. [[LXF92|LXF92]]), и каждый поток будет считывать первый элемент из списка, удалять его и затем возводить в квадрат. Нам не нужна ситуация, когда все четыре потока прочитают первый элемент, затем поток 0 удалит его, поток 1 примется удалять следующий элемент, поток 2 – еще один, а поток 3 – еще один, и выйдет, что мы сосчитали квадрат для первого числа 4 раза, уничтожили 2-й, 3-й и 4-й элементы, сосчитали квадрат для 5-го элемента… и так далее.
+Для начала попробуем безопасным образом писать в переменные из потока. Наш старый код генерировал случайные числа для возведения в квадрат, но сейчас мы собираемся создать список из целых чисел (об этом см. [[LXF92]]), и каждый поток будет считывать первый элемент из списка, удалять его и затем возводить в квадрат. Нам не нужна ситуация, когда все четыре потока прочитают первый элемент, затем поток 0 удалит его, поток 1 примется удалять следующий элемент, поток 2 – еще один, а поток 3 – еще один, и выйдет, что мы сосчитали квадрат для первого числа 4 раза, уничтожили 2-й, 3-й и 4-й элементы, сосчитали квадрат для 5-го элемента… и так далее.
 C# позволяет легко разрешить эту проблему с помощью выражения lock, отмечающего критические секции кода. Внутри критического блока в заданный момент времени может находится только один поток. Любой другой поток, дойдя до lock-секции, будет ждать, пока первый поток не выйдет из нее. Отсюда следует, что нам надо блокировать любые общие переменные, прежде чем изменять их, чтобы предотвратить двойные изменения.
@@ Строка 107: / Строка 107: @@
     int Num = Numbers[0];
     Numbers.RemoveAt(0);
-    Console.WriteLine(“Thread #{0} says: {1} squared is {2}”,
+    Console.WriteLine("Thread #{0} says: {1} squared is {2}",
     Thread.CurrentThread.Name, Num, Num * Num);
+   }
@@ Строка 119: / Строка 119: @@
   Argument is out of range.
   Parameter name: index
-  at System.Collections.Generic.List`1[System.Int32].get_Item
+  at System.Collections.Generic.List'1[System.Int32].get_Item
   (Int32) [0x00000]
   at hackaday.MainClass.DoFunk () [0x00000]
@@ Строка 152: / Строка 152: @@
 *8 Поток 2: Взять первое число... БАЦ!
-В этой последовательности, Numbers начинает с ровно одним оставшимся элементом, и поток 1 его блокирует. В то же время поток 2 проверяет Numbers на наличие элементов, и его ждет успех – так как Numbers все еще содержит число. Но заблокировать Numbers он не может, поэтому ждет. Поток 1 продолжает работу, удаляет первый элемент и возводит его в квадрат, затем разблокирует Numbers. Поток 2 теперь блокирует Numbers, думая, что там еще остались числа, и пытается считать оттуда, затем отбрасывается исключение ‘System.ArgumentOutOfRangeException’, так как Numbers[0] не существует.
+В этой последовательности, Numbers начинает с ровно одним оставшимся элементом, и поток 1 его блокирует. В то же время поток 2 проверяет Numbers на наличие элементов, и его ждет успех – так как Numbers все еще содержит число. Но заблокировать Numbers он не может, поэтому ждет. Поток 1 продолжает работу, удаляет первый элемент и возводит его в квадрат, затем разблокирует Numbers. Поток 2 теперь блокирует Numbers, думая, что там еще остались числа, и пытается считать оттуда, затем отбрасывается исключение 'System.ArgumentOutOfRangeException', так как Numbers[0] не существует.
 Если запустить программу несколько тысяч раз, обнаружится, что она не всегда завершается аварийно. Полный произвол: поток 1 может заблокировать Numbers и удалить последнее значение до того, как поток 2 сможет прочитать оставшееся число элементов. Вот почему это зовется ситуацией гонки: потоки забегают один за другой, и между проверкой значения и его использованием может случиться все что угодно.
@@ Строка 171: / Строка 171: @@
 найдет слово, соответствующее хэшу. Максимальный размер слова
 будет использоваться для ограничения пробных входов: например,
-если максимум установить на 4, то поток проверит сначала ‘aa’, ‘aaa’,
+если максимум установить на 4, то поток проверит сначала 'aa', 'aaa',
-‘aaaa’, ‘aaab’, ‘aaac’... ‘aaay’, ‘aaaz’, ‘aaba’ и так далее до ‘azzz’.
+'aaaa', 'aaab', 'aaac'... 'aaay', 'aaaz', 'aaba' и так далее до 'azzz'.
 Здесь не хватит места для всей программы, потому что она занимает около 90 строк (вы найдете ее на диске). Но прежде чем браться за дело, обсудим несколько важных моментов:
 *1 Программа ожидает на входе 2 параметра: максимальный размер создаваемого слова и хэш, которому оно должно соответствовать. Если параметры не предоставлены, программа завершается. Заметим, что метод DoFunk() – точнее, любой метод, который поток выполняет при своем запуске – должен не иметь параметров, либо принимать только один параметр. Если надо передать несколько параметров, следует создать класс, содержащий все необходимые данные, а затем передать объект этого класса в поток.
-*2 Main() создает 26 потоков, по одному на каждую букву алфавита. Это делается следующим образом: буква ‘a’ преобразуется к целому значению в кодировке ASCII, затем добавляется число i и опять  преобразуется в букву. I находится в диапазоне от 0 до 25, что дает нам ‘a’,’b’,’c’ и т.д. Затем оно передается в thread.Start().
+*2 Main() создает 26 потоков, по одному на каждую букву алфавита. Это делается следующим образом: буква 'a' преобразуется к целому значению в кодировке ASCII, затем добавляется число i и опять  преобразуется в букву. I находится в диапазоне от 0 до 25, что дает нам 'a','b','c' и т.д. Затем оно передается в thread.Start().
 *3 Созданные потоки помещаются в список с незатейливым именем Threads.
 *4 Причина, по которой мы отслеживаем потоки – мы хотим, чтобы программа дождалась всех потоков, а потом уж продолжила свою работу. Для этого и метод thread.Join(): он ждет завершения потока.
@@ Строка 188: / Строка 188: @@
 DoFunk() вызывает NextLetter(), передает ей начальную букву и номер 2. Второй параметр – это уровень, то есть размер слова.
-Если мы велим программе искать слова максимальной длины 6, то цикл пойдет, обнаружит, что уровень (2) меньше или равен максимуму (6) и войдет в цикл от 0 до 25, а затем перезапустит себя. Вот как будет выглядеть поток вычислений после вызова NextLetter(“a”,2):
+Если мы велим программе искать слова максимальной длины 6, то цикл пойдет, обнаружит, что уровень (2) меньше или равен максимуму (6) и войдет в цикл от 0 до 25, а затем перезапустит себя. Вот как будет выглядеть поток вычислений после вызова NextLetter("a",2):
   if (2 <= 6) {
    for each alphabet letter {
-    string = “a” + letter;
+    string = "a" + letter;
     hash = Sha1(string);
-    if (hash is what we’re looking for) {
+    if (hash is what we're looking for) {
      print happy message
     } else {

@@ Строка 73: / Строка 73: @@
 Сконцентрируемся на пункте 1, так как вопрос разделения данных – один из самых сложных. На техноязе то, чем мы занимаемся, называется потокобезопасность, и означает, что ваше приложение не сломается, если два потока попытаются сделать одно и то же в один момент. Что если два потока вдвоем примутся читать статическую переменную? Чтение переменных менее проблемно, но тоже небезопасно: легко нарваться на «состояние гонки» [race condition]. Не буду объяснять, что это такое, сейчас: из кода все станет ясно.
-Для начала попробуем безопасным образом писать в переменные из потока. Наш старый код генерировал случайные числа для возведения в квадрат, но сейчас мы собираемся создать список из целых чисел (об этом см. [LXF92|LXF92]), и каждый поток будет считывать первый элемент из списка, удалять его и затем возводить в квадрат. Нам не нужна ситуация, когда все четыре потока прочитают первый элемент, затем поток 0 удалит его, поток 1 примется удалять следующий элемент, поток 2 – еще один, а поток 3 – еще один, и выйдет, что мы сосчитали квадрат для первого числа 4 раза, уничтожили 2-й, 3-й и 4-й элементы, сосчитали квадрат для 5-го элемента… и так далее.
+Для начала попробуем безопасным образом писать в переменные из потока. Наш старый код генерировал случайные числа для возведения в квадрат, но сейчас мы собираемся создать список из целых чисел (об этом см. [[LXF92|LXF92]]), и каждый поток будет считывать первый элемент из списка, удалять его и затем возводить в квадрат. Нам не нужна ситуация, когда все четыре потока прочитают первый элемент, затем поток 0 удалит его, поток 1 примется удалять следующий элемент, поток 2 – еще один, а поток 3 – еще один, и выйдет, что мы сосчитали квадрат для первого числа 4 раза, уничтожили 2-й, 3-й и 4-й элементы, сосчитали квадрат для 5-го элемента… и так далее.
 C# позволяет легко разрешить эту проблему с помощью выражения lock, отмечающего критические секции кода. Внутри критического блока в заданный момент времени может находится только один поток. Любой другой поток, дойдя до lock-секции, будет ждать, пока первый поток не выйдет из нее. Отсюда следует, что нам надо блокировать любые общие переменные, прежде чем изменять их, чтобы предотвратить двойные изменения.

@@ Строка 177: / Строка 177: @@
 *1 Программа ожидает на входе 2 параметра: максимальный размер создаваемого слова и хэш, которому оно должно соответствовать. Если параметры не предоставлены, программа завершается. Заметим, что метод DoFunk() – точнее, любой метод, который поток выполняет при своем запуске – должен не иметь параметров, либо принимать только один параметр. Если надо передать несколько параметров, следует создать класс, содержащий все необходимые данные, а затем передать объект этого класса в поток.
-*2 Main() создает 26 потоков, по одному на каждую букву алфавита.
+*2 Main() создает 26 потоков, по одному на каждую букву алфавита. Это делается следующим образом: буква ‘a’ преобразуется к целому значению в кодировке ASCII, затем добавляется число i и опять  преобразуется в букву. I находится в диапазоне от 0 до 25, что дает нам ‘a’,’b’,’c’ и т.д. Затем оно передается в thread.Start().
 Это делается следующим образом: буква ‘a’ преобразуется к целому значению в кодировке ASCII, затем добавляется число i и опять  преобразуется в букву. I находится в диапазоне от 0 до 25, что дает нам ‘a’,’b’,’c’ и т.д. Затем оно передается в thread.Start().
 *3 Созданные потоки помещаются в список с незатейливым именем Threads.
 *4 Причина, по которой мы отслеживаем потоки – мы хотим, чтобы программа дождалась всех потоков, а потом уж продолжила свою работу. Для этого и метод thread.Join(): он ждет завершения потока.
 *5 Это, в свою очередь, сделано ради подсчета, сколько времени потребуется для завершения работы всех потоков. Если мы не сделаем Join() для каждого потока, Main() продолжит выполнение и спутает нам хронометраж.
-*6 Подсчет хэша SHA1() на .NET – штука мучительная, и я решил эту проблему, написав вам в помощь небольшой метод.
+*6 Подсчет хэша SHA1() на .NET – штука мучительная, и я решил эту проблему, написав вам в помощь небольшой метод. Чтобы посчитать SHA1-хэш любого слова, просто отправьте ее в метод Sha1().
 Чтобы посчитать SHA1-хэш любого слова, просто отправьте ее в метод Sha1().
 Откинув все это в сторону, вы увидите, что метод DoFunk() поразительно мал. На самом деле он только принимает параметр (начальную букву), а затем вызывает другой метод. Но обратите внимание на то, как он принимает параметр типа object, затем преобразует его (char)

← Предыдущая		Версия 10:22, 12 марта 2008
Строка 203:		Строка 203:
	}		}
	NextLetter(string, 3);		NextLetter(string, 3);
−	}	+	}

	О да, рекурсивная функция может здорово надсадить мозги, но самый простой способ понять ее работу – рассовать повсюду выводы сообщений Console.WriteLine(), чтобы проследить внутреннюю логику.		О да, рекурсивная функция может здорово надсадить мозги, но самый простой способ понять ее работу – рассовать повсюду выводы сообщений Console.WriteLine(), чтобы проследить внутреннюю логику.