सीमांकित निरंतरता

प्रोग्रामिंग लैंग्वेजेज में, एक सीमांकित निरंतरता, रचना योग्य निरंतरता या आंशिक निरंतरता, एक स्टैक फ़्रेम का एक टुकड़ा है जिसे एक फ़ंक्शन में पुन: एकीकृत किया गया है। नियमित निरंतरता के विपरीत, सीमांकित निरंतरता एक मूल्य लौटाती है, और इस प्रकार इसका पुन: उपयोग और रचना की जा सकती है। नियंत्रण सीमांकक, सीमांकित निरंतरता का आधार, 1988 में मैथ्यू फेलिसेन द्वारा प्रस्तुत किया गया था चूंकि रचना योग्य और सीमांकित निरंतरता के प्रारंभिक संकेत कैरोलिन टैल्कॉट के स्टैनफोर्ड 1984 शोध प्रबंध, फेलिसेन और अन्य में पाए जा सकते हैं। फेलिसेन का 1987 का शोध प्रबंध, और कार्यात्मकबैक ट्रैकिंग के लिए एल्गोरिदम, उदाहरण के लिए, पैटर्न मिलान के लिए, पार्सिंग के लिए, बीजगणितीय तर्क कार्यात्मक प्रोग्रामिंग लैंग्वेज में, और प्रोलॉग की कार्यात्मक कार्यान्वयन में जहां विफलता निरंतरता को अधिकांशतः अंतर्निहित रखा जाता है और सफलता निरंतरता के लिए होने का कारण है कि यह रचना योग्य है।

इतिहास

सीमांकित निरंतरताओं को पहली बार 1988 में फेलिसेन द्वारा एक ऑपरेटर के साथ प्रस्तुत किया गया था, ${\mathcal {F}}$ पहली बार 1987 में एक तकनीकी रिपोर्ट में प्रस्तुत किया गया था, एक त्वरित निर्माण के साथ $\#$ ऑपरेटर को उन नियंत्रण ऑपरेटरों के सामान्यीकरण के लिए डिज़ाइन किया गया था जिनका वर्णन साहित्य में किया गया था जैसे स्कीम से call/cc, ISWIM के J ऑपरेटर, जॉन सी. रेनॉल्ड्स' escape ऑपरेटर, और अन्य है। इसके बाद, प्रोग्रामिंग लैंग्वेजेज के अनुसंधान समुदाय द्वारा कई प्रतिस्पर्धी सीमांकित नियंत्रण ऑपरेटरों का आविष्कार किया गया prompt और control, shift और reset,cupto, fcontrol, और दूसरे अन्य है।

उदाहरण

शोध साहित्य में सीमांकित निरंतरता के लिए विभिन्न ऑपरेटरों का प्रस्ताव किया गया है।

एक स्वतंत्र प्रस्तावनिरंतरता-पासिंग शैली (CPS) पर आधारित है - अर्थात, निरंतरता फ़्रेम पर नहीं - और दो नियंत्रण ऑपरेटर प्रदान करता है, shift और reset, जो गतिशील सीमांकित निरंतरताओं के अतिरिक्त स्थैतिक को जन्म देता है।

रीसेटऑपरेटर निरंतरता के लिए सीमा निर्धारित करता है जबकि shift ऑपरेटर वर्तमान निरंतरता को अंतरतम परिक्षेत्र तक कैच है या उसका पुनरीक्षण करता है।  

(* 2 (reset (+ 1 (shift k (k 5)))))

रीसेटउस निरंतरता का परिसीमन करता है जोshiftकैप्चर करता है। जब यह स्निपेट निष्पादित किया जाता है, तो इसका उपयोग होता हैशिफ्टका उपयोगkको निरंतरता(+ 1 [])से बांध देगा जहां[]गणना के उस हिस्से का प्रतिनिधित्व करता है जिसे एक मूल्य से भरा जाना है। यह निरंतरता सीधे उस कोड से मेल खाती है जोresetतकshiftको घेरता है। चूंकिshiftका मुख्य भाग (अर्थात्, (k 5)) तुरंत निरंतरता की स्तुति करता  है:  

(* 2 (+ 1 5))

सामान्य तौर पर, ये ऑपरेटर अधिक , रोचक व्यवहार को एनकोड कर सकते हैं, उदाहरण के लिए, कैप्चर की गई निरंतरता k को एक मान के रूप में वापस करना या k को कई बार लागू करना है।shift ऑपरेटर कैप्चर की गई निरंतरता को पास करता है k इसके मुख्य भाग में कोड के लिए, जो या तो इसे लागू कर सकता है, या इसके परिणामस्वरूप इसे उत्पन्न कर सकता है, या इसे पूरी तरह से अनदेखा कर सकता है। जो भी परिणाम shift उत्पन्न करता है वह reset और shift के बीच की निरंतरता को छोड़कर, अंतरतम reset को प्रदान किया जाता है। चूंकि, यदि निरंतरता लागू की जाती है, तो यह reset पर लौटने के बाद निरंतरता को प्रभावी ढंग से पुनः स्थापित करता है। जब reset के अन्दर संपूर्ण गणना पूरी हो जाती है, तो परिणाम सीमांकित निरंतरता द्वारा लौटाया जाता है।

 (reset (* 2 (shift k CODE)))

जब कभी भी CODE (k N) को आमंत्रित करता है, * 2 N) का मूल्यांकन किया जाता है और वापस कर दिया जाता है।

यह निम्नलिखित के बराबर है:

  (let ((k (lambda (x) (* 2 x)))) CODE)

इसके अतिरिक्त, एक बार shift के अन्दर गणना पूरी हो जाने के बाद, निरंतरता को हटा दिया जाता है, और निष्पादन reset पुनः आरंभ होता है।

 (reset (* 2 (shift k (k (k 4)))))

पहले (k 4) को आमंत्रित करता है, और फिर(k 8)इस बिंदु पर, shiftअभिव्यक्ति समाप्त हो गई है, और शेष resetअभिव्यक्ति को छोड़ दिया गया है। इसलिए, अंतिम परिणाम 16 है।

reset अभिव्यक्ति के बाहर जो कुछ भी होता है वह छिपा हुआ होता है, यानी नियंत्रण हस्तांतरण से प्रभावित नहीं होता है।

 (+ 1 (reset (* 2 (shift k (k (k 4))))))

सीमांकित निरंतरताओं का वर्णन सबसे पहले फ़ेलिसेन एट अल द्वारा स्वतंत्र रूप से किया गया था। और जॉनसन तब से उनका उपयोग बड़ी संख्या में डोमेन में किया गया है, विशेष रूप से नए नियंत्रण प्रवाह को परिभाषित करने के लिए है।

जटिल उदाहरण :

 (reset
   (begin
     (shift k (cons 1 (k (void)))) ;; (1)
     null))

shift द्वारा कैप्चर किया गया संदर्भ(begin [*] null) है, जहां [*] वह है kका पैरामीटर इंजेक्ट किया जाता है। shift के अंदर k इस संदर्भ का मूल्यांकन करता है (void) = #<void> को प्रतिस्थापित करने के साथ मूल्यांकन करती है, इसलिए(k (void)) का मान(begin #<void> null) = null है। shift का मुख्य भाग, अर्थात् (cons 1 null) = (1), अंतिम परिणाम के रूप में reset अभिव्यक्ति का समग्र मूल्य बन जाता है।

जो इस उदाहरण को और अधिक जटिल बनाते है:

 (reset
   (begin
     (shift k (cons 1 (k (void))))
     (shift k (cons 2 (k (void))))
     null))

यदि हम सबसे पहले टिप्पणी करें करते हैं, तो हम पहले से ही परिणाम जानते हैं, यह है (2); इसलिए हम इस प्रकार अभिव्यक्ति को फिर से लिख सकते हैं:

 (reset
   (begin
     (shift k (cons 1 (k (void))))
     (list 2)))

यह उचित है, और इसे इस रूप में फिर से लिखा जा सकता है (cons 1 (list 2)),(list 1 2).

हम इस ट्रिक का उपयोग करकेyield को परिभाषित कर सकते हैं:

(define (yield x) (shift k (cons x (k (void)))))

और सूचियों के निर्माण में इसका उपयोग करें:

 (reset (begin
          (yield 1)
          (yield 2)
          (yield 3)
          null))    ;; (list 1 2 3)

यदि हम cons को stream-cons से प्रतिस्थापित करते हैं, तो हम मंद स्ट्रीम बना सकते हैं:

  (define (stream-yield x) (shift k (stream-cons x (k (void)))))

  (define lazy-example
    (reset (begin
            (stream-yield 1)
            (stream-yield 2)
            (stream-yield 3)
            stream-null)))

हम इसे सामान्यीकृत कर सकते हैं और सूचियों को स्ट्रीम में परिवर्तित कर सकते हैं:

 (define (list->stream xs)
   (reset (begin
            (for-each stream-yield xs)
            stream-null)))

नीचे दिए गए अधिक जटिल उदाहरण में निरंतरता को लैम्ब्डा में सुरक्षित रूप से रखा जा सकता है, और इस प्रकार उपयोग किया जा सकता है:

 (define (for-each->stream-maker for-each) 
   (lambda (collection) 
     (reset (begin 
              (for-each (lambda (element) 
                          (shift k 
                            (stream-cons element (k 'ignored)))) 
                        collection) 
              stream-null))))

reset और shift के बीच के हिस्से में lambda और for-each के लिए नियंत्रण कार्य सम्मलित हैं; लैम्ब्डा का उपयोग करके इसे दोबारा लिखना असंभव है.

भाषाशास्त्र में सीमांकित निरंतरताएँ भी उपयोगी हैं: विवरण के लिए भाषाशास्त्र में निरंतरताएँ देखें।

बाहरी संबंध

• Composable continuations tutorial at SchemeWiki
• Delimited continuations in operating systems, by Oleg Kiselyov and Chung-chieh Shan
• Native delimited continuations in (byte-code and native-code) OCaml
• Shift/reset для самых маленьких (in Russian)
• Some nice papers on delimited continuations and first-class macros