https://github.com/mit-pdos/ward

https://github.com/mit-pdos/ward

Last synced: 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/mit-pdos/ward
• Owner: mit-pdos
• License: other
• Created: 2019-07-26T20:29:11.000Z (over 5 years ago)
• Default Branch: main
• Last Pushed: 2021-12-12T21:29:10.000Z (about 3 years ago)
• Last Synced: 2024-04-30T09:03:11.022Z (9 months ago)
• Language: C++
• Homepage:
• Size: 37.9 MB
• Stars: 29
• Watchers: 6
• Forks: 5
• Open Issues: 30
• Metadata Files:
  • Readme: README.codex
  • Changelog: ChangeLog.scale
  • License: LICENSE

Awesome Lists containing this project

README

        
Running codex for xv6:

1. Build xv6 with codex enabled: make HW=codex

   This will build the kernel in o.codex/kernel.elf

   Optionally set HW=codex in config.mk to avoid specifying it

   for every make invocation.

2. Build qemu with codex enabled:

$ git clone -b codex ssh://amsterdam.csail.mit.edu/home/am3/stephentu/qemu-codex.git 

$ cd ./qemu-codex

[Edit configure.cmd appropriately]

$ ./configure.cmd

$ make

3. Build codex. 

4. Copy xv6/codex/codexconfig.py.sample to xv6/codex/codexconfig.py, and

   set the variable QEMU to point the right binary created by step (2).

5. Start codex. Any of the schedulers *should* work, but simple_dpor is

currently recommended:

$./codexd --scheduler simple_dpor

6. Now start interleaving xv6:

$ python codex/relay.py