GithubHelp home page GithubHelp logo

gosmt's People

Contributors

alxiong avatar pylls avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar

gosmt's Issues

How to use the library? Any samples?

Hi thanks for the library.
There are only benchmarks in the library, no any sample code, no documentations, so I'm wondering how to use this library. Such as that, add a value to the SMT, check the existence and absence of the value in the SMT, etc.
Seems the library is quite low level, so maybe I need to wrap it with some high level abstraction? If so, any samples?

Thanks

B+ is not deleting obsolete branch

I think the following line should not be part of an else clause and the branch should always be deleted.

https://github.com/pylls/gosmt/blob/master/cache.go#L97

The problem is that in the level above one of the sides might be default which will lead to invalid cache as the parent branch is obsolete.

The paper is not very clear about it, but I think that iaccording to the paper the branch should always be deleted. It will get added anyway if the next level is not default.

Another option is to also cache the current level as part of B+.

I can provide a test case if necessary. We are suffering from the issue in production.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.