BlockingQueue:教程“数周的调试可以为您节省数小时的 TLA+”。 每个 git commit 都会引入一个新概念 ...
需积分: 9 50 浏览量
2021-08-04
17:41:12
上传
评论
收藏 14.83MB ZIP 举报
BlockingQueue-master.zip （67个子文件） 
BlockingQueue-master 
BlockingQueueTrace.cfg 71B
p1c1b1.svg 5KB .github notes.md 856B workflows main.yml 1KB BlockingQueuePoisonPill.tla 6KB BlockingQueuePoisonApple.tla 6KB BlockingQueue.cfg 188B BlockingQueueFair.cfg 153B
CommunityModules.jar 27KB SpecTE.tla 10KB BlockingQueueSplit.cfg 160B .gitpod.yml 217B p1c1b1.dot 1KB R ContinueInequation.R 529B TraceLength.R 904B TraceLength.csv 4KB TraceLengthCorrelation.svg 51KB ContinueInequation.svg 30KB TraceLengthPairs.svg 1.33MB BlockingQueuePoisonPill.cfg 312B BlockingQueueDebug.cfg 143B BlockingQueuePoisonApple.cfg 229B impl src org kuppe App2TLA$BufferDeqEvent.class 513B App2TLA2bak.java 3KB App.java 1KB App2TLA$BufferEnqEvent.class 513B BlockingQueue.class 2KB App$Configuration.class 627B App.class 2KB App2TLA$1.class 851B Consumer.class 1KB App2TLA$BufferWaitEvent.class 644B BlockingQueue.java 3KB Producer.java 578B Producer.class 1KB App2TLA.class 4KB Consumer.java 605B App2TLA.java 3KB producer_consumer_cocoa.m 2KB Makefile 369B producer_consumer_win32.c 3KB producer_consumer.c 3KB BlockingQueueFair.tla 8KB BlockingQueueDebug.tla 704B BlockingQueueMC.tla 2KB LICENSE 1KB README.md 50KB app-123.bin 2KB BlockingQueue.tla 6KB .devcontainer devcontainer.json 692B TLAPS.tla 21KB screencasts 
v11-TypeInv.gif 2.02MB v14-IInvWin.gif 2.06MB v13-IInvTLC.gif 3.48MB v04-PickSuccessor.gif 2.03MB v03-StateGraph.gif 3.06MB v12-IInv.gif 1.6MB SpecTE.cfg 672B animation BlockingQueue-Proc4_Cons3_Buff3_Len46.gif 340KB
BlockingQueue-Proc2_Cons1_Buff1_Len08.pdf 398KB BlockingQueue-Proc2_Cons1_Buff1_Len08.gif 63KB p1c2b1.svg 17KB BlockingQueueSplit.tla 4KB BlockingQueueAnim.tla 5KB .gitignore 135B p1c2b1.dot 4KB BlockingQueueTrace.tla 5KB资源评论
