कालतर्कशास्त्रम्। वितरितसम्मतिशास्त्रे (१ जुलै) यन्त्रसमूहस्य एकवाक्यता निरूपिता; इदानीं तस्य पृष्ठभूमिः. कदा किम् अभवत् इति विना एकां विश्वघटिकाम्। लौकिककालस्य विचलनात् आरभ्य प्राक्त्वसम्बन्धं, तार्किक-सदिश-मिश्रघटिकाः, क्षणचित्रपठनं बहुसंस्करणं च यावत् द्वादश पद्यानि। सम्मति-पक्षो / प्लवन्यायः नानुवर्ण्यते; केवलं कालतर्कः।
English · overview (minimizable)
English title
कालतर्कशास्त्रम्: A Metrical Codification of Logical Time, Hybrid Clocks and Snapshots
Context and topics
This verse treatise is part of the 2026 Sanskrit systems series (reader format). Primary topics: distributed-systems, logical-clocks, hybrid-clocks, snapshots, mvcc and causality.
How to read
- Default view is Sanskrit-first (verses and Devanāgarī apparatus).
- Open other
<details>blocks for पदच्छेद and gloss tables where present. - From 2026-09-22 onward, new posts also ship full per-verse word-for-word English inside each verse’s details.
Note
This English block is intentionally minimizable. It does not replace the Sanskrit text.
पूर्ण-शीर्षकम्
कालतर्कशास्त्रम्: A Metrical Codification of Logical Time, Hybrid Clocks and Snapshots
परम्परा-सन्धिः
| पूर्वं | अत्र किम् उपचीयते | किं न पुनरुच्यते |
|---|---|---|
| वितरितसम्मतिशास्त्रम् | एकवाक्यता, सुसङ्गतिसोपानम् | Paxos/Raft/२PC विवरणम् |
| तन्त्ररचना-पद्यानि | दत्तांशकोषघटकमात्रम् | रूपरेखासारः |
| इदं शास्त्रम् | प्राक्त्वम्, तार्किक/सदिश/मिश्रकालः, क्षणचित्रम्, बहुसंस्करणम् | - |
ग्राह्य-त्याज्य-विवेकः
ग्राह्यम्
१. लौकिककालदोषः: विचलनम्, NTP-सीमा; न वैश्विकं सूक्ष्मकालैक्यम्।
२. प्राक्त्वसम्बन्धः: happens-before; कारणतायाः आंशिकक्रमः।
३. तार्किकघटिका: Lamport clock; max+1 नियमः।
४. सदिशकालः: vector clock; प्रतियन्त्रं घटकः; || असंबद्धता।
५. मिश्रतार्किककालः: HLC; लौकिकः + तार्किकः; एका सङ्ख्यादृष्टिः।
६. अनिश्चयसीमा: TrueTime-धर्मीयः चिन्तासारः (interval)।
७. क्षणचित्रम्: consistent cut; MVCC; snapshot isolation सारः।
त्याज्यम्
- विक्रेताविशिष्टविलंबसङ्ख्याः।
- पूर्णप्रमाणलेखानुवादः. न्यायसार एव।
- सम्मतिनेतृनिर्वाचनपङ्क्तयः (पूर्वप्रकरणे गताः)।
अध्याय-योजना
| प्रकरणम् | विषयः | छन्दः | श्लोकाः |
|---|---|---|---|
| १ | मङ्गलं प्रयोजनं च | अनुष्टुभ् | २ |
| २ | लौकिककालदोषः | अनुष्टुभ् | १ |
| ३ | प्राक्त्वसम्बन्धः | उपजाति | १ |
| ४ | तार्किकघटिका | अनुष्टुभ् | २ |
| ५ | सदिशकालः | अनुष्टुभ् | १ |
| ६ | मिश्रतार्किककालः | वसन्ततिलका | १ |
| ७ | अनिश्चयसीमा | अनुष्टुभ् | १ |
| ८ | क्षणचित्रं बहुसंस्करणं च | उपजाति + अनुष्टुभ् | २ |
| ९ | उपसंहारः | अनुष्टुभ् | १ |
पारिभाषिक-कोशः
| आधुनिकम् | संस्कृतम् | टिप्पणी |
|---|---|---|
| wall / physical time | लौकिककालः / भौतिका कालः | विचलनशीलः |
| clock skew | कालविचलनम् | |
| happens-before (→) | प्राक्त्वसम्बन्धः | a → b |
| concurrent / incomparable | असंबद्धम् / अपारतन्त्र्यम् | a ∦ b |
| Lamport logical clock | तार्किकघटिका | एका सङ्ख्या |
| vector clock | सदिशकालः | n-घटकाः |
| hybrid logical clock | मिश्रतार्किककालः | pt + lc |
| uncertainty interval | अनिश्चयसीमा | [earliest, latest] |
| snapshot | क्षणचित्रम् | |
| consistent global snapshot | समञ्जसविश्वक्षणचित्रम् | consistent cut |
| MVCC | बहुसंस्करणसहवर्तित्वम् | |
| snapshot isolation | क्षणचित्रपृथक्करणम् | SI |
| commit timestamp | समर्पणकालचिह्नम् |
श्लोकः १ (अनुष्टुभ्)
कस्य पूर्वं किम् आसीद् वितरितेषु यन्त्रके ॥१॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः
पदच्छेदः
सम्मतौ सिद्ध्यति आशु कालः प्रश्नः समुत्थितः ।
कस्य पूर्वं किम् आसीत् वितरितेषु यन्त्रके ॥
| पदम् | अर्थः |
|---|---|
| सम्मतौ | एकवाक्यतायां सिद्धायाम् |
| सिद्ध्यत्याशु | शीघ्रं सिद्ध्यति (सन्धिः सिद्ध्यति+आशु) |
| कालो प्रश्नः | कालविषयकः प्रश्नः |
| समुत्थितः | उद्गतः |
| कस्य पूर्वं किम् | कस्य घटनायाः प्राक् किम् |
| वितरितेषु यन्त्रके | विकीर्णयन्त्रसमूहे |
सन्धिः: सिद्ध्यति + आशु → सिद्ध्यत्याशु।
वृत्तमिति: ८-८-८-८।
श्लोकः २ (अनुष्टुभ्)
अतः कालतर्कशास्त्रमिदं सम्प्रति प्रकीर्त्यते ॥२॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः
पदच्छेदः
एका विश्वघटिका न अस्ति सर्वेषां समकालिका ।
अतः कालतर्कशास्त्रम् इदं सम्प्रति प्रकीर्त्यते ॥
| पदम् | अर्थः |
|---|---|
| एकविश्वघटिका | एका वैश्विकलौकिकघटिका |
| नास्ति | न विद्यते |
| सर्वेषां समकालिका | सर्वेषां यन्त्राणां समं कालं दर्शयित्री |
| कालतर्कशास्त्रम् | this treatise on logical time |
| सम्प्रति | अधुना |
| प्रकीर्त्यते | is proclaimed |
व्युत्पत्तिः
घटिका: घट + ठन् (कालमापनी)। तर्कः: √तर्क् + अच्। विश्व: अत्र global.
श्लोकः ३ (अनुष्टुभ्)
तस्मात् कारणतामात्रं न तेनैव प्रसिध्यति ॥३॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः
पदच्छेदः
लौकिको विचलनैः कालो यन्त्रेषु न समानकः ।
तस्मात् कारणता मात्रं न तेन एव प्रसिध्यति ॥
| पदम् | अर्थः |
|---|---|
| लौकिकः | physical / wall-clock time |
| कालविचलनैः | skew / drift हेतुभिः |
| न समानकः | न सर्वत्र समः |
| कारणता | causality |
| न तेनैव | न केवलं तेन लौकिकेन |
| प्रसिध्यति | सिद्ध्यति |
व्युत्पत्तिः
लौकिक: लोक + ठक्। विचलनम्: वि + √चल् + ल्युट्। NTP/PTP समीकरणमपि सूक्ष्मं अवशेषं त्यजति; वितरितकारणतायै पर्याप्तं न।
श्लोकः ४ (उपजाति)
सन्देशयोगाद् अपरोत्तरं स्यात् ।
प्राक्त्वसम्बन्ध इति ब्रुवन्ति
नो चेद् द्वयं स्याद् अप्यसंबद्धम् ॥४॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः
पदच्छेदः
यः पूर्वभावः स्वगणात् भवेत् वा सन्देशयोगात् अपरम् उत्तरं स्यात् ।
प्राक्त्वसम्बन्धः इति ब्रुवन्ति । नो चेत् द्वयं स्यात् अपि असंबद्धम् ॥
| पदम् | अर्थः |
|---|---|
| पूर्वभावः | earlier event (same process order) |
| स्वगणात् | स्वयन्त्रक्रमात् |
| सन्देशयोगात् | send→receive link |
| अपरोत्तरम् | later event elsewhere |
| प्राक्त्वसम्बन्धः | happens-before |
| असंबद्धम् | concurrent (incomparable) |
सन्धिः: नो + चेत् → नो चेद् (पादे); अपि + असंबद्धम् → अप्यसंबद्धम् इष्यते. अत्र अपि असंबद्धम् स्पष्ट्यर्थम्।
व्युत्पत्तिः
प्राक्त्वम्: प्राच् + त्व (earlier-ness)। Lamport: → is least partial order closed under process order and message delivery.
वृत्तमिति: एकादशाक्षराः पादाः।
श्लोकः ५ (अनुष्टुभ्)
घटनायां वर्धते सा च सन्देशेऽपि नियुज्यते ॥५॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः
पदच्छेदः
तार्किकी घटिका सङ्ख्या स्थानीयं मानम् उच्यते ।
घटनायां वर्धते सा च सन्देशे अपि नियुज्यते ॥
| पदम् | अर्थः |
|---|---|
| तार्किकी घटिका | Lamport logical clock |
| सङ्ख्या | scalar counter |
| स्थानीयं मानम् | per-process value |
| घटनायां वर्धते | on each event, increments |
| सन्देशे नियुज्यते | piggybacked on messages |
व्युत्पत्तिः
तार्किक: तर्क + ठक्। Lamport 1978 scalar clock.
श्लोकः ६ (अनुष्टुभ्)
पूर्वत्वे लघुता नूनं न तु लघुनि पूर्वता ॥६॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः
पदच्छेदः
प्राप्ते मानं परं नीत्वा स्वं च वृद्धं विधाय च ।
पूर्वत्वे लघुता नूनं न तु लघुनि पूर्वता ॥
| पदम् | अर्थः |
|---|---|
| प्राप्ते | on receive |
| मानं परम् | incoming clock value |
| नीत्वा | max(local, received) इत्यर्थे |
| वृद्धं विधाय | then +1 |
| पूर्वत्वे लघुता | if a→b then C(a)<C(b) |
| न तु लघुनि पूर्वता | C(a)<C(b) does not imply a→b |
न्यायसारः: तार्किकघटिका कारणतां सूचयति एकदिशि; पूर्णं कारणताज्ञानं न ददाति।
श्लोकः ७ (अनुष्टुभ्)
तुलनेऽसंबद्धं ज्ञेयं पूर्णकारणता तथा ॥७॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः
पदच्छेदः
सदिशः कालः एकैकयन्त्रांशैः परिगण्यते ।
तुलने असंबद्धं ज्ञेयं पूर्णकारणता तथा ॥
| पदम् | अर्थः |
|---|---|
| सदिशः कालः | vector clock |
| एकैकयन्त्रांशैः | one component per process |
| परिगण्यते | is computed (max pairwise + self+1) |
| तुलनेऽसंबद्धम् | incomparability under componentwise order |
| पूर्णकारणता | a→b iff V(a)<V(b) (strict) |
व्युत्पत्तिः
सदिश: स + दिश् (with directions/components; vector). Fidge / Mattern vector time.
सन्धिः: तुलने + असंबद्धम् → तुलनेऽसंबद्धम्।
श्लोकः ८ (वसन्ततिलका)
यत्रास्ति भौतिकपदं तर्कपदं च नित्यम् ।
भौतिकवृद्धौ लघु तर्कम् अथान्यथा स्याद्
वृद्धं यथा कारणता क्रमवद् बहिः स्यात् ॥८॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः
पदच्छेदः
लौकिकतार्किकयुगं मिश्रकालं वदन्ति यत्र अस्ति भौतिकपदं तर्कपदं च नित्यम् ।
भौतिकवृद्धौ लघु तर्कम् अथ अन्यथा स्यात् वृद्धम् । यथा कारणता क्रमवद् बहिः स्यात् ॥
| पदम् | अर्थः |
|---|---|
| लौकिकतार्किकयुगम् | (pt, lc) pair |
| मिश्रकालम् | hybrid logical clock |
| भौतिकपदम् | physical/wall component |
| तर्कपदम् | logical component |
| भौतिकवृद्धौ लघु तर्कम् | when PT advances, logical part stays small / resets relative |
| अन्यथा वृद्धम् | else logical counter grows (same PT bucket) |
| कारणता क्रमवद् बहिः | causality kept; order near external time |
व्युत्पत्तिः
मिश्रकालः: मिश्र + काल। Kulkarni et al. HLC: PT-close timestamps that still respect happens-before.
वृत्तमिति: चतुर्दशाक्षराः पादाः (वसन्ततिलका)।
श्लोकः ९ (अनुष्टुभ्)
प्रतीक्ष्य निश्चितं कालं क्वचित् सन्धिः प्रवर्तते ॥९॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः
पदच्छेदः
अनिश्चयस्य सीमायां सत्यकालः प्रतिष्ठितः ।
प्रतीक्ष्य निश्चितं कालं क्वचित् सन्धिः प्रवर्तते ॥
| पदम् | अर्थः |
|---|---|
| अनिश्चयस्य सीमा | uncertainty interval ε |
| सत्यकालः | “TrueTime”-style absolute bounds |
| प्रतीक्ष्य | after waiting out uncertainty |
| निश्चितं कालम् | a time known to be past |
| सन्धिः | commit / external consistency step |
| क्वचित् | in some stores (e.g. Spanner-like) |
सारः: न पूर्णं घटीयन्त्रम्; अपि तु उभयतःबद्धः कालान्तरः। विलम्बेन क्रयः. सुसङ्गतेः मूल्यम्।
श्लोकः १० (उपजाति)
पठ्येत कालाङ्कपुराणदृष्ट्या ।
लेखे नवं स्याद् अपि नान्यहानिः
पृथक्कृतिः सा क्षणचित्रसंज्ञा ॥१०॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः
पदच्छेदः
चित्रं ह्यनेकसंस्करणयुतम् पठ्येत कालाङ्कपुराणदृष्ट्या ।
लेखे नवं स्यात् अपि न अन्यहानिः । पृथक्कृतिः सा क्षणचित्रसंज्ञा ॥
| पदम् | अर्थः |
|---|---|
| चित्रम् | snapshot |
| ह्यनेकसंस्करणयुतम् | multi-versioned (MVCC); हि + अनेक… |
| पठ्येत | may be read |
| कालाङ्कपुराणदृष्ट्या | under an older timestamp view |
| लेखे नवम् | on write, a new version |
| नान्यहानिः | no harm to the other side (readers/writers decoupled) |
| पृथक्कृतिः | isolation |
| क्षणचित्रसंज्ञा | called snapshot isolation |
व्युत्पत्तिः
क्षणचित्रम्: क्षण + चित्र। संस्करणम्: सम् + √कृ + ल्युट् (version)। कालाङ्कः: काल + अङ्क (timestamp)।
वृत्तमिति: एकादशाक्षराः पादाः।
श्लोकः ११ (अनुष्टुभ्)
यत्र न सन्देशो भिन्द्यात् दृश्यम् अर्धपथे स्थितम् ॥११॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः
पदच्छेदः
समञ्जसः च विश्वस्य क्षणच्छेदः स कथ्यते ।
यत्र न सन्देशः भिन्द्यात् दृश्यम् अर्धपथे स्थितम् ॥
| पदम् | अर्थः |
|---|---|
| समञ्जसः | consistent |
| विश्वस्य क्षणच्छेदः | global cut / global snapshot |
| सन्देशो न भिन्द्यात् | no message crosses from after-cut sender to before-cut receiver inconsistently |
| अर्धपथे | in flight / half-way |
| दृश्यम् | the observed state |
सारः: Chandy-Lamport-धर्मीयः consistent cut: यदि प्राप्तं घटना छेदे, तर्हि तत्सन्देशप्रेषणमपि छेदे या प्राक्। क्षणचित्रपठनेऽपि कालाङ्कनैः एष धर्मः साध्यते।
श्लोकः १२ (अनुष्टुभ्)
पठनलेखक्रमज्ञाने वृणु यन्त्रानुसारतः ॥१२॥
पदच्छेदः · शब्दार्थः · व्युत्पत्तिः
पदच्छेदः
कालतर्कः न देवः अयम् साधनं कारणोद्भवे ।
पठनलेखक्रमज्ञाने वृणु यन्त्रानुसारतः ॥
| पदम् | अर्थः |
|---|---|
| न देवोऽयम् | not a divine global clock |
| साधनं कारणोद्भवे | a tool for causality |
| पठनलेखक्रमज्ञाने | for read/write ordering knowledge |
| वृणु यन्त्रानुसारतः | choose (Lamport / vector / HLC / SI) per system |
उपसंहारन्यायः: सम्मतिः किम् एकं मतम्; कालतर्कः कस्य प्राक् किम्। उभौ मिलित्वा वितरितसुसङ्गतेः पृष्ठभूमिः।
श्लोकसूची
१. सम्मतेः अनन्तरं कालप्रश्नः
२. नैका विश्वघटिका
३. लौकिकविचलनम्
४. प्राक्त्वसम्बन्धः · असंबद्धम्
५. तार्किकघटिका
६. max+१ · लघुता ⇏ पूर्वता
७. सदिशकालः
८. मिश्रतार्किककालः
९. अनिश्चयसीमा
१०. अनेकसंस्करणक्षणचित्रम् · SI
११. समञ्जसविश्वच्छेदः
१२. कालतर्कः साधनम्
अग्रे (नेदं प्रकरणम्)
- निरोधचिह्नशास्त्रम्: fencing, सदस्यतापरिवर्तनम्, साक्षिप्रतिलिपयः।
- सङ्केतगुप्तिशास्त्रम्: सूचनासिद्धान्तादनन्तरं गूढलेखनम्।
सन्दर्भाः
- Lamport: Time, clocks and the ordering of events in a distributed system (1978).
- Fidge; Mattern: vector time / virtual time.
- Kulkarni et al.: Logical physical clocks and consistent snapshots in globally distributed databases (HLC).
- Corbett et al.: Spanner: Google’s globally distributed database (TrueTime).
- Chandy & Lamport: Distributed snapshots.
- Berenson et al.: A critique of ANSI SQL isolation levels (snapshot isolation).
- पूर्वतनी: वितरितसम्मतिशास्त्रम् (२०२६-०७-०१); तन्त्ररचना-पद्यानि (२०२६-०४-१३)।