{"entities":{"Q1119023":{"pageid":1129772,"ns":120,"title":"Item:Q1119023","lastrevid":66781122,"modified":"2026-04-12T12:49:19Z","type":"item","id":"Q1119023","labels":{"en":{"language":"en","value":"The behavior of shared objects: Concept, pitfalls, and a new model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4096787"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119023$29C74E01-5ED0-49C4-87C7-EDA0A7D35582","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4398248d36fe9a32e5531d4885a758873e2012be","datavalue":{"value":{"text":"The behavior of shared objects: Concept, pitfalls, and a new model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1119023$281B759A-B809-45DB-A2E3-46001326A4DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09e59588603f3129477f3c9b7bae486cdaa4fcf1","datavalue":{"value":"0669.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119023$363E884C-24D9-40C2-9996-F32C59E596C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62e6999908fc6f65977e46215579500e2f371679","datavalue":{"value":"10.1016/0020-0190(89)90133-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119023$A8B697DC-A598-4D7B-BA62-F81E0ECE201A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b2338a8b3aae602c2cdc832ee2a545075382e40","datavalue":{"value":{"entity-type":"item","numeric-id":1119022,"id":"Q1119022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119023$113A9304-3CF2-4A8F-8A14-4B26FB41CE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb056b1c94a988c8b5448bc1603fdaff815671c1","datavalue":{"value":{"entity-type":"item","numeric-id":175386,"id":"Q175386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119023$C0097EA7-F4C1-4112-A0E6-A037EEE63FA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119023$CDC59FE7-9823-44B1-8072-F2DFBA4ED6A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1119023$99BAB829-38A5-4084-87E4-B76E80921392","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6cb43017992b3f882f8bea92999fb32c5f84825d","datavalue":{"value":"The authors present a theoretical study of the behavior of overlapping concurrent operations on shared objects. Such objects can be found on all levels of a distributed system from hardware registers to files. The authors discuss the problem at the hardware level in order to stress the fundamental nature of the problem. Nevertheless, the considerations can be immediately applied to high-level operations.    In the first part of the paper, the authors compare the behavior of different kinds of registers (safe, regular, atomic) and arbiters. They review the well-known results that safe registers are enough to build any other type of register under the assumption of bounded response time. There seems, however, to be a common agreement that an arbiter which is guaranteed to make a decision in bounded time cannot be built out of electronic components. Thus, it is necessary to study how to define semantics of concurrent operations under the assumption of unbounded response time. The authors take a first step in this direction and define a generalized finite state automaton. In contrary to conventional automata, the state transition is not assumed to be completed instantaneously, but at any time after the input is applied. Thus, it is possible that some operations overlap. The definition is illustrated by describing a flip-flop, a counter and an arbiter.    The paper is well written; at the top of page 149, the second equal sign should be read as a plus sign.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119023$C973FFD2-5961-4D7D-8F7F-F1BC5151E150","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119023$13BB2357-DBEC-4B47-A2C2-405AE0B013C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119023$630DC099-7E62-44AF-A946-A60B4A534448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119023$B768337A-6401-4291-90A8-A45454DA814F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c018f079f0b6df8102d5a549b1f12f0a5e793fef","datavalue":{"value":"4096787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119023$17B913B6-D05D-49F1-9658-139E91F99880","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119023$09628528-BB12-4FA2-BE16-4DC2025D40E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119023$FEF86629-0733-4FC8-8A11-366E120EED4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119023$4B68599C-5366-41ED-9DF3-CA2F2E68E00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fe85ae8d4a7293b26db13c88d4f499a668dd17e","datavalue":{"value":"asynchronous circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119023$9F1E8E1F-FF54-40C3-A110-F077016F6B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1540036b530daa9fbdadba662922f9cdefcb5665","datavalue":{"value":"shared registers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119023$CA0281AD-483E-4EA5-8582-FCB6798F1B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0f4d8a19310121f00a4a8ed42cda6759bc6e041","datavalue":{"value":"arbiters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119023$ABA17EB9-A5D5-42F4-920D-07D38874975D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd90efce61916c4a97f58163607cb612d55fd88","datavalue":{"value":"nonatomic operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119023$4D833753-F7C1-4B75-9039-9B8038ACCDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1119023$6F4D6910-041F-4251-82F0-42D1CF05DF21","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"022fe16d37aa700fea70e7a830c42e0ea8776f70","datavalue":{"value":{"entity-type":"item","numeric-id":685457,"id":"Q685457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119023$A642D76E-55A5-4C1C-AF6B-0AC3F9005B9F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119023$19FF8A1B-A192-4453-ACE1-5206144CE03B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0cca97594c80e2c30c2d35db2c8a0f566aa15de0","datavalue":{"value":"https://doi.org/10.1016/0020-0190(89)90133-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1119023$480570FD-5560-4ABE-AEFA-7513ACA13B25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d484b398e2e055eef5bf4b98e967636f5658be8","datavalue":{"value":"W2033256937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1119023$2FE5B332-723F-4573-9A7A-556E0F3B0B76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"354753a1943059f69754c2111c40593e7af42747","datavalue":{"value":{"entity-type":"item","numeric-id":3814792,"id":"Q3814792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119023$858187AD-FFB9-4903-AB70-C92ED5BF8454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751bc9c0f31bcc962492231f0ab0272f6e6e3743","datavalue":{"value":{"entity-type":"item","numeric-id":1079946,"id":"Q1079946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119023$9BC3F190-912B-4B1F-9C04-DC901788D3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489fdea0dc50bddb022e24f1fd5b55591d16610e","datavalue":{"value":{"entity-type":"item","numeric-id":3904524,"id":"Q3904524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119023$6FDBB0B8-E068-4960-A4E0-9F376CFBC4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cffb14f80a3185a76f1a99ded32a55f4565d64a","datavalue":{"value":{"entity-type":"item","numeric-id":3723682,"id":"Q3723682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119023$B68295AF-DD5C-4E4B-8D5E-BEC72C42E130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1119023$90800EB9-BE33-4A9F-85FD-7AD35A98A35B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6688c2af0228f1ac63553dc6f37af4ca44782105","datavalue":{"value":{"entity-type":"item","numeric-id":1988520,"id":"Q1988520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9428c3e7bd8e1a18d319f48e1854fa03fee3c815","datavalue":{"value":{"amount":"+0.846802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119023$34035BFA-5520-4CF6-B484-60A3885D713C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb351ba591357c7cb42ef1e883c5190109ed340b","datavalue":{"value":{"entity-type":"item","numeric-id":2766890,"id":"Q2766890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d13bb9e4f668f8d4e8156740341fb28a6a9927","datavalue":{"value":{"amount":"+0.8352592","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119023$E6BEE1BB-2319-494D-BD34-C419F22B9564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9f0a40e50fd9cf07927d2113619a5ed9cb4a2e","datavalue":{"value":{"entity-type":"item","numeric-id":3524323,"id":"Q3524323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a5f67ad2130a788ed280c2c801bda39198229d","datavalue":{"value":{"amount":"+0.8256429","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119023$1C02CB0C-D2F6-47D1-BCAD-BD0943E7E40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d06ef915c42ae445e66ee709adf7f95d4fe90d","datavalue":{"value":{"entity-type":"item","numeric-id":1129824,"id":"Q1129824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e7053cac04f47748b1be82f5840366c3eb4bd1","datavalue":{"value":{"amount":"+0.8255869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119023$6ABFDA59-56CB-410A-AF38-F360D25C0D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a3422ec0d01380eaae9d7c28ce27fa709261ca","datavalue":{"value":{"entity-type":"item","numeric-id":5138482,"id":"Q5138482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560126e6479529e1b46f43f12ce3bf0aa4ebaae3","datavalue":{"value":{"amount":"+0.82274127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119023$22184387-0869-412C-A7C2-AAE2A178B82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"904ce664efa61f9b628bd6e7f7136f5c0e567bed","datavalue":{"value":{"entity-type":"item","numeric-id":2996123,"id":"Q2996123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d50a3c73db337c30d4ff72baa9ae885de69958d","datavalue":{"value":{"amount":"+0.8169627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119023$84BC9B83-AB2A-4097-874D-B66EEF412C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d035afe028340405f5478ca9f3436459065dd11f","datavalue":{"value":{"entity-type":"item","numeric-id":1637213,"id":"Q1637213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc887f271c713f11b706e8c494a9b7c43675f502","datavalue":{"value":{"amount":"+0.81518894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1119023$02AFBCB2-1F21-4DC8-8275-247579B1260A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The behavior of shared objects: Concept, pitfalls, and a new model","badges":[]}}}}}