GitHub - qaqcxh/ticketingsystem: UCAS 并发数据结构与多核编程大作业

qaqcxh / ticketingsystem Public

Notifications You must be signed in to change notification settings
Fork 0
Star 4

UCAS 并发数据结构与多核编程大作业

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
bin		bin
checker		checker
ticketingsystem		ticketingsystem
README		README
check.sh		check.sh
checker.jar		checker.jar
log		log
makejar.sh		makejar.sh
perf.sh		perf.sh
trace		trace
trace.sh		trace.sh
列车售票系统性能评测报告.pdf		列车售票系统性能评测报告.pdf

Repository files navigation

bin/ 目录存放编译的class文件
checker/ 目录存放可线性化验证工具及其说明，源代码在ticketingsystem/LinearizationChecker.java
ticketingsystem/ 目录是源代码目录
perf.sh 是性能测试脚本，执行./perf.sh即可测试吞吐量
makejar.sh 自动生成可线性化验证程序的jar包
trace.sh 是myproject自带的脚本，用于生成trace