{"entities":{"Q1819923":{"pageid":1830665,"ns":120,"title":"Item:Q1819923","lastrevid":69402243,"modified":"2026-04-13T06:45:50Z","type":"item","id":"Q1819923","labels":{"en":{"language":"en","value":"Primitives for resource management in a demand-driven reduction model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995024"}},"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":"Q1819923$3D6F9B8D-66ED-48A0-BE5C-F33E7A186AAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"098c1b849bd67886368810113c43bbdbc5f08599","datavalue":{"value":{"text":"Primitives for resource management in a demand-driven reduction model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1819923$F2873CD1-BD26-4FCA-8CA0-F3EB693EB40F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de4536d0aca145f5787c887328b7c7fcd9c14b2d","datavalue":{"value":"0614.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819923$8767D20F-2EC8-4544-A777-9943AC04A17D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"270defcb28ab8413d4e1e47d76c3d55bf9844876","datavalue":{"value":"10.1007/BF01414555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819923$5FED1FCC-7798-470A-B1B2-49F50828E550","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41a56534dd23780900fa1075d2898141d6886e7a","datavalue":{"value":{"entity-type":"item","numeric-id":169895,"id":"Q169895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819923$833AEFFD-BD3C-4D6D-9B0E-C545ACAE726E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2fd9367694a28bf5fbed8cfbcec4de376a3ee66","datavalue":{"value":{"entity-type":"item","numeric-id":1819922,"id":"Q1819922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819923$F978D352-9DAA-4348-A8B5-E6D26E4C29E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a32831c4e3f60d79ea2f79afb884ef69e4c8191c","datavalue":{"value":{"entity-type":"item","numeric-id":199286,"id":"Q199286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819923$D2715A57-7FBA-414B-B2A3-BF1E78EDDA2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1819923$E06A5146-2F2D-49FA-9612-F4CBAA6CBC44","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e7645ec22f2b44effc3cb5309922ffdf878c6b8b","datavalue":{"value":"Graph reduction has recently become well-known as a suitable technique for implementing applicative languages. However, its use hitherto has been primarily in implementing determinate programs. This paper is concerned with extensions to a demand-driven graph reduction language for performing resource management, and entail indeterminate operations. Our focus is on primitives for programming the synchronization and scheduling of resources, as found, for example, in operating systems. We propose queueing operators and operators for controlling the order of execution of operations. We show that demand-driven graph reduction simplifies the implementation of resource management, especially in obviating explicit protocols for task creation and deletion, and for busy waiting. The language FGL (function graph language) is first introduced, and the primitives are presented in this language. A number of examples are then presented to show the versatility of these primitives. The paper concludes with a brief sketch of a higher-level notation, called resource expressions, for specifying synchronization properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819923$1441AF3A-DFC3-40AF-BB6A-D4E26E8E8575","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819923$565EE899-F3C1-4DCE-B0B3-50139F7DE774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819923$FD94A35F-933A-461A-BB9F-80110C593805","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bde38b4aeb9444114ce8d58cfd6245c6c37ea2d","datavalue":{"value":"3995024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819923$90FCE25A-C723-44E5-B96A-851FDC1D5D49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8979471f00e40cf735acf576985db2ffbf7852d","datavalue":{"value":"demand-driven evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819923$F437D606-7B92-4CFF-9884-02FD1C95B87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e4b008f3dfb056f2bc3df40ca0cab4e1a282bbb","datavalue":{"value":"resource synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819923$CDBE7F7B-C20B-4FAA-B97A-DB65055523BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819923$13D1F81D-46DF-43DE-A60F-7ADE9D04FE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea290032d710a04356408d10e3e939703353014e","datavalue":{"value":"functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819923$72B7119E-19E4-4FE6-80E0-940ED9EA4722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79a999ca81517fb5db69211cb9cc8cd465c947b5","datavalue":{"value":"Graph reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819923$FD7526D0-442B-404A-B046-DE3EBB63F424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21bd8640a48a43f33083efd421e4f1a645de9b80","datavalue":{"value":"applicative languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819923$CF69173E-C39E-4D1D-A6DF-C83CE3A933BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c34248d6dc0e331bc6d251234c33b99a557f6328","datavalue":{"value":"synchronization and scheduling of resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819923$CBCC462E-D286-4931-A810-1870B17F545C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a119af38b040f707c5595be2a7e21fe95c5fe402","datavalue":{"value":"demand-driven graph reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819923$75F2F98A-245C-4E73-9CC4-5C1F895064D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cd2df7274828bdd678ff6c29e086f6edeb664a7","datavalue":{"value":"function graph language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819923$0DDF2FD3-490F-4EB2-B34D-187FB3EC656D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2561abd50a3a3eb879a35a478692f150f58de47b","datavalue":{"value":"resource expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819923$4E6B13EA-84BF-453E-81B7-7F3309485A40","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":"Q1819923$6F678D56-CA9D-4445-8AF7-5B45A36614BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a95725ef959f462ddc538789b5dc4c37dff0f0f","datavalue":{"value":{"entity-type":"item","numeric-id":4076730,"id":"Q4076730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819923$83F4F97B-A971-4332-869A-6512274A2909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97558af1147bf1da17aeb8d7f9212fe1000d9538","datavalue":{"value":{"entity-type":"item","numeric-id":3911367,"id":"Q3911367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819923$BC9F3580-C852-49B2-9C4A-79BF3ADF085D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819923$CF19B2D3-F1C0-4A51-BBFE-A50DCDF9887C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e002c7703a7e63f8238d4e7c16ac6a5af026e65","datavalue":{"value":{"entity-type":"item","numeric-id":3862437,"id":"Q3862437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819923$CBA9F1AB-727C-47A8-8482-8CF0CF8C14A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f0902b7a13ff1313d40f2b8f8dabe2c5c9489dc","datavalue":{"value":{"entity-type":"item","numeric-id":3668842,"id":"Q3668842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819923$FDE65607-1F32-43E1-B32B-386B5A3F3262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3528a4c6aa7c1dbb75517b1e32592cd5687df0c4","datavalue":{"value":{"entity-type":"item","numeric-id":4066584,"id":"Q4066584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819923$03F02ACC-6AEA-4343-A6B6-98E867EEDCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ec517cc08663c75c1ea2dc7918eb852ba10cb0","datavalue":{"value":{"entity-type":"item","numeric-id":4174726,"id":"Q4174726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819923$CC046182-E297-4477-AD80-09C82F5FD558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819923$39E9C10B-C051-45DE-A31D-85F2B4CE7367","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7ccd9102bd98fcaa95c76d4c26804c6e58941e7","datavalue":{"value":"https://doi.org/10.1007/bf01414555","type":"string"},"datatype":"url"},"type":"statement","id":"Q1819923$1006085B-74EF-45BF-A529-B1C5038C7B64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a61ca14136bdad95d9adee51001026486f39bd95","datavalue":{"value":"W1972320897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819923$2C52D585-BDA8-433B-867F-52B01FFB524E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef03fef464eac1f4db65c5e03c06a1eda445be1e","datavalue":{"value":{"entity-type":"item","numeric-id":3052777,"id":"Q3052777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c9cb374444c16999ef5cbae61e9f62377dda43","datavalue":{"value":{"amount":"+0.8261992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819923$6ED9343D-FEDF-49BD-A45B-3F355650EEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7dc15ecc1a353c1138e77f6ccb3d0f0dc4c791a","datavalue":{"value":{"entity-type":"item","numeric-id":3821901,"id":"Q3821901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e55354293184ce59884a4590024f8a27418f102","datavalue":{"value":{"amount":"+0.809486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819923$88352C9C-D20A-4AFD-8DC6-BBA582B19C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350c9645747c4cbde924b57d7c801f78f9a08eb0","datavalue":{"value":{"entity-type":"item","numeric-id":2173802,"id":"Q2173802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c9b857e0946ddac86f498b69eda8d3dfce654e","datavalue":{"value":{"amount":"+0.8038235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819923$60BE8AD4-661B-4743-819E-D749D817DF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a50eaa5580e1972814699f1e5c62d34ceca6df39","datavalue":{"value":{"entity-type":"item","numeric-id":299823,"id":"Q299823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d90deb3f01ec0c77f92a12ed913503d60e2546e","datavalue":{"value":{"amount":"+0.8009512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819923$353B2E30-E061-44CC-A849-EF88F5154474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b3fa7edbef290a080e00e5ba6ebe28024951db","datavalue":{"value":{"entity-type":"item","numeric-id":3588093,"id":"Q3588093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e0351e2268251f766572a15750d3586e55b5810","datavalue":{"value":{"amount":"+0.7982402","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819923$81496AB6-304D-4EF9-961F-91ABE5FBE609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adc43c4a080c5ff7e0f3017b9688e934b57d6af7","datavalue":{"value":{"entity-type":"item","numeric-id":3696847,"id":"Q3696847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f28bad842921ae76f9af7aa9b62e158b72ce83b","datavalue":{"value":{"amount":"+0.79697806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819923$310DEAF8-2768-4240-89B2-001B3FA6A6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e14cf026dd62ab3bae00e9c18b898d006b402639","datavalue":{"value":{"entity-type":"item","numeric-id":2280775,"id":"Q2280775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f42171619a407c5f9bdf404c5334f5ff5d2e44a","datavalue":{"value":{"amount":"+0.7937462","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819923$1E5E042B-E580-4351-96B1-EFF9B5294773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2013bd9729fb6fa069eef87e0683b02dac1e961","datavalue":{"value":{"entity-type":"item","numeric-id":3110275,"id":"Q3110275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2740f80f2cc12647a40099753f1c24df9bdd2e7","datavalue":{"value":{"amount":"+0.7923775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819923$0D696E9C-E684-4EF6-B8F5-CB0897C040CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b68ad6e9bbe31c3070d362027f03d2864b4fb4","datavalue":{"value":{"entity-type":"item","numeric-id":5087712,"id":"Q5087712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6750dc118aebbb5522f71095a38238d99e421f6b","datavalue":{"value":{"amount":"+0.7911787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819923$642638D1-532E-420E-8539-D3984F813EF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Primitives for resource management in a demand-driven reduction model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Primitives_for_resource_management_in_a_demand-driven_reduction_model"}}}}}