Если несколько потоков вызывают System.out.println (String) без синхронизации, можно ли чередовать выходные данные? Или запись каждой строки атомарна? API не упоминает о синхронизации, поэтому это кажется возможным, или чередование вывода предотвращается буферизацией и / или моделью памяти виртуальной машины и т. д.?
РЕДАКТИРОВАТЬ:
Например, если каждый поток содержит:
System.out.println("ABC");
гарантированно будет вывод:
ABC
ABC
или может быть:
AABC
BC
Поскольку в документации API не упоминается безопасность потоков на System.out и _ 2_ метод нельзя предполагать, что он является потокобезопасным.
Однако вполне возможно, что базовая реализация конкретной JVM использует поточно-ориентированную функцию для метода println (например, _ 4_ в glibc), так что на самом деле вывод будет гарантирован в соответствии с вашим первым примером (всегда ABC\n, затем ABC\n, никогда не перемежающиеся символы в вашем втором примере). Но имейте в виду, что существует множество реализаций JVM, и от них требуется только соблюдение спецификации JVM, а не каких-либо соглашений, выходящих за рамки этой спецификации.
Если вы абсолютно должны гарантировать, что никакие вызовы println не будут перемежаться, как вы описываете, тогда вы должны принудительно применить взаимное исключение вручную, например:
public void safePrintln(String s) {
synchronized (System.out) {
System.out.println(s);
}
}
Конечно, этот пример является лишь иллюстрацией и не должен восприниматься как «решение»; необходимо учитывать множество других факторов. Например, приведенный выше метод safePrintln(...) безопасен только в том случае, если весь код использует этот метод и ничто не вызывает System.out.println(...) напрямую.
println на самом деле здесь то же самое, что вы описываете? Разве это не делает его поточно-ориентированным в том же духе, что и ваше решение?
- person Makoto; 28.09.2014
safePrintln не безопаснее простого оператора печати. Вы не получаете никакой безопасности только потому, что вы синхронизируете с определенным объектом. Вы являетесь потокобезопасным только тогда, когда весь код, обращающийся к ресурсу, синхронизируется с одним и тем же объектом. Но если предположить, что весь код, вызывающий методы печати, синхронизируется с экземпляром System.out, вы вернетесь туда, откуда вы начали. Кроме того, ваш код не работает, поскольку он дважды читает переменную System.out. Если кто-то вызывает System.setOut(…) прямо между этими двумя чтениями, синхронизация прерывается.
- person Holger; 01.10.2015
synchronized устанавливает взаимное исключение и безопасность потоков между потоками, использующими его с одним и тем же объектом. Вот что он делает.
- person Holger; 13.07.2017
System.out.println(s); без synchronized (System.out), поэтому этот метод работает, только если все потоки придерживаются соглашения об использовании этого метода (или делают synchronized самостоятельно) вместо доступа к System.out прямо и что никто не звонит setOut. Вот почему синхронизация обычно сочетается с инкапсуляцией, не позволяющей прямой доступ к ресурсу.
- person Holger; 13.07.2017
Исходный код OpenJDK отвечает на ваш вопрос:
public void println(String x) {
synchronized (this) {
print(x);
newLine();
}
}
Пока вы не меняете OutputStream через System.setOut, это потокобезопасно.
Хотя это потокобезопасный, у вас может быть много потоков, пишущих в System.out, так что
Thread-1
System.out.println("A");
System.out.println("B");
System.out.println("C");
Thread-2
System.out.println("1");
System.out.println("2");
System.out.println("3");
может читать
1
2
A
3
B
C
среди других комбинаций.
Итак, чтобы ответить на ваш вопрос:
Когда вы пишете в System.out - он блокирует экземпляр OutputStream - затем он записывает в буфер и немедленно сбрасывается.
Как только он снимает блокировку, OutputStream сбрасывается и записывается в. Не было бы случая, когда у вас были бы соединены разные строки, например 1A 2B.
Отредактируйте, чтобы ответить на ваше редактирование:
Этого бы не случилось с System.out.println. Поскольку PrintStream синхронизирует всю функцию, он заполняет буфер, а затем очищает его атомарно. Теперь у любого нового входящего потока будет новый буфер для работы.
synchronized
- person John Vint; 28.02.2012
Чтобы уточнить, предположим, что у вас есть два потока, один из которых печатает "ABC", а другой - "DEF". Вы никогда не получите такой результат: ADBECF, но вы можете получить и то, и другое.
ABC
DEF
or
DEF
ABC
ABC выше DEF или DEF выше ABC
- person John Vint; 27.02.2012
DEBUGустановлено значение true в первых нескольких строках. - person mucaho schedule 23.09.2014