{"push_id":1140641982,"size":7,"distinct_size":7,"ref":"refs/heads/master","head":"95909cd8bc3eb151fb0209cda8d85d29567603aa","before":"85da74258c094b41161eed0a78dea1d898426bef","commits":[{"sha":"fc1feb670e4f69bc4247a259f168412a62ca3a93","author":{"name":"Hesham Almatary","email":"061e8d876bc24ea9ed125970a7438810a4835e31@nicta.com.au"},"message":"SELFOUR-446 Benchmark: Track syscall feature\n\nBenchmark feature that currently:\n- Keeps track of system calls info\n- Start time\n- Duration\n- Capability type\n- Invocation tag\n- Log the number of invocations of each system call*\n- Log the number of invocations for each capability type per syscall.\n- Has 3 new syscalls (dump, reset, get size).\n- This new feature uses the existing log buffer (which is 1MiB for x86\nand ARM). Since the number of syscall invocations is not\ndeterministic, the logged number of invocations is limited by the size\nof the buffer. I suggested to enable the users to pass their own\nuser-level buffer, to enable more flexibility, later.\n- ENABLE_BENCHMARKS is now a parent config option of trace points and\nsystem call track features, they can't be used at the same time.","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/fc1feb670e4f69bc4247a259f168412a62ca3a93"},{"sha":"9ec83284c409c74cd1ee74f2cd2c69bb463b9d5f","author":{"name":"Hesham Almatary","email":"061e8d876bc24ea9ed125970a7438810a4835e31@nicta.com.au"},"message":"Fix: move seL4_LogBufferSize to the correct file","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/9ec83284c409c74cd1ee74f2cd2c69bb463b9d5f"},{"sha":"7cbaeb8ed039683bbaa02f5690fa33af8bf0abe9","author":{"name":"Hesham Almatary","email":"061e8d876bc24ea9ed125970a7438810a4835e31@nicta.com.au"},"message":"SELFOUR-446 Benchmark: Track interrupts and user/vm faults","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/7cbaeb8ed039683bbaa02f5690fa33af8bf0abe9"},{"sha":"bcf0a235b114fe8c24c3a187f55c67c373f259d3","author":{"name":"Hesham Almatary","email":"061e8d876bc24ea9ed125970a7438810a4835e31@nicta.com.au"},"message":"SELFOUR-446 Unify code base for trace points and track feature","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/bcf0a235b114fe8c24c3a187f55c67c373f259d3"},{"sha":"46698d5383ac4be65382d0c5bed48f180189aa4a","author":{"name":"Hesham Almatary","email":"061e8d876bc24ea9ed125970a7438810a4835e31@nicta.com.au"},"message":"Merge pull request #192 in SEL4/sel4 from ~HALMATARY/sel4:feature/syscall_bench2 to master\n\n* commit 'bcf0a235b114fe8c24c3a187f55c67c373f259d3':\n  SELFOUR-446 Unify code base for trace points and track feature\n  SELFOUR-446 Benchmark: Track interrupts and user/vm faults\n  Fix: move seL4_LogBufferSize to the correct file\n  SELFOUR-446 Benchmark: Track syscall feature","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/46698d5383ac4be65382d0c5bed48f180189aa4a"},{"sha":"56b8b0b975170ed7b0d0edf787b654a0a03819be","author":{"name":"Anna Lyons","email":"4845454680b83fb7caf1c180b83ecac1cbbb139d@nicta.com.au"},"message":"Merge branch 'master' of ssh://bitbucket.keg.ertos.in.nicta.com.au:7999/sel4/seL4","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/56b8b0b975170ed7b0d0edf787b654a0a03819be"},{"sha":"95909cd8bc3eb151fb0209cda8d85d29567603aa","author":{"name":"Hesham Almatary","email":"061e8d876bc24ea9ed125970a7438810a4835e31@nicta.com.au"},"message":"Default MAX_NUM_TRACE_POINTS to 0 for compatibility\n\nSome libraries and apps assume MAX_NUM_TRACE_POINTS = 0\nif benchmarks are disabled.","distinct":true,"url":"https://api.github.com/repos/seL4/seL4/commits/95909cd8bc3eb151fb0209cda8d85d29567603aa"}]}
{"actor":{"display_login":"ssrg-bamboo"}}