user interface - Proper way how to prepare data in async cancellable workflow with responsive UI -

-

this question based on async.trycancelled doesn't work async.runsynchronously looks complex, cut simple part try solve.

suppose have functions:

let preparemodel () =      async {         // might take lot of time (1-50seconds)         let! = ...         let! b = ...         let! res = combine b         return res     }  let updateui model =     runonuithread model

preparemodel prepares data should displayed user. updateui refreshes ui (removes old controls , creates new ctls based on new data).

question: how should call 2 functions preparemodel cancellable time?

the flow

  • user clicks refresh
    • preparemodel(1) started , running asynchronously, ui responsive , user can work application
  • user changes data , clicks refresh again
    • preparemodel(1) cancelled , new preparemodel(2) started
  • user changes data , clicks refresh again
    • preparemodel(2) cancelled , new preparemodel(3) started
    • ..
    • preparemodel(n) finished
    • updateui ran on ui thread, redraws ui

(my first solution based on mailboxprocessor ensures 1 preparemodel executed, see @ async.trycancelled doesn't work async.runsynchronously experimented this, it's not bug free)

one possible approach start workflow asynchronously in background using async.start (then should cancellable). redraw ui @ end, can use async.switchtocontext make sure last part of workflow executes on ui. here sketch:

// capture current synchronization context of ui // (this should run on ui thread, i.e. when starting) let synccontext = system.threading.synchronizationcontext.current  // cancellation token source used cancelling // running workflow (this can mutable) let cts = ref (new cancellationtokensource())  // workflow calculations , updates gui let updatemodel () =        async {           // might take lot of time (1-50seconds)           let! = ...           let! b = ...           let! res = combine b           // switch gui thread , update ui         do! async.switchtocontext(synccontext)         updateuserinterface res     }    // called in click handler - cancel previous // computation, creat new cancellation token & start new 1 cts.cancel() cts := new cancellationtokensource() async.start(updatemodel(), cts.token)

Comments

Post a Comment

Popular posts from this blog

jasper reports - Fixed header in Excel using JasperReports -

-
how can create excel report fixed header using japserreports? mean need header fixed when scroll excel file. this possible adding couple properties in jrxml file each report. take @ advanced excel features freeze panes. if wanted freeze after first column header (down left side basically) this: <statictext> <reportelement style="sans_bold" mode="opaque" x="0" y="60" width="104" height="20" forecolor="#ffffff" backcolor="#666666"> <property name="net.sf.jasperreports.export.xls.auto.filter" value="start"/> <property name="net.sf.jasperreports.export.xls.column.width" value="110"/> <property name="net.sf.jasperreports.export.xls.freeze.column.edge" value="left"/> </reportelement> &
Read more

media player - Android: mediaplayer went away with unhandled events -

-
i need duration of audio file series of voice announcements need play app. have added audio files resources , play fine. sample code below works perfect intended purpose: return duration of audio files. here code: float getdurationofaudioresource(locationenum loc, context context){ float duration = 0; try { mediaplayer mp; mp = mediaplayer.create(context, getaudioresource(loc)); duration = mp.getduration(); mp.release(); mp = null; } catch (illegalstateexception e) {e.printstacktrace(); logerror(25, "testdescitem:fault::could not open mediaplayer object audio resource.");} return duration; } here's weird thing. code called in main activity prepares set of audio instructions given test. there no errors within activity. second activity called, long string of errors on logcat. 03-07 13:23:43.820: i/actionlogger(21435): gentest_info_test #0 created. 03-07 13:23:43.830: i/actionlogger(21435): gente
Read more

python - ('The SQL contains 0 parameter markers, but 50 parameters were supplied', 'HY000') or TypeError: 'tuple' object is not callable -

-
import pyodbc,nltk,array cnxn = pyodbc.connect('driver={mysql odbc 5.1 driver};server=127.0.0.1;port=3306;database=information_schema;user=root; password=1234;option=3;') cursor = cnxn.cursor() cursor.execute("use collegedatabase ;") cursor.execute("select * sampledata ; ") cnxn.commit() s=[] j=[] x=[] words = [] w = [] sfq = [] pos=[] entry in cursor: s.append(entry.injury_type),j.append(entry.injury_desc) nltk.tokenize import punktwordtokenizer nltk.corpus import stopwords tokenizer = punktwordtokenizer() english_stops = set(stopwords.words('english')) in range(0,26): # filter stop words tokenizer.tokenize(j[i]) w.append([word word in tokenizer.tokenize(j[i]) if word not in english_stops]) in range(0 , 26):#converting tokenzied text ito string sfq.append(" ".join(w[a])) replacers import regexpreplacer replacer = regexpreplacer() in range (0,26):#pos tagging replacer.repl
Read more