द्वितीयस्तरधर्मः। कणरीतिधर्मस्य (६ जन) अनन्तरं अत्र द्वितीयस्तरः: द्वितीयस्तरधर्मः स्थानीयदूरं पूरणं सामञ्जस्यम्। द्वितीयस्तरधर्मः।
English (minimizable)
After canary (6 Jan), this post covers second-tier memory: local L1 vs shared L2, fill policies, eviction, coherence cost and when a second tier is worse than one honest store.
पूर्ण-शीर्षकम् / Full title
द्वितीयस्तरधर्मः: A Metrical Codification of Second-Tier Dharma (with English glosses)
English · overview and topics (minimizable)
What this post is about
A second tier buys hits with coherence tax. If you cannot name the invalidation path do not build the tier.
Topics
- Why L2
- Local vs shared
- Fill on miss
- Eviction policy
- Invalidation path
- Stampede at L2
- Hit meters both tiers
- Bypass for writes
- When one tier better
- Five limbs
- Close
- Seal
Sanskrit title
द्वितीयस्तरधर्मः = dharma of the second tier.
English
Minimizable; Sanskrit-first.
परम्परा-सन्धिः / Series links
| पूर्वं / Prior | अत्र / Adds | न पुनः / Does not repeat |
|---|---|---|
| कणरीतिधर्मः (६ जन) | release | not memory tier |
| स्मृतिसेवाधर्मः (१४ दिसं) | cache service | L2 form |
| उष्णसञ्चयधर्मः (५ जन) | hot store | source |
| अत्र | second-tier memory | - |
ग्राह्य-त्याज्य-विवेकः / Keep and avoid
ग्राह्यम् / Keep
१. document who invalidates what: path
२. L1 smaller hotter L2 larger cooler: shape
३. singleflight into L2 fills: stampede
४. meter hits per tier: see
५. writes bust both tiers in order: order
त्याज्यम् / Avoid
- L2 without invalidation story
- Eternal L2 objects
- Double stampede L1 then L2
- Treat L2 as source of truth
अध्याय-योजना / Chapter plan
| प्रकरणम् | विषयः | छन्दः | श्लोकाः |
|---|---|---|---|
| १ | मङ्गलं बीजं च / Opening | अनुष्टुभ् | २ |
| २ | मूलतत्त्वानि / Core | अनुष्टुभ् | २ |
| ३ | मुख्यविधिः / Method | उपजाति | १ |
| ४ | रक्षा · विधिः / Guards | अनुष्टुभ् | २ |
| ५ | विवेक · सीमा / Judgment | अनुष्टुभ् | २ |
| ६ | पूर्वसन्धिः / Series links | उपजाति | १ |
| ७ | उपसंहारः / Close | अनुष्टुभ् | २ |
पारिभाषिक-कोशः / Glossary
| Modern English | संस्कृतम् | Note |
|---|---|---|
| L2 | द्वितीयस्तरः | second memory tier |
| L1 | प्रथमस्तरः | process-local hot |
| fill | पूरणम् | load on miss |
| invalidation | निरसनपथः | how entries die |
| coherence | सामञ्जस्यम् | same view cost |
श्लोकः १ (अनुष्टुभ्)
अकरे वर्णिते स्तरो ऋणम् हि नित्यम् ॥१॥
पदच्छेदः · Word-for-word · English (minimizable)
पदच्छेदः
द्वितीयस्तरः हिटक्रयः सामञ्जस्यकरेण सह ।
अकरे वर्णिते स्तरो ऋणम् हि नित्यम् ॥१॥
Word-for-word
| संस्कृतपदम् | Word-for-word English |
|---|---|
| द्वितीयस्तरः | द्वितीयस्तरः |
| हिटक्रयः | हिटक्रयः |
| सामञ्जस्यकरेण | सामञ्जस्यकरेण |
| सह | सह |
| अकरे | अकरे |
| वर्णिते | वर्णिते |
| स्तरो | स्तरो |
| ऋणम् | ऋणम् |
| हि | हि |
| नित्यम् | नित्यम् |
Gloss table
| पदम् | अर्थः / sense |
|---|---|
| धर्मः | dharma |
| मितम् | measured |
English sense
L2 buys hits and owes coherence; unnamed tax is debt.
Context / topic
why
वृत्तमिति: ८-८-८-८।
श्लोकः २ (अनुष्टुभ्)
विपर्यये स्मृतिः व्यर्थं वहति नित्यम् ॥२॥
पदच्छेदः · Word-for-word · English (minimizable)
पदच्छेदः
प्रथमो लघु उष्णः द्वितीयो विशालः शीतलः ।
विपर्यये स्मृतिः व्यर्थं वहति नित्यम् ॥२॥
Word-for-word
| संस्कृतपदम् | Word-for-word English |
|---|---|
| प्रथमो | प्रथमो |
| लघु | लघु |
| उष्णः | उष्णः |
| द्वितीयो | द्वितीयो |
| विशालः | विशालः |
| शीतलः | शीतलः |
| विपर्यये | विपर्यये |
| स्मृतिः | स्मृतिः |
| व्यर्थं | व्यर्थं |
| वहति | वहति |
| नित्यम् | नित्यम् |
Gloss table
| पदम् | अर्थः / sense |
|---|---|
| धर्मः | dharma |
| मितम् | measured |
English sense
L1 small-hot L2 larger-cooler; inverted tiers waste RAM.
Context / topic
shape
वृत्तमिति: ८-८-८-८।
श्लोकः ३ (उपजाति)
सर्वान् मा धावय मूलम् एव ।
द्वितीयेऽपि पङ्क्तिं रक्ष सदा ।
एवं पूरणं शुचि हि सम्यक् ॥३॥
पदच्छेदः · Word-for-word · English (minimizable)
पदच्छेदः
पूरे एकानयनं कुरु सदा ।
सर्वान् मा धावय मूलम् एव ।
द्वितीयेऽपि पङ्क्तिं रक्ष सदा ।
एवं पूरणं शुचि हि सम्यक् ॥३॥
Word-for-word
| संस्कृतपदम् | Word-for-word English |
|---|---|
| पूरे | पूरे |
| एकानयनं | एकानयनं |
| कुरु | कुरु |
| सदा | सदा |
| सर्वान् | सर्वान् |
| मा | मा |
| धावय | धावय |
| मूलम् | मूलम् |
| एव | एव |
| द्वितीयेऽपि | द्वितीयेऽपि |
| पङ्क्तिं | पङ्क्तिं |
| रक्ष | रक्ष |
Gloss table
| पदम् | अर्थः / sense |
|---|---|
| धर्मः | dharma |
English sense
Singleflight fills even into L2; no miss storms to origin.
Context / topic
fill
वृत्तमिति: एकादशाक्षराः पादाः।
श्लोकः ४ (अनुष्टुभ्)
एकनीत्या उष्णशीतौ नश्यतः नित्यम् ॥४॥
पदच्छेदः · Word-for-word · English (minimizable)
पदच्छेदः
निष्कासननीतिं उभयोः लिख आयुं पृथक् कुरु ।
एकनीत्या उष्णशीतौ नश्यतः नित्यम् ॥४॥
Word-for-word
| संस्कृतपदम् | Word-for-word English |
|---|---|
| निष्कासननीतिं | निष्कासननीतिं |
| उभयोः | उभयोः |
| लिख | लिख |
| आयुं | आयुं |
| पृथक् | पृथक् |
| कुरु | कुरु |
| एकनीत्या | एकनीत्या |
| उष्णशीतौ | उष्णशीतौ |
| नश्यतः | नश्यतः |
| नित्यम् | नित्यम् |
Gloss table
| पदम् | अर्थः / sense |
|---|---|
| धर्मः | dharma |
| मितम् | measured |
English sense
Separate eviction and TTL per tier; one policy freezes both.
Context / topic
evict
वृत्तमिति: ८-८-८-८।
श्लोकः ५ (अनुष्टुभ्)
अनामिके निरसने द्विसत्यं जायते ॥५॥
पदच्छेदः · Word-for-word · English (minimizable)
पदच्छेदः
निरसनपथं नाम्ना लिख कः कुञ्चिकां हन्ति ।
अनामिके निरसने द्विसत्यं जायते ॥५॥
Word-for-word
| संस्कृतपदम् | Word-for-word English |
|---|---|
| निरसनपथं | निरसनपथं |
| नाम्ना | नाम्ना |
| लिख | लिख |
| कः | कः |
| कुञ्चिकां | कुञ्चिकां |
| हन्ति | हन्ति |
| अनामिके | अनामिके |
| निरसने | निरसने |
| द्विसत्यं | द्विसत्यं |
| जायते | जायते |
Gloss table
| पदम् | अर्थः / sense |
|---|---|
| धर्मः | dharma |
| मितम् | measured |
English sense
Name who invalidates which key; anonymous busts birth two truths.
Context / topic
inval
वृत्तमिति: ८-८-८-८।
श्लोकः ६ (अनुष्टुभ्)
विपरीतक्रमे पुराणं हसति सदा ॥६॥
पदच्छेदः · Word-for-word · English (minimizable)
पदच्छेदः
लेखने प्रथमं मूलं ततो द्वितीयं ततः ।
विपरीतक्रमे पुराणं हसति सदा ॥६॥
Word-for-word
| संस्कृतपदम् | Word-for-word English |
|---|---|
| लेखने | लेखने |
| प्रथमं | प्रथमं |
| मूलं | मूलं |
| ततो | ततो |
| द्वितीयं | द्वितीयं |
| ततः | ततः |
| विपरीतक्रमे | विपरीतक्रमे |
| पुराणं | पुराणं |
| हसति | हसति |
| सदा | सदा |
Gloss table
| पदम् | अर्थः / sense |
|---|---|
| धर्मः | dharma |
| मितम् | measured |
English sense
On write: source then L2 then L1; reverse order leaves ghosts.
Context / topic
write order
वृत्तमिति: ८-८-८-८।
श्लोकः ७ (अनुष्टुभ्)
मिश्रमापे मृतस्तरो न दृश्यते सदा ॥७॥
पदच्छेदः · Word-for-word · English (minimizable)
पदच्छेदः
पूर्तिं स्तरशः पश्य एकीकृते मा मुह्य ।
मिश्रमापे मृतस्तरो न दृश्यते सदा ॥७॥
Word-for-word
| संस्कृतपदम् | Word-for-word English |
|---|---|
| पूर्तिं | पूर्तिं |
| स्तरशः | स्तरशः |
| पश्य | पश्य |
| एकीकृते | एकीकृते |
| मा | मा |
| मुह्य | मुह्य |
| मिश्रमापे | मिश्रमापे |
| मृतस्तरो | मृतस्तरो |
| न | न |
| दृश्यते | दृश्यते |
| सदा | सदा |
Gloss table
| पदम् | अर्थः / sense |
|---|---|
| धर्मः | dharma |
| मितम् | measured |
English sense
Hit rate per tier; blended graphs hide a dead layer.
Context / topic
meter
वृत्तमिति: ८-८-८-८।
श्लोकः ८ (अनुष्टुभ्)
सर्वदा अतिक्रमे स्तरो व्यर्थः नित्यम् ॥८॥
पदच्छेदः · Word-for-word · English (minimizable)
पदच्छेदः
लेखनमार्गे द्वितीयं अतिक्रम्य मूलं स्पृश यदा ।
सर्वदा अतिक्रमे स्तरो व्यर्थः नित्यम् ॥८॥
Word-for-word
| संस्कृतपदम् | Word-for-word English |
|---|---|
| लेखनमार्गे | लेखनमार्गे |
| द्वितीयं | द्वितीयं |
| अतिक्रम्य | अतिक्रम्य |
| मूलं | मूलं |
| स्पृश | स्पृश |
| यदा | यदा |
| सर्वदा | सर्वदा |
| अतिक्रमे | अतिक्रमे |
| स्तरो | स्तरो |
| व्यर्थः | व्यर्थः |
| नित्यम् | नित्यम् |
Gloss table
| पदम् | अर्थः / sense |
|---|---|
| धर्मः | dharma |
| मितम् | measured |
English sense
Bypass tiers on must-fresh reads; always-bypass makes the tier pointless.
Context / topic
bypass
वृत्तमिति: ८-८-८-८।
श्लोकः ९ (अनुष्टुभ्)
अल्पलाभे बहुकरे मा योजय सदा ॥९॥
पदच्छेदः · Word-for-word · English (minimizable)
पदच्छेदः
एकसत्यकोशः क्वचित् द्विस्तरात् श्रेयान् ।
अल्पलाभे बहुकरे मा योजय सदा ॥९॥
Word-for-word
| संस्कृतपदम् | Word-for-word English |
|---|---|
| एकसत्यकोशः | एकसत्यकोशः |
| क्वचित् | क्वचित् |
| द्विस्तरात् | द्विस्तरात् |
| श्रेयान् | श्रेयान् |
| अल्पलाभे | अल्पलाभे |
| बहुकरे | बहुकरे |
| मा | मा |
| योजय | योजय |
| सदा | सदा |
Gloss table
| पदम् | अर्थः / sense |
|---|---|
| धर्मः | dharma |
| मितम् | measured |
English sense
One honest store can beat two tiers when the tax exceeds the hit gain.
Context / topic
when not
वृत्तमिति: ८-८-८-८।
श्लोकः १० (उपजाति)
निरसनं क्रमं मापनम् सदा ।
अतिक्रमं एकविवेकम् सदा ।
पञ्चाङ्गं द्वितीयस्तर उच्यते ॥१०॥
पदच्छेदः · Word-for-word · English (minimizable)
पदच्छेदः
आकारं पूरणं निष्कासनम् ।
निरसनं क्रमं मापनम् सदा ।
अतिक्रमं एकविवेकम् सदा ।
पञ्चाङ्गं द्वितीयस्तर उच्यते ॥१०॥
Word-for-word
| संस्कृतपदम् | Word-for-word English |
|---|---|
| आकारं | आकारं |
| पूरणं | पूरणं |
| निष्कासनम् | निष्कासनम् |
| निरसनं | निरसनं |
| क्रमं | क्रमं |
| मापनम् | मापनम् |
| सदा | सदा |
| अतिक्रमं | अतिक्रमं |
| एकविवेकम् | एकविवेकम् |
| पञ्चाङ्गं | पञ्चाङ्गं |
| द्वितीयस्तर | द्वितीयस्तर |
| उच्यते | उच्यते |
Gloss table
| पदम् | अर्थः / sense |
|---|---|
| धर्मः | dharma |
English sense
Five limbs: shape, fill/evict, inval+write order, meters, bypass/when-not.
Context / topic
five
वृत्तमिति: एकादशाक्षराः पादाः।
श्लोकः ११ (अनुष्टुभ्)
मापितस्तरं कर्मयोग्यं तन्त्रधर्मः स उच्यते ॥११॥
पदच्छेदः · Word-for-word · English (minimizable)
पदच्छेदः
इति द्वितीयस्तरसारः करसत्यसमन्वितः ।
मापितस्तरं कर्मयोग्यं तन्त्रधर्मः स उच्यते ॥११॥
Word-for-word
| संस्कृतपदम् | Word-for-word English |
|---|---|
| इति | इति |
| द्वितीयस्तरसारः | द्वितीयस्तरसारः |
| करसत्यसमन्वितः | करसत्यसमन्वितः |
| मापितस्तरं | मापितस्तरं |
| कर्मयोग्यं | कर्मयोग्यं |
| तन्त्रधर्मः | तन्त्रधर्मः |
| स | स |
| उच्यते | उच्यते |
Gloss table
| पदम् | अर्थः / sense |
|---|---|
| धर्मः | dharma |
| मितम् | measured |
English sense
Closing: operable second tier under named coherence tax.
Context / topic
close
वृत्तमिति: ८-८-८-८।
श्लोकः १२ (अनुष्टुभ्)
मूलं स्मर द्वितीयधर्मः स उच्यते पथि ॥१२॥
पदच्छेदः · Word-for-word · English (minimizable)
पदच्छेदः
स्तरं विभज निरसनं लिख पूरे एकं आनय ।
मूलं स्मर द्वितीयधर्मः स उच्यते पथि ॥१२॥
Word-for-word
| संस्कृतपदम् | Word-for-word English |
|---|---|
| स्तरं | स्तरं |
| विभज | विभज |
| निरसनं | निरसनं |
| लिख | लिख |
| पूरे | पूरे |
| एकं | एकं |
| आनय | आनय |
| मूलं | मूलं |
| स्मर | स्मर |
| द्वितीयधर्मः | द्वितीयधर्मः |
| स | स |
| उच्यते | उच्यते |
Gloss table
| पदम् | अर्थः / sense |
|---|---|
| धर्मः | dharma |
| मितम् | measured |
English sense
Shape tiers, name invalidation, singleflight fill, meter both, remember source.
Context / topic
seal
वृत्तमिति: ८-८-८-८।
श्लोकसूची / Verse index
१. स्तरं विभज
२. निरसनं लिख
३. पूरे एकं आनय
४. निष्कासनं नीतिं कुरु
५. उभौ मापय
६. लेखने क्रमं कुरु
७. मूलं मा विस्मर
८. एकं तोलय
९. पञ्चाङ्गं स्मर
१०. करं गणय
११. सत्यं रक्ष
१२. धर्मं धारय
सन्दर्भाः / References
- Multi-level cache design
- Cache coherence tax
- Prior: canary 6 Jan, cache 14 Dec