扩展数据库内存

Java 应用程序可以通过调用 Database 类的 extend() 方法来增加数据库可用的内存量。以下代码片段展示了 Java 应用程序扩展数据库的推荐方式：

    void extend_db_memory(Database db)
    {
        int size = 1024 * 1024;
        Database.Device[] dev = new Database.Device[1];
         
        dev[0] = new Database.PrivateMemoryDevice(Database.Device.Kind.Data, size);
        db.extend(dev);
            
    }

还有一个版本的 extend() 方法允许传递连接上下文。例如，上述函数可以重写如下：

    void extend_db_memory(Database db, byte[] ctx)
    {
        int size = 1024 * 1024;
        Database.Device[] dev = new Database.Device[1];
         
        devs[0] = new Database.PrivateMemoryDevice(Database.Device.Kind.Data, size);
        db.extend(dev, ctx);
            
    }