Rigorous and Reliable (RAR)

[bug] delete_case function does not return 200
TODO1: improve search function, 13 seconds is not fast
TODO2 : add concurrent query support.

This is disigners' info for cod://prada/procuratorate

目前BIBO的运行比较复杂，要启动simpleserv和Data Thinker，并联通端口。
另外，建议请把BIBO变成一个服务，用systemctl start bibo.service启动。
BIBO backend service为BIBO系统的后台服务。

BIBO work environment 用于设置BIBO系统的运行环境

simpleserv.sh

talk2thinker.sh

triage() informs think about the request.

insert_case()
bibo maintains $casecnt as the total number of cases in the corpus.

delete_case()

query_case()

Code:

query_case() {
    clear file $tspfn
    for each case; do
        set option $tycano for procone.py
    done
    auntie register tasks
    generate query result response
}

select_case()

getResults() collect returned results from think.

scrutinize() examines intermediate result files and generates an overall result file.

---
20220718/zhihao: add 2 todos
20210813/lingu: detail insert
20210810/lingu: link query case
20201010/zhihao: add BIBO work environment
20200929/zhihao: add BIBO backend service
20200926/zhihao: add select_case()
20200926/lingu: run $bibo_base/talk2thinker.sh
20200925/zhihao: add delete_case bug
20200925/zhihao: move procone.py
20200924/zhihao: update title to BIBO (D)
20200924/zhihao: update tellThinker function

修改首文tellThinker函数及其内插入删除和查询函数的设计信息

(09-24-2020 01:05 PM)zhihao Wrote: [ -> ]tellThinker() informs think about the request.

Code:

tellThinker() {
    set $casecnt as the number of cases

    switch $casetype {
        case "insert":
            insert()
        case "delete":
            delete()
        case "query":
            query()
    }
}

修改为
tellThinker() informs think about the request.

(09-24-2020 01:05 PM)zhihao Wrote: [ -> ]insert()

Code:

insert() {
    create a new directory $newdir, set its name as $casecnt + 1
    copy $newcasepfn to $newdir
    generate insert success response
}

修改为
insert_case()

(09-24-2020 01:05 PM)zhihao Wrote: [ -> ]delete()

Code:

delete() {
    for each case; do
        analyse cases with sage
    done
    generate delete success response
}

修改为
delete_case()

(09-24-2020 01:05 PM)zhihao Wrote: [ -> ]query()

Code:

query() {
    for each case; do
        analyse cases with sage
    done
    generate query result response
}

修改为
query_case()

请审核上述tellThinker函数及插入、删除、查询函数设计信息
RR lingu

(09-24-2020 02:08 PM)zhihao Wrote: [ -> ]修改首文tellThinker函数及其内插入删除和查询函数的设计信息

(09-24-2020 01:05 PM)zhihao Wrote: [ -> ]tellThinker() informs think about the request.

Code:

tellThinker() {
    set $casecnt as the number of cases

    switch $casetype {
        case "insert":
            insert()
        case "delete":
            delete()
        case "query":
            query()
    }
}

修改为
tellThinker() informs think about the request.

Code:

$tspfn: sage tasks

tellThinker() {
    set $casecnt as the number of cases

    switch $casetype {
        case "insert":
            insert_case()
        case "delete":
            delete_case()
        case "query":
            query_case()
    }

    change user to sage2
    use program auntie  to register $tspfn
}

(09-24-2020 01:05 PM)zhihao Wrote: [ -> ]insert()

Code:

insert() {
    create a new directory $newdir, set its name as $casecnt + 1
    copy $newcasepfn to $newdir
    generate insert success response
}

修改为
insert_case()

Code:

insert_case() {
    create a new directory $newdir, set its name as $casecnt + 1
    copy $newcasepfn to $newdir
    generate insert success response
}

(09-24-2020 01:05 PM)zhihao Wrote: [ -> ]delete()

Code:

delete() {
    for each case; do
        analyse cases with sage
    done
    generate delete success response
}

修改为
delete_case()

Code:

delete_case() {
    clear file $tspfn
    set $reqcaseid as request case id
    for each case; do
        set option $tycano, $reqtype and $reqcaseid for procone.py
    done
    generate delete success response
}

(09-24-2020 01:05 PM)zhihao Wrote: [ -> ]query()

Code:

query() {
    for each case; do
        analyse cases with sage
    done
    generate query result response
}

修改为
query_case()

Code:

query_case() {
    clear file $tspfn
    for each case; do
        set option $tycano for procone.py
    done
    generate query result response
}

请审核上述tellThinker函数及插入、删除、查询函数设计信息
RR lingu

That's too much to review. You should have proposed the changes one by one -- one for insert, one for delete, etc.

I think it is fine as the first version. Pls update to the headpost then we improve further.

Pls name this thread BIBO (D). Prada is different.

Pls mv this to the Prada board -- http://rar.shufangkeji.com:60380/forumdi...hp?fid=406

(09-24-2020 02:32 PM)lingu Wrote: [ -> ]That's too much to review. You should have proposed the changes one by one -- one for insert, one for delete, etc.

I think it is fine as the first version. Pls update to the headpost then we improve further.

Pls name this thread BIBO (D). Prada is different.

Pls mv this to the Prada board -- http://rar.shufangkeji.com:60380/forumdi...hp?fid=406

moved

在cod://prada内添加了Makefile逻辑，添加maketst.sh。目前make test可测试插入删除。

如下为在screen zh-scr内执行的结果

(09-24-2020 06:01 PM)zhihao Wrote: [ -> ]在cod://prada内添加了Makefile逻辑，添加maketst.sh。目前make test可测试插入删除。

should move it to dir procuratorate. bibo is not prada.

where is the info about the tests?

Quote:如下为在screen zh-scr内执行的结果

Code:

[zhihao@g1b-2 prada]$ make test
...
file content after deleted
{"type": "","query": "","caseid": "","insert": {"keys": [] }}

[zhihao@g1b-2 prada]$

It asks me for your password.

(09-24-2020 07:22 PM)lingu Wrote: [ -> ]

(09-24-2020 06:01 PM)zhihao Wrote: [ -> ]在cod://prada内添加了Makefile逻辑，添加maketst.sh。目前make test可测试插入删除。

should move it to dir procuratorate. bibo is not prada.

where is the info about the tests?

在cod://prada/procuratorate/ 内创建Makefile和maketest.sh。
maketest.sh D info:

RR lingu

(09-24-2020 07:22 PM)lingu Wrote: [ -> ]

Quote:如下为在screen zh-scr内执行的结果

Code:

[zhihao@g1b-2 prada]$ make test
...
file content after deleted
{"type": "","query": "","caseid": "","insert": {"keys": [] }}

[zhihao@g1b-2 prada]$

It asks me for your password.

Code:

18:20:32 lingu@g1b-2:/home/lingu/forest/prada/prada> make test
casecnt before insert: 58
inserting /data/20200906.1/processed/zengxingliang.json
zhihao@10.6.64.21's password:

之前获取插入和删除测试案例时是登陆limbo30-1获取的，所以需要密码，目前已将测试案例存放在$bibo_base/processed
screen zh-scr现在可以执行make test测试

(09-24-2020 01:05 PM)zhihao Wrote: [ -> ]talk2thinker.sh

Code:

work() {
    read $newcasepfn till meet blank line

    tellThinker()
    getresults()
}

getresults() may have trouble for insert and delete because they do not generate "results".

Quote:tellThinker() informs think about the request.

Code:

$tspfn: sage tasks

tellThinker() {
    set $casecnt as the number of cases

    switch $casetype {
        case "insert":
            insert_case()
        case "delete":
            delete_case()
        case "query":
            query_case()
    }

    change user to sage2

It does not "change user". The program just specify sage_user=sage2, right?

Quote: use program auntie to register $tspfn
}

We should not register tasks for insert. So I think we need move this 'auntie register' to the functions for query and delete.
--- 20200924/lingu moved the auntie register to functions delete_case() and query_case()

(09-24-2020 07:57 PM)zhihao Wrote: [ -> ]

(09-24-2020 07:22 PM)lingu Wrote: [ -> ]

(09-24-2020 06:01 PM)zhihao Wrote: [ -> ]在cod://prada内添加了Makefile逻辑，添加maketst.sh。目前make test可测试插入删除。

should move it to dir procuratorate. bibo is not prada.

where is the info about the tests?

在cod://prada/procuratorate/ 内创建Makefile和maketest.sh。

Dont make a big test of all tests. Make small tests and combine them.

I think you can rename maketest.sh to be test_crds.sh -- it creates, reads, deletes and selects a case. The create, read, delete and select ops can be individual tests in their own scripts. The crds test invokes them in sequence.

Quote:maketest.sh D info:

Code:

show case count before insert
send insert request to trajan.d-thinker.org 20050

output inserted case file
show case count after insert

send delete request to trajan.d-thinker.org 20050

RR lingu

OK as the first version. Make sure to ALWAYS RECORD INFO when designing.

No need to specify D info for tests. Just write OMUD together. Create a thread for that.

Quote:

(09-24-2020 07:22 PM)lingu Wrote: [ -> ]It asks me for your password.

Code:

18:20:32 lingu@g1b-2:/home/lingu/forest/prada/prada> make test
casecnt before insert: 58
inserting /data/20200906.1/processed/zengxingliang.json
zhihao@10.6.64.21's password:

之前获取插入和删除测试案例时是登陆limbo30-1获取的，所以需要密码，目前已将测试案例存放在$bibo_base/processed
screen zh-scr现在可以执行make test测试

测试应该用各自用户进行，或规定用户。screen是用来协同调试用的。注意分清各种情况。

(09-24-2020 02:08 PM)zhihao Wrote: [ -> ]tellThinker() informs think about the request.

Code:

tellThinker() {
    set $casecnt as the number of cases

    switch $casetype {
        case "insert":
            insert()
        case "delete":
            delete()
        case "query":
            query()
    }
}

There is a 'select' function.

Pls design the 'select' function. You can ask collaborators if you are not sure what 'select' is expected to do.

Pls also add a query test and a select test.