Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove the use of common buffer #199

Merged
merged 38 commits into from
Aug 29, 2022
Merged
Show file tree
Hide file tree
Changes from 33 commits
Commits
Show all changes
38 commits
Select commit Hold shift + click to select a range
12a0fac
Make publish use internal buffers
AniruddhaKanhere Aug 18, 2022
fb0f97f
Merge branch 'FreeRTOS:main' into RmvCmnBuffer
AniruddhaKanhere Aug 18, 2022
00f0b58
Fix comment about packet ID
AniruddhaKanhere Aug 18, 2022
24a1a3e
Try a different approach for ping and disconnect
AniruddhaKanhere Aug 18, 2022
a40d768
Use writev and flush in conjuction with send
AniruddhaKanhere Aug 22, 2022
e1af7cb
Update the publish method to use vectors
AniruddhaKanhere Aug 23, 2022
d93e6ef
Add vectored IO to all functions
AniruddhaKanhere Aug 24, 2022
d01829b
Fix formatting
AniruddhaKanhere Aug 24, 2022
f3812f2
Reduce complexity score
AniruddhaKanhere Aug 24, 2022
78623b8
Fix spell check and complexity score
AniruddhaKanhere Aug 24, 2022
92886c5
Fix breaking build
AniruddhaKanhere Aug 25, 2022
21e7180
Add doxygen comments
AniruddhaKanhere Aug 25, 2022
399803f
Fix doxygen part 2
AniruddhaKanhere Aug 25, 2022
2caf196
Doxygen fix part 3
AniruddhaKanhere Aug 25, 2022
cb533e5
Fix doxygen part 4
AniruddhaKanhere Aug 25, 2022
c16927c
Fix some checks
AniruddhaKanhere Aug 25, 2022
effd5d4
Fix memory tables
AniruddhaKanhere Aug 25, 2022
c1018fb
Fix some small errors
AniruddhaKanhere Aug 25, 2022
c104f9b
Merge branch 'dev' into RmvCmnBuffer
AniruddhaKanhere Aug 25, 2022
e4bffa0
Fix compiler warnings and breaking CI checks from previous commit
AniruddhaKanhere Aug 25, 2022
5fe0678
Fix spell check and doxygen
AniruddhaKanhere Aug 25, 2022
e4cfbad
Fix a couple of CBMC proofs
AniruddhaKanhere Aug 25, 2022
ab7fb14
Fix ping and publish proofs
AniruddhaKanhere Aug 25, 2022
239bb3b
Update the function name
AniruddhaKanhere Aug 25, 2022
3fdcf82
Fix more CBMC proofs
AniruddhaKanhere Aug 25, 2022
c5ece55
Fix MQTT Connect proof
AniruddhaKanhere Aug 25, 2022
1b3992a
Add unwinding loops
AniruddhaKanhere Aug 25, 2022
d22ec58
Fix last CBMC proof
AniruddhaKanhere Aug 26, 2022
2ea953a
Fix formatting
AniruddhaKanhere Aug 26, 2022
624cd41
Update the Subscribe and Unsubscribe functions
AniruddhaKanhere Aug 27, 2022
f96b742
Fix formatting and doxygen checks
AniruddhaKanhere Aug 27, 2022
ea3bd8a
Fix broken CBMC proofs
AniruddhaKanhere Aug 27, 2022
78c6728
Fix memory statistic table
AniruddhaKanhere Aug 27, 2022
aa13564
Revert changes from serializer source
AniruddhaKanhere Aug 29, 2022
8be3c79
Merge branch 'RmvCmnBuffer' of https://github.com/AniruddhaKanhere/co…
AniruddhaKanhere Aug 29, 2022
8b678c5
update comments to clarify write requirements
AniruddhaKanhere Aug 29, 2022
732172e
Add a note for write function pointer
AniruddhaKanhere Aug 29, 2022
a041162
Fix spell check
AniruddhaKanhere Aug 29, 2022
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 6 additions & 6 deletions docs/doxygen/include/size_table.md
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,8 @@
</tr>
<tr>
<td>core_mqtt.c</td>
<td><center>3.1K</center></td>
<td><center>2.7K</center></td>
<td><center>3.8K</center></td>
<td><center>3.2K</center></td>
</tr>
<tr>
<td>core_mqtt_state.c</td>
Expand All @@ -19,12 +19,12 @@
</tr>
<tr>
<td>core_mqtt_serializer.c</td>
<td><center>2.7K</center></td>
<td><center>2.1K</center></td>
<td><center>2.8K</center></td>
<td><center>2.2K</center></td>
</tr>
<tr>
<td><b>Total estimates</b></td>
<td><b><center>7.3K</center></b></td>
<td><b><center>5.9K</center></b></td>
<td><b><center>8.1K</center></b></td>
<td><b><center>6.5K</center></b></td>
</tr>
</table>
14 changes: 14 additions & 0 deletions lexicon.txt
Original file line number Diff line number Diff line change
Expand Up @@ -112,7 +112,9 @@ initializeconnectinfo
initializesubscribeinfo
initializewillinfo
int
io
iot
ioveccount
isn
iso
keepaliveintervalsec
Expand Down Expand Up @@ -240,11 +242,13 @@ pingreqs
pingreqsendtimems
pingresp
pingresps
piovec
pismatch
plaintext
pmatch
pmessage
pmqttcontext
pmqttheader
pnameindex
pnetworkbuffer
pnetworkcontext
Expand Down Expand Up @@ -279,10 +283,12 @@ psuback
psubackpacket
psubscribeinfo
psubscribes
psubscription
psubscriptionlist
ptopic
ptopicfilter
ptopicname
ptotalmessagelength
ptr
ptransport
ptransportinterface
Expand Down Expand Up @@ -330,6 +336,11 @@ serializeack
serializeconnect
serializeconnectpacket
serializedisconnect
serailizedlength
serializedpasswordlength
serializedpayloadlength
serializedtopiclength
serializedusernamelength
serializepayload
serializepingreq
serializepublish
Expand Down Expand Up @@ -376,6 +387,7 @@ tlssend
toolchain
topicfilterlength
topicnamelength
totalmessagelength
tr
transportcallback
transportinterface
Expand All @@ -392,6 +404,7 @@ uint
un
unsuback
unsubscribelist
updatedlength
updatestateack
updatestatepublish
updatestatestatus
Expand All @@ -402,6 +415,7 @@ validatesubscribeunsubscribeparams
validator
waitingforpingresp
willinfo
writev
xa
xb
xc
Expand Down
Loading