tla-rust：在TLA +的协助下，在Rust中编写正确的无锁和分布式状态系统
需积分: 10 189 浏览量
2021-02-05
18:29:27
上传
评论
收藏 659KB ZIP 举报
tla-rust：在TLA +的协助下，在Rust中编写正确的无锁和分布式状态系统 （127个子文件） 
MCInnerSerial.cfg.alt 1KB MCLiveWriteThroughCache.cfg 2KB MCWriteThroughCache.cfg 2KB MCInnerSerial.cfg 2KB MCInnerFIFO.cfg 1KB MCLiveInternalMemory.cfg 1KB MCInnerSequential.cfg 1KB MCInternalMemory.cfg 1KB AsynchInterface.cfg 1KB Channel.cfg 1KB LiveHourClock.cfg 744B HourClock.cfg 600B HourClock2.cfg 513B MCPaxos.cfg 364B MCAlternatingBit.cfg 315B PrintValues.cfg 313B MCVoting.cfg 274B SimpleMath.cfg 179B MCRealTimeHourClock.cfg 177B ABCorrectness.cfg 85B pcal_intro.cfg 79B MCConsensus.cfg 72B
parrot.gif 15KB .gitignore 27B Makefile 64B README.md 25KB
p-manual.pdf 538KB README 3KB README 3KB README 3KB README 2KB README 2KB README 1KB README 1KB README 1KB README 1KB README 1024B README 860B README 623B README 459B README 336B testout1 5KB testout2 21KB serializableSnapshotIsolation.tla 84KB textbookSnapshotIsolation.tla 67KB raft.tla 22KB Paxos.tla 13KB Voting.tla 11KB TLAPlusGrammar.tla 9KB MCLiveWriteThroughCache.tla 8KB WriteThroughCacheInstanced.tla 7KB WriteThroughCacheInstanced.tla 7KB InnerFIFOInstanced.tla 5KB SimpleMath.tla 5KB InnerSerial.tla 5KB MCWriteThroughCache.tla 5KB MCPaxos.tla 4KB PrintValues.tla 3KB WriteThroughCache.tla 3KB WriteThroughCache.tla 3KB ProtoReals.tla 3KB Sequences.tla 3KB MCLiveInternalMemory.tla 3KB InnerSequential.tla 3KB MCInternalMemory.tla 3KB MCInternalMemory.tla 3KB MCVoting.tla 3KB MCInnerSerial.tla 3KB Consensus.tla 3KB AlternatingBit.tla 2KB LiveInternalMemory.tla 2KB MCInnerFIFO.tla 2KB LiveHourClock.tla 2KB CompositeFIFO.tla 2KB ConfigFileGrammar.tla 2KB RTWriteThroughCache.tla 2KB ChannelRefinement.tla 2KB JointActionMemory.tla 1KB HourClock2.tla 1KB InternalMemory.tla 1KB InternalMemory.tla 1KB InternalMemory.tla 1KB InternalMemory.tla 1KB InnerFIFO.tla 1KB Bags.tla 1KB DifferentialEquations.tla 1KB Graphs.tla 1KB MCConsensus.tla 1KB TLC.tla 1KB FiniteSets.tla 1KB MCRealTimeHourClock.tla 1KB LiveWriteThroughCache.tla 1KB ABCorrectness.tla 1KB BNFGrammars.tla 1008B BNFGrammars.tla 1008B BNFGrammars.tla 1008B RealTimeHourClock.tla 996B MemoryInterface.tla 951B MemoryInterface.tla 951B MemoryInterface.tla 951B共 127 条
- 1
- 2
评论0