Linearizability
http://dbpedia.org/resource/Linearizability an entity of type: WikicatConsistencyModels
선형화가능성(Linearizability)은 병행 프로그래밍에서 어떤 연산이 즉시 효과가 나타나는 것처럼 보이는 성질을 가리킨다. 사용자는 구현 세부 사항을 무시해도 좋지만, 성능에는 영향이 있다. 반대로 어떤 연산이 원자적이지 않으면, 병행 연산(들)이 끼치는 추가적이고 돌발적인 영향을 이해하고 대처해야 한다. 그리고 당연히 이런 문제는 재현하기 힘들고 디버그하기 힘들다. 데이터베이스의 ACID 속성에 익숙한 경우에 병행 프로그래밍에서 원자성은 에 관련된 것이며, 직렬화보다 더 강력하다는 점에 주의하자. 데이터베이스에서는 원자성에 관해 다른 정의를 가진다.
rdf:langString
线性一致性（Linearizability），或称原子一致性或严格一致性指的是程序在执行的历史中在存在可线性化点P的执行模型，这意味着一个操作将在程序的调用和返回之间的某个点P起作用。这里“起作用”的意思是被系统中并发运行的所有其他线程所感知。
rdf:langString
In concurrent programming, an operation (or set of operations) is linearizable if it consists of an ordered list of invocation and response events (event), that may be extended by adding response events such that: 1.
* The extended list can be re-expressed as a sequential history (is serializable). 2.
* That sequential history is a subset of the original unextended list. Informally, this means that the unmodified list of events is linearizable if and only if its invocations were serializable, but some of the responses of the serial schedule have yet to return.
rdf:langString
並行プログラミングにおいて操作（または操作の集合）は、呼び出しイベントと応答イベント（コールバック）の順序付きリストで構成されており、応答イベントを追加することで以下のように拡張できる場合、線形化可能である。 1.
* 拡張されたリストは逐次履歴として再表現することができる（直列化可能である）。 2.
* その逐次履歴は元の拡張されていないリストの部分集合である。 これは、非公式には、変更されていないイベントのリストは、その呼び出しが直列化可能であるが、直列スケジュールの応答の一部がまだ戻ってきていない場合に限り、線形化可能であることを意味する。 並行システムではプロセスが同時に共有オブジェクトにアクセスできる。複数のプロセスが1つのオブジェクトにアクセスしているため、あるプロセスがオブジェクトにアクセスしている間に、別のプロセスがオブジェクトの内容を変更するという事態が発生することがある。
rdf:langString
Линеаризу́емость (англ. linearizability) — свойство программной системы, при котором результат любого параллельного выполнения (операций) эквивалентен некоторому последовательному выполнению. Для любого другого потока выполнение линеаризуемой операции является мгновенным: операция либо не начата, либо завершена. Применяется как в многопоточном программировании, так и в распределённых системах. Часто под неформальным понятием потоковой безопасности (англ. thread-safety) понимают именно линеаризуемость.
rdf:langString
rdf:langString
Linearizability
rdf:langString
선형화가능성
rdf:langString
線形化可能性
rdf:langString
Линеаризуемость
rdf:langString
线性一致性
xsd:integer
1204310
xsd:integer
1122023445
rdf:langString
November 2018
rdf:langString
In concurrent programming, an operation (or set of operations) is linearizable if it consists of an ordered list of invocation and response events (event), that may be extended by adding response events such that: 1.
* The extended list can be re-expressed as a sequential history (is serializable). 2.
* That sequential history is a subset of the original unextended list. Informally, this means that the unmodified list of events is linearizable if and only if its invocations were serializable, but some of the responses of the serial schedule have yet to return. In a concurrent system, processes can access a shared object at the same time. Because multiple processes are accessing a single object, there may arise a situation in which while one process is accessing the object, another process changes its contents. Making a system linearizable is one solution to this problem. In a linearizable system, although operations overlap on a shared object, each operation appears to take place instantaneously. Linearizability is a strong correctness condition, which constrains what outputs are possible when an object is accessed by multiple processes concurrently. It is a safety property which ensures that operations do not complete in an unexpected or unpredictable manner. If a system is linearizable it allows a programmer to reason about the system.
rdf:langString
선형화가능성(Linearizability)은 병행 프로그래밍에서 어떤 연산이 즉시 효과가 나타나는 것처럼 보이는 성질을 가리킨다. 사용자는 구현 세부 사항을 무시해도 좋지만, 성능에는 영향이 있다. 반대로 어떤 연산이 원자적이지 않으면, 병행 연산(들)이 끼치는 추가적이고 돌발적인 영향을 이해하고 대처해야 한다. 그리고 당연히 이런 문제는 재현하기 힘들고 디버그하기 힘들다. 데이터베이스의 ACID 속성에 익숙한 경우에 병행 프로그래밍에서 원자성은 에 관련된 것이며, 직렬화보다 더 강력하다는 점에 주의하자. 데이터베이스에서는 원자성에 관해 다른 정의를 가진다.
rdf:langString
並行プログラミングにおいて操作（または操作の集合）は、呼び出しイベントと応答イベント（コールバック）の順序付きリストで構成されており、応答イベントを追加することで以下のように拡張できる場合、線形化可能である。 1.
* 拡張されたリストは逐次履歴として再表現することができる（直列化可能である）。 2.
* その逐次履歴は元の拡張されていないリストの部分集合である。 これは、非公式には、変更されていないイベントのリストは、その呼び出しが直列化可能であるが、直列スケジュールの応答の一部がまだ戻ってきていない場合に限り、線形化可能であることを意味する。 並行システムではプロセスが同時に共有オブジェクトにアクセスできる。複数のプロセスが1つのオブジェクトにアクセスしているため、あるプロセスがオブジェクトにアクセスしている間に、別のプロセスがオブジェクトの内容を変更するという事態が発生することがある。 この例では線形化可能性の必要性を示している。線形化可能なシステムでは、共有されたオブジェクトに対する操作が重なっても、それぞれの操作は瞬時に行われているように見える。線形化可能性は強力な正当性条件であり、複数のプロセスが同時にオブジェクトにアクセスした場合に、どのような出力が可能であるかを制約する。線形化可能性は、操作が予期せぬ方法で完了しないことを保証する安全特性でもある。システムが線形化可能であれば、プログラマーはシステムについて推論することができる。
rdf:langString
线性一致性（Linearizability），或称原子一致性或严格一致性指的是程序在执行的历史中在存在可线性化点P的执行模型，这意味着一个操作将在程序的调用和返回之间的某个点P起作用。这里“起作用”的意思是被系统中并发运行的所有其他线程所感知。
rdf:langString
Линеаризу́емость (англ. linearizability) — свойство программной системы, при котором результат любого параллельного выполнения (операций) эквивалентен некоторому последовательному выполнению. Для любого другого потока выполнение линеаризуемой операции является мгновенным: операция либо не начата, либо завершена. Применяется как в многопоточном программировании, так и в распределённых системах. Как было показано, линеаризуемость является локальным и неблокируемым свойством.Локальность означает, что если доказана линеаризуемость операций для нескольких программ в отдельности(или для операций работающих с разными объектами одной программы),то программы вместе (операции вместе) также будут линеаризуемы.В линеаризуемой программе запущенные операции не требуют для своего завершения запуска других операций.Это свойство неблокируемости.Кроме того, линеаризуемость упрощает доказательство свойств программ, которые используют линеаризуемые операции,так как поведение линеаризуемой программы сводится к последовательным выполнениям. Свойство линеаризуемости во многом сходно с такими свойствами как (англ. serializability), атомарность, последовательная согласованность (англ. sequential consistency).В отличие от них, линеаризуемость предполагает наличие спецификации, тогда как эти свойства накладывают ограничения только на саму программу.В некоторых источниках термин атомарность используется как синоним линеаризуемости, в других же означает . Часто под неформальным понятием потоковой безопасности (англ. thread-safety) понимают именно линеаризуемость. Понятие линеаризуемости впервые появилось в статье Херлихи и 1987 года как для систем с объектной организацией общей памяти. В отличие от всех остальных систем, здесь программы не могут напрямую использовать общие переменные, а только через специальные функции-методы (операции). Для этих систем линеаризуемость совпадает со . Задача проверки линеаризуемости — это частный случай задачи функционального тестирования, в которой проверяется, удовлетворяет ли программа функциональным требованиям к ней, заданным в виде спецификации. Но в отличие от общего случая, здесь спецификация требуется только для последовательных выполнений.
rdf:langString
atomicity
rdf:langString
serializability
xsd:nonNegativeInteger
24456
